• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.78-90
• /
• 1993

기존의 모의 실험언어를 이용해서 연속 체계를 모의 실험하는 것을 사용자가 언어에서 요구하는 형태로 모델을 형성해야 하는 어려움이 따른다. 따라서 본 연구에서는 사용자에게 최대한 편의성을 제공하는 연속체계 모의 실험언어인 PCSL (Postech Continuous -system Simulation Language)를 개발하였다. PCSL은 주어진 대상을 모델링한 미분방정식과 그것을 푸는데 필요한 여러 가지 제약 사항으로 이루어진 간단한 프로그램을 입력으로 받아 자동으로 모의 실험을 수행함으로서 사용자의 노력이 최소화하게 된다. PCSL 처리 시스템의 구성은 주어진 모델을 C 프로그램으로 변형하는 변환기, 모의 실험 알고리즘을 구현한 C 프로그램을 생성하는 생성기, 모의 실험을 수행하는 실행기, 사용자 인터페이스 등으로 되어있다. 구현 예로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였다.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.4
• /
• pp.22-30
• /
• 2008

In this paper, we deal with modulation classification method using WT capable of classifying incident digital signals without a priori information. These key features should have good properties of sensitive with modulation types and insensitive with SNR variation. The 4 key features for modulation recognition are selected using WT coefficients, which have the property of insentive to the changing of noise. The numerical simulations for classifying 8 digital modulation types using these features are peformed. The numerical simulations of the 3 types (i.e. DTC, MDC, and SVMC) of modulation classifiers are performed the investigation of classification accuracy and execution time to design the modulation classification module in software radio. The simulation result indicated that the execution time of MDC and DTC was best and MDC and SVMC showed good classification performance.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.6
• /
• pp.1659-1665
• /
• 2008

In this paper, we propose a design and implementation of HTML Filter to provide wireless internet service efficiently. The HTML Filter translates the Web documents written by HTML into the WML documents for portable wireless equipments automatically that are suitable for the WAP environment. The HTML Filter consists of "the HTML lexical analyzer" which gathers HTML source into token units, "the HTML syntax analyzer" which takes the lexical units from the lexical analyzer and analyses grammar for the source, "the HTML abstract parser tree" which can represent meaning of HTML sources more effectively called an intermediate code, and "the target code generator" which can convert the abstract parser tree into WML documents. The proposed translating method using ordinary compiler technology provides more easy and effective than the existing converters, and will be applied to other wireless language translating methods on wireless internet.

• The KIPS Transactions:PartD
• /
• v.11D no.2
• /
• pp.415-422
• /
• 2004

Automation systems improve the productivity of works which relate to product design, facilities management, fault processing and quality evaluation. In these systems, the description language for monitoring and control process is called new control language. These are five flow control languages : IL, ST, FBD, SFC and LD. IL and ST are based on left form. FBD, SFC and LD are based on graphic form. Generally, a software which monitors and controls a system is allowed to use just one flow control language. It is impossible to use more than two languages for simulation in the same system environment. In this paper, we analyzed the characteristics of flow control languages and the process of programming in the legacy system. In addition, for the Integrated processing of languages, we propose Extended ST based on the high-level ST language. Based on this research, we implement a graphical language editor and EST-IL convertor. The graphical language editor makes sequence rules, and converts graphical language into EST. EST-IL convertor has a function to convert EST into IL which is similar to assembly language. As the result of this paper, we present a scheme which integrates all the flow control language processing based on IL.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.4
• /
• pp.431-436
• /
• 2005

This paper describes how to diagnose SBR plant equipment using time-series data mining. It shows the equipment diagnostics based upon vibration signals that are acquired front each device lot process control. Data transform techniques including two data preprocessing skills and data mining methods were employed in the data analysis. The proposed method is not only suitable for SBR equipment, but is also suitable for other Industrial devices. The experimental results performed on a lab-scale SBR plant show a good equip-ment-management performance.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.23 no.7
• /
• pp.841-855
• /
• 1999

In the present work, the effect of a flow maldistribution on the thermal and conversion response of 8 monolith catalytic converter is Investigated. To achieve this goal, a combined chemical reaction and multi-dimensional fluid dynamic mathematical model has been developed. The present results show that flow uniformity within the monolith brick has 8 great impact on light-off performance of the catalytic converter. In the case of lower flow uniformity, large portions of the monolith remain cold due to locally concentrated high velocities and CO, HC are unconverted during warm-up period, which loads to retardation of light-off. It has been also found that the heat-up pattern of the monolith ill similar to the flow distribution profile, In the early stage of the reaction. It may be concluded that flow maldistribution can cause a significant retardation of the light-off and hence can eventually worsen tho conversion efficiency of automotive catalytic converter.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.14 no.5
• /
• pp.138-144
• /
• 2006

This research represents the catalytic converter for application in the motorcycle. Present research model type is a monolithic catalytic converter and this type has been widely used for satisfaction on and the regulations of pollutant emissions in automobiles. The experiment range is found for light-off temperature time of the catalyst converter. And we has to experiment for effective area of catalytic monolith. The experimental result indicated an increase effective area in the catalytic monolith. Specialty, it was found from the result that the more positive effect from result of thermal image camera in the megaphone model. The rate of effective area for base model was about 8.97% and megaphone model was 41.52%, 34.60%, 33.43%, 25.43% and 17.82% on the diffuser angle $4^{\circ}$ to $8^{\circ}$. Comparing with base type, megaphone type has more suitable for application to motorcycle.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.1
• /
• pp.133-142
• /
• 2010

To monitor composition and change of the national land, intelligent topographical classifier which enables accurate classification of land-cover types from airborne LiDAR data is highly required. We developed a topographical classifier development support system cooperating with da1a mining tool WEKA to help users to construct accurate topographical classification systems. The topographical classifier development support system has the following functions; superposing LiDAR data upon corresponding aerial images, dividing LiDAR data into tiles for efficient processing, 3D visualization of partial LiDAR data, feature from tiles, automatic WEKA input generation, and automatic C++ program generation from the classification rule set. In addition, with dam mining tool WEKA, we can choose highly distinguishable features by attribute selection function and choose the best classification model as the result topographical classifier. Therefore, users can easily develop intelligent topographical classifier which is well fitted to the developing objectives by using the topographical classifier development support system.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.7
• /
• pp.674-679
• /
• 2008

In this paper, we introduce a new design approach for self-sustained resonant accelerometer, that takes advantage of the automatic gain control (AGC) loop to achieve a stabilized oscillation dynamics. Fundamental idea of this accelerometer is to maintain uniform amplitude of oscillation under input accelerations. Through system modeling and loop transformation considering the envelope of oscillation, the controller is designed to maintain uniform amplitude in oscillation under dynamic input acceleration. The simulation results demonstrate the feasibility of the proposed accelerometer design, which is applicable to control grade inertial measurement system in industrial and civil application fields.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.