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.
Unit testing is based on the idea that units under test behave in a reproducible and deterministic way. If the unit's code is dependent on external context factors like time or location, these factors have to be controlled in order to produce meaningful results. Spaced repetition mobile learning games in which users are reminded to play at time intervals are based on previous user interaction with...
Based on the method of Skeletonization, the concept of influence factor is introduced in this paper. A method for trimming the fat from a Back Propagation (BP) neural network is proposed by modifying weight and influence factor alternately, and node with the least influence factor was deleted. This method is applied to modeling superheated steam temperature system of plant station. Simulation results...
This paper is focused on optimization of electrical properties of 50 ohm stripline which was described in international standard for the automotive industry ISO 11452-5. The standard shows the dimension of the stripline but information about impedance matching is missing — and this information is crucial for a power amplifier connection, especially in terms of VSWR parameter. In this paper connection...
The black box records all the important information that takes place on a flying plane. The black box is a tool used on airplanes to store all activities during flight. The black box has a Flight Data Recorder (FDR) and a Cockpit Voice Recorder. FDR and CVR function to record and record the existing in the aircraft. The black box has recordings of information that occurs during the flight. Data generated...
As wireless and telecommunicaton infrastructure communications have been integrated into modern vehicle systems (i.e., infotainment systems and vehicle to vehicle systems), the security implications on the relatively unchanged underlying network protocols inside the vehicles are investigated by researchers and industrial experts in the corresponding domain. Some researchers have achieved the investigation...
Echo state network (ESN) is a powerful tool for nonlinear system modeling. However, the random setting of structure (mainly the reservoir) may degrade its estimation accuracy. To create the optimal reservoir for a given task, a novel ESN design method based on differential evolution algorithm is proposed. Firstly, the weight matrix of reservoir is constructed via the singular value decomposition (SVD)...
Test automation in distributed systems requires new methods in signal simulation for the stimulation of the distributed system. Increasing complexity of electric electronic (E/E) systems enhances the testing-effort. The main challenge is reducing the time consuming manual stimulation in consideration of improving the quality of testing. Currently used systems for test automation with a software-based...
The paper is focused on the simulation, realization and testing of a low current RC passive filters. The analysis relies on low pass and high pass first order passive filters. Staring from these filters other two RC circuits can be achieved: band pass and band stop filters. Based on the results yielded by the design and respectively by simulation, an integrated experimental platform was realized....
In recent years, statistical model checking (SMC) has become increasingly popular, because it scales well to larger stochastic models and is relatively simple to implement. SMC solves the model checking problem by simulating the model for finitely many executions and uses hypothesis testing to infer if the samples provide statistical evidence for or against a property. Being based on simulation and...
❑ Context: DC railway vehicles are subjected to surge transients specific to the traction system environment. ❑ Transient Event Specifications: • Standards. • Transit authorities may specify their own requirements. • Each project requires custom design. ❑ Vehicle Manufacturers Main Task: • Demonstrate during the qualification testing phase the performance of both the equipment and the overall system...
One of the grand challenges for adequately testing scientific software is due to the oracle problem. Metamorphic testing is the promise technique for addressing the problem through checking the satisfaction of a metamorphic relation that defines the correlation on the relation of paired test inputs and the one of their corresponding outputs. Therefore, checking the correctness of an individual test...
In this paper we consider the problem of spectrum sensing in cognitive radio networks which involves detection of primary (licensed) users (PUs) by secondary (unlicensed) users (SUs), who are interested in transmitting their data opportunistically. To facilitate accurate detection of PUs by the fusion center (FC) based on the energy measurements received from the chosen set of SUs, we formulate an...
The number of reported cybersecurity incidents on SCADA (Supervisory Control and Data Acquisition) systems increased significantly in the past few years. One contributing factor is the fact that security testing of live SCADA systems is not practical as such systems are expected to be operational 24/7. Also and most importantly, conducting live security testing on these types of systems is generally...
The design of rules governing the behaviour of a follower in a leader-follower system is a non-trivial task. In this paper, we investigate three Boids-like behavioural rules: alignment, attraction and separation. We systematically design and investigate the impact of different reward functions on the three behaviours using evolutionary computation methods. A Learning Classifier System initially starting...
Credibility of science is fundamentally due to the strenuous efforts made to verify the general consistency among relevant facts, theories, applications, research methodologies, etc. and scientific method which emphasizes the significance of continuously building and testing hypotheses has withstood the test of time as a successful methodology of acquiring a body of knowledge, we can rely on, at least...
This paper deals with the problem of HDL (Hardware Description Language) models e-assessment in the process of determining level of students' knowledge of VHDL (VHSIC Hardware Description Language). The designed method for assessing a programming code takes into account whether student's code can be successfully compiled and whether the simulation output of student's code is the same as the reference...
Crackles, which are a kind of abnormal lung sounds, are used as indicators for the diagnosis of pulmonary diseases. In this paper, an automatic and noninvasive method is presented for crackles detecting. This method mainly comprises three steps: preprocessing, features extracting and crackles detecting based on support vector machines(SVM). The features are fmin/fmax of the frequency limbic signal,...
Recent years have seen a proliferation of complex Advanced Driver Assistance Systems (ADAS), in particular, for use in autonomous cars. These systems consist of sensors and cameras as well as image processing and decision support software components. They are meant to help drivers by providing proper warnings or by preventing dangerous situations. In this paper, we focus on the problem of design time...
NASA has engaged in collaborative research with the FAA and many other stakeholders in government, industry, and academia to explore the concepts and requirements necessary to enable the safe and scalable application of small unmanned aircraft systems (UAS) in low-altitude airspace. In this effort, the UAS Traffic Management (UTM) project has developed a multi-faceted simulation component that supports...
The ability to navigate in diverse and previously unknown environments is a critical service of autonomous robots. We propose a test framework based on MORSE (Modular Open Robots Simulation Engine), and using the generation of virtual 3D worlds to challenge the navigation service. We elaborate on the notion of the difficulty of the generated worlds, which we characterize in terms of mission achievement,...
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.