• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.504-507
• /
• 2016

내장형 소프트웨어의 검증은 운영체제와 응용 소프트웨어에 대해 동시적으로 수행되어야 한다. 선행연구에서는 운영체제를 정형적으로 모델링하고 이를 이용한 내장형 소프트웨어 안전성 검증 기법을 제안하였다. 본 연구에서는 선행 연구에서 Promela로 작성되었던 정형 모델을 참조하여 C 언어로의 변환 규칙을 정의함으로써 구현에 독립적인 모델을 작성하였다. 작성된 검증 모델을 CBMC 모델 체커로 검증한 결과 요구사항으로부터 도출된 35개의 안전성 속성 중 가변 속성을 제외한 21개에 대하여 21개를 모두 만족함을 입증하였다.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.909-922
• /
• 2006

The core assets include all properties which consist of an application in Product Line Engineering. The requirement, one of the core assets, is a basis of other core assets and commonality and variability of other core assets are classified by the requirement. accordingly, commonality and variability of the domain requirement should be managed objectively and it is necessary to make a process to reuse the domain requirements. However the requirement is analyzed by domain experts or developers without proper process. In this paper, we proposed the 4 activities: (1)the domain scoping, (2)the extraction and generalization of the domain requirement, (3)the domain requirement analyzing and modeling, (4)the change management, and sub activities. For all reasons given previously, it is possible to reduce the development time and cost by reusing the architectures and components related to the domain requirement. In addition, it is possible to increase the quality of the artifacts produced based on the requirements by managing them systematically.

• The Journal of the Acoustical Society of Korea
• /
• v.16 no.2
• /
• pp.31-35
• /
• 1997

In this paper, we propose a variable vocabulary word recognizer that is able to recognize new words not exist in training data. For the variable vocabulary word recognizer, we must have an on-line lexicon generator to transform new candidate words to the corresponding pronunciation sequences of phones without any large lexicon table. And, we also must make outputs. In order to model the phones and allophones reliably, we define Korean allophones by triphone clustering based on phonetic knowledge of preceding and succeeding phones of each phone. Using the clustering method, we generated 1,548 allophones with POW (Phonetically Optimized Words) 3,848 word DB. We evaluated the proposed word recognizer with POW 3,848 DB, PBW (Phonetically Balanced Words) 445 DB, and 244 word DB in hotel reservation task. Experimental results showed word recognition accuracy of 79.6% for the POW DB corresponding to vocabulary-dependent case, 79.4% in case of 445 word lexicon and 88.9% in case of 100 word lexicon for the PBW DB, and 71.4% for the hotel reservation DB corresponding to vocabulary-independent case.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.10
• /
• pp.236-242
• /
• 2019

Recently, scanning projects have been carried out in various construction and construction fields for maintenance purposes. The point cloud generated by the scan results is composed of a number of points representing the object to be scanned. The process of extracting the necessary information, including dimensions, from such scan data is called paradox. The reverse engineering process of modeling a point cloud as BIM involves considerable manual work. Owing to the time-consuming reverse engineering nature of the work, the costs increase exponentially when rework requests are made, such as design changes. Reverse engineering automation technology can help improve these problems. On the other hand, the reverse design product is variable depending on the use, and the kind and detail level of the product may be different. This paper proposes the G2BM (Geometry-to-BIM mapping) rule definition method that automatically maps a BIM object from a primitive geometry to a BIM object. G2BM proposes a process definition and a customization method for reverse engineering BIM objects that consider the use case variability.

• The Journal of Society for e-Business Studies
• /
• v.24 no.3
• /
• pp.53-71
• /
• 2019

As software systems become more complex and larger, software systems require a way to reuse software components or modules to provide new functionality. This paper designed a development method of web system combining SOA(Service Oriented Architecture) with MPSL(Multi-Software Product Line). According to provides SOA and MPSL, this paper suggested to service providers and service users to provide and reuse variable services. From the viewpoint of service provider, the suggested method identifies and implements reusable variable services as features by syntax-based, functional-based, and behavior-based methods applying feature identification guidelines and manages them as reuse assets. From the user's point of view, it is possible to develop a web system by constructing a service by workflow model as a method of structure and reconfigure services. As a result of measuring the reuse of the web system constructed in this paper by the function point, the cost reduction effect was verified by applying it to the similar project with the increase of reuse.

• Proceedings of the KIEE Conference
• /
• 2003.07a
• /
• pp.271-273
• /
• 2003

최근에 전력선통신(PLC: power line communication)에 관한 연구 및 개발이 활성화되고 있는 가운데, 정부에서는 전력선통신을 위한 전송채널의 주파수허용범위를 기존의 협대역인 450kHz에서 광대역인 30MHz로 확대할 계획이다. 현재, PLC 시스템에서는 대용량정보를 고속으로 전송하기 위한 고속 PLC기술의 개발이 활발히 진행되어지고 있으며, 이러한 통신시스템 기술의 구현을 위해서는 새롭게 확대될 30MHz대역에서의 전력선채널의 분석이 무엇보다도 중요한 해결 과제라고 할 수가 있을 것이다. 전력선은 각종 전기기기와 가전제품 및 사무기기로부터 발생되는 잡음들이 직접 유입되며, 또한 부하가 전력선에 연결되는 시간과 공간에 따라 전송 특성이 수시로 가변하는 특성을 가진다. 이와 같은 열악한 전력선통신채널 환경을 극복하고 통신의 에러극복능력을 향상시키기 위해서는 기존의 협대역 채널모델을 그대로 적용하기에는 부적합한 면이 많으므로, 새롭게 허용될 광대역 주파수를 갖는 전력선 채널에 대한 모델링기법이 요구된다. 따라서, 새롭게 인가될 광대역 채널을 위한 효율적인 전력선통신시스템을 개발하기 위해서는 전력선채널의 리모델링에 근거한 다양하고 실험적인 고찰이 수반되어야 하리라고 판단된다. 그러므로, 본 논문에서는 Mixture 잡음 모델링기법을 이용하여, 부하변동 및 가변적인 잡음 특성을 가진 전력선채널모델을 새롭게 분석하였다. 또한, 새롭게 분석한 전력선채널모델에 관한 수식을 직교 코드에 의한 다중접속 통신 기술인 CDMA 방식에 적용하여 비트 에러율을 유도해 봄으로써 그 유효성을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.991-993
• /
• 2005

데스크탑 그리드(Desktop Grid) 환경에서는 자원 제공자인 데스크탑의 자율적 연산 참여와 탈퇴를 허용하기 때문에 기존 데스크탑 그리드 시스템들은 연산 도중 잦은 중단으로 인해 연산의 완료 시간이 지연되고, 연산 수행의 신뢰성이 저하되며 연산의 완료를 보장하지 못하고 있다. 기존의 데스크탑 그리드 시스템들은 이러한 데스크탑의 동적 특성을 반영하지 못하고 있을 뿐만 아니라 데스크탑의 연산 수행 양식을 고려하지 않아 시스템의 안정성과 성능이 저하되었다. 신뢰성 높은 연산 수행을 지원하고, 데스크탑의 비예측적 연산 수행 속성을 극복하기 위해서는 데스크탑의 동적인 특성인 휘발성(volatility)을 고려한 스케줄링이 필요하다. 본 논문에서는 휴리스틱 접근을 통해 동적으로 가변하는 데스크탑의 상태를 보다 정확하게 모델링 하는 가용성 기반 마코브 작업 스케줄링 기법을 제안한다. 제안 기법은 데스크탑의 가용성을 기반으로 과거 연산 수행에 대한 패턴을 확률 모델링하여 미래 연산 수행 유형을 예측함으로써 연산 수행 도중의 불안정한 자원 제공 현상을 완화시키며 안정적인 스케줄링을 지원하여 시스템의 신뢰성과 성능을 향상시킨다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.195-198
• /
• 2005

최근 실내 환경에서 영상 정보를 사용하여 로봇이 서비스를 제공하기 위한 연구가 활발하다. 과거 영상 처리 접근 방법은 산업 환경과 같은 예측 가능한 환경을 바탕으로 미리 정의된 기하학적 모델을 통해 상황을 인식하였기에, 이를 실내 환경과 같은 가변적인 환경에 적용할 시 성능이 저하된다. 이에 지식을 기반으로 불확실성을 해결하여 정확도를 향상 시킴으로써 영상 인식 성능을 높이기 위한 다양한 연구가 진행되어 왔다. 본 논문에서는 실내에서 활동하는 서비스 로봇의 물체인식 성능을 향상시키기 위해, 대상 물체가 다른 물체에 의해서 가려져 있는 경우 대상 물체의 존재 여부를 추론하기 위한 베이지안 네트워크 모델링 방법을 제안한다. 제안하는 방법은 작은 단위로 설계된 베이지안 네트워크들을 상황에 따라 결합하여 추론 모델이 구성되게 하였고 물체간의 관계를 효과적으로 표현하고 초기 확률 값을 단일하게 유지하기 위해 제안된 확률 값 설정 방법을 사용하였다. 실험은 물체 관계를 추론하는 모듈의 성능을 검증하기 위해 수행되었는데, 5가지 장소에서 82.8$\%$의 정확도를 보여주었다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.1
• /
• pp.69-77
• /
• 1993

Adaptive Control is applied to regulate cutting force in turning operation under varying cutting conditions. Regulation is achieved primarily by adjusting feedrate. Such control leads to better machine utilization and increased tool life. The modeling of adaptive control system in turning operation is presented. The experimental results show that the adaptive PI controller is stable and performs more effective force control over wide range of cutting conditions as compared with the fixed gain PI controller.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7B
• /
• pp.744-750
• /
• 2009

In this paper, the unified Markov modeling of hardware and software for AVTMR(AlI Voting Triple Modular Redundancy) system is proposed and the dependability is analyzed. In hardware case, a failure rate is fixed to no time varying parameter. But, in software case, failure rate is applied with time varying parameter. Especially, the dependability(Reliability, Availability, Maintainability, Safety) of software is analyzed with G-O/NHPP for Markov modeling. The dependability of single and AVTMR system is analyzed and simulated with a unified Markov modeling method, and the characteristic of each system is compared accroding to failure rate. This kind of fault tolerat system can be applied to an airplane and life critical system to meet the requirement for a specific requirement.