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.
Hammerstein system identification is difficult because there exist the product items of the parameters between the static nonlinear block and the dynamic linear block. This paper presents a novel parameter separation based recursive least squares (PS-RLS) identification algorithm for resolving this problem. Its basic idea is to use a linear filter to filter the output data and the noise, and then...
Provides an abstract for each of the presentations and may include a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings.
We presented a new algorithm of underwater bubble recognition, which employs background modeling, image segmentation and pattern recognition. After obtaining underwater bubble images, we can separate single bubble from it manually and construct the database. Having computed Hu moment of samples for training and test, we can get the threshold and store. Then inputting the other images of sample, we...
In this paper, a method for multi-pitch estimation of stereophonic mixtures of multiple harmonic signals is presented. The method is based on a signal model which takes the amplitude and delay panning parameters of the sources in a stereophonic mixture into account. Furthermore, the method is based on the extended invariance principle (EXIP), and a codebook of realistic amplitude vectors. For each...
In this paper we assess and evaluate the quality of t-way combinatorial test-suites using three different test-suite quality assessment methods. As t-way combinatorial test-suites reduce the input space of a program under test, we investigate how an increasing t affects the quality of the test-suite. There are some limitations of existing test-suite quality assessment methods e.g. the number of mutants...
Building program analysis tools is hard. A recurring development task is the implementation of the meta-model around which a tool is usually constructed. The XCORE prototype supports this task by generating the implementation of the meta-model. For this purpose, developers will add directly into the source code of the tool under construction some meta-information describing the desired meta-model...
This work presents a minimally-intrusive, high-performance, post-silicon validation framework for validating memory consistency in multi-core systems. Our framework generates constrained-random tests that are instrumented with observability-enhancing code for memory consistency verification. For each test, we generate a set of compact signatures reflecting the memory-ordering patterns observed over...
This paper describes components of virtual stand of aircrafts flight simulators designed in the popular program and simulation environment LabVIEW prevalent among electronics and radio-engineers. Virtual flight simulation is realized at the expense of created virtual instruments of navigation tools gyro horizon, altimeter, direction finder. Users screen interface depicts flight path of the aircraft...
E-payment systems by their nature are complex. Thus, with lack of well-designed formal models to provide a suitable method for their modelling and monitoring many challenging tasks will remain unsolvable. The present work aims at designing and implementing an e-Payment Protocols Formalism, PPF, to allow properties examination and verification for e-payment protocols. The proposed formalism was built...
GMRCube is a MapReduce based data cube construction model, which utilizes the GPU compute time to reduce its compute time. The model is designed for optimum utilization of the combined GPU-CPU compute capabilities. The paper presents the dataflow of the model, its algorithm along with a detailed explanation. The model was tested on multi dimensional data ranging from 3 to 7 dimensions, and tuples...
In this paper the effect of different geometry on the squeeze film damping of fixed-fixed beam RF MEMS switch is analyzed. Squeeze film air damping analysis is done on the fixed-fixed beam membrane for different geometry of membrane. The surface pressure distribution and damping force on the membrane is simulated for different geometry of membrane. Membrane with slits of length 60μm was found to be...
P2P (Peer-to-Peer) network has extensive functionality in variety of fields. Accordingly, P2P users share huge amounts of data. The widespread usage of P2P systems can make it a potential truck for worms. The attractiveness of a particular P2P group can be reduced by widely spread malicious peers. Now internet community has concentrated more on its security. One of the solutions prevailing to prevent...
This document aims to solve the parametric estimation problem of nonlinear time-varying systems modeled by Wiener-Hammerstein models (W-H) with unknown time-varying parameters. A recursive instrumental variable estimation method is developed in order to estimate the parameters of the considered blocks-oriented models despite the existence of a correlated noise with observations. The estimation method...
We present a technique to pinpoint scale-dependent integer overflow bugs, a class of bugs in large-scale parallel applications that is hard and time-consuming to detect manually. Rather than detecting integer overflows when applications are deployed at large scale, as existing techniques do, our method forecasts these overflows without requiring the application to be run at large scale. Our approach...
Large scale simulation performance is dependent on a number of components, however the task of investigation and optimization has long favored computational and communication elements above I/O. Manually extracting the pattern of I/O behavior from a parent application is a useful way of working to address performance issues on a per-application basis, but developing workflows with some degree of automation...
The SENSEI generic in situ interface is an API that promotes code portability and reusability. From the simulation view, a developer can instrument their code with the SENSEI API and then make make use of any number of in situ infrastructures. From the method view, a developer can write an in situ method using the SENSEI API, then expect it to run in any number of in situ infrastructures, or be invoked...
Parallel discrete-event simulation (PDES) is an important tool in the codesign of extreme-scale systems because PDES provides a cost-effective way to evaluate designs of high-performance computing systems. Optimistic synchronization algorithms for PDES, such as Time Warp, allow events to be processed without global synchronization among the processing elements. A rollback mechanism is provided when...
GUIs are event-driven applications where the flow of the program is determined by user actions such as mouse clicks and key presses. GUI testing is a challenging task not only because of the combinatorial explosion in the number of event sequences, but also because of the difficulty to cover the large number of data values. We propose GUICat, the first cloud-based GUI testing framework that simultaneously...
Recent advances in technology have allowed the development of laboratory experiments that do not require the physical presence of a student in a physical laboratory. These experiments are conducted using the internet, using simulation, or actual control and monitoring of real equipment located remotely, or a hybrid of both. This allows potential sharing of resources that could result in reduction...
The development of an individual's potential, as well as the possible contribution to his/her social environment, involves, in certain time in life, choosing an occupation and/or profession according to his/her characteristics, which makes an adequate vocational guidance indispensable. This publication proposes an architecture of a serious game for career guidance supported in Holland's psychological...
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.