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.
OpenFlow has been applied to a variety of demands of the transmission quality of the Internet business and it is still growing on its way. To test this protocol with its evolution consideration, we analyzed the working process of OpenFlow protocol and constructed the CPN model through phasing firstly and then role division for version 1.0. In addition, the selection of tokens and their given values...
The propagation methods of viruses are diverse and studying the virus propagation is a hot topic. There appears a new way that the search engine quickly spreads network viruses, and many researches overlook its impact of propagation and few researches set a model to quantifiabely analyze how the search engine spread viruses. Based on community networks, this paper designs a specific model how the...
Preventing viruses from spreading in networks is a hot topic. Existing works designed immune strategies for static networks, which become invalid for temporal networks due to their dynamic characteristics and community structure. In this paper, taking into consideration of the evolutionary communities, we propose an evolutionary virus immune strategy for temporal networks. First, we define a new metric,...
Engine testing technology has made great development and gathering the engine data of failure becomes more and more easily. The engine fault recognition method based on data driving has made rapid development. The support vector machine (SVM) is currently a well-known machine learning technique. It has been applied to deal with range of fault recognition problems due to its unique advantages. There...
Abstract-The line loss of power system is an important economic indicator in the operation of power system.The analysis method of line loss for planning grid is developed. The data of system are taken from EMS. After getting data from EMS, state estimation will be carried out periodically. The feature program is that it can analyze the line loss for planning grid in the corresponding period.The program...
The auxiliary line loss management system in Hebei grid is developed. The data of system are taken from EMS. After getting data from EMS, state estimation will be carried out periodically. The ground state of power flow is from the results of state estimation. The hardware configuration of system is introduced. A data receiving server is configured to receive model, graphic and data in auxiliary line...
This paper shows how Mobile-Agent-oriented Petri nets (MAPNs) can be used to specify and analyze a mobile-agent-based e-commerce taxation system. Both the dynamical behavior of the system and the causality between events can be explicitly described by MAPNs. The functional correctness of the system, such as the reachability and the coverability, is formally verified by attaching agents' attributes...
As the mobile agent technology begins to emerge as a viable solution for intelligent e-commerce applications, there is an increasing attempt to ensure that the systems being developed are robust, reliable and manageable. While the mobile-agent-based e-commerce systems are designed and implemented, their functional correctness and completeness must be formally verified. For this purpose, this paper...
An online information management system about the special vehicles enterprise is actualized for the enterprise architecture, the generalized business, and the key target of production management, in order to improve the production management level of the enterprise in this research. The system structure through integrated requirements is established for several aspects of the development processes...
Propagation impairments produced by the troposphere have great impact in Ka-band (or higher) satellite communication system, and the rain attenuation is the leading factor that affects the communication capability and the quality of transmission. So, it is necessary for us to calculate the rain attenuation accurately, and then take some measures to reduce the effect by rain. This paper computes rain...
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.