Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
This paper reviews the requirements and methods associated with executing a test program application in simulation mode. The simulation requires running the application with a subset of instrumentation or without any instrumentation and with or without the Unit Under Test (UUT). In simulation mode some of the instruments or the UUT may not exist, which requires that the simulation environment filter...
UAV onboard electronic detection equipment is composed of computer, measurement equipment, servo equipment, power-supplying equipment and airplane cable. In the process of eliminating electronic system faults, it's very difficult for the user to detect and diagnose the faults. So it's urgent to detect and diagnose the UAV onboard electronic equipment faults. The simulation test technology and virtual...
In the traditional cockpit display-control system, pilots have to face more and more instruments and response to the complex information simultaneously. In order to study the change characteristics of the mental workload under such multi-task condition, take the virtual instruments for design objects to set up a series of tasks. With the increase of information quantity and frequency of m instruments,...
This paper proposes an idea for developing a Linear Parameter Varying (LPV) model based control for a non-linear, time varying process, a real time Conical Tank System (CTS). In the first part of the paper, based on the open loop response of the conical tank, the whole non-linear process is split into 4 approximate linear regions and their respective transfer function models are formed from the input-output...
Learning math may not sound interesting to most students. However, motivation is an essential factor to promote academic performance and learning satisfaction. Augmented reality technology combines virtual and real worlds and gives users interesting visual experiences. Since related research is still limited, the purpose of this study is to investigate whether AR helps improve math learning motivation...
Software engineering education is a technologically challenging, rapidly evolving discipline. Like all STEM educators, software engineering educators are bombarded with a constant stream of new tools and techniques (MOOCs! Active learning! Inverted classrooms!) while under national pressure to produce outstanding STEM graduates. Software engineering educators are also pressured on the discipline side;...
Recent works have shown that modelling the performance of out-of-order superscalar cores is doable using filtered memory traces for single thread simulations. However, those techniques do not account for cache coherence actions so they cannot be used reliably in multithreaded scenarios. In this paper, we leverage the structure of parallel applications to propose a simulation methodology that enables...
Most of the organizations now shift from manual document management to electronic document management, which is found to be more reliable and efficient. Since early 1990, the utilization of electronic documents on daily routine activities is practiced by all levels of management. However, in managing the information, employees' should comprehend with the technology to support electronic document practices...
With the increase of science project in size and complexity, it is necessary to integrate and share global research resources for distributed experimentation and simulation. This paper presents an architecture of Cooperative Remote Laboratories (CRLab) with scalability, flexibility and heterogeneity. It consists of a central Web server, simulation servers, instrument servers and experiment devices,...
Model checking engines employed to generate test cases covering the structure of the model or code are limited by factors like code size, loops and floating point computation. We propose an approach that overcomes these limitations by approximating code fragments by dynamically inferring their post-conditions. We use Daikon to infer likely invariants from execution traces, which are used as post conditions...
This paper presents the results obtained from the improvement project of the MATVOX system, that is, basically, an advanced interpreter of a defined language. The tool's aim is to support the visually impaired in the exact science areas. It is functional from the text editor which is part of the free system DOSVOX, which is based on speech synthesis and aims to support the visually impaired. The MATVOX...
Existing network simulators do not account for the overhead of communication software execution, which can be significant when devices in the network are resource constrained, like in MANETs and sensor networks. We propose an approach to extend network simulators to model the execution of communication software and to map the resulting behaviour onto existing protocol models. The approach can be used...
Simulation studies typically imply the generation and interpretation of data. Collecting, storing, and filtering data can be expensive. Therefore, it is important to allow a user to specify these processes flexibly depending on the modeling language, the model, and the objective of the simulation study. An instrumentation language is presented and applied to collect, aggregate, store, and filter data...
Reproducibility of experiments is the pillar of a rigorous scientific approach. However, simulation-based experiments often fail to meet this fundamental requirement. In this paper, we first revisit the definition of reproducibility in the context of simulation. Then, we give a comprehensive review of issues that make this highly desirable feature so difficult to obtain. Given that experimental (in-silico)...
A comparison between three different types of labs, namely augmented reality remote labs, virtual labs and handson is carried out. The availability of hands-on labs in engineering and science education that require costly equipment and instruments is restricted for little and limited periods of time for a huge number of students. Solutions to bypass these problems are through the introduction of augmented...
Modeling has been one of the most significant obstacles to why model-based testing has not been taken into use by industry on a large scale. Therefore, generating models automatically is an attractive way of thinking. In well-structured application domains, such as graphical user interface (GUI), this method can be used successfully. This paper gives a state-of-the-art overview of GUI model generation...
In Cyber-Physical Systems (CPS) the operation of electromechanical devices is tightly integrated with the embedded computer system. The diversity of components imply in different profiles of energy consumption. Thereby, it becomes useful to use techniques that can manage the energy consumption. In a previous work, this aspect was modeled using a technique that allows estimating the energy consumption...
Training of optometrists is traditionally achieved under close supervision of peers and superiors. With the rapid advancement in technology, medical procedures are performed more efficiently and effectively, resulting in faster recovery times and less trauma to the patient. However, application of this technology has made it difficult to effectively demonstrate and teach these manual skills as the...
With the development of the network technique, computer simulations technology and instruments control techniques, the more experiment can be achieved in network experiment system. The key technology of the interactive network experiment system based on the multimedia and network technology is implementation of the experiment. There are two kinds of methods: simulation with software and achieved with...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.