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.
Adopting two independent models for functional verification and performance analysis respectively could not guarantee the performance models satisfying the functionality correctness. In this paper, a colored Petri nets (CP-nets) based method is proposed to integrate functional verification and performance analysis for network protocols. Firstly, a CP-nets based function model for the protocol is constructed...
The current distribution in aluminum reduction cells is of great significance, but currently adopted simple detection methods and analytical tools can not meet the need for its current distribution on-line monitoring. The paper, based on the principle of anode and cathode equal-distance voltage measurement, with successful integration of advanced wireless sensors network technology and dynamic web...
This research aims to develop a new sensor-based localization technique which is exclusively used for forest fire detecting systems. Our algorithm addresses three key criteria of forest fire detecting systems deployed in nature, which are: low complexity, high efficiency and low power consumption, by the 2 features: estimating a grid-based output and adopting an event-triggering mechanism. The algorithm's...
This article paper aims to introduces how a system is designed for Tahe's forest-fire-prevention management in Northeast China after a brief introduction to the overall functional characteristics, the overall function flow chart and the operating environment of the forest -fire -prevention management system. firstly, and then This system design consists of seven function modules, which are geographic...
In this paper a new forecast approach of coal mine water inrush based on microseismic monitoring technique was introduced. Coal rock microseismic signal was characterized by wide frequency band and rich frequency spectrum, so that microseismic monitoring technique could be used to detect the dynamical changes of coal rock and therefore it was possible to predict water inrush in mine by analyzing the...
Now, most NDT methods (electromagnetism testing, eddy current inspecting, ultrasonic testing and so on) of composite have own their merits or defects and range of application. This paper will introduce an intelligent coin-tap test system of civil aircraft composite structure. With the character of high automatic facility, prompt and accuracy, this system can be employed in production and maintenance...
Special important station and application of BSRF in the Z-pinch physics study are introduced first. Beijing Synchrotron Radiation Facility (BSRF) used special operation mode with the storage ring electron energy 2.5GeV, beam current 130∼250mA, photon energy region 50∼1800eV. We inserted metal filters in the 3W1B for absorbing higher harmonics. In this paper, the methods of calibrating the soft X-ray...
Considering the features of Harmful Algal Blooms (HAB) monitoring data, such as complexity, multi-driven data sources, different data platforms, nonstandard data formats, and the advantages of Extensible Markup Language (XML), that is, expansibility, simplicity, interoperability, openness, compatibility of multinational language, the XML technology is used to establish the monitoring data exchange...
The Manufacturing Grid (MG) workflow can be defined as a composition of manufacturing activities which execute on heterogeneous and distributed manufacturing resources in a virtual organization to accomplish a specific goal. This paper will describe an MG workflow management system with intelligent, multi-agent support in a dynamic Web environment. Intelligent agents work together individually and...
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.