• 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.

• 가족자원경영과 정책
• /
• 제19권1호
• /
• pp.23-47
• /
• 2015

The purpose of this study was to investigate social workers' personal experiences providing social support to multi-cultural family in a multi-cultural family center. The data were collected through in-depth interviews with 14 social workers at the multi-cultural family center, and were analyzed using a phenomenological research method. The major findings were as follows : The social workers' personal experiences with and understanding of social support were classified as 4 categories : 'source of emotional support to the multi-cultural family', 'diverse and systematic educational support', 'excessive demands on material support', and 'daily life support and connection with community network'. The social workers recognized emotional and educational support as essential factors in providing social support to multi-cultural family. However, the social workers' perceptions of material support derived from negative personal experiences stemming from excessive demands and misunderstanding for material support. These results showed that social workers at the multi-cultural family center provided multi-cultural families with social support and that they interacted with community support system and multi-cultural families to increase their satisfaction.

• 농촌지도와개발
• /
• 제1권1호
• /
• pp.47-56
• /
• 1994

From 1995, the WTO(World Trade Organization) system will be activated in the world market. Therefore more liberalization in agricultural are expected. Korean farmers should be trained to overcome the difficulty due to trade liberalization. The non-formal education for farmers is carried out by various forms but does not fit need of farmers mostly. The moor part of non formal training was focused on agricultural skills so there must be more emphasis on non-agricultural skills. There are some lacks in linkage between training and government support for trainees. So more support for farmers trainees such as aspects(for example cure finanical support) and non economic support(for example the raising of farmers morale) are needed.

• Nuclear Engineering and Technology
• /
• 제44권8호
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• 대한인간공학회지
• /
• 제18권3호
• /
• pp.55-72
• /
• 1999

Evaluation of user interfaces has to be performed in an intuitive and subjective manner by experts especially when the problem comes to the complexity and consistency of sophisticated interface procedures. The manual analysis and evaluation of logical interfaces also tends to be slow and laborious. To make the evaluation more formal and objective, the criteria and the procedure with which the evaluation can proceed must be explicitly prescribed. Furthermore, to make the formal procedure as practical as subjective expert evaluation, the criteria must reflect the user knowledge of the target tasks since the task knowledge plays the role of a basis for users to understand the interface organizations and procedures. This paper describes ESTIM, a support system for task-based evaluation of user interface, that includes the interface evaluation criteria and implies an evaluation procedure. The support system can be used either in an interactive manner by the analyst during the evaluation or in an automatic evaluation mode. It was verified that the result of automatic evaluation by ESTIM matched the results of expert evaluation fairly well.

• 품질경영학회지
• /
• 제28권1호
• /
• pp.196-209
• /
• 2000

In order to intensify an enterprise competition, quality inspection controls are very important issue. An organization or division of a company hopes which to acquire the quality inspection information be updated in real-time with respect to shop floor. In this paper, we develop a quality inspection control system for a Turbine/Generator production industry. The system compromises inspection scheduling module related to shop floor control (SFC) system, formal documentation control module, and formal inspection control module. In the quality inspection control system, ORACLE RDBMS is used for the database management system and ORACLE DEVELOPER 2000 is used for system development tool. The characteristic of this system is to support so it can enhance productivity and quality through inspection plans related to production scheduling.

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 2000년도 학술발표회 발표논문집
• /
• pp.226-232
• /
• 2000

The design of agricultural facilities is the consistent activities, which systematically analyze all the actual conditions, design the unit structures, and improve the faming environment through efficient organization of the unit facility. The design of agricultural facilities is composed of site study, preliminary design, primary design, and detail design. Integrated design system can manage and process the information created by and used in all steps of design process. Formal data models of these design activities are important conceptual steps in development of integrated design system. However, most of existing models are not available for agricultural facilities. To support efficiently developing the integrated design system of agricultural facilities, we have developed the Multi-Layered Primitive-Composite mode I through object-oriented analysis of agricultural facilities. The MPC model not only satisfies the characteristics of agricultural facility, such as variety, coupling, informal data, but also improves abilities of integrated design system such as extensibility, flexibility, and granularity. The paper presents a formal definition of the MPC model.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2008년도 정기학술발표대회 논문집
• /
• pp.694-697
• /
• 2008

건설 생애 전 주기 중에서 기획단계의 지반 조사로 시작되는 흙막이 공법의 선정은 잘못 선정될 경우 해당 프로젝트의 공사비와 공기에 끼치는 영향이 매우 크다. 그렇기 때문에 공법 선정의 요인 및 프로세스에 관련된 연구가 많이 발표되었지만 일반인들의 활용이 어려워 실용화되지 못하고 있다. 본 연구에서는 본 연구의 선행연구에서 개발한 흙막이 공법 선정 프로세스에 기반하여 웹 기반 의사결정 지원시스템을 개발하였다. ASP.NET을 이용하여 사용자들의 접근성을 높이고 자료의 보완 및 수정이 용이한 웹 기반 시스템인 Dr. Underground로 발전시켰다. 이 의사결정 지원 시스템은 일반인들이 쉽게 접근하여 건축물 기본요구 사항과 대지 조건, 인접 대지 조건을 입력하면, 해당 프로젝트에 적절한 흙막이 공법을 선정해주고 그에 대한 상세 정보를 제공해준다.

• Asia pacific journal of information systems
• /
• 제14권1호
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.265-269
• /
• 2009

정형명세기법은 안전최우선시스템 소프트웨어의 안전성을 일정 수준 이상 보장할 수 있는 기법으로서, 원자력 발전소의 디지털 제어시스템의 개발에 사용되고 있다. 정형명세기법 NUSCR로부터 Programmable Logic Controller(PLC) 시스템을 구현하기 위한 소프트웨어인 Function Block Diagram(FBD) 프로그램을 자동으로 생성하는 기법[1]이 개발되었으나, 이를 지원하는 자동화 도구가 없어 이 기법이 널리 사용되지 못하였다. 본 논문에서는 이어 자동생성 기법을 지원하기 위하여 개발된 자동화 도구 NuSCRtoFBD를 소개한다. 본 연구에서 제안하는 NuSCRtoFBD 도구를 사용하여 NuSCR로부터 FBD를 자동생성 함으로써, 기존의 수동 프로그래밍 작업에서 발생했던 다수의 오류들을 줄일 수 있다.