• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.1180-1186
• /
• 2011

For verifying consistency and completeness of some UML diagrams as a representative of a graphical notations for object-oriented designs, I first give an analysis of some UML diagrams and apply some verifying rules to the UML diagrams. In this paper, I design effective verifying system which possesses both diagramming facility and the consistency and completeness checking capability. The verifying system uses a set of frames to represent internal diagramming information.

• KIEAE Journal
• /
• v.9 no.5
• /
• pp.53-61
• /
• 2009

Green Building Certification System currently going into effect is a static evaluation model. Therefore, as far as the sustainable development of certification system is concerned, further long-term evaluation is required. The main purpose of this study is to offer a model in a way of developing and verifying a dynamic model in Green Building Certification. A dynamic model development has been given System Dynamics based on the causal structure. Thus, this study focused on searching the causal structure of certification criteria and verifying the reality of the model through simulation processing after developing a model. In conclusion, the development of dynamic evaluation method can be attributed to systematic evaluation for the criteria of Certification System.

• Journal of Korean Society for Quality Management
• /
• v.21 no.1
• /
• pp.78-95
• /
• 1993

The art of designing and analyzing fault-tolerant computers is surveyed with special emphasis on problems of analyzing the behavior of computers that have autonomous repair capability. The survey covers the following topics : (1) general issues in computer reliability, (2) fault-tolerance state relations and requirements, (3) computational hierarchy, (4) fault characteristics, (5) fault diagnosis, (6) fault-tolerance schemes for logic network and machines, (7) fault-coverage effects, and (8) fault-tree analysis of coverage. This paper does not include techniques for verifying nonredundant hardware or system software designs or for verifying the correctness of application programs.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.2
• /
• pp.150-157
• /
• 1996

The hob is considered as an effective gear cutting tool for achieving the various gears such as spur gear, helical gear, worm gear and so on. To enhance the productivity and precision of hobs and the competitive ability of domestic CNC hob relieving lathes, a CAM system for CNC hob relieving lathe needs to be realized. In this study, the CAM system is developed based on the personal computer and C language. Besides the automatic generation of CNC data, the developed CAM system has the various capabilities related to the generation of tool path, the cutting simulation for verifying the generated CNC data and forecasting the cutting time, the DNC operation for communicating the CNC data with CNC controller by RS232C port, and the estimation of undercut length for verifying the hob cutting conditions.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.17-37
• /
• 2003

This paper presents the ASVO (Automation-considered SVO) Logic that can be used for verifying authentication and key distribution protocols. The ASVO logic was designed for automatic verification, in a way to modify the SVO logic, one of the most famous authentication logics. The ASVO logic is syntactically and semantically sound, and requires relatively simple verification steps. Also we implemented the Isabelle/ASVO system which supports semi-automated verification, by using the Isabelle/Isar system.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.63.2-63
• /
• 2002

● Introduction ● System Identification ● PD Controller Design ● Verifying the Model & Simulation ● Experiment for Attitude Control ● Results ● Conculsions

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2018.11a
• /
• pp.185-186
• /
• 2018

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.191-195
• /
• 2001

In this paper, a simple axiom system of lattice implication algebras is presented, it is convenient for verifying whether an algebra of type (2,2,2,1,0,0) becomes a lattice implication algebra.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.22 no.3_1spc
• /
• pp.593-599
• /
• 2013

In this study, a test-bench for developing and verifying a 1- or 2-axis nanopositioner was manufactured. Using this test-bench, adesigned and manufactured flexure stage based on an analysis can configure nanopositioning systems. A breadboard and fixture were fabricated to be equipped with various types of mechanisms and sizes of stages. The test-bench has linear encoders for calibrating sensors and verifying the orthogonality and parasitic motion of 2-axis nested-type nanopositioners. The controller was developed using LabVIEW and a TI microcontroller. A case study that exemplified the test bench for developing a nanopositioner by senior undergraduate students is shown.

• International Journal of Advanced Culture Technology
• /
• v.8 no.3
• /
• pp.292-299
• /
• 2020

This paper presents an evaluation criteria of an information system availability for guaranteeing availability (service target level) from the perspective of the SLA contract and its technical point of view. In order to verify the effectiveness for information system failure and availability guarantee measures, three cases were examined. In summary, the failure time was reduced by 32% ~ 62% after applying the availability guarantee measure, verifying the excellence in the evaluation of an information system availability.