• 대한토목학회논문집
• /
• 제35권5호
• /
• pp.1173-1177
• /
• 2015

본 논문에서는 도시철도역사 내 철도안전사상사고의 사고유형과 원인분류를 표준화하는 방안을 제시하였다. 이를 위하여 도시철도 운영기관 (서울메트로, 서울도시철도공사)의 4,086건 철도안전사상 사고를 분석하여 표준화 코드를 작성하였다. 사고유형의 표준화는 사상자유형, 사고대상, 사고 위치, 사고형태로 구분하여 분류하고 이를 포함한 4자리의 표준화코드를 제시하였다. 사고원인의 표준화는 원인제공자, 음주여부, 1차 원인, 2차 원인을 포함한 4자리의 표준화코드를 제시하였다. 이러한 표준화코드는 도시철도 역사 내 철도안전사상사고의 체계적인 비상관리 및 긴급대응에 기본이 되는 역할을 담당할 것이라 판단된다.

• 인터넷정보학회논문지
• /
• 제3권3호
• /
• pp.1-9
• /
• 2002

자바 언어의 실행 속도를 개선하기 위해 전통적인 컴파일 방법을 사용하여 바이트 코드를 특정 프로세서에서 수행될 수 있는 목적기계 코드로 변환하는 다양한 연구가 진행중이다. 패턴 매칭을 이용한 코드 생성 기법은 코드 확장 기법에 비해 양질의 코드를 생성할 수 있는 장점을 가지고 있다. 본 연구에서는 바이트 코드로부터 효과적으로 네이티브 코드를 생성하기 위해 레지스터 기반의 중간 언어를 효율적으로 생성할 수 있는 정형화된 패턴 기술 방법과 패턴 매칭 기법에 대해 제시한다. 또한 기술된 정형화 패턴을 활용하여 양질의 레지스터 기반 중간 코드를 생성하는 중간 코드 변환기를 설계하고 구현하였다.

• 전자공학회논문지CI
• /
• 제39권4호
• /
• pp.1-9
• /
• 2002

자바 언어의 실행 속도를 개선하기 위해 전통적인 컴파일 방법을 사용하여 바이트코드를 특정 프로세서에서 수행될 수 있는 목적기계 코드로 변환하는 다양한 연구가 진행중이다. 패턴 매칭 이용한 코드 생성 기법은 코드 확장 기법에 비해 양질의 코드를 생성할 수 있는 장점을 가지고 있다. 본 연구에서는 바이트코드로부터 효과적으로 네이티브 코드를 생성하기 위해 레지스터 기반의 중간 언어를 효율적으로 생성할 수 있는 정형화된 패턴 기술 방법과 패턴 매칭 기법에 대해 제시한다. 또한 기술된 정형화 패턴을 활용하여 양질의 레지스터 기반 중간 코드를 생성하는 중간 코드 변환기를 설계하고 구현하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(II)
• /
• pp.259-264
• /
• 2003

Failure code system must include data of maintenance history, classification of failure, affective range and situation when failure occur. But the present failure code system have used a simple code system for classification to include only merchandise and tools. Advantageously, expansional standard code system that will be developed, it make that users can take steps of standardized overhaul and inspection as proposal maintain contents when failure occur or something wrong in vehicle of urban transit. Standardized failure codes must be developed and used that manufacturing companies and urban transit operating companies in order to give effect to maintenance works.

• Journal of Information Processing Systems
• /
• 제19권2호
• /
• pp.139-148
• /
• 2023

Current food-traceability platforms suffer from problems such as inconsistent traceability standards, a lack of public credibility, and slow access to data. In this work, a combined code and identification method was designed that can achieve more secure product traceability using the dual anti-counterfeiting technology of a QR code and a hidden code. When the QR code is blurry, the hidden code can still be used to effectively identify food information. Based on this combined code, a food-safety traceability platform was developed. The platform follows unified encoding standards and provides standardized interfaces. Based on this innovation, the platform not only can serve individual food-traceability systems development, but also connect existing traceability systems. These will help to solve the problems such as non-standard traceability content, inconsistent processes, and incompatible system software. The experimental results show that the combined code has higher accuracy. The food-safety traceability platform based on the combined code improves the safety of the traceability process and the integrity of the traceability information. The innovation of this paper is invoking the combined code united the QR code's rapidity and the hidden code's reliability, developing a platform that uses a unified coding standard and provides a standardized interface to resolve the differences between multi-food-traceability systems. Among similar systems, it is the only one that has been connected to the national QR code identification platform. The project has made profits and has significant economic and social benefits.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.118-121
• /
• 1998

Standardized representations and data codes are crucial for the exchange of information between systems, organizations, and people in the telecommunications operations area. ITU-T M.1400 recommends a unified representation for the international network routes which includes such location data elements as Town A, Suffix Code which was designed for the representation of domestic network locations to meet the ITU-T recommendation. This paper suggests an expanded building ID code for the representation of the international network locations.

• 한국중재학회지:중재연구
• /
• 제24권1호
• /
• pp.111-132
• /
• 2014

Recently, there have been discussions about the necessity of consumer arbitration such as ADR. The debate has progressed, because this area of arbitration has expanded into the press and medical fields. However, there is not an act for regulating consumer arbitration in South Korea. Thus, this issue has been deliberated at UNCITRAL Working Group III. The core issue of this deliberation is the validity of consumer arbitration. Especially if a pre-dispute arbitration agreement is contracted online, it progresses by using standardized terms; therefore it is possible that the Standardized Terms Regulating Act judges the relevant terms. This thesis consists of the following: First, concepts and categories of arbitration agreements. These include arbitration agreement, pre-dispute arbitration agreement, and arbitration agreement through standardized terms. Second, the validity of the above agreements will be discussed. There are three positions concerning their validity: affirmative as de lege ferenda, negative, and restrictively negative. Similar discussions concerning German law and cases would be helpful to specify and compare the issue. When a consumer arbitration agreement is contracted through standardized terms, it is necessary that the required formality of the agreement has been satisfied, before the effect of the agreement may be regulated by the German Civil Code.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.507-521
• /
• 1996

Quantification of uncertainties in the source term estimations by a large computer code, such as MELCOR and MAAP, is an essential process of the current Probabilistic safety assessment. The main objective of the present study is to investigate the applicability of a combined procedure of the response surface method (RSM) based on input determined from a statistical design and the Latin hypercube sampling (LHS) technique for the uncertainty analysis of CsI release fractions under a Hypothetical severe accident sequence of a station blackout at Younggwang nuclear power plant using MAAP3. OB code as a benchmark problem. On the basis of the results obtained in the present work, the RSM is recommended to be used as a principal tool for an overall uncertainty analysis in source term quantifications, while using the LHS in the calculations of standardized regression coefficients (SRC) and standardized rank regression coefficient (SRRC) to determine the subset of the most important input parameters in the final screening step and to check the cumulative distribution functions obtained by RSM. Verification of the response surface model for its sufficient accuracy is a prerequisite for the reliability of the final results that can be obtained by the combined procedure proposed in the present work.

• 실천공학교육논문지
• /
• 제16권3_spc호
• /
• pp.267-274
• /
• 2024

One challenge with teaching practical programming classes is the standardization of development tools on student computers. This is particularly true when a complicated setup process is required before beginning to code, or in remote classes, such as those necessitated by the COVID-19 pandemic, where the instructor cannot provide individual troubleshooting assistance. In such cases, students who encounter problems during the setup process may give up on the class altogether before even beginning to code. Therefore, this paper recommends using GitHub Codespaces as a tool for implementing standardized student development environments from day one. Codespaces provides Docker containers that an instructor can configure in such a way as to enable students to practice installing various coding tools within a controlled space, while also providing a language-specific, fully optimized development environment. In addition, Codespaces may be used more effectively in collaboration with GitHub Classroom, which helps instructors manage both the starter code and coding environment in which students work. In this paper, we compare two semesters of university Node.JS programming classes that utilized different development environments: one localized on student computers, the other containerized in Codespaces online. Then, we discuss how GitHub Codespaces and GitHub Classroom can be used to increase the effectiveness of practical programming classes while also increasing student engagement and programming confidence in class.

• 한국CDE학회논문집
• /
• 제21권3호
• /
• pp.313-324
• /
• 2016

As building information modeling (BIM) is expanding its influence in various fields of architecture, engineering, construction and facility management (AEC-FM) industry, BIM-based automated code compliance checking has become possible prospects. For the automated code compliance checking, requirements in building code need to be processed into explicit representation that enables automated reasoning. This paper aims to develop high-level methods that translate verb phrases into explicit representation. The high-level methods represent conditions, properties, and related actions of the building objects and clarify the core content of the constraints. The authors analyze building permit requirements in Korea Building Code and establish a standardized process of deriving the high-level methods. As a result, 60 kinds of the high-level methods were derived. In addition, method classification, analysis, and application are introduced. This study will contribute to the representation of explicit building code sentences and establishment of the automated building permit system of Korea.