• 한국항행학회논문지
• /
• 제15권6호
• /
• pp.1180-1186
• /
• 2011

객체지향 설계에 있어서 그래픽 표현의 대표라고 할 수 있는 UML 다이아그램의 일관성과 완전성을 검증하기 위하여, 먼저 UML 다이아그램들을 분석하고 분석된 다이아그램에 검증 규칙들을 적용한다. 본 논문에서는 다이아그램을 작성하는 능력과 다이아그램의 일관성과 완전성을 검사할 수 있는 능력을 모두 갖춘 효과적인 검증 시스템을 설계하였다. 검증 시스템은 내부적인 다이아그램 정보를 표현하기 위하여 일련의 프레임들을 사용하고 있다.

• KIEAE Journal
• /
• 제9권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.

• 품질경영학회지
• /
• 제21권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.

• 한국CDE학회논문집
• /
• 제1권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.

• 정보보호학회논문지
• /
• 제13권5호
• /
• pp.17-37
• /
• 2003

본 논문에서는 인증 및 키 분배 프로토콜에 대한 논리성 검증을 위한 ASVO 로직을 제안한다. ASVO 로직은 기존의 인증 로직 중 하나인 SVO 로직에 대해서 자동 검증을 고려하여 변형 설계한 로직이다. ASVO 로직은 구문적/의미적 구조의 안전성을 갖는 로직으로서. 비교적 간소화된 증명 단계를 갖는다. 또한 Isabelle/Isar 시스템을 이용하여 구현된 Isabelle/ASVO 시스템은 ASVO 로직을 통한 반자동 검증을 지원한다.

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

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

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2018년도 추계학술논문요약집
• /
• pp.185-186
• /
• 2018

• 대한수학회보
• /
• 제38권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.

• 한국생산제조학회지
• /
• 제22권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
• /
• 제8권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.