• Aerospace Engineering and Technology
• /
• v.7 no.2
• /
• pp.95-102
• /
• 2008

COMS Satellite is automatically able to recover from any defined failure thanks to a full redundancy. This study assesses the effects of gyro failure on the COMS mission and analyzes the mechanism of Gyro Failure Detection, Isolation and Recovery about failure detection means, isolation and recovery actions and their consequences. At last, it checks the FDIR behavior from an injected failure on COMS simulator.

• Journal of Information Technology Services
• /
• v.10 no.3
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.12 no.1
• /
• pp.84-91
• /
• 2003

The equipment of textiles let off is a part of inspection machine which inspects finished textiles and it checks up textiles through that. This study suggests a method to select the capacity and initial gas pressure of accumulator to control surge rising pressure occurring when suddenly braking action to a desired degree. An accumulator in hydraulic systems is by hydraulic machinery which stores kinetic energy of inertia body during braking. A series of computer simulations were done for the brake action The results of the simulation work were compared with those of experiments.

• Korean Management Science Review
• /
• v.18 no.1
• /
• pp.79-88
• /
• 2001

We often feel the necessity to communicate with members involved in a project to remote discuss business activities, needs for the fast file transfer, and check the existence of members to talk with. There are some commercial applications in these problems. However, in addition to those existing functions, this study focuses especially on adding couple of functions such as automatic responding function, in which a sender of a message automatically knows if a receiver checks the message. Its application is that a project leader sends an important message and later on can check at his desk the fact that who have checked their messages. The prototype application, build in this study, will check the correctness of every sub-function, and then the interface of inter-sub-functions, finally the integrity of the entire system, so that important information will not be lost among members of a project in the real world situation.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.4
• /
• pp.517-522
• /
• 2011

Conventional projection welding systems suffer from lots of defective products caused by manual handling. In this paper, we introduce a projection welding system that performs automatic identification, welding and counting of components and products. The proposed system checks the existence and identifies placement of components to be welded by a vision camera. After welding of the components, it automatically updates product counts and dressing items. We show that the proposed welding system can reduce the defect rate and improve the productivity through experimental test with a existing system.

• Journal of Multimedia Information System
• /
• v.7 no.2
• /
• pp.137-140
• /
• 2020

In this paper, we propose a simplified tag collection algorithm to improve the performance of ISO / IEC 18000-7, the standard of active RFID systems. In the proposed algorithm, the collection command is modified to include the result of the listening period response from the previous round. The tag, which has received the collection command, checks whether the slot to which it has responded is collided, transmits additional data to its data slot without a point-to-point read command and sleep command, and transitions to the sleep mode. The collection round in the standard consists of a series of collection commands, collection responses, read commands, read responses, and sleep commands. On the other hand, in the proposed tag collection algorithm, one collection round consists only of a collection command and a collection response. As a result of performance analysis, it can be seen that the proposed technique shows superior performance compared to the standard.

• Korean Journal of Oriental Medicine
• /
• v.12 no.3 s.18
• /
• pp.17-29
• /
• 2006

The Syndrome Differentiation(辨證) means to make diagnosises and to classify symptoms based oriental medicine theory. Questionnaires and clinical decision support system would assist the doctor checks up symptoms of a patient. We analyze about domestic and foreign patents and papers of these diagnosis tools and catch the trend. In patents, the system examines by telemedicine and offers medical information and prescriptions to patient. Papers was itemized fields ; theory, methods of analysis, clinical application, questionnaire, clinical decision support system. The results of this research can be applied to develop the high-quality tool to support syndrome differentiation.

• Journal of Information Processing Systems
• /
• v.2 no.2
• /
• pp.114-123
• /
• 2006

We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atomic services and their properties such as IOPE from the UML class diagram, and retrieve information related to the composition of services from the UML state-chart diagram. Then, the XSLT applications utilize the acquired information to generate the OWL-S service model ontology through the predefined mappings between OWL-S constructs for composite services and UML state-chart primitives. For the justification of generated service ontology, several validation checks are performed. Our service ontology generation method is general and fully automatic, as well as effective, in that it is achieved in an environment familiar to developers, and information needed to generate service ontology is provided necessarily during service development. It is also noticeable to facilitate representing the condition with GUI rather than a complex language such as OCL.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.253-260
• /
• 2010

Communication devices aim to provide a multimedia service without spatial or temporal limitations in an IP-based environment. However, it is incapable of allowing for fair use by consumers who legally buy content, and damages provider contents through the indiscriminate distribution and use of illegal contents. The DRM system that emerged to solve this problem cannot protect licenses stored on communication devices, and manage licenses by redistribution. This paper proposes a license audit model, which checks for illegal access, modification and redistribution, and reports alert logs to the server.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.656_657
• /
• 2009

IEC 60270 에서는 부분방전 시험회로와 측정 시스템에 관하여 기술하고 있을 뿐 아니라 측정 시스템의 교정 및 교정기(Calibrator) 와 측정 시스템의 유지 관리 방법에 대해서 규정하고 있다. 유지관리 방법으로는 type tests, routine tests, performance tests, performance checks 가 있으며, 본 논문에서는 사용자가 주기적으로 시행하는 performance tests, performance check 에 관하여 기술한다.