• 시스템엔지니어링학술지
• /
• 제11권2호
• /
• pp.125-135
• /
• 2015

Various methods have been used for safety and reliability as it becomes more difficult to ensure safety owing to the increasing complexity and scale of systems. This study aims at making it easier and more efficient to discuss risks and countermeasures for completeness, review, and knowledge transfer by improving methods to create fault tree analyses which focus on the GSN [1], which are among the methods used to describe assurance cases. More specifically, the purpose of this study is to incorporate strategy and context, GSN concepts, along with reason, which is a new concept, into FTA; the study focuses on three points. One point is support for the safety designer to draw a mutually exclusive and collectively exhaustive (MECE) FTA. The second is to make it easier to understand diagrams and meanings of FTA compared with the usual methods. The third is to make creating an FTA more efficient and to pass on existing know-how. Eventually, FTA can achieve completeness, review, and knowledge transfer. An introduction is provided in the first section. Next, the methodology covered in this paper is explained in the second section. The third section describes the proposed notation method based on two proposals made in this paper. In the fourth and fifth sections, results and discussion are provided, respectively. Finally, in the sixth section, conclusions are described.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.731-740
• /
• 2008

철도 제어 시스템은 대표적인 안전철수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.

• 대한치과기공학회지
• /
• 제6권1호
• /
• pp.19-26
• /
• 1984

This Experimental study was performed to study the effect of the heat soaking and the diameter of pattern on the casting ability of three nonprecious alloys manufactured for porcelain-metal restorations, with respect to their ability to reproduce test pieces by casting over a selected range of uniform diameters. Samples of total 60 were constructed and divided into 6 groups according to the two variables, the diameter and the heat soaking. The completed cast samples were examined visually and measured with a caliper calibrated to 0.05mm. The results obtained were as follows: 1. Length cast was significantly related to the diameter to be cast, especially in the case of the marrowest diameter of 230m. 2. Length cast not significantly related to the heat soaking. 3. The completeness of casting was significantly related to the diameter to be cast, particularly in the case of the narrowest diameter of 230m. 4. The completeness of casting was not significantly related to the heat soaking. 5. All of the three nonprecious alloys used for this experiment were significantly different from an ideal alloy in the completeness of casting.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2075-2082
• /
• 1998

규칙 기반 지식표현은 전문가 시스템의 지식을 저장하고 조작하는 기법중 가장 많이 사용되는 기법이다. 그런데 이 방법으로 표현된 지식의 양은 점점 많아지며, 그 관계가 복잡해지고 내용이 변경될 수 있기 때문에 지식베이스의 일관성 및 완결성을 유지하는 검증 시스템이 필요하다. 따라서 본 논문에서는 새로운 규칙이 첨가될 때 야기될 수 있는 오류를 구조적 측면과 의미론적 측면에서 검증한 후 자체 수정하거나 자체 수정이 불가능할 경우 전문가가 수정하도록 하여 일관성과 완결성이 확증된 후 새로운 규칙이 추가되어질 수 있도록 함으로써 전문가 시스템의 신뢰도를 높이고 효율성을 제고할 수 있는 검증시스탬이 제안되었다.

• Journal of information and communication convergence engineering
• /
• 제20권3호
• /
• pp.204-211
• /
• 2022

This study evaluated the completeness of patient care report (PCR). A retrospective quality analysis was conducted using raw data of 122,140 EMS activity reports prepared by paramedics in Gyeonggi-do from April 1 to May 31, 2021. In all, 67,830 cases of normal transfers were statistically analyzed using IBM SPSS Statistics version 22, and statistical significance was set at p<0.5. The 119EMT_2 certificate was omitted in 50,037 (73.8%) cases, followed by time-related items in 1,227 (1.8%) cases. In the primary assessment of vital signs, systolic blood pressure was omitted and erroneous in 1,218 (1.9%) and 1,129 (1.8%) cases, respectively. In the secondary assessment, the completeness of all vital sign items was approximately 70%. Advanced emergency care and online medical control (OLMC) reporting showed discrepancies in all items. As the severity of the patient's condition increased, the errors in the Patient care report (PCR) also increased, at a significant level (p= .00). Paramedics must be aware of the importance of completing the activity report.

• 한국의류학회지
• /
• 제47권2호
• /
• pp.371-391
• /
• 2023

This study examines the impact of live commerce characteristics on customer responses in the ELM perspective. Based on ELM, the central route is composed of information completeness, accuracy, and currency, and the peripheral route is composed of streamer credibility, streamer reputation, social presence, and system quality. An online survey of female customers aged 20 to 49 who have purchased beauty products through live commerce within the past three months was conducted. The results demonstrate that information completeness and information currency exert significant impact on perceived usefulness and enjoyment. Social presence and system quality also exert significant impact on perceived usefulness and enjoyment. Moreover, perceived usefulness and enjoyment had significant impact on behavioral intention. The effect of information completeness on perceived usefulness and enjoyment was much stronger for high product involvement groups. Furthermore, the effect of streamer reputation on perceived enjoyment was much stronger for high product involvement groups. In contrast, the effect of social presence on perceived usefulness and enjoyment was much stronger for low product involvement groups. This study suggests theoretical implications for applying ELM to live commerce and practical implications for differentiated live commerce marketing strategies.

• Kyungpook Mathematical Journal
• /
• 제9권1_2호
• /
• pp.21-25
• /
• 1969

• Kyungpook Mathematical Journal
• /
• 제6권2호
• /
• pp.77-78
• /
• 1965

• 한국전산응용수학회:학술대회논문집
• /
• 한국전산응용수학회 2002년도 학술발표대회
• /
• pp.20.1-20
• /
• 2002

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1985년도 Proceedings of 84 Matsuyama Workshop on Formal Grammar
• /
• pp.45-77
• /
• 1985