• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.6
• /
• pp.488-501
• /
• 2009

In ubiquitous environments, invisible devices and software are connected to one another to provide convenient services to users. In order to provide such services, we must have mobile devices that connect users and services. But such services are usually limited to those served on a single mobile device. To resolve the resource limitation problem of mobile devices, a nearby resource sharing research has been studied. Also, not only the nearby resource share but also a resource recommendation through context-based resource reasoning has been studied such as an UMO Project. The UMO Project share and manage the various context information for the personalization resource recommendation and reason based on current context information. Also, should verify resource inference rules for reliable the resource recommendation. But, to create various context information requires huge cost and time in actuality. Thus, we propose a inference verification tool called USim to resolve problem. The proposed inference verification tool provides convenient graphic user interfaces and it easily creates context information. The USim exactly verifies new inference rules through dynamic changes of context information.

• Journal of the Semiconductor & Display Technology
• /
• v.16 no.2
• /
• pp.1-8
• /
• 2017

The visual inspection of electronic parts consists of two steps: automatic visual inspection and verification inspection. In the stage of a verification inspection, the human inspector sequentially inspects all the areas which detected in the automatic inspection. In this study, we propose an algorithm to determine the order of verification inspection by Bayes inference well known in the field of machine learning. This is a method of prioritizing a region estimated to have a high probability of defect using experience data of past inspection. This algorithm was applied to the visual inspection of ultraviolet filters to verify its effectiveness. As a result of the comparison experiment, it was confirmed that the verification inspection can be completed 30% of the conventional method by adapting proposed algorithm.

• The Journal of Korean Institute for Practical Engineering Education
• /
• v.5 no.1
• /
• pp.1-13
• /
• 2013

For a basic engineering education the confirmation and verification of the deductive Inference was studied and the principle of probability inference was applied. The background of introduction of deductive Inference and its test method was mentioned, and historic arguments on the compatibility of deductive statistical inference was summarized and analyzed. Philosophical arguments on the deductive confirmation for engineering experiments was introduced. Premise, procedure, and control of the experiments are studied. As an example of the deductive probability inference three groups of experimental data were used in order to find successful inferences respectively.

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• pp.341-344
• /
• 1991

Rules in expert system have meaning of assigning never-happen-minterms. Overall logical relations of variables can be achived by making all prime implicants of never-happen-minterms. From prime implicants, two tables, which are necessary in the process of inference, are constructed. There are two inferencing modes. One excutes inference only one variable which the user is interested in, and the other excutes inference all variables simultaneously. Outputs of inference have not only 'true' or 'false' but also 'unknown' which is different from conventional expert system. In this paper, an efficient approach is presented, which can check logical inconsistency in knowledge base and contradiction between input facts and rules. The methods in the paper may be available in the field of diagnosis and alarm processing.

• The Journal of Korean Association of Computer Education
• /
• v.12 no.4
• /
• pp.65-75
• /
• 2009

The result verification is necessary to support a guarantee for the correctness of the task results be executed by any unspecified resources in desktop grid environments. Typically, voting-based and trust-based result verification schemes have been used in the environments. However, these suffer from two potential problems: waste of resources due to redundant replicas of each task and increase in turnaround time due to the inability to deal with a dynamic changeable execution environment. To overcome these problems, we propose a fuzzy inference-based replication scheme which can adaptively determine the number of replicas per task by using both trusty degree and result return probability of resources. Therefore our proposal can reduce waste of resources by determining the number of replicas meeting with a dynamic execution environment of desktop grids, not to mention an enhancement of turnaround time for entire asks. Simulation results show that our scheme is superior to other ones in terms of turnaround time, the waste of resources, and the number of re-replications per task.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.47-60
• /
• 2008

Success of a semantic web application, currently base on web technology, depend on web ontology construction that provided rule and inference function about knowledge. For, this study compared the ontology construction methods that were already proposed, and analyzed, and investigated characteristics of semantic web and web ontology, investigated characteristics of semantic web and web ontology, and defined characteristics of web ontology as-based technology of a semantic web application and knowledge representation steps, and studied a technical element that related currently web technology, and proposed a web ontology construction method for a semantic web application with bases to these. Established web ontologies of various knowledge fields as applied the construction method that proposed. Also evaluate performance of web ontology through inference verification of web ontologies established, web ontologies evaluated performance of web ontology as used inference verification. According to this, we confirmed that proposed construction method that can establish the ontology suitable for semantic web application.

• Journal of Korea Water Resources Association
• /
• v.44 no.7
• /
• pp.537-551
• /
• 2011

Based on optimal input data combination selected in the earlier study, Neuro-Fuzzy flood forecasting model linked Takagi-Sugeno fuzzy inference theory with neural network in Wangsukcheon and Gabcheon is established. The established model was applied to Wangsukcheon and Gabcheon and water levels for lead time of 0.5 hr, 1 hr, 1.5 hr, 2.0 hr, 2.5 hr, 3.0 hr are forecasted. For the verification of the model, the comparisons between forecasting floods and observation data are presented. The forecasted results have shown good agreements with observed data. Additionally to evaluate quantitatively for applicability of the model, various statistical errors such as Root Mean Square Error are calculated. As a result of the flood forecasting can be simulated successfully without large errors in all statistical error. This study can greatly contribute to the construction of a high accuracy flood information system that secure lead time in medium and small streams.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2009.01a
• /
• pp.282-285
• /
• 2009

This paper proposes a flame verification algorithm using motion and spatial persistency. Most previous vision-based methods using color information and temporal variations of pixels produce frequent false alarms due to the use of many heuristic features. To solve these problems, we used a Bayesian Networks. In addition, since the shape of flame changes upwards irregularly due to the airflow caused by wind or burning material, we distinct real flame from moving objects by checking the motion orientation and temporal persistency of flame regions to remove the misclassification. As a result, the use of two verification steps and a Bayesian inference improved the detection performance and reduced the missing rate.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.199-202
• /
• 2001

An elevator system, which is essential equipment for vertical movement of an object, as a property of building, has been driven by various expenditures and purposes. Since developing electrical control technology, control system are highly developed. The elevator system has expanded widely, but a data accuracy acquisition technique and safety predict technique for securing system safety is still at a basic level. So, objective verification for elevator confidence condition requires an absolute accuracy measurement technique. Therefore, this study is executed in order to acquire a method of depending on sense of a manager with simple numeric measurement data, and to construct a logical, analytical foresight system for more efficient elevator management system. As an artificial intelligence for diagnosis, the fuzzy inference algorithm is used for foreseeing the system in this thesis, because the fuzzy algorithm is the most useful method for resolving subjective ideas and a vague judgment of humans. The fuzzy inference algorithm is developed for each sensor signal(i.e. vibration, velocity, current).

• English Language & Literature Teaching
• /
• v.10 no.3
• /
• pp.21-40
• /
• 2004

This study Questioned what happens in L2 reading comprehension of the expository text, as measured by recall and inference-making abilities, when a L2 reader was induced to develop a content schema about the topic of a target text, but the structure of that schema departs from the structure of the target text Seventy-four. Korean university students read either the same version text twice (consistent condition) or two different version texts (inconsistent condition) with a three-day interval between the two readings. The results of a verification test indicate that, for those subjects with higher L2 reading proficiency, the inconsistent condition was more beneficial than the consistent condition for the inference-making task. On the other hand, for lower-level L2 readers, the consistent condition was more favorable for the recall task. It was concluded that inducing a structurally inconsistent schema through an L2 pre-reading would be beneficial only when the reader's L2 linguistic ability is proficient enough to produce necessary propositions from the pre-reading.