• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 한국정보통신학회논문지
• /
• 제2권3호
• /
• pp.283-293
• /
• 1998

점차 일반 사용자들에게로의 도입이 가속화되고 있는 초고속통신망에서 초고속 서비스 사업자 시스템에 적용될 번호체계, 상호 접속 기준에 대한 기본적 요건과 기술적 표준 규정 등에 대한 정의가 미비한 실정이다. 초고속 서비스 사업자 망과 초고속 통신망에 접속 및 운용되는 시스템에서 초고속망의 번호 계획을 위하여 연동을 고려할 대상 망은 기존의 전화망, 패킷 데이터망, 이동 전화망, 및 ISDN 등이 있다. 본 고에서는 ITU-T 표준 규격을 따르는 공중 또는 사설 B-ISDN망의 번호 체계에 대하여 논한다. 특히 현재 제정된 ITU-T표준규격을 중심으로 현존하는 망과 초고속 번호 체계간의 상호 연동 방안을 기술하였다. 또한 ATM포럼 등의 사설 기관에서 사용하고 있는 번호체계도 추가적으로 검토하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.31-39
• /
• 2012

시뮬레이션 프레임워크는 시뮬레이션 응용 프로그램의 개발을 지원하는 기반 소프트웨어이다. 본 논문은 공학용 프로그래밍 언어로 광범위하게 사용되는 매트랩을 이용하여 개발된 이산사건시뮬레이션 프레임워크의 개발 과정을 기술하고 있다. 매트랩 객체지향프로그래밍을 토대로 새롭게 개발된 프레임워크는 매트랩 언어의 편리성과 이산사건시뮬레이션 형식론(DEVS: Discrete EVent System Specification Formalism)이 가지는 뛰어난 개발 방법론을 결합시킴으로써 무기체계 교전 시뮬레이션 프로그램 개발에서 요구되는 생산성, 유연성, 확장성을 제공한다. 더불어 매트랩의 병렬컴퓨팅 기술을 적용한 배치(Batch) 시뮬레이션 기능을 제공함으로써 몬테카를로 시뮬레이션 수행시 컴퓨터 환경에서 지원되는 CPU 코어의 수에 비례하여 응용 프로그램의 연산성능을 향상시킨다.

• 품질경영학회지
• /
• 제49권3호
• /
• pp.269-279
• /
• 2021

Purpose: The purpose of this study was to suggest weapon system specifications for requirements of Condition-Based Maintenance(CBM/CBM⁺). Methods: The military documents and case studies with regard to condition-based maintenance were reviewed. Representative Korea defense specifications of weapon system such as an aircraft, a C4ISR etc. were analyzed and investigated the level of requirement for maintainability was. Results: Condition-based maintenance was defined in both U.S. instruction and Korean directive. While deparment of defense(U.S.) provide a guidebook for CBM⁺, detailed instruction was not sufficient for Korean. Ministry of national defense(ROK) define the CBM⁺ by means of IPS element which should be developed along with the system development. The maintainability was barely included in Korean defense specifications, except for BIT(Built-in test) function. As a first step for defining the condition-based maintenance requirement in defense specification, this study suggests a standard form for data needed to acquire according to types of system, fault, failure, and so on. Conclusion: The empirical researches on CMB/CBM⁺ with domestic weapon systems are not enough, and a logic which leads the maintenance strategy to CMB/CBM⁺ is not solved. Through technical researches and institutional improvements including this study, we hope that condition-based maintenance would be fully established in the Korean defense field.

• International Journal of Automotive Technology
• /
• 제7권5호
• /
• pp.571-577
• /
• 2006

This paper deals with dynamic tensile characteristics for the polypropylene used in an IP(Instrument Panel). The polypropylene is adopted in the dash board of a car, especially PAB(Passenger Air Bag) module. Its dynamic tensile characteristics are important because the PAB module undergoes high speed deformation during the airbag expansion. Since the operating temperature of a car varies from $-40^{\circ}C$ to $90^{\circ}C$ according to the specification, the dynamic tensile tests are performed at a low temperature($-30^{\circ}C$), the room temperature($21^{\circ}C$) and a high temperature($85^{\circ}C$). The tensile tests are carried out at strain rates of six intervals ranged from 0.001/sec to 100/sec in order to obtain the strain rate sensitivity. The flow stress decreases at the high temperature while the strain rate sensitivity increases. Tensile tests of polymers are rather tricky since polymer does not elongate uniformly right after the onset of yielding unlike the conventional steel. A new method is suggested to obtain the stress-strain curve accurately. A true stress-strain curve was estimated from modification of the nominal stress-strain curves obtained from the experiment. The modification was carried out with the help of an optimization scheme accompanied with finite element analysis of the tensile test with a special specimen. The optimization method provided excellent true stress-strain curves by enforcing the load response coincident with the experimental result. The material properties obtained from this paper will be useful to simulate the airbag expansion at the normal and harsh operating conditions.

• 한국비블리아학회지
• /
• 제31권1호
• /
• pp.379-392
• /
• 2020

본 연구는 한국 인명, 단체명에 대한 등록 책임기관인 국립중앙도서관이 중심이 되어 운영중인 ISNI Korea 컨소시엄의 데이터 활용성을 높이기 위한 기술 요소를 제시하는 것이 목적이다. ISNI Korea 컨소시엄의 경우는 서지 관련 개인, 단체명 정보 외에 다양한 창작물 관련 정보 등록을 목적으로 한다. 이를 위해 본 연구에서는 데이터 제공기관 협의체인 ISNI Korea 컨소시엄인 저작권 단체의 메타데이터 현황과 ISNI의 링크드 데이터 명세서를 검토하여 향후 필요한 기술 요소를 도출하였다. 그 결과 메타데이터 측면에서는 데이터 입수, 정제, 저장, 식별자 관리, 컨소시엄 메타데이터 관리로 총 5개, 링크드 데이터 관점에서 RDF 데이터 관리(저장소), RDF 데이터 발행, RDF 데이터 검색, RDF 데이터 조회, RDF 데이터 다운로드, 온톨로지 조회, 표준용어 조회, 매핑 정보 관리 총 8개 기술요소를 도출하였다.

• 디지털융복합연구
• /
• 제16권11호
• /
• pp.115-122
• /
• 2018

국내에서 전기 화재의 70% 이상이 아크로 인하여 발생하고 있다. 본 논문에서는 이를 예방하기 위한 방안을 마련하기 위하여 기존의 누전 차단기에 관한 기술기준 및 규정을 분석하였으며, 아크 검출기에 관한 기술기준 및 규정은 아크의 특성을 고려하여 기존의 누전 차단기에 관한 기술기준 및 규정과는 별도로 제정되어야 한다는 결론을 얻었다. 따라서 본 논문에서는 아크 검출기 관련 규정은 기존 누전 차단기의 관련 규정에 추가 되거나 이것과 별개인 규정으로 제정되어야 한다고 제안하였다. 특히 아크로 인한 화재를 예방하기 위해서는 아크 검출기의 신속한 보급이 필요하고 그 설치를 의무화하는 것이 바람직하다. 따라서 이 같은 여건을 고려했을 때 기존 누전차단기 규정에 아크 검출기 관련 사항들을 추가할 것을 제안하였다. 아크 검출기의 기술 기준에는 아크의 판단 규격과 차단 임계치, 그리고 차단기가 반응하지 말아야 할 불요신호의 범위 등이 반드시 반영되어야 한다.

• International Journal of Railway
• /
• 제2권2호
• /
• pp.50-59
• /
• 2009

Numerous train operating companies provide training by means of driving simulators. A detailed analysis in the course of the rail research project 2TRAIN has shown that the simulation technology, the purposes of training and the overall concept of simulator-based training are rather diverse (Schmitz & Maag, 2008). A joint factor however are weak assessment capabilities and the fact that the simulator training is often not embedded into the overall competence management. This fact hinders an optimal use of the simulators. Therefore, 2TRAIN aims at the development of enhanced training and assessment tools. Taking into account that several simulators are already in use, the focus lays on the extension of existing simulation technology instead of developing entirely new systems. This extension comprises (1) a common data simulation interface (CDSI), (2) a rule-based expert system (ExSys), (3) a virtual instructor (VI), and (4) an _assessment database (AssDB). The foundation of this technical development is an assessment concept (PERMA concept) that is based on performance markers. The first part of the paper presents this assessment concept and a process model for the two major steps of driver performance assessment, i.e. (1) the specification of exercise and assessment and (2) the assessment algorithm and execution of the assessment. The second part describes the rationale and the functionalities of the simulator add-on tools. Finally, recommendations for further technical improvement and appropriate usage are given. based on the results of a pilot study.

• 한국통신학회논문지
• /
• 제24권8A호
• /
• pp.1208-1217
• /
• 1999

최근 통신사업에 대한 관심과 경쟁이 치열해지면서 통신의 효율성, 경제성, 신뢰성 등이 크게 대두되고 있다. 이에 따라 통신사업자들은 통신 관련 데이터들에 대해서 매우 민감하게 반응하고 있다. 특히, 세계 각 국의 기술기준 경향은 통신망 및 사용자들과 관련된 위해를 크게 3가지로 분류하고 있으며, 본 논문에서는 각각의 경우에 해당하는 파라미터들의 field data들을 통계 처리하여 기술기준에 규정된 값과 비교하였다. 이와 같은 field data의 통계처리는 통신망과 서비스 품질에 대한 객관적인 정보로서의 역할을 하며 글로벌 통신화의 추세에 대비하기 위한 기반이 될 것이다.

• Nuclear Engineering and Technology
• /
• 제48권3호
• /
• pp.684-701
• /
• 2016

The Gaussian process model (GPM) is a flexible surrogate model that can be used for nonparametric regression for multivariate problems. A unique feature of the GPM is that a prediction variance is automatically provided with the regression function. In this paper, we estimate the safety margin of a nuclear power plant by performing regression on the output of best-estimate simulations of a large-break loss-of-coolant accident with sampling of safety system configuration, sequence timing, technical specifications, and thermal hydraulic parameter uncertainties. The key aspect of our approach is that the GPM regression is only performed on the dominant input variables, the safety injection flow rate and the delay time for AC powered pumps to start representing sequence timing uncertainty, providing a predictive model for the peak clad temperature during a reflood phase. Other uncertainties are interpreted as contributors to the measurement noise of the code output and are implicitly treated in the GPM in the noise variance term, providing local uncertainty bounds for the peak clad temperature. We discuss the applicability of the foregoing method to reduce the use of conservative assumptions in best estimate plus uncertainty (BEPU) and Level 1 probabilistic safety assessment (PSA) success criteria definitions while dealing with a large number of uncertainties.