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.
In this paper, an intelligent development platform based on "one network, four bases and two engines", which can be used to develop a so-called expert system (ES) is proposed. This paper aims to provide a universal, convenient development environment for the expert systems. A four-layer architecture that is closely integrated with the application is presented. Additionally, three service...
Pervasive computing systems are heterogenous and complex as they usually involve human activities, various sensors and actuators as well as middleware for system controlling. Therefore, analyzing such systems is highly non-trivial. In this work, we propose to use formal methods for analyzing pervasive computing systems. Firstly, a formal modeling framework is proposed to cover main characteristics...
Information fusion is a key technique in modern air battle. A new information fusion algorithm based on fuzzy optimum theory is proposed in this paper. Fuzzy optimum theory is widely used in pattern recognition, multitarget sorting, etc. Using this information fusion algorithm, we discuss its detail process in air battle. The result represents its effective, and it is superior to Bayes statistical...
Air combat tactics decision-making is a procession which full of complexity and uncertainty. The decision-making is uncertainty fusion reasoning with multi-sensors system. Aim to deal with the uncertainty in a dynamic decision-making process of air combat, bayesian network model of air combat tactics decision-making has been brought out based on the merits of bayesian networks on uncertainty reasoning...
The cognition and learning of Chinese characters is a good example of human visual perception and learning. The synchronization behavior between neuronal groups in cortical areas is one of the core mechanisms in visual image perception and recognition. We built a neural network with locally coupled Wilson-Cowan oscillators to learn Chinese characters. Neurons in each group representing the same feature...
Model Driven Development (MDD) refers to the systematic use of models as primary engineering artifacts throughout a software development life cycle. In recently years, MDD has been increasingly employed to guide development with a focus on system modeling, code generation from models and white-box analysis of models. However, compositional system analysis regarding early Non-Functional Aspects/Properties...
Acquisition of abstract concept is the key step in human intelligence development, but the neural mechanism of concept formation is not clear yet. Researches on complexity and self organization theory indicate that concept is a result of emergence of neural system and it should be represented by an attractor. Associative learning and hypothesis elimination are considered as the mechanisms of concept...
Autonomic networking requires that the services and resources offered by the network at any specific time adapt to evolving changes in user needs, business goals and environmental conditions. This paper describes a rich and extensible context-aware policy model as part of the FOCALE autonomic network architecture. This context-aware policy model is built explicitly to support context-awareness that...
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.