• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2005년도 춘계학술대회
• /
• pp.252-255
• /
• 2005

The effort to realize the concept of stratospheric airship, which can fly at about 20km altitude, has been persevered since late 1980's. Referring to the feasibility study of ensuring the flight duration of the airship over 1year, total weight is about 30 tons, the length is about 200m. There are lots of key technologies to be solved to develop the system, and one of the essential prerequisite technologies is regenerative fuel cell system. In this paper, design requirement of regenerative fuel cell system is introduced with the feasibility study results of the challenging stratospheric airship.

• 시스템엔지니어링학술지
• /
• 제9권1호
• /
• pp.1-11
• /
• 2013

In this study, unattended Light Rail Transit System (K-AGT) is a general-purpose standards safety requirements of IEC 62267 based System Engineering Process (SEP) was used. Functional analysis and physical architecting for each requirements through the vehicle was classified into sub-systems, design was analyzed in terms of SE. The analysis of the proposed system engineering process, unattended train operation (UTO), driverless train operation(DTO) design of the safety measures to be used as the basis is studied.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.488-490
• /
• 2006

In the electric power industry, It is important that the supply of energy must always be guaranteed. To satisfy these requirements, various forms of technologies are needed, such as RFID tag, reader, sensor network, middleware and so on. WSN (Wireless Sensor Network) technologies of the electric power industry are in the early stage and there is no clear guideline for developing electric facility management system using WSN. Relevant experience is limited, the challenge will be to derive requirement from business practice and to determine whether it is possible or not. To explore this issue, we focus on researching and field test of prototype system in Korea Electric Power Corporation (KEPCO). In this paper we describe requirement from power industry. And we introduce design and implementation of the power facility monitoring system.

• 한국기록관리학회지
• /
• 제12권1호
• /
• pp.79-94
• /
• 2012

업무관리시스템은 기록을 업무분류에 맞추어 관리하고, 기존에 소홀하였던 회의, 지시사항, 메모 등을 기록관리체계로 편입시켰다. 기록관리 차원에서 높이 평가받는 업무관리시스템이지만, 기록의 생산 및 관리차원에서 여러 문제점이 노출되었다. 이 글은 기록을 생산에서부터 처분단계까지 끊김없이 관리하기 위해, 업무관리시스템이 가진 문제점을 분석해보고 해결방안을 제시하였다.

• 산업경영시스템학회지
• /
• 제21권48호
• /
• pp.113-122
• /
• 1998

In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to tile constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.

• 한국컴퓨터정보학회논문지
• /
• 제22권3호
• /
• pp.35-43
• /
• 2017

In IoT(Internet of Things) environment, users want to receive customized service by users' personal device such as smart watch and pendant. To fulfill this requirement, the mobile device should support a lot of functions. However, the miniaturization of mobile devices is another requirement and has limitation such as tiny display. limited I/O, and less powerful processors. To solve this limitation problem and provide customized service to users, this paper proposes a collaboration system for sharing various computing resources. The paper also proposes the method for reasoning and recommending suitable resources to compose the user-requested service in small device with limited power on expected time. For this goal, our system adopts MBTI(Myers-Briggs Type Indicator) to analyzes user's behavior pattern and recommends personalized resources based on the result of the analyzation. The evaluation in this paper shows that our approach not only reduces recommendation time but also increases user satisfaction with the result of recommendation.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 추계학술대회 논문집
• /
• pp.35.1-40
• /
• 2001

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, requirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single Auction. Using the developed executable model and the traceability between requirements and functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable behavior model to do functional analysis and be able to verify the integrity of a specification.

• 한국철도학회논문집
• /
• 제9권4호
• /
• pp.482-486
• /
• 2006

The Systems Engineering Management Plan (SEMP) is the primary, top level technical management document for the integration of all engineering activities at the project plan phase. This document defined the activities to plan, control, and perform overall engineering integration. To develop the SEMP for Railway Safety System, several standards are reviewed and analyzed. And then a common requirement for SEMP preparation is derived from the results of analysis. Also, the SEMP example available practically applies to Railway Safety System. In particular, The SEMP focused on controling technical program management has been organized so far, but in this study the detailed contents of SEMP put stress on project management is derived. And it is related to each other between project management and technical engineering management. At the end, to continuously manage the items and contents of the SEMP, a database management and an automatic document generation system is presented using Computer-Aided Systems Engineering (CASE) tool.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 산업경영시스템학회지
• /
• 제23권59호
• /
• pp.53-67
• /
• 2000

In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts and the repairable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model Is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process and the repair time has an exponential distribution. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure Is derived.