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.
In this paper, the problem of developing a model for signal control system with transit priority using Colored Petri Nets (CPNs) is considered. In a regular four phases signal lights control model, transit detection and two kinds of transit priority strategies are integrated to obtain Colored Petri Nets based transit priority signal control model. The resulting model ensures that transit can pass...
Navigation errors of inertial navigation system can be effectively restrained by rotating inertial measurement units (IMU), enhancing accuracy in long-endurance navigation. However, nonorthogonal angles between rotating axes are inevitable during manufacturing. Coupled into the navigation error, nonorthogonal angles can lead to navigation accuracy, especially attitude accuracy decline during rotation...
The paper is aimed at researching the subject area, models and prototypes of secure mobile communication mesh networks providing support and operational management in critical emergency situations. Such a network represents a command technical complex that provides services of text messages and media data transfer, database services, web services, etc. A two-layer network architecture using Arduino...
Major challenges faced by connected intelligent vehicles, particularly autonomous vehicles, include complexity, dynamics, concurrency, timing, safety, security, and reliability. Among them, the complexity is the key factor for vehicle design. Cyber-physical systems (CPSs) are systems consisting of computational components and physical elements. In this paper a declarative CPS modeling framework is...
Safety-Critical systems, as used in the automotive, avionics, or aerospace domains, are becoming increasingly software-reliant to the extent that the system cannot function without the software. On one hand the software system provides an integrated set of functionality to operate the system and manage failure and unsafe conditions. Current best safety engineering practices, such as DO178B/C or SAE...
Resonant Piezoelectric-excited Millimeter-sized Cantilevers (PEMC), has attracted many researchers' interests in the applications such as liquid level and density sensing. As in these applications, the PEMC are partially immersed in liquid, an appropriate analytical model is needed to predict the dynamic behavior of these devices. In this work, a PEMC has been designed and fabricated for liquid level...
Computer science and computational engineering have enabled great advances in modeling and simulation to analyze various scenarios. Still, facilitating and enhancing situational awareness for a single human is rarely considered. Poor decisions by an individual encountering everyday challenges or public threat situations can have dramatic effects, both for the individual and others. In the presented...
A wireless sensor network (WSN) is a wireless network consistsing of spatially distributed autonomous device using sensors to cooperatively monitor physical or environmental conditions, such as temperature, sound, vibration, pressure, motion or pollutants at different locations. A complete model of a sensor network is needed to improve upon its efficiency and design.Using a modeling and simulation...
The purpose of this paper is motion analysis by experiment and simulation for riding bicycles with children. It is very important to think about stability when the bicycle is driving with children. However, such a research is not so performed. Therefore, analysing human motions in the such case by some experiments and simulations, dynamic characteristics of the such case are shown. The modeling of...
Seismic exploration imposes strict requirements on digital sensor such as large dynamic range and high linearity. Criterions for selecting mechanical parameters of digital sensor are presented for acceptable Brownian noise. System signal and noise transfer functions are then introduced based on high order Sigma-Delta modulation. It is revealed that 5th order Sigma-Delta modulation is required to suppress...
Early quality evaluation and support for decisions that affect quality characteristics are among the key incentives to formally specify the architecture of a software intensive system. The Architecture Analysis and Description Language (AADL) with its error annex is a new and promising architecture modeling language that supports analysis of safety and other dependability properties. This paper reviews...
System-level design of WSNs includes the selection of the sensing nodes and their dissemination in the environment to be monitored. Many design choices have to be taken during this stage of the development of the application. The goal of this paper is to present a methodology to specify formally the desired behavior of the sensing application and to derive an optimal selection and placement of the...
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.