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.
Based on the reusability and interoperability of High Level Architecture (HLA), a distributed equipment maintenance support effectiveness evaluation simulation system model is built by combining with the current demands of the equipment maintenance support effectiveness evaluation. A new simulation system framework architecture and hardware architecture are established. At last the simulation system...
As an integrated system, green building design involves key technologies such as thermal insulation, natural ventilation and lighting, shading etc., which can be thoroughly analysed by computer. This paper introduces some common-used software that architects should know and some green buildings which key technologies design and evaluation process is simulated and optimized by software.
Measuring the inconsistency degree of an ontology is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. In this paper, we propose an approach to measuring inconsistency in a DL-Lite ontology and simply point out the useless of inconsistency degree. We first define three-valued semantics for DL-Lite, then through using three-valued semantics,...
A protocol anomaly detection model based on hidden Markov model (HMM) is given in this work which can verify normal and abnormal traffic. Then we demonstrate the model's correctness and effectiveness by using MIT Lincoln Laboratory 1999 DARPA Intrusion Detection Evaluation Data Set.
We integrated the agent technique of the distributing artificial intelligence and the character of the military equipment assistant decision support system. The paper proposed the structure of object-oriented agent equipment assistant decision support system and introduced the concepts of agent and multi-agent system according to this system. The paper also discussed the communication technique among...
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.