The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The models of solid-state sources of chaotic oscillations (chaos generators) of various complexity order are considered in the present paper. The investigated chaos generators are intended for transmitting devices of wireless personal communication networks. A technique for testing of numerical simulation methods of chaos generators is proposed. This technique allows to choose the most accurate numerical...
Prototyping and proper testing of the electrical control unit of more electric aircraft (MEA) under various load profiles and fault conditions is necessary to ensure the performance of the controller. In order to solve the problems such as complicated operation, high experiment cost and long development period in aircraft power system traditional test method, this paper presents a semi-physical real-time...
The useful life of an electrical generator is directly related to the condition of the winding insulation. Non-invasive methods to assess the condition of insulation systems are typically limited to physical inspections, drawing inferences from a review of operating conditions and maintenance records, and from the results of on-line and off-line electrical testing. This paper identifies when to perform...
The development of a rapidly deployable modular electric generator based on plug-in hybrid vehicle DC architectures provides a highly reliable DC microgrid for use in applications with unstable infrastructure or highly sensitive loads. The result is the commercial production of early stage prototype units built by Schneider Electric with onboard energy storage, combustion generator and rapid interconnects...
This paper presents some experiences concerning the testing of generating units response to frequency transient. The tests have been performed both for modeling and monitoring the compliance of the settings of the generating units with the operational requirements. A test methodology, based on mathematical modeling, is developed and proposed. The approach is intended to interfere (or disturb) less...
In order to have proper operation of the “relay” protection devices, their behavior shall be studied and tested for different possible operational conditions. The harmonic spectrum in the supervised circuits may affect the protection functions. Harmonics can be generated in the primary circuits by faults, non-linear loads, converters, etc. Harmonics can also be induced in the secondary circuits by...
We live in a world of Energy. We use it and, following the laws of Thermodynamics, give up a portion of that as inevitable toll for its conversion for our purposes. There are the non-conventional sources around us. Utilization of these energies will help to reduce harmful pollution caused by the oil and coal technologies and save money for the social developments. Beside the previously considered...
Failing to promote the least privilege principle in administration can lead to substantial vulnerabilities in cloud computing. A malicious insider like a compromised cloud administrator can affect security of data and workloads belonging to cloud customers. Enforcing the least privilege principle in cloud administration can fairly restrict the permissions of administrators and reduce the attack surface...
Any kind of smart testing technique must be very efficient to be competitive with random fuzz testing. State-of the-art test generators are largely inferior to random testing in real world applications. This work proposes to gather and evaluate lightweight analyses that can enable the creation of an efficient and sufficiently effective analysis-assisted fuzz tester. The analyses shall leverage information...
Diderot is a parallel domain-specific language forthe analysis and visualization of multidimensional scientific images, such as those produced by CT and MRI scanners. Diderot is designed to support algorithms that are based on differential tensor calculus and produces a higher-order mathematical model which allows direct manipulation of tensor fields. One of the main challenges of the Diderot implementation...
In this tool demo paper, we present a prototype of a tool for the selective generation of mutants in Java source code. We named this tool as SMUG (Selective MUtant Generator). Given two subsequent versions of a program, SMUG creates mutants by considering only those methods modified in, or added to, the second version. This is why it is a selective generator of mutants. On the basis of created mutants,...
This work presents an efficient modification of the classical servo-loop static test setup aimed at the on-chip implementation of reduced-code static linearity test techniques. The proposed modified servo-loop provides a direct measurement of the width of a given ADC code without the need of an integrated voltmeter. The proposed measurement strategy is based on using a controlled step-wise ramp stimulus...
The medium-speed rotary emulator at the Lir National Ocean Test Facility (NOTF) at the MaREI Centre at University College Cork was developed to allow for rotating renewable energy converters to be physically tested prior to full development and deployment. This paper outlines processes used to characterise the medium-speed rotary emulator. The system was subjected to a number of tests to determine...
We present sandbox mining, a technique to confine an application to resources accessed during automatic testing. Sandbox mining first explores software behavior by means of automatic test generation, and extracts the set of resources accessed during these tests. This set is then used as a sandbox, blocking access to resources not used during testing. The mined sandbox thus protects against behavior...
Previous work has demonstrated that property-based testing (PBT) is a flexible random testing technique that facilitates the generation of complex form data. For example, it has been shown that PBT can be applied to web-service applications that require various inputs for web-forms. We want to exploit this data generation feature of PBT and combine it with an external test-case generator that can...
In this contribution the use of circular Plane Wave Generator (PWG) for testing large circular arrays is discussed. In particular, it is shown that the synthesis method proposed in the present paper allows the use of a lower number of radiating elements compared with previous PWG approaches.
One form of robustness in a software system is its ability to handle, in an appropriate manner, inputs that are unexpected compared to those it would experience in normal operation. In this paper we investigate a generic approach to generating such unexpected test inputs by extending a framework that we have previously developed for the automated creation of complex and high-structured test data....
Current techniques for formally verifying circuits implemented in Galois field (GF) arithmetic are limited to those with a known irreducible polynomial P(x). This paper presents a computer algebra based technique that extracts the irreducible polynomial P(x) used in the implementation of a multiplier in GF(2m). The method is based on first extracting a unique polynomial in Galois field of each output...
Mobile platform pervades human life, and much research in recent years has focused on improving the reliability of mobile applications on this platform, for example by applying automatic testing. However, researchers have primarily considered testing of single version of mobile applications. Although regression testing has been extensively studied for desktop applications, the approaches for desktop...
Learning cumulative distribution functions (CDFs) is a widely studied problem in data stream summarization. While current techniques have efficient software implementations, their efficiency depends on updates to data structures that are not easily adapted to FPGA or ASIC implementation. In this work, we develop an algorithm and a compact hardware architecture for learning the CDF of a data stream...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.