• Korean Journal of Computational Design and Engineering
• /
• v.14 no.2
• /
• pp.96-104
• /
• 2009

It gradually becomes important to study on how to efficiently integrate and manage plant lifecycle data such as 2D schematic and 3D solid data, logical configuration data, and equipment specifications data. From this point of view, converting plant design data from various systems into neutral data independent from any commercial systems is one of important technologies for the operation and management of plants which usually have a very long period of life. In order to achieve this goal, a neutral model for efficient integration and management of plant data was defined. After schema mapping between one of specification-driven plant design systems and the neutral model was performed, a plant data translator is also implemented according to the mapping result. Finally, by experiments with nuclear power plant design, the feasibility of the translator was demonstrated.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Proceedings of the KIEE Conference
• /
• 1998.07c
• /
• pp.861-863
• /
• 1998

F.I(Fault Indicator) is equipped in automatic switchs for Distibution Automation System(DAS), and plays important role of providing the information for picking out a fault section. The restrictive sentence that F.I doesn't react for the inrush current is in the F.I specification. Nevertheless F.I has sometimes mal-functioned on the DAS in Kang-Dong branch office of KEPCO for latest 2 years. This Paper Proved the causes of the mal-function, and proposed the new F.I specification and operation methods against the mal-function causes.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.634-639
• /
• 2003

The static inverter is mainly used to provide with the electric power of various loads in the train. In the recent european projects, the specification of static inverter become harder, and many additional service function is expected. It takes long time and high cost to develope a static inverter with these high performances and additional function. But, these are became general demands for static inverter in the many projects from now on. The APSE(Auxiliary Power Supply Equipment) is a static inverter of high performance to satisfy the severe specification and various service function following these tendency for Athens project In this paper, the specification of APSE and various service functions are introduced to look about current tendencies of static inverter.

• Journal of the Semiconductor & Display Technology
• /
• v.9 no.4
• /
• pp.45-50
• /
• 2010

This paper explores a new approach for modeling of decision-making problems that involve uncertain, time-dependent and sequence-dependent processes which can be applied to semiconductor industry. In the proposed approach, which is based on probability theory, approximate sample paths are required to be specified by probability and statistic characteristics. Completely specified sample paths are seen to be elementary and fundamental outcomes of the related experiment. The proposed approach is suitable for modeling real processes more accurately. A case study is applied to a single item production planning problem with continuous and uncertain demand and the solution obtained by the approximate path specification method shows less computational efforts and practically desirable features. The application possibility and general plan of the proposed approach in semiconductor manufacturing process is also described in the paper.

• KSCI Review
• /
• v.15 no.1
• /
• pp.173-177
• /
• 2007

3D 디스플레이 기술이 발전함에 따라 스테레오 영상의 전송시 요구되는 비트레이트의 감소가 절실히 필요하다. 하지만, 스테레오 영상은 서로 다른 카메라에 의해 취득되기 때문에 잠재적으로 서로 차이가 있고, 이것은 디스패리티 추정시 큰 오차를 유발할 수 있으며 전송될 비트레이트에 영향을 줄 수 있다. 따라서 스테레오 영상들 사이의 밸런싱이 필요하다. 스테레오 영상의 밸런싱을 위해, 본 논문에서는 히스토그램 Specification 방법과 타깃 영상의 국부정보, 스테레오 영상간의 오차 분포를 이용한다. 히스토그램 Specification 방법은 그레이레벨의 맵핑관계를 정의한다. 따라서 이를 통해 맵핑될 레벨의 맵핑 구간을 구할 수 있다. 그 구간에서, 맵핑될 기준영상의 히스토그램 분포와 스테레오 오차값의 분포는 서로 모양이 유사할 것이다. 그러나, 폐색된 영역이나 노이즈에 의해 그 모양이 변하므로 우리는 맵핑될 픽셀들을 오차영상에서 그 픽셀들의 근방에서 구한 평균들과 오른쪽 영상(타깃 영상)에서 맵핑될 픽셀의 근방에서 구한 평균이 최소 값을 갖는 위치 값으로 맵핑한다. 제안된 방법은 실험에서 기존 방법보다 향상된 결과를 나타내는 것을 보여 준다.

• Journal of Auto-vehicle Safety Association
• /
• v.12 no.1
• /
• pp.46-51
• /
• 2020

Korea is the only country in the world where the regulation of vehicle homologation has been changed from "Type Approval" to "Self-Certification". But there are some regulations that have not been fully changed, so they became double-regulations. In this research, we find out double-regulations in Self-Certification systems focused on "Specification Notice Procedure", and suggest a proposal of amendment to avoid duplication. Through the research, we can reduce unnecessary requirements about homologation, management of vehicle and administrative procedure significantly.

• Nuclear Engineering and Technology
• /
• v.32 no.6
• /
• pp.537-548
• /
• 2000

The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.656-658
• /
• 2003

Recently, loosely-coupled systems are widely used for distributed computing environment. We develop a web GIS server who conforms to the international standards developed by the Open GIS Consortium (OGC), such as web feature service (WFS) implementation specification, Geography Markup Language (GML) implementation specification, and the simple features specification for OLE/COM. The web GIS server provides interoperable access of spatial data among data formats in the distributed environment.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.