• Korean Journal of Construction Engineering and Management
• /
• v.18 no.6
• /
• pp.78-88
• /
• 2017

With the growing use of BIM in the AEC industry, various new applications are being developed to meet these specific needs. Such developments have increased the importance of Industry Foundation Classes, which is the international standard for sharing BIM data and thus ensuring interoperability. However, mapping individual BIM objects to IFC entities is still a manual task, and is a main cause for errors or omissions during data transfers. This research focused on addressing this issue by applying novelty detection, which is a technique for detecting anomalies in data. By training the algorithm to learn the geometry of IFC entities, misclassifications (i.e., outliers) can be detected automatically. Two IFC classes (ifcWall, ifcDoor) were trained using objects from three BIM models. The results showed that the algorithm was able to correctly identify 141 of 160 outliers. Novelty detection is thus suggested as a competent solution to resolve the mapping issue, mainly due to its ability to create multiple inlier boundaries and ex ante training of element geometry.

• Journal of KIISE:Software and Applications
• /
• v.37 no.3
• /
• pp.161-169
• /
• 2010

The requirement elicitation is the task of eliciting requirements from needs of stakeholders, and preparing for information for negotiation. However, there are methods for gathering needs, but there is no specific method for classifying them, generating information for negotiation. Therefore, To solve the problems, this paper proposes a method to classify requirement and to generate information for negotiation. The proposed methods use Kano model, statistical technique, and identifying relationship between requirements and problems within scope. Finally, we validate the proposed method on simulations, Rough Set Theory, and case study of model.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.863-868
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.988-999
• /
• 1999

본 논문은 SCR 방법으로 작성된 요구사항 명세의 정형적인 의미론을 제안한다. 먼저 우리는 SCR 명세를 시간적전이시스템으로 변환함으로써 SCR 명세의 의미론을 정의한다. 그리고 우리는 SCR 방법을 실시간 시스템의 명세를 위하여 확장하며, 확장된 SCR 명세의 의미론 또한 시간적전이시스템으로의 변환을 통하여 정의한다. 이러한 의미론은 SCR 명세의 병행성과 시간 개념을 제대로 나타낼 수 있으며, 시간적전이시스템에서의 검증 방법을 SCR 명세의 검증에 직접 적용할 수 있게 하는 장점이 있다.Abstract This paper presents a formal semantics for requirements specifications written in the SCR method. We define a semantics for SCR specifications by a translational approach into timed transition systems. Then we extend the SCR method for real-time systems and define a semantics for timed SCR specifications. The main benefit from providing such semantics is that it provides a natural modeling of concurrency and time in SCR specifications. The semantics enables us to directly apply verification methods for timed transition systems to SCR specifications.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.14-20
• /
• 2014

This study, the reliability of weapon systems acquisition and research and development in order to increase the effect of the modeling and simulation method has been studied using computational fluid dynamics. Weapon system acquisition, Test & Evaluation for use in the modeling and simulation can reduce the reliability of the time and cost savings and possible predictions and verification, and can provide useful data. However, the current weapon system acquisition and active use of modeling and simulation and verification do not even use the software are restricted. In this study, using computational fluid dynamics (CFD) modeling and simulation using the GAMBIT and FLUENT modeling and simulation was performed. The result is better than previous research results were confirmed in future weapon systems acquisition and research and development are expected to be actively used.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1078-1083
• /
• 2009

HEC-HMS(Hydrologic Modeling System)은 강우-유출 모의를 위한 차세대 소프트웨어이며 HEC-1에 포함되어 있는 단위도 및 수문학적 홍수추적 이외에도 격자형 강우자료(레이더 데이터)를 이용하여 적용할 수있는 유사분포 유출변화와 장기 연속모의에 적용할 수 있는 간단한 수분감소 등을 추가적으로 포함하고 있다. 또한 GUI(Graphical User Interface)환경, 통합 수문분석 성분, 자료 저장 및 관리 능력, 그래�d 처리 및리포트 출력기능으로 구성되어 있으며 여러 가지 프로그램 언어(C, C++, Fortran)를 이용하여 개발되었다. 본 연구에서는 낙동강 수계의 금호강에 위치한 동촌 지점을 유출구로 선정하고 5개의 소유역과 두 개의 하도로 구성하여 유출모의를 실시하였으며 수문자료 선정은 2007년$^{\sim}$2008년에 발생한 홍수사상과 유량조사 사업단에서 개발한 수위-유량관계곡선식을 활용하였다. 또한, HEC-GeoHMS 모형을 GIS와 연계하여 지형인자를 추출하고 추출된 지형인자를 이용하여 매개변수를 산정하였다. HEC-HMS 모형의 계산 조건에서 손실 우량은 SCS CN, 유출변환은 Clark 단위도법을 적용하였다. 또한 관측치와 계산치의 적합도 검증은 평균제곱 근오차(root mean squar error; RMSE)와 모형 효율성 계수(model efficiency; ME)를 산정하여 분석하였다

• The KIPS Transactions:PartC
• /
• v.8C no.2
• /
• pp.189-197
• /
• 2001

공안된 통신 언어인 SDL을 이용하여 시스템을 설계하고, SDL 개발 도구인 SDT를 이용하여 실행 가능한 소프트웨어를 개발하고 실제 타겟 시스템과 동일한 환경에서 개발된 기증을 검증하는 개발 순기를 모두 수용하는 시뮬레이터의 개발이 대규모의 복잡한 통신 프로토콜에서는 필요하다. 본 논문에서는 IMT-2000 무선 프로토콜의 한 엔티티인 계층 2의 무선 링크제어 프로토콜 엔티티 RLC-AM(Acknowledged mode)의 개발 및 검증을 위하여, RLC-AM을 설계 및 구현한 후 이의 실행화일을 호스트 상에서 수행시킬 수 있는 호스트 시뮬레이터를 개발하였다. 호스트 컴퓨터상에서 SDT 개발환경, 컴파일 환경 및 운영체제 환경을 연동하여 개발된 호스트 시뮬레이터는 대상 프로토콜 엔티티를 MAC등 타 엔티티로 바꾸어서도 같은 방식으로 수행할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Journal of KIISE:Software and Applications
• /
• v.36 no.12
• /
• pp.1009-1015
• /
• 2009

Handwriting verification is a technique of distinguishing the same person's handwriting specimen from imitations with any two or more texts using one's handwriting individuality. This paper suggests an effective verification method for the handwritten signature or text on the off-line environment using pattern recognition technology. The core processes of the method which has been researched in this paper are extraction of letter area, extraction of features employing structural characteristics of handwritten text, feature analysis employing DTW(Dynamic Time Warping) algorithm and PCA(Principal Component Analysis). The experimental results show a superior performance of the suggested method.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.6
• /
• pp.668-672
• /
• 2005

In this paper, a distance measuring system using a PSD sensor in proposed, which in suitable for low-cost localization sensor of a mobile robot. Because the distance-voltage output of PSD sensor has a non-linear property, the linearizing function is proposed through the experimental characteristics of the sensor. And the characteristics are tested and the distance-voltage data are measured in various colors and materials of object. The parameters of the proposed function are extracted by using the measured data. Finally, the performance and the accuracy of the developed system are verified according to the comparison of the distance by the proposed function with the real distance.