• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10b
• /
• pp.1811-1816
• /
• 1991

In this paper we present how the deviation bound, which is a synchronic variable, can be used for checking liveness in Petri nets. Also, the deviation bound will be applied to detect or avoid deadlock situations and to characterize concurrency against sequential behaviors in automated manufacturing systems. In the current stage, we restrict the applicable domain of these methods to the Petri net structure that can be synthesized by combining common transitions or common places or common paths of Live-and-Bounded circuits.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.2
• /
• pp.95-103
• /
• 2016

In a dynamic environment autonomous robots often encounter unexpected situations that the robots have to deal with in order to continue proceeding their mission. We propose an adaptive goal-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyze for attainment of their goals from current state using the updated environmental model and its capabilities. Information exchange approach utilizes Human-Agent-Robot-Machine-Sensor (HARMS) model to exchange messages between CPS. Model validation method uses NuSMV, which is one of Model Checking tools, to check whether the system can continue its mission toward the goal in the given environment. We explain a practical set up of the model in a situation in which homogeneous robots that has the same capability work in the same environment.

• Journal of the Korean Data and Information Science Society
• /
• v.8 no.2
• /
• pp.247-260
• /
• 1997

The quasi-likelihood models which greatly widened the scope of generalized linear models are widely used in data analysis where a likelihood is not available. Since a quasi-likelihood may not appear to be an ordinary likelihood for any known distribution in the natural exponential family, to fit the quasi-likelihood models the standard statistical packages such as GLIM, GENSTAT, S-PLUS and so on may not directly applied. SAS/IML is very useful for fitting of such models. In this paper, we present simple SAS/IML(version 6.11) program which helps to fit and analyze the quasi-likelihood models applied to the leaf-blotch data introduced by Wedderburn(1974), and the problem with deviance useful generally to model checking is pointed out, and then its solution method is mention through the data analysis based on this quasi-likelihood models checking.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.1
• /
• pp.99-105
• /
• 2009

Recently the research is much interested in about the inspection system using by computer vision system. In this paper, we deal with shape inspection technique for moving to be long and narrow object on conveyor belt. first, we are acquired for moving object on conveyor belt. then the object segmentation is using by color information for background and object. the object position be calculated by horizontal and a vertical histogram. second, we are checked for two hole in front part, widths and top/bottom side information in middle part, and finally checking for two holes in rear part. The performance of our proposed model is evaluated by experiments, within error of 1㎜, and can be checking to 17 object /min.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.1 s.94
• /
• pp.87-94
• /
• 1999

The peak recoil force in a pistol have an effect on the reliability of the frame and target shooting. The experimental system has been established for measurement of the peak recoil force, which consists of force and velocity sensors, high speed camera. For effective operation of the system, a software has also developed, and combined with the hardwares. Several pistols have been tested and compared quantitatively on the peak recoil force and impact energy. It is concluded that the established system can be utilzed for checking peak force, and data accumulation for new pistol design.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.4
• /
• pp.757-765
• /
• 1996

View index techniques are proposed to process queries on views. Signature referencing techniques keep pointers with signatures of the referred object when there is any reference relationship between objects. When queries having conditions on referred object are give, disk I/Os can be reduced by checking conditions using stored signatures. Signature view index techniques proposed in this paper apply signature referencing techniques to view index by keeping not only tuple identifiers but also signatures for the tuple. When queries having conditions on views regiven, we can retrieve only tuples from a view index which satisfy given conditions by checking those with stored signatures.

• Journal of Biosystems Engineering
• /
• v.21 no.3
• /
• pp.306-314
• /
• 1996

A seeder monitoring system was developed to solve the problems of mis-sowing and tube clogging in direct seeding machines, which have been one of the factors that reduce the performance of sowing operations. The system consisted of photo sensors, air nozzles, an air compressor, and a one-chip micro-computer based controller. The system was also equipped with the devices that perform the functions of self-checking and intermittent air injection for cleaning seed tubes. The performance of the system was tested in the laboratory and field. Using the well-cleaned rice seed, the average time for checking the mis-sowing was 1.37 seconds in the field and 1.2 seconds in the laboratory without any malfunction. Overall evaluation of the system indicated that the system can be utilized for seeding machines not only for paddies but beans and corns.

• IE interfaces
• /
• v.17 no.1
• /
• pp.13-21
• /
• 2004

In this study, the prototype of a system for checking risk-factor of NC machine is proposed. The proposed system can get the risk-related information by monitoring the status of real-time processes of NC machines. Using the information, the accidents can be prevented by the background process of an expert system tool. This paper consists of 2 parts: (1) the method for gathering data and definition of the risk-related factors of NC machines and (2) the procedure for finding the proper actions by using the forward chaining of a rule-base. Proposed system is implemented with C++ language under MS-windows.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.299-308
• /
• 1992

Determining tool-approach directions is an important issue when an effort is made to transfer CAD data into manufacturing automatically. An algorithm is developed to determine whether a given part can be machined on a three-axis milling machine. lf a set of feasible tool-approach directions exists for a sculptured surface, the NC tool path and G-codes for machining the surface on a three-axis milling machine can be generated automatically by an NC tool path generation algorithm. The algorithm can be used for orientation and fixturing of the workpiece for interference free machining. The algorithm can also be applied to checking the translational separability of polyhedral parts in automatic assembly.