• Journal of the Korea Society of Computer and Information
• /
• v.5 no.4
• /
• pp.62-68
• /
• 2000

It was designed a high-speed analog input card that is a important device of ultrasonic testing flaw detector in the middle of non-destructive testing in this Paper. The A/D Board is inquired high-speed sampling rate and fast data acquisition system. This pater shows a design that has a function of Peak- Detection for ultrasonic testing by ISA Bus type and a 50MHz of A/D converter in order to do sampling more than quadruple frequency of transducer frequency.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.466-469
• /
• 2018

최근 PC를 비롯한 모바일, IOT 기기 등 다양한 환경에서의 사이버 공격이 기승을 부리고 있으며, 그 방법 또한 나날이 발전하고 있다. 이러한 사이버위협으로부터 개인 및 기업의 자산을 지키기 위한 근본적인 대안이 없이는 매번 반복적인 피해를 피하기 어려운 현실이다. 다양한 환경이라고 함은, 다양한 OS(Operation System), 다양한 ISA (Instruction Set Architecture)의 조합으로 이루어지는 사이버환경을 의미한다. 이러한 조합들은 일반 사용자들에게 가장 많이 쓰이는 Windows & Intel 조합의 환경과, Linux & Intel 또는 Linux & ARM 등 기업에서 서비스를 위해 쓰이는 서버 환경 등을 예로 들 수 있다. 그밖에 최근 IOT기기나 모바일 기기와 같은 환경도 있을 수 있다. 바이너리 파일에 대한 보안은 다양한 연구가 진행되고 있지만 그 범위가 방대하고, 깊이가 필요한 영역이라 진입 장벽이 높은 실정이다. 본 논문에서는 이러한 바이너리의 취약점을 분석하기 위한 첫 번째 단계로써 다양한 바이너리 파일을 하나의 정형화된 자료구조로 변환하는 바이너리 포맷 분석기의 한 방법을 제시하고자 한다. 다양한 OS와 다양한 ISA환경에서 사용되는 바이너리들에서 공통적으로 존재하는 정보들 중, 바이너리의 취약점 분석을 위해 필요한 데이터를 보다 효율적으로 수집하고, 관리하는 것이 바이너리를 통한 사이버 위협을 탐지하는 연구에서 기초가 된다고 할 수 있기 때문이다.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.1167-1173
• /
• 2011

This study is described for the RAMS activities of performed to 2008.12 ~ 2010.10 KTX CTC Project. RAMS activities follow EN50126, EN50128, EN50129. CENELEC standards(EN50126, EN50128, EN50129) to the System Development Life-cycle are defined. This study is RAMS activities of life-cycle that can be found to satisfy SIL2. In addition, assessment of the ISA was completed. This paper is describe RAMS activities results of each phase and Safety Case according to Verification/Validation result.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.676-679
• /
• 1997

Networking for manufacturing is gaining importance as a nerve system of computer-integrated manufacturing(CIM). Among the various network types, the most inexpensive type called fieldbus is specifically aimed to interconnect simple devices such as sensors and actuators. For this purpose, there are several choices of the protocol such as Profibus, FIP, Foundation Fieldbus, and IEC/ISA fieldbus. This paper presents the simulation results of Profibus and FIP. Both protocols has been simulated in order to evaluate the performance such as transmission delay and throughput under different protocol parameter setting and traffic conditions.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.531-535
• /
• 2001

인터넷에서 가상현실 기법의 도입은 인터넷의 범용성과 함께 사용자가 쉽게 접할 수 있고 다양한 정보를 획득할 수 있기 때문에 지속적으로 발전해 가고 있다. VRML은 이러한 인터넷에서 가상세계를 구현하는 표준언어로 자리잡고 있다. 본 연구에서는 현재 많이 활용되고있는 VRML 저작툴인 ISA(Internet Scene Assembler)와 ISB(Internet Scene Builder)를 이용해 가상신호등 시스템을 설계하고 구현하는 것이 목적이다. 가상 신호등 시스템의 시뮬레이션을 위해 애니메이션 기법과 Sensor Node 및 Time_Bool_Converter 등의 Logic 함수를 사용하게 되고, Routing Diagram의 연결을 통해 시뮬레이션을 제작하게 된다.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1118-1125
• /
• 2010

This paper presents the methods to acquire the Safety Certificate from Independent Safety Assessment based on the IEC standard62279 which is commonly applied to railway system for Automatic Train Control(ATC) system in accordance with Urban Maglev project. This also shows approach methods and relative activities for project life-cycle to accomplish and ensure the system requirements of ATC system, RAMS and S/W quality activities. Furthermore, the key tasks conducted with ISA are noted in detail. These kind of activities for software quality of ATC system to obtain Safety Certificate could be a CASE model to improve the quality of domestic railway system and products, and also contribute to the growth of railway business and toward the achievement of overseas' railway signaling markets.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.350-355
• /
• 2011

This paper gives an overview and developing status of the on-board Automatic Train Control (ATC) System employed to control the Urban Maglev vehicle in Korea. In the construction of demonstration line for Urban Maglev Program, the Daewoo Engineering Company (DEC) has participated as a supplier of the whole ATC System since 2009. According to the contract with Korea Rail Network Authority, DEC is under progress for the development of the whole ATC system including Safety Integration Level (SIL) assessment from the ISA, which is followed by the international standards IEC62278, IEC62279, and EN50129. Once the Urban Maglev Program is completed successfully in 2013, the developed system will be the first localized whole ATC system which has SIL assessment and commercial operation experience in Korea.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.4
• /
• pp.1169-1174
• /
• 2000

Human-compute interface (HCl) should be designed with ease and flexibility for users for providing convenience and friendliness to users. The natural language processing is one of the aspects of HCl. This paper presents the method of design and implementation of SENKOV( Semantic Networks for Korean Verbs) System, which deals with isa hierarchies of Korean verbs for the natural language processing. The system's architecture is based on the differential theory and Levin verb classes. This paper selects about 600 Korean verbs which are commonly used in the daily life, and implements the SENKOV System. The experiments show that SENKOV has 44 top nodes and depth of about 2.35. In addition this paper applied the SENKOV System to co-occurrence constraint relationship among a adverbs and verbs, and proves the validity of the system. This paper is important in that it has made the first trial to classify Korean verb concept for HCl.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2956-2958
• /
• 2000

This paper describes the design of a real time traffic data acquisition system using loop detector and piezzo sensor. Loop detector is the cheapest method to measure the speed and piezzo is used to detect the vehicle axle information. A ISA slot based I/O board is designed for data acquisition and PC process the raw traffic data and transfer the data to the host system. Simulation kit is designed with toy car kits. simulated loop detector and piezzo sensor. The data acquisition system collects up to 10 lane highway traffic data such as vehicle count. speed. length axle count. distance between the axles. The data is processed to generate traffic count, vehicle classification, which are to be used for ITS. The system architecture and simulation data is included and the system will be tested for field operation.

• Journal for History of Mathematics
• /
• v.23 no.1
• /
• pp.1-24
• /
• 2010

In 1895, a new school system was introduced in Chosun by the ministry of education HakBu(學部). They published three mathematics textbooks for the new system, GanISaChikMunJeJib(簡易四則問題集) and GeunISanSulSeo(近易算術書) in 1895 and SanSulSinSeo(算術新書) in 1900. Investigating these three books, we show that they played the role of textbooks and gave rise to a pathway of western mathematics into Chosun. Further they greatly influenced the textbooks published in the early 20th century Chosun.