• 산업공학
• /
• 제21권4호
• /
• pp.378-384
• /
• 2008

Small sized companies have not been successful in systematically applying statistical process control because of insufficient human resources. In this paper we present a case study of automatic checking system for a small sized company which produces various types of gears. A systematic way of automatically measuring gears is proposed and statistical analysis methods are presented. To reduce variation in the measurement data, a standard operating procedure is also proposed. This case study can be helpful to quality assurance practitioners of small sized companies who are willing to develop checking or inspection systems for their products.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.352-359
• /
• 2000

In this paper, the method is used that each system isolates the part in which faults are occurred in case of fault occurrence since total system is designed in the type of hot standby sparing system construction and self-checking circuit in each system is attached to the memory being of the high failure rate in common communication system. Thus reliability and availability in system are improved. In this thesis, self-checking circuit was designed using 2 out of 6 code and didn't have any effect to the system operation. For the purpose of verification, each system attached with self-checking circuit was simulated through fault injection arid the continuity of each system in hot standby sparing system was tested in case that the system was switched when faults in the system were occurred.

• 한국언어정보학회지:언어와정보
• /
• 제14권1호
• /
• pp.93-111
• /
• 2010

This article is a description of the case variation in Guarani Language, which is a relatively, rarely studied language, and more so about case phenomena. Guarani has two remarkable facts about case. First, it has two overt accusative case markers, which are differentiated by the semantic notion of boundedness as in Jackendoff(1990, 1991). The existence of accusative case markers in Guarani is attested by their behavior in the typical transitive verb sentences, the ability to occur in ECM constructions, and the interpretation of specificity which is parallel to Turkish accusative case marker realization reported in Enc(1991). Second, accusative case forms occur in adjunct positions as well as object positions in Guarani. To capture these peculiar case phenomena, an account based on some recent Minimalist ideas about case checking from Legate(2008), Bowers(2010) is shown to be available.

• 한국건축시공학회지
• /
• 제14권2호
• /
• pp.177-186
• /
• 2014

The gang-form widely used in apartment construction sites has advantages compared to scaffolding in preventing falling accidents. One problem, however, is that safety accidents associated with gang-form works repeatedly occur due to worker carelessness. In this study, hierarchical checking tables are provided to support safety management activities for the gang-form works at the sites. Through a survey of experts and analyses of case studies of construction accidents, 137 safety check items are classified by participant type based on a hierarchical safety check scheme. The applicability and effectiveness of the hierarchical checking tables was evaluated through interviews with experts. It was found that the hierarchical checking tables enabled each gang-form related participant to check his own safety management items, and provided a level-wise structure to site safety management systems.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권7_8호
• /
• pp.642-648
• /
• 2003

본 연구에서는 유한 상태 기계들 간의 동치 여부를 검증하고자 한다. 즉 모든 입력에 대하여 유한 상태 기계의 반응이 항상 동일한지를 판정하고자 한다. 만약 두 개의 유한 상태 기계가 동치라고 판정된다면, 복잡한 유한 상태 기계는 단순한 기계로 대치될 수 있다. 또한 명세와 구현이 모두 유한 상태 기계로 표현된 경우, 동치 검사를 이용해서 구현이 명세를 만족하는지 결정할 수 있다. 본 논문에서는 이와 같은 유한 상태 기계의 동치 검사를 모델 검사 기법으로 다음과 같이 해결한다. 주어진 유한 상태 기계${M_A}와 {M_R}$를 조합하여 모델 $M = {M_A} {\times} {M_\beta}$을 구축하고, 검사할 동치 조건을 시제 논리식 ${\Phi}$로 기술한다. 만일 모델이 시제 논리식을 만족한다면$(M={\Phi})$ 두 기계는 동치이다. 그렇지 않다면 두 기계는 비동치이며 그 이유를 설명하는 반례를 제공한다. 전 과정이 자동화되었으며, 여러 개의 사례 연구에 적용한 결과 만족할 만한 결과를 얻었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1685-1688
• /
• 2003

객체지향 환경에서 복잡한 소프트웨어 시스템을 개발하기 위해서는, 그것의 복잡성과 대규모성 때문에 추상화에 의한 다계층적인 use case model 의 사용이 불가피하다. 이러한 경우 모델의 consistency 유지가 매우 주요하고 어려운 이슈가 된다. 본 논문에서는 각 추상화 단계에 따른 use case model 들 사이에서 자동적으로 형식적인 consistency 를 체킹할 수 있는 방법을 제안한다. 이 접근 방법은 rule 을 기반으로 하여 actor tree, use cose composition diagram를 use case description을 활용한다. 본 접근법을 검증하기 위하여, ITS 아키텍처 (Intelligent Transportation System architecture)의 한 파트를 예로 들어 적용하였다.

• 한국CDE학회논문집
• /
• 제19권3호
• /
• pp.224-235
• /
• 2014

Recently, Productivity of the construction industry has been decreasing than other industries. Because of this, BIM is being spread in the construction industry. However, quality criteria for BIM data is insufficient. Regulation information is an important factor for initial architectural design evaluations. However, building code and related regulation are numerous. National building code structure in Korea is much more complex than other countries. The purpose of this study is to suggest the typology method of building code and apply to real regulations. To achieve this purpose, the authors have extracted required information to from original regulation for code checking and suggested mapping methods between extracted information and information of IFC scheme. In addition, the authors have represented EXPRESS-G diagram for extracting information from IFC scheme and suggested code checking method through stair case. Output of this study can be used as a base line data for automated code checking system based on open BIM. Automated code checking system will be utilized in architectural design evaluations and supported to increase design quality. It can be used to mount in SEUMTER that is the construction administration system of Ministry of Land, Infrastructure and Transport (MOLIT).

• Computational Structural Engineering : An International Journal
• /
• 제1권1호
• /
• pp.31-38
• /
• 2001

In the case of the non-proportionally damped system such as the soil-structure interaction system, the structural control system and composite structures, the eigenproblem with the damping matrix should be necessarily performed to obtain the exact dynamic response. However, most of the eigenvalue analysis methods such as the subspace iteration method and the Lanczos method may miss some eigenvalues in the required ones. Therefore, the eigenvalue analysis method must include a technique to check the missed eigenvalues to become the practical tools. In the case of the undamped or proportionally damped system the missed eigenvalues can easily be checked by using the well-known Sturm sequence property, while in the case of the non-proportionally damped system a checking technique has not been developed yet. In this paper, a technique of checking the missed eigenvalues for the eigenproblem with the damping matrix is proposed by applying the argument principle. To verify the effectiveness of the proposed method, two numerical examples are considered.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2012년도 춘계 학술논문 발표대회
• /
• pp.317-318
• /
• 2012

Although installations and usages of gang-form that has advantages of preventing fall disaster, the serious disasters from gang-form occur every year. This research focused on the continuous prevention of disasters in construction of outer wall of apartment working site through step by step safety management worker's checking table. The result is the worker's checking table for safety management in apartment gang-form works, through safety guidelines case studies, interviews with safety management experts and then extracting a check list.

• 대한한의학회지
• /
• 제41권2호
• /
• pp.122-136
• /
• 2020

Objectives: A case report is a detailed report of the symptoms, signs, diagnosis, treatment, and follow-up of an individual patient. The purpose of this study is to evaluate the quality of case reports from the Journal of Korean Medicine by the CARE (CAse REport) Guideline. Methods: Case reports published in the Journal of Korean Medicine from January 2016 to March 2020 were searched from Oriental Medicine Advanced Searching Integrated System (OASIS). We assessed the quality of reporting based on CARE (CAse REport) guideline as 'Sufficient', 'Not-Sufficient' and 'Not-Report'. Results: A total of 22 case reports were finally included for the assessment. The reporting items were reported as of reporting quality. After checking the result, there was a deviation in the sub-item reporting rate by a maximum 89.29%, a minimum 66.67% and a median 82.14% in case reports. Also after checking the quality in case reports by 28 detailed items in CARE guidelines, there were not reported 77% or more in the 5 sub-items 'Intervention adherence and tolerability', 'Informed consent', 'Adverse and unanticipated events', 'Diagnostic challenges', 'Patient perspective'. Conclusion: There is a need to improve the quality of case reports in the journal of Korean Medicine based on various studies using CARE guideline.