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 evolution of information technology and the explosive growth in Internet data have rendered traditional ways of providing information services and their infrastructure no longer appropriates. Data storage, computing and Internet services are moving toward virtualization and cloud computing. However, the performance of this network architecture needs to be examined to improve network bandwidth...
This paper presents the scaled development of a novel point absorber Wave Energy Converter (WEC) developed by Columbia Power Technologies, Inc. (CPwr), including scaled wave tank testing to utility-scale laboratory testing. The scaled development and testing of 1:33, 1:15 and 1:7 scale physical models are discussed. The physical tests of the 1:33 and 1:15 scale WECs were conducted in the wave basins...
Android is currently the most widely used operating system for mobile devices. GUI testing for Android applications becomes an important research area in which many studies have been conducted. The past studies show that testing a complicated GUI design may need a large number of test cases which increases exponentially due to the complexity of the GUI. Developers then need to spend a large amount...
Maximum-length sequences (M-sequences) are known as pseudo random numbers generated with relatively simple digital circuits. In this paper, we present a 4-bit M-sequence generator designed and fabricated using a single-flux-quantum (SFQ) logic library and a niobium integration technology. To enhance its generation rate, we have introduced a parallelization scheme where three bits are simultaneously...
From local utility grids to electric ships, providing power to an ever increasing variety and magnitude of loads requires power grids that are more flexible, resilient, and efficient than ever before. In many cases, these systems must serve loads that are nearly equal to and occasionally exceed peak generation capacity. As a result, it is critical that these power systems and their controls are analyzed...
Both new and existing naval vessels of all sizes face ever-increasing power supply requirements to support advanced mission loads including high power sensors, weapons, and launchers. Adding additional conventional generators to support these loads is infeasible given size and weight constraints and given the pulsed nature of those new loads. Instead, an optimization-based Power Management Controller...
This paper shows a framework for a PNBMT (place/transition net-based mutation testing technique) that consists of three tools, that is, a mutant PN generator, a negative test case generator, and a mutation analyzer.
We advocate the use of property-based testing in the area of sensor networks and present a framework to apply this testing methodology. Our framework provides an expressive high-level language to specify a wide range of properties, starting from properties of individual functions to network-global properties, and infrastructure to automatically test these properties in Cooja, the network simulator...
Virtual cathode oscillators (vircators) can be easily tuned by altering the current density of the electron beam. This can be accomplished by changing the voltage applied to the a-k gap, or by physically changing the gap separation. Previous results with an adjustable a-k gap vircator achieved discrete tuning at frequencies of 1.5 GHz, 2.1 GHz, 4.1 GHz, 4.6 GHz, and 5.9 GHz. To achieve better tunability...
This paper represents analysis, design and simulation of an standalone oceanic wave energy conversion (WEC) system including an improved fuzzy logic controller for voltage control using linear permanent magnet generator (LPMG). Mathematical functions of electrical power generation from WEC have been used as input of the controller to obtain steady output voltage for different load conditions by controlling...
Search-based software testing (SBST) can potentially help software practitioners create better test suites using less time and resources by employing powerful methods for search and optimization. However, research on SBST has typically focused on only a few search approaches and basic techniques. A majority of publications in recent years use some form of evolutionary search, typically a genetic algorithm,...
In this paper we investigate the effect of test case length on the performance of test suites for automated graphical user interface (GUI) testing. Research has been done on the effect of test length for traditional white-box testing, however, these findings do not necessarily extend to GUI testing. We run experiments on five subject applications using a custom-built dynamic test generator. We measure...
A low-cost, high-voltage trigger generator has been developed to trigger a high-power, high-action integral crowbar spark gap closing switch. This switch is the main component of a power-crowbar 200kA lightning impulse current generator circuit, which is currently under development for testing lightning protection components [1] at the High-Voltage and High-Current Research and Development Laboratory...
AC power driven electronic products such as PCs, printers, copiers also radiate electromagnetic disturbances from their AC power cable not only from their chassis. The strength of the radiated emission from the AC power cable is affected by the impedance-about-ground of the EUT power feeding port of the radiated emission testing laboratory. However, the radiated emission from the AC power cable varies...
Automatically generating test inputs for components without source code (are 'black-box') and specification is challenging. One particularly interesting solution to this problem is to use Machine Learning algorithms to infer testable models from program executions in an iterative cycle. Although the idea has been around for over 30 years, there is little empirical information to inform the choice...
We propose a new automated debugging method for regression testing based on a synergistic application of both dynamic and semantic analysis. Our method takes a failure- inducing test input, a buggy program, and an earlier correct version of the same program, and computes a minimal set of code changes responsible for the failure, as well as explaining how the code changes lead to the failure. Although...
The downhole monitoring tool is a critical component in electrical submersible pump (ESP) wells to monitor downhole parameters such as the pump intake pressure, the temperature of motor winding and oil reservoir, the motor vibration etc. to ensure proper ESP system operation and to optimize production. In this paper, a downhole monitoring tool design method is proposed using power line disturbances...
In this paper, we focus on the discrete-time polynomial systems and present the modified algorithms for testing observability and accessibility based on the methods by D. Nešić. Our method uses not only quantifier elimination but also Gröbner basis and real root counting techniques for decision problems needed in checking the properties and incorporates the strategy to improve efficiency in testing...
The efficiency of random testing can be improved by sampling test inputs using a generating program that incorporates knowledge about the types of input most likely to detect faults in the software-under-test (SUT). But when the input of the SUT is a complex data type--such as a domain-specific string, array, record, tree, or graph--creating such a generator may be time- consuming and may require...
This paper presents an exploratory study on agile techniques for software testing Test-Driven Development and Behaviour-Driven Development for integration with the agile software development technique known as Domain-Driven Design. It also comprises a comparison between both test approaches, enhancing the strengths and weaknesses of each one. To make it feasible the integration proposal, an example...
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.