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.
Some approaches and techniques that allow conducting of complex physiological research using closed-architecture measurement systems of different manufacturers are discussed. The experience in developing a system with flexible configuration and in solving arising problems by virtue of integration of equipment using an external synchronizing device, is described. Parallels are drawn with the modern...
Concurrency is a requirement for much modern software, but the implementation of multithreaded algorithms comes at the risk of errors such as data races.Programmers can prevent data races by documenting and obeying a locking discipline, which indicates which locks must be held in order to access which data.This paper introduces a formal semantics for locking specifications that gives a guarantee of...
Based on the new application demands of distributed monitoring system, the hardware and software equipment of one or more monitoring position was abstracted as a distributed agent; central server was canceled, the system level management functions were shared by one or more agent flexibly. Agents used point-to-point communication; the interaction driver which was based on the state of agent was realized...
Marine electromagnetism survey which is divided into the natural field source (MT) and artificial field source (CSEM) is one of the hot spots in the field of offshore oil and gas exploration, especially in the deep sea. Low frequency, wide band and weak electric field signal acquisition which generally uses Ag/AgCl non-polarized electrode and ultra-low noise amplifier is one of the key technologies...
This paper describes the co-simulation methodology adopted for hardware verification of a next generation network packet processing engine (Advanced I/O Processor or AIOP) utilizing virtual prototype models developed originally for software verification. Though co-simulation strategies are common in verification of stand-alone processors, they have seldom been used for mega-modules and SoC, which...
The receiver system is an important part of FAST (Five-hundred-meter Aperture Spherical Radio Telescope) and plays a key role in determining the performance of the telescope. The receiver design requires synchronization among the digital instruments and accurate timestamp, because time synchronization of astronomical data before and after it is recorded and processed is of vital importance for the...
This paper proposes a dissimilar four-redundancy Electrical Load Management Center (ELMC) to meet the reliability requirement of More/All Electric Aircraft (MEA/AEA), which is able to effectively eliminate the common mode fault of the redundant system. The CPUs of the dissimilar four-redundancy ELMC are composed of two DSP and two FPGA, which can be considered as the hardware dissimilar redundancy...
The Underwater Acoustic Sensor Networks (UWASN) has sensors which are deployed underwater for gathering information for the unexplored parts of oceans or rivers. UWASN consists of variable number of floating and anchored sensors, sink and vehicles that are deployed over an area to be explored. Thus the deployment efforts of UWASN have curbed with preposterous budgetary price and eminent power depletion...
Electricity companies will only allow customers to inject power into the grid network if the customer's system is in synch with both frequency and phase as the grid itself. This is normally achieved using a specialised machine sold by the energy provider. It may be possible to achieve this via low cost, low power nodes such as a Raspberry Pi, to synchronize frequency and phase as well as voltage and...
Hardware IP design verification is performed using exhaustive random stimuli, while incorporating a coverage driven flow. On the other hand, system-on-chip (SoC) verification methodologies, sometimes, use a directed C-based verification approach to validate the functionality of the design. There is no significant randomization exercised in this process. Reuse of IP testbench components for SoC verification...
Activities and products are among the key concepts defining and participating to the life cycle of software engineering processes. These two concepts are bonded by strong relationships of production and consumption, which implies that their evolution should be monitored to ensure their consistency and coherence, this monitoring is referred to as synchronization between products and activities. In...
A Wireless Sensor Network (WSN) requires a high level of robust and fault tolerant sensing and actuating capabilities, specially when the application aims to gather delicate and urgent data with reasonable latency. Hence, verifying the behavior properties under the presence of faults remains an important step in developing an application over a WSN. A comprehensive study on characterization and understanding...
This paper focuses on using a TI's DSP to design an AC electricity acquisition module, which can accomplish the function of distributed synchronous AC electrical parameters sampling. The hardware diagram of the design used a DSP and other auxiliary devices to set up an AC electricity acquisition module with the ability of high frequency distributed simultaneous electrical parameters sampling. Specifically,...
In every NPP the operation sections have incorporated a number of field data sheets which are manually filled on hard copies in each shift, reviewed and stored for future reference. The entire process of filling, checking and reviewing takes considerable time. This delay may cause some of the important parameters getting highlighted late in the shift. And moreover, a quick comparison and reference...
The increasing heterogeneity and parallelism of modern multi-processor systems on chip (MPSoCs) demand the evolution of existing debuggers in order to keep software development feasible. Such evolution will only be granted if upcoming software debuggers address key issues like abstraction, retargetability, scalability and convergence of information from different data sources. This paper presents...
Many large enterprises are wasting vast amounts of electricity due to computers that are powered-up yet unused for considerable periods of time. It is unfortunate that although the facilities to power management are already available, many administrators are reluctant to adopt power saving features. This paper first highlights the scale of electricity wastage and goes on to consider the issues associated...
Express delivery industry is growing rapidly as the result of an explosive growth in the e-commerce, telemarketing and TV home-shopping, especially in developing countries. On the other hand parcel delay, loss and damage become the major challenges of the excessive number of express companies. In this paper we introduce an event-driven shipment monitoring and scheduling system, which utilizes the...
A software clock capable of self-evaluating its synchronization uncertainty is experimentally validated for a specific implementation on a node synchronized through NTP. The validation methodology takes advantage of an external node equipped with a GPS-synchronized clock acting as a reference, which is connected to the node hosting the system under test through a fast Ethernet connection. Experiments...
Dependability evaluation techniques such as the ones based on testing, or on the analysis of field data on computer faults, are a fundamental process in assessing complex and critical systems. Recently a new approach has been proposed consisting in collecting the row data produced in the experimental evaluation and store it in a multidimensional data structure. This paper reports the work in progress...
Timed failure propagation graph (TFPG) is a directed graph model that represents temporal progression of failure effects in physical systems. In this paper, a distributed diagnosis approach for complex systems is introduced based on the TFPG model settings. In this approach, the system is partitioned into a set of local subsystems each represented by a subgraph of the global system TFPG model. Information...
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.