• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권5호
• /
• pp.345-354
• /
• 2002

정형 명세를 이용하여 구현된 프로그램이 수행 중에 명세를 만족시키는지 모니터링하고 검사하는 기법에 대한 연구들이 기존에 많이 수행되어 왔다. 이들은 주로 요구사항 명세언어로 시제논리 혹은 그것의 확장을 사용하게 된다. 이때 대부분의 연구는 실제 구현된 시스템이 가지는 동적인 변화를 제대로 요구사항 명세에 기술하고, 검사할 수 있는 언어를 제공하지 못하고 있다. 본 연구에서는 동적 시스템의 특성 명세언어로 기존에 제안했던 HDTL을 사용하여 동적인 자바 프로그램의 수행을 모니터링하고 검사하는 프레임웍을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.337-339
• /
• 2004

항공 및 국방 산업 둥에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification : SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification : SDS)를 정형기법을 이용하여 명세하였다. 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정확하게 소프트웨어를 구현할 수 있는 방법을 제시하고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.101-108
• /
• 2011

In this paper we present the specification development for the localization of interlockings which control routes within a HSR station yard. For the electronic interlockings in Korea introduced from France in the 1990s, it has a complicated hardware configuration and communication protocols in order to secure safety. Now 30 years later, in case of the application of the up-to-date IT technology, it is expected to achieve equal or greater safety and save maintenance costs. Additionally, we develop the specification so as to utilize the stable domestic electronic interlocking technology for general railways, beyond the simple maintenance for the performance maintenance of foreign devices, to high-speed railways. Therefore, we perform a study for the localization of the HSR electronic interlockings by comparing and analyzing interlocking logic units between conventional HSR and general railways.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2015년도 추계 학술논문 발표대회
• /
• pp.198-199
• /
• 2015

In Korea, it raised the need of the specification of unit modular construction, because there are no standard or manual. And it is urgent that the specification of unit modular construction is needed to develop in the domestic. Therefore, this study aims to propose the manual framework of the construction method. In the future, this framework will be based on the development of the manual on the unit modular construction method.

• 한국자동차공학회논문집
• /
• 제10권3호
• /
• pp.70-76
• /
• 2002

This study focus on the effect of engine specification, driving conditions and the vehicle type on the idle emission characteristics. In order to obtain the characteristics of exhaust emissions, 1,260 vehicles of spark ignition engine are sampled and investigated. The exhaust emissions are measured with a CO/HC emission gas analyzer. The Sl engine vehicles are investigated by the effect of various exhaust emission parameters such as vehicle milage, engine specification, valve trains and fuels. The results show that the amount of CO and HC emission is not directly related to the driving mileage of the vehicle. However, the engine specifications and fuels such as the type of valve train and piston displacement have influence on the exhaust emissions. In addition, the LPG vehicle emits more CO and HC than gasoline vehicle. Based on the test results of SI vehicles, the influence of excess air and displacement volume are discussed.

• 한국정밀공학회지
• /
• 제33권10호
• /
• pp.781-787
• /
• 2016

We introduce FEST (Flight Environment Simulation Test) procedures for precise guided missiles to reliably improve systems. Flight vibration specification was established based on power spectral density curves calculated from flight test data of a high speed precise guided missile. A FEST pre-profile was developed according to flight vibration specification and delivered to a precise guided missile assembly. Vibration responses were measured by installing accelerometers on electronic components vulnerable to dynamic forces. The FEST profile was adjusted by comparing the vibration responses and the flight vibration specification. Subsequently, the FEST profile was repeatedly modified through trial and error, because the responses were similar to the flight environment. The modified FEST profile enabled performance testing of assembled precise guided missiles under simulated flight conditions on the ground, where unexpected errors could be corrected before the flight tests, leading to cost and risk reduction in the development of the precise guided missile system.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 춘계 학술발표회 초청강연 및 논문집
• /
• pp.377-384
• /
• 2008

In the bi-directional pile load test (BD PLT) for pile load test of Mega foundation, loading capacity specification were not specified exactly. Therefore there are so many confusions and variations of maximum 2 times in loading capacity are come out. In this study, specifications of bi-directional pile load test (BD PLT) were considered. Based on cases of the bi-directional pile load test performed in domestic areas, maximum equivalent test load, test load increasing ratio and sufficiency ratio of design load were analyzed. It can be known that the loading capacity specification of bi-directional pile load test must be defined as 1-directional test load that is established as more than 2 times of design load.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.409-416
• /
• 2003

We consider the problem of grouping orders into lots. The problem is modelled by a graph G = (V, E). where each node $\nu\;\in\;V$ denotes order specification and its weight $\omega(\nu)$ the orders on hand for the specification. We ran construct a lot simply from orders or single specification For a set of nodes (specifications) $\theta\;\subseteq\;V$, if the distance or any two nodes in $\theta$ is at most d, it is also possible to make a lot using orders on the nodes. The objective is to maximize the number of lots with size exactly $\lambda$. In this paper, we prove that our problem is NP-Complete when d = 2, $\lambda\;=\;3$ and each weight is 0 or 1. Moreover, it is also shown to be NP-Complete when d = 1, $\lambda\;=\;3$ and each weight is 1, 2 or 3

• 대한기계학회논문집A
• /
• 제28권8호
• /
• pp.1093-1098
• /
• 2004

This paper presents a close-loop feedback control scheme, which can simultaneously satisfy multiple conflicting control performances, for a high speed positioning system driven by a brushless D.C. motor. With the dynamic model of the motor and proportional-plus-derivative feedback controllers selected as sample controllers, the convex combined feedback controller is formulated for implementing a direct-drive manipulator. Experimental results show that the developed multiple simultaneous specification(MSS) controller can meet desired control performances; maximum overshoot and rise time.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2017년도 춘계 학술논문 발표대회
• /
• pp.33-34
• /
• 2017

The purpose of this case study is to reduce the flaw and reconstruction occur at the level of construction by determining the propriety of estimate and error on a drawing and specification at working design level through case studies of BIM application at the level of design review. As a preliminary to apply BIM technology, it is needed to review the drawing, and then it is required to define BIM range by selecting the section in which construction error occurs frequently except for the type of part that is constructed repeatedly. At the execution level, the drawing is reviewed vertically, horizontally and spatially by proceeding structure and finish modeling on the defined BIM range, and also the propriety of estimate and error on the drawing and specification are examined. We aim to raise the completion rate, improve quality of construction, reduce the cost for construction and shorten period of construction by preparing for the error on the drawing and specification in advance through this review procedures.