• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• 대한산업공학회지
• /
• 제22권1호
• /
• pp.17-36
• /
• 1996

An economic two-stage screening procedure is presented when both lower and upper specification limits are given on the performance variable. A screening variable which is highly correlated with the performance variable is used first to decide whether an item should be accepted, rejected, or undecided. The performance variable is then used to classify the undecided items. The two variables are assumed to be jointly normally distributed. A cost model is constructed on the basis of six cost components; inspection costs of screening and performance variables and costs caused by type I and type II misclassification errors related with lower and upper specification limits. Optimal cutoff values on the screening variable are determined so that the average outgoing quality exceeds a prespecified level. Solution methods are provided for both known-parameter and unknown-parameter cases.

• 한국철도학회논문집
• /
• 제9권1호
• /
• pp.89-94
• /
• 2006

We, presently, don't have clear diagram methods and analysis criteria in rock bolt pull test usable for tunnel reinforcement. So this paper has suggested that; first, 'scheme of apposite diagram method at hard rock and the different application method of rock bolt pull test at weathered and hard rock', and second, 'the pullout capacity specification criteria for design and construction of rock bolt', based on foreign criteria and field test.

• 한국지능시스템학회논문지
• /
• 제13권3호
• /
• pp.259-259
• /
• 2003

유전자 알고리즘은 생물의 유전적 진화과정을 이용한 새로운 문제 해결의 방안으로 결정론적 방법으로 해결하지 못한 난제에 적합한 알고리즘이다. 제어기 설계 기법은 주파수에 의존하는 명세에 의한 설계는 있어 왔으나 Manabe 표준형을 기본으로 사용하는 시간에 의존하는 명세를 만족시키는 제어기 설계 기법은 미미한 단계에 있다. 본 논문에서는 일반화된 Manabe 표준형을 이용하여 플랜트의 성능을 충족시키는 제어기의 설계에 관해 연구한다. 두 변수 구조를 갖는 제어시스템에서 제어기의 계수 설계시 역행렬 방법이나 기존의 의역 행렬 방법으로 해결할 수 없는 경우가 있다. 이 경우에 원하는 폐루프 다항식이 설계된 다항식과 같거나 근사적으로 같도록 새로운 의역 행렬 방법과 경사알고리즘을 이용하여 제어기를 설계하는 두 가지 방법을 제안한다. 다음으로 제안된 제어기 설계 방법들을 자바로 구현한다

• 한국국방경영분석학회지
• /
• 제11권1호
• /
• pp.55-78
• /
• 1985

This thesis provides the implementation of a simulation model for a particular Local Area Network (LAN), employs carrier sense multiple access (CSMA) bus architecture, which implements functions of the Stock Point Logistics Integrated Communication Environment (SPLICE). First, specifications of the model are identified based on the given functional specification and operating system design. Then the approach taken for modeling and programming in GPSS is discussed. Finally, the program and results of the simulation run are provided.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(1)
• /
• pp.101-104
• /
• 2000

The Current CORBA has many drawbacks to be deployed successfully in real-time system applications. Recently, OMG adopted Real-Time CORBA specification. In this paper. we report our efforts of a design and implementation of Priority Model of Real-Time CORBA spec., which is one of the most important components in Real-Time CORBA spec. The improvement of real-time performances of our implementation is verified by expereiments.

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

Since the urban subway is normally constructed under the groundwater level, the drainage system will be one of the most important factors during maintenance period. Therefore, to investigate suitability of the design approach and the construction specification, the inflow and the contents of the groundwater in the Route 5 of Seoul subway system are analysed. From these, the possibility of the design improvement and the economy of the maintenance cost are proposed.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 B
• /
• pp.1346-1348
• /
• 2004

In this paper, Traction system and electric devices of double deck is designed to examine technical reasonableness for driving on the ground and underground. Other countries's double decks is considered. For designing the electric devices, two accelerations are considered and design criterion are given.

• Wind and Structures
• /
• 제8권4호
• /
• pp.295-307
• /
• 2005

The paper describes the work of the IAWE Working Group WBG - Reliability and Code Level, one of the International Codification Working Groups set up at ICWE10 in Copenhagen. The following topics are covered: sources of uncertainties in the design wind load, appropriate design target values for the exceedance probability of the design wind load for different structural classes with different consequences of a failure, yearly exceedance probability of the design wind speed and specification of the design aerodynamic coefficient for different design purposes. The recommendations from the working group are summarized at the end of the paper.

• 한국전자거래학회지
• /
• 제8권3호
• /
• pp.197-217
• /
• 2003

ebXML은 e비즈니스를 위한 글로벌 표준으로서 그 동안 기업간 협력의 가장 큰 장애물로 여겨졌던 정보 시스템의 이질성을 극복할 수 있는 대안을 제시하는 기술이다. ebXML에서는 전체적 인 프레임워크를 구성하는 주요 요소로서 거래 절차를 기술하는 비즈니스 프로세스, 거래에 이용되는 공통의 용어와 그 의미를 정의하고 있는 핵심 컴포넌트, 거래에 필요한 정보를 저장하고 검색하는 레지스트리, 거래 문서의 전송을 위한 메시징 서비스 등을 정의하고 있다. 이러한 구조를 기반으로 ebXML에서의 거래 절차는 비즈니스 프로세스에서 요구하고 있는 다양한 비즈니스 문서의 교환에 의해서 수행되며, 이때 필요한 비즈니스문서의 모델은 핵심 컴포넌트를 기반으로 저작된다. 본 논문에서는 우선 ebXML의 기술 구조 및 관련기술 동향에 대하여 살펴보고, ebXML 핵심 컴포넌트 및 이를 기반으로 비즈니스 프로세스의 수행에 필요한 비즈니스 문서를 생성하는 기술에 대하여 분석한다.