• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Journal of Korean Institute of Industrial Engineers
• /
• v.14 no.2
• /
• pp.71-80
• /
• 1988

The primary purpose of this study is to develop an automation tool capable of converting the specification of structured analysis into that of structured design. Structured Analysis and Structured Design Language (SASDL) is a computer-aided description language based on ERA model and particulariged by ISLDM/SEM. The automation tool utilizes the specifications of data flow diagram described in SASDL to produce their corresponding SASDL specification of structure chart. The main idea behind the automatic conversion process is to categorize the bubbles in data flow diagram and to determine the positions of the bubbles in structure chart according to their categories and the relative locations in data flow diagram. To make the problem into manageable size, the whole system is broken down into separate parts called activity units. A great deal of manual jobs, such as checking processes leveling, checking data derivation of processes, deriving structure chart from data flow diagram, checking any inconsistency between data flow diagram and structure chart and so forth, can be automated by using SASDL and conversion tool. The specification of structure chart derived by conversion tool may be used in an initial step of design to be refined by SASDL users.

• 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 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.

• Korean Journal of Computational Design and Engineering
• /
• v.11 no.3
• /
• pp.211-222
• /
• 2006

In collaborative environment, it is necessary that the participants in collaboration should share the same understanding about the semantics of terms. For example, they should know that 'COMPONENT' and 'ITEM' are different word-expressions for the same meaning. In order to handle such problems in information sharing, an information system needs to automatically recognize that the terms have the same semantics. So we develop an algorithm mapping two terms based on their ontological definitions and their similarities. The proposed algorithm consists of four steps: the character matching, the inferencing, the definition comparing and the similarity checking. In the similarity checking step, we consider relation similarity and hierarchical similarity. The algorithm is very primitive, but it shows the possibility of semi-automatic mapping using ontology. In addition, we design a mapping procedure for a mapping system, called SOM (semantic ontology mapper).

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.7
• /
• pp.1019-1025
• /
• 2015

The performance requirements on the safety-based functionality of railway signal systems have been reinforced and the effort for enhancement of the existing system or development of the new system is being accordingly made. In particular, various technical researches on replacement or improvement of the existing ATS(Automatic Train Stop) signaling system are now in progress for better operational efficiency. In this study, the complementary points for improvement or replacement of the currently used system(i.e., ATS) will be derived in terms of operating efficiency in an integrated operating environment with the newly introduced system(e.g., ATC: Automatic Train Control). This study can contribute to derive the need for improvement of the signaling system by checking the interface problems and comparing between different systems through the analysis of real operation cases in the field. Eventually, this analysis can be applied to prevent and estimate the collision accidents can be caused by the failure of the signaling system in advance. In addition, the results can be used to provide a future direction to secure the reliability in the parallel operation by integration based on different railway signaling systems.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.3
• /
• pp.341-352
• /
• 2016

Manual 3D pipeline modeling from LiDAR scanned point cloud data is laborious and time-consuming process. This paper presents a method to extract the pipe, elbow and branch information which is essential to the automatic modeling of the pipeline connection. The pipe geometry is estimated from the point cloud data through the Hough transform and the elbow position is calculated by the medial axis intersection for assembling the nearest pair of pipes. The branch is also created for a pair of pipe segments by estimating the virtual points on one pipe segment and checking for any feasible intersection with the other pipe's endpoint within the pre-defined range of distance. As a result of the automatic modeling, a complete 3D pipeline model is generated by connecting the extracted information of pipes, elbows and branches.

• Korean Journal of Poultry Science
• /
• v.23 no.2
• /
• pp.99-106
• /
• 1996

Because of the imminent market opening of livestock and poultry products, Korean poultry industry is faced an influx of contagious diseases from abroad. Due to the increasing trend of intensive and automatic poultry farming, the risks of catching various poultry epidemics are ever more increasing. For the prevention of poultry epidemics, the principles of biosecurity should be observed rather strictly. In addition, regular checking to confirm the presence or absence of latent diseases through serological test, post-mortem examination, and laboratory test, should be carried out routinely. Finally, all kinds of stress factors should be minimized to keep the flock healthy and productive, so that they can achieve their maximum genetic potential.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.71-74
• /
• 1992

This paper describes the automation of the surface grinder for a grinding wheel by application of programmable logic controller(PLC) with a position sensor, and a limit switch. The control system is designed to provide feeding a workpiece on the turn table and pressing it by the upper disk automatically. In this development the automation of checking the thickness of a grinding wheel is most important. In order to measure the relative displacement, the proximity sensors were employed and the sensitivities of the sensors were investicated and discussed the superiority. It has been shown by model experiment that the automation system of the surface grinder is performed satisfactory.

• Proceedings of the KSR Conference
• /
• 1999.05a
• /
• pp.299-306
• /
• 1999

The ${\mu}$-processor based-controlled system is widely used in railway signaling system. The railway signaling systems are highly required safety and reliability. It is necessary to have a fault-tolerant and fail safe concept in ${\mu}$-processor based railway signaling system. In this paper, several architectures and circuits of fault-tolerant computer system is reviewed. The basic concept of the fault-tolerant computer system will be adapted total self checking, strong fail safe, fault display circuit, logic testing circuit and system switching concepts.