• 한국정보처리학회논문지
• /
• 제6권6호
• /
• pp.1520-1531
• /
• 1999

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 신호처리소사이어티 추계학술대회 논문집
• /
• pp.233-236
• /
• 2003

In this paper, we propose a method to search the evidence such as a knife found in the crime scene based on GHT from an image database Such objects like knives are simitar in shape. The proposed method utilizes the small shape differences among objects as much as possible to distinguish an object from similar shaped objects. It consists of the GHT based candidate generation and top-down candidate verification. For the fast generation of the candidate 1ist, the GHT operation is performed un the down sampled edge list. The test results show that it can retrieve the correct object even with a pan of object in reasonable time.

• 산업공학
• /
• 제4권2호
• /
• pp.43-51
• /
• 1991

A line search method is developed to locate all the conerpoints of 2-dimensional polygon images for inspection purposes. This optimization-based method is used to approximate a 2-D curved object by a polygon. This scheme is also developed for inspection of objects in industrial environment. The inspection includes dimensional verification and pattern matching which compares a 2-D image of an object to a pattern image. The method proves to be computationally efficient and accurate for real time application.

• 응용통계연구
• /
• 제28권6호
• /
• pp.1275-1288
• /
• 2015

미기상해석모듈(microscale weather analysis module)은 복사에너지, 열, 습도 등의 순환을 시-공간적으로 세밀하게 설명하고 모의실험 할 수 있도록 개발한 초고분해능($1km{\times}1km$ 이내)의 기상모델이다. 본 논문은 미기상해석모듈의 정확성을 시공간적으로 검증할 수 있도록 고안한 객체기반 검증법을 제안한다. 이 검증법은 통계그래픽을 사용하는 시각적인 방법이며, 미기상해석모듈의 평가통계출력장 구축단계, 객체식별 및 병합단계, 모듈의 정확성 검증단계로 이루진다. 이를 위해 두 가지 통계를 사용하여 삼차원의 평가통계출력장을 구축하였고, 구축된 출력장에서 정의되는 시계열통계들에 대해 합성(convolution), 가면화(masking) 및 병합작업(merging)을 시행하여 출력장에서 모듈검증대상 지역인 객체를 식별하는 알고리즘을 개발하였다. 또한, 사례연구를 통해 제안된 객체기반 검증법의 유용성을 보였다.

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1204-1215
• /
• 1998

이 논문에서 우리는 OARTS(Object based Approach for Real-Time Systems)를 위한 시나리오를 표현하는 방법과 명세언어 및 확인기법을 제안한다. 이 방법은 지금까지 방법론 차원의 시나리오를 다루지 않았기 때문에 일반적인 모델링기법(사건추적도)에 명세언어와 확인방법을 포함한다. 본 논문은 객체에 기초한 통신 인터페이스인 외부 모듈 천이의 동기를 중심으로 내부 액션 천이와 외부 사건들의 열의 표현에 중점을 둔다. 실제의 예를 통하여 제안된 방법이 분석 단계의 요구사항들을 잘 반영하였으며 개념적인 확인기를 통하여 그 표현의 정당성을 확인할 수 있었다. 또한 이 방법은 일반적인 실시간 시나리오를 표현하기 위한 분석 도구로도 이용될 수 있을 것이다.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.344-348
• /
• 2015

The image data of the web camera is used to identify the construction status of the site in a remote office and it can be used for safety management. This study develops a construction schedule simulation system based on the active nD object linked with real image data of web camera from the construction site. The progress control method by 4D object uses a method that the progress of each activity is represented with different colors by progress status. Since this method is still based on a virtual reality object, it is less realistic description for practical engineers. Therefore, in order to take advantage of BIM more realistic, the real image of actual construction status and 4D object of planned schedule in a data date should be compared in a screen simultaneously. Those methodologies and developed system are verified in a case project where a web camera is installed for the verification of the system.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국CDE학회논문집
• /
• 제14권4호
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• 한국CDE학회논문집
• /
• 제14권1호
• /
• pp.50-59
• /
• 2009

There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1453-1467
• /
• 1996

소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.