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.
The main goal of this special session is to foster a continuing conversation within the FIE community about modelbased reasoning in general and the essential role of diagrams in engineering education in particular. During this session, small groups of participants will develop categorization schemes using a collection of student diagrams. Groups will share their categorization schemes and ideas through...
In this paper; a fuzzy logic have designed to the control of an automatic door. Input status (WS: Walking Speed and DD: Distance Door) and the output status (DOS: Door Opening Speed) is determined. According to these statuses, rule bases (25 rules) have obtained. And the rules bases have been processed by a fuzzy logic and have tried to control of an automatic door. As a result; in this study, we...
The paper using object-oriented programming technology establishes a model of inference engine,and proposes a new reasoning method which can improve the reasoning efficiency.The model is used to predict thermal state of blast furnace which achieves good result and greatly improves the reasoning efficiency.
Intelligent machining means a blend between machining processes (turning, milling, drilling, grinding) and sensors, intelligent monitored by hardware and software applications dedicated to this task. From hardware point of view, today the sensors are incorporated by default in all machining equipments, but the intelligence is mostly human. Further researches try to replace the human decisions with...
To make IETM (interactive electronic technical manual) contents understandable to machine and suitable for inference, ontology needs to be established, and the IETM contents should be annotated with metadata which are defined as terminology in ontology. The relation between ontology and IETM domain ontology is explained; the overview of ontology languages for the semantic Web is introduced; based...
The reasoning algorithm based on hierarchical junction tree is proposed for the requirement of command information system Survivability. The Bayesian network is switched into a hierarchical junction tree structure and as a secondary structure for inference. The example shows that, HJT structure can not reduce the accuracy of reasoning, but also greatly reduce the memory requirements of large complexity...
The computation of semantic similarity of terminologies in gene ontology is an important application of gene ontology. Moreover, it is an important approach for biologists to deal with the semantic heterogeneity of biological data sets. Existing approaches in this field are based on semantic distance or information quantity. The author proposes a comprehensive approach where the similarity is first...
The Activity Monitor described in this paper is an easy-to-configure context-aware mobile application, capable of estimating and evaluating the user's activity all day long. It relies on fusion strategies for movement and location estimation, which combine acceleration and radio data from in-device and external sensors. The final objective of the Activity Monitor is to deliver adequate context-aware...
We propose a new approach to specifying and reasoning about forward recovery fault tolerant programs. We call it ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer to prescribe, with arbitrary degree of precision, not only the fault-free program behavior but also its recovery operation. Unlike the classic...
Empowered smart objects have become a part of people everyday activities due to the evolution of pervasive computing technologies. In such scenario context awareness plays a fundamental role in enabling adaptation and contextual services. Up to now a lot of efforts have been done in representing context information such as location, time and users identity. At the same time not much attention has...
Context-aware applications are becoming commonplace in everyday life thanks to recent advances in mobile devices, sensor capabilities and wireless communication networks. However, making the manipulation of context information efficient is still an important issue. Taking into account the quality of context data becomes a corner stone of an efficient context management. In this paper, we argue for...
While most activity recognition systems rely on data-driven approaches, the use of knowledge-driven techniques is gaining increasing interest. Research in this field has mainly concentrated on the use of ontologies to specify the semantics of activities, and ontological reasoning to recognize them based on context information. However, at the time of writing, the experimental evaluation of these techniques...
Smart objects are gradually integrating into people's everyday life. While many context-aware solutions for pervasive computing environments do not consider users social aspects, we believe smart objects should be social-aware. So Smart aims at filling the gap in social understanding of the user environment, presenting an ontology based context model to support social context representation and automated...
We say that a computer program augments the analyst if it can infer facts that are implicit in existing information, but that may be relatively difficult for a human to infer. Among a multitude of reasons, the analyst's task is difficult because (1) reported information to be analyzed and reasoned about often cannot be completely trusted (requiring verification attempts via further collection of information,...
The mental model creation and sharing is the base not only of scientific reasoning but is very important for students and for common citizens too. This claim is broadly accepted in different scholar communities. It is not surprising that the contemporary reasoning in social sciences is also rather based on manipulation with former constructed mental models than on rule-based one similarly as it is...
System diagnostics, also called system fault diagnostics or fault diagnostics is critical to reduce mean time to repair (MTTR), maintain the availability and keep cost of ownership down. In this paper, a model-based diagnosis approach using hybrid causal model utilizing probabilistic reasoning is introduced. This model has the advantages of being general and integrated with probabilistic reasoning...
A semantic web service modeling, matching and composition methods based on description logic (DL) rule and process algebra is introduced in this paper. It introduces process algebra constructor into DL to figure out OWL-S static and dynamic functional semantic characters, and expands the concept of service semantic matching to support the composability judgments between atomic service and composition...
Studying how humans interact with abstract, visual representations of massive amounts of data provides knowledge about how cognition works in visual analytics. This knowledge provides guidelines for cognitive-aware design and evaluation of visual analytic tools. Different methods have been used to capture and conceptualize these processes including protocol analysis, experiments, cognitive task analysis,...
Cloud computing has become a hot topic for both industrial and academic communities in the last couple of years. However, there has been no study that tried to develop search engines which are specialized for discovering Cloud service. Hence, this paper introduces Cloudle-a multi-criteria Cloud service search engine that supports matching algorithm of three kinds of requirements which are (1) functional...
Web services technology provides a flexible and cost-effective paradigm to construct highly dynamic systems through service discovery, composition, and ultra-late binding. However, its new features bring great pressure to maintain Web service-based system. Based on the massive testing results, how to locate the fault points in system is a challenging task. In the paper, a two level diagnosis framework...
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.