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.
With the rapid development of regional economy in Shandong Province, the demand of electric power increases rapidly. So, the development of the substation construction and its status information detection system has led to the massive power equipment status information data, which needs to be sorted out and standardized work. In this paper, the MapReduce technology is used for the degradation processing...
Informatization is the ultimate way out for audit method in China. In order to improve audit quality, the auditee's information system always needs to be restored on the auditors' environment by re-installing them. The kind of audit model brings great pressure to the auditors, not only is the heavy workload at each audit project, but also there is incompatibility problems between different operating...
AGG is a well established development environment which is used to model software systems in terms of graphs. Though AGG provides an appropriate basis for system modelling and verification, it can neither analyze nor evaluate the system reliability. In this paper, we propose an AGG-based strategy which, by combining generalized stochastic petri net (GSPN) and tools for reliability analysis, supports...
Architectural design modeling has emerged as a discipline in a complex system development. To implement early safety analysis, techniques for architectural design have been extended to concern the safety property. Various safety standard profiles, quantitative and qualitative analysis methods are proposed for assessment. However, few of them focuses on the feedback of the safety properties or analysis...
The activity diagram is widely used for describing and understanding workflows, however, it lacks a formal semantics and cannot be manipulated by computer. In this paper, we present a transformation from UML activity diagrams with time properties to timed coloured petri nets (TCPNs) in a formal way. We extend the activity diagram with time properties and a formal model named extended activity hyper...
The complexity of equipment SoS(ESoS) bring the new technical challenge to simulation development and integration, Traditional simulation development and integration mode is limited by special technology, the mode not only Influence the efficiency of simulation development and integration, but also is not conducive to the reuse of simulation resources. The paper analyzed ESoS joint simulation requirement...
This paper proposes a new social network model - Preference Memory Network (PMN) to overcome the common deficiency that existing network models do not take into account the heterogeneity of nodes and the memory feature on node connections preference. Experimental results shows that Preference Memory Network model have small-world, scale-free, high clustering coefficient and short average shortest...
High precision positioning stage has played increasingly important role in the areas of aeronautics and astronautics, ultra-precision manufacturing and measuring, microelectronics, biological engineering, optical engineering, etc. In this paper, a piezo-powered 2D micro-positioning stage based on parallel sheet plate flexible beams is designed. A lever amplifier structure connected by circular arc...
Addressing the general characteristics of random fluctuations in the propagation process, by the uniform network S-I-R-S model for research object, the paper established a random network model based on continuous time Markov chain, analyzed the steady-state threshold and critical conditions of random model, the conclusion of random network model is the same with the result of the mean-field approach...
Cyber-Physical System (CPS) reflects the dynamic changes of physical environment through the event, closely interacts with the physical environment. CPS often involves a wide spectrum of events, and CPS events reflect the environment changes in a time-sensitive and/or spatial-sensitive manner. The event is an effective way of mapping physical environment to cyber domain. We analyzed the concept and...
In order to study regional technological innovation output capability for an overall understanding, this paper finds the technological innovation output can be decomposed into two kinds through factor analysis: short-term S&T application output and independent innovation output. To find the regional differences in these two outputs, the paper Building a scientific measurement of regional S&T...
Requirement analysis method based on ontology and UML is applied to establish the requirement model of equipment supporting system supported by space information. Requirement meta-ontology model and semantic model of equipment supporting system supported by space information are built and model arithmetic is put forward. As an illustration, mechanization infantry division's equipment supporting system...
The installation of surge protective devices (SPDs) is important for the protection of today's household appliances against in-rushing surge. The effective protection distance should be taken into account for the installation to avoid the influence of oscillation phenomenon. For household appliances, their port impedance characteristics are more complex and frequency dependent, and for some appliances,...
According to the dynamic characteristics and static relationship of boiler steam temperature controlled object, to establish the model of boiler steam temperature, it can be described by block diagrams or state space, which has the full scope non-linear and time-varying characteristics. The section transfer functions can be converted into variable state space applied Jordan blocks and algebraic transformation...
This paper uses fuzzy neural network method to establish simulation model about the evaluations of customers' beer tastes and preference degree. It explains the methods of building, training and simulating networks in the development environment of MATLAB software. And it does network training and error testing by the actual data to prove this model is feasible.
The rapid growth of complexity accompanied with the continually changing requirements of C4ISR system makes it challenging to make C4ISR capability analysis by traditional design principles. Service-oriented architecture (SOA) offers a flexible approach to meet the dynamic military requirements of C4ISR systems due to its loosely coupling features, dynamic binding and independence of development technologies,...
The PROFIBUS transmission time delay property has been studied. Based on the uniform transmission time delay model of fieldbus, the PROFIBUS general and simplified transmission time delay formulas were given, and the important aspects that influence transmission time delay, block time, frame time and respond time of receiver, were summarized. For the case that the address of the node which tries to...
As the next generation GIS technology, GIS Web service is able to effectively cope with several problems of traditional GIS applications, such as hard to update old systems, lacking of good interoperability and hard to integrate with other systems, etc. This paper studied how to construct a spatial decision support system (SDSS) for precision farming based on GIS Web service. Main components 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.