• 전기학회논문지
• /
• 제62권8호
• /
• pp.1192-1197
• /
• 2013

In this paper Ubiquitous Medical Electronic Device Export was defined, and it's job analysis. The authors have been defined the job and classified duties and tasks of Ubiquitous Medical Electronic Device Export. To fine what is the most efficient task for Ubiquitous Medical Electronic Device Export, we have been investigated the levels of importance, difficulty, frequency and entry in each task. A DACUM committee is composed of total 12 members, which are one facilitator, 10 panel members, one coordinator & recorder to analyze the job of Ubiquitous Medical Electronic Device Export. Following is the result of this study. First, The process began with the identification of a job title and definition of Ubiquitous Medical Electronic Device Export. Second, a job model of Ubiquitous Medical Electronic Device Export is constructed based on the results of DACUM job analysis. 5 duties and 33 tasks are analyzed. Third, occupational specification was drawn up in consultation with SME council. Fourth, duty specification was drawn up in consultation. 33 tasks that are essential in entry level of occupation are identified. Fifth, task specification was drawn up in consultation. Detail task component which include skill, materials, knowledge, equipment, achievement level and tool was specified in task specification.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.123-130
• /
• 2007

본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

• 대한조선학회논문집
• /
• 제48권3호
• /
• pp.207-214
• /
• 2011

Ship design requirements described in the building specification should be reflected in the design process. This paper identifies the configuration of requirements mentioned in the building specification using Ontology Representation Language (OWL). Ontology-based semantic search system specifies the requirement items. Through this extraction, building specifications mentioned for each entry are configured to the tree. Tracking requirements for ship design and a set of procedures to instruct is also used for the V model of systems engineering. The semantic search engine of robot agent and ontology can search the requirements specification document and extract the design information. Thereafter, design requirements for the tracking model that proposes the relationship between the associated BOM(bill of material) and product structure.

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.78-85
• /
• 2007

A gun is still one of the major weapons of a combat ship. To assess the ship's fire control capability which is influenced by tracking system, fire control algorithm, gun, the ship itself, target behavior, environment and engagement situation, simulation system for gun-oriented engagement for surface ship is needed. This paper proposes the process for designing and implementing a gun-oriented engagement simulation system using DEVS(Discrete Event Simulation Specification), which is a formalism based on the set theory. It consists of the following activities : 1) analyzing the characteristics of a gun-oriented engagement, 2) constructing the deterministic model of the combat ship of study with DEVS, 3) modeling properties of each entity showing as stochastic errors. With this process, the gun-oriented engagement simulation system is developed and applied for the combat system under development.

• 품질경영학회지
• /
• 제27권4호
• /
• pp.114-122
• /
• 1999

As the rapid growth of Industrial society, many enterprises are inclined to ppm management from the traditional$3\'{o}$ management method. Therefore it is need to extend process capability index for guarantee of quality assurance level to ppm unit. Thus, in this paper, using the probability of standard normal distribution from $ 3\'{o}; to; 6\'{o}$ which was developed by Song(1997), the capability index which is proposed considers the numbers of inspection facility and quality assurance level. Also, quality assurance level is determined by considering the precision of inspection when one and two sided specification limits are given for the probability which is out of the specification limit.

• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.134-139
• /
• 2003

The mission of tilting train development project is enhancing the speed of transportation of railway passenger using existing infrastructure. The threat of this project is the tilting technology is newly incorporated to this project. To overcome the threat this project incorporate systems engineering technology to development tilting train system. The systems engineering process, which was used in this project, was performed in accordance with systems engineering standard EIA632. This paper shows the systems engineering technology which was used to develop the tilting train system specification. This paper also shows the requirement template which was developed to communicate and synthesis various specialty engineering.

• 한국압력기기공학회 논문집
• /
• 제11권1호
• /
• pp.33-38
• /
• 2015

The effects of post weld heat treatment(PWHT) on the mechanical properties of 2.25Cr-1Mo steels were investigated. As the PWHT temperature or holding time increased, the strength of low alloy steels progressively decreased due to softening process. After the conventional PWHT, the strength was larger than the minimum value of materials specification. The Charpy impact energy was hardly affected by the conventional PWHT. The trend of mechanical properties was analyzed in terms of tempering parameter. Most materials replaced from a power plant met the requirements of materials specification except for one heat. Same heat of materials with low impact energy were attributed to the voids formed during casting process.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.720-723
• /
• 2005

실시간 시스템의 기술 및 분석에 사용되는 정형적 방법 중에 시간 개념을 도입하고 시간 연산자를 추가한 프로세스 대수학들이 많이 발표되어지고 있다. 그 중에서도 ACSR은 동기적으로 발생하는 timed action과 비동기적으로 발생하는 event로 시스템을 기술하는 기법이다. timed action은 공유자원을 사용하면서 시간을 소모하는 과정을 나타내고, event는 프로세스 간의 동기화 과정을 기술한다. 실시간 시스템을 보다 효율적으로 표현하기 위하여 본 논문에서는 확률 개념이 추가된 PACSR을 정의한다. 또한 확장된 PACSR을 이용하여 자원할당시스템의 기술이 보다 효과적으로 이루어질 수 있음을 보이고자 한다.

• Nuclear Engineering and Technology
• /
• 제54권5호
• /
• pp.1635-1643
• /
• 2022

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.

• 반도체디스플레이기술학회지
• /
• 제22권1호
• /
• pp.88-93
• /
• 2023

In software engineering, requirement analysis is an important task throughout the process and takes up a high proportion. However, factors that fail to analyze requirements include communication failure, different understanding of the meaning of requirements, and failure to perform requirements normally. To solve this problem, we derived actors and behaviors using morpheme analysis and BERT algorithms in the Korean requirement document and constructed them as ontologies. A chatbot system with ontology data is constructed to derive a final system event list through Q&A with users. The chatbot system generates the derived system event list as a requirement diagram and a requirement specification and provides it to the user. Through the above system, diagrams and specifications with a level of coverage complied with Korean requirement documents were created.