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 Experimental Rocket Propulsion Lab (ERPL) at Embry-Riddle Aeronautical University focuses on student-run, undergraduate research that offers members the chance to develop key skills and knowledge by designing, building, and testing rocket subsystems. Members are encouraged to submit ideas for new projects so that they can develop experimental propulsion and support systems. Current projects include...
The focus of this paper is on the design, development and evaluation of a framework for a fixed-wing UAV to achieve efficient Circulation Control-based (CC) flights. The research presented in this paper is the natural outgrowth of results reported in [1] related to the design and development of an Air Supply Unit (ASU) and plenum design for CC-based Unmanned Aerial Vehicles (UAVs). The framework consists...
In this paper we discuss the testing of a novel underwater glider designed to be fast and maneuverable for operation in the littorals. The glider's pneumatic buoyancy engine was shown to operate reliably and provide large, rapid displacements. However, the compressibility of the bladder and associated change in tank weight (from exhausting air with each dive) presented significant challenges in trimming...
Vehicle simulators are widely used to test the correctness of vehicle control algorithms. It is important to create a virtual road environment in a way that the vehicle algorithm can be tested under various circumstances that may happen in the real world. However, building such a road environment is typically time consuming and performed in a manual and ad-hoc fashion without having a good notion...
This paper shows the results of the research work with regard to optimization of test procedures based on systematic analysis of field behavior. The presented approach outlines all important steps of the overall process, the statistical methods and algorithms used with the help of an example from the automotive industry. The example is based on the data gathered during various rides with four different...
Recent advances in Neural Networks (NN) are enabling more and more innovative applications. As an energy-efficient hardware solution, machine learning accelerators for CNNs or traditional ANNs are also gaining popularity in the area of embedded vision, robotics and cyberphysics. However, the design parameters of NN models vary significantly from application to application. Hence, it's hard to provide...
Adaptive e-learning is concerning about students' skills and preferences. A few researches concerning about adaptive examination systems. Ontologies can be used in e-learning systems to organize and describe knowledge and to support content management. Combining ontology with CAT systems helps to control the exam content regarding content semantics. This paper propose an ontology based adaptive Comparing...
Currently multiple Domain Specific Languages (DSLs) are used for model-driven software development, in some specific domains. Software development methods, such as agile development, are test-centered, and their application in model-based frameworks requires model support for test development. We introduce a specific language to define generic test models, which can be automatically transformed into...
Language fuzzing is a bug-finding technique for testing compilers and interpreters, its effectiveness depends upon the ability to automatically generate valid programs in the language under test. Despite the proven success of language fuzzing, there is a severe lack of tool support for fuzzing statically-typed languages with advanced type systems because existing fuzzing techniques cannot effectively...
With rapid proliferation of internet and advancement in video streaming techniques, demand for video content over the internet is on the rise. In this era of digital transformation the end user consumption of video content, is not just limited to conventional television sets, but extends to multiple viewing platforms like laptops, mobile phones, tablets, connected TVs, gaming consoles etc. As the...
When integrating AUTOSAR software on an automotive ECU, errors may occur due to the large number of modules involved and/or improper timing. These errors manifest at the application level complicating the test and verification process. Since AUTOSAR has a layered architecture, it is often cumbersome to identify sources of errors. In this paper, to help integrating software on an ECU, we propose a...
The operation of electric vehicles in cold weather is a concern, but the precise nature of the impact on travel range and energy consumption is not well characterized. The Chevrolet Volt, a commercially-available plug-in hybrid electric vehicle (PHEV) was driven-to-depletion across a broad range of temperatures as occur naturally in Winnipeg, Canada, due to its climate. Results conform to a simple...
The progress of computer aided testing technology brings new development opportunity of aero-engine synthetic test. In order to improve aero-engine synthetic test level, a taken aero-engine synthetic test system is designed using advanced testing technology. User requirements of current situation are introduced, and then system function of test system is given, also related key technology is analyzed...
This paper tackles the problem of testing production systems, i.e. systems that run in industrial environments, and that are distributed over several devices and sensors. Usually, such systems lack of models, or are expressed with models that are not up to date. Without any model, the testing process is often done by hand, and tends to be an heavy and tedious task. This paper contributes to this...
While pursuing high performance and cost effectiveness for directed acyclic graph (DAG)-structured scientific workflow executions in the cloud, it is critical to identify appropriate resource instances and their quantity. This paper presents a testing engine that employs a resource-selection heuristic, which statically analyzes the DAG structure to guide the selection of resource instances, how many...
This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two proposed techniques on IBM Rhapsody Statecharts and present some evaluation results.
As the demand placed on wireless networks continues to rapidly grow, devices must utilize available resources as efficiently as possible. Cognitive Radio (CR) provides an attractive solution to this problem, wherein devices learn from their experiences and make intelligent choices to optimize their own performance along with that of the network as a whole. Spectrum sharing is one promising method...
The development of context-aware applications is a difficult and error-prone task. The dynamics of the environmental context combined with the complexity of the applications poses a vast number of possibilities for mistakes during the creation of new applications. Therefore it is important to test applications before they are deployed in a life system. For this reason, this paper proposes a testing...
The paper discusses how a rule base covers its input space in radial fuzzy systems. We investigate the minimal degree of firing of rules in the rule base when moving across the input space. This minimal degree is called the degree of coverage (DOC) and refers to the area of the input space where the rule base has the weakest explanatory power. Identification of the DOC corresponds to a constrained...
This paper presents the methodology and utility of an HEV plant model using Matlab-Simulink for testing the HCU (Hybrid control Unit) logics in dSPACE Hardware-in-loop environment. It also describes how requirements related to Hybrid Controller testing are addressed using the subject plant model. It further discuss about the requirements for Inputs to hybrid controller that are modeled in close loop...
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.