• 전자공학회논문지CI
• /
• 제47권5호
• /
• pp.35-40
• /
• 2010

NAND 플래시 메모리는 기존의 HDD 보다 빠른 접근 속도, 저전력 소비, 진동에 대한 내성 등의 이점을 바탕으로 PDA를 비롯한 여러 모바일 장치부터, 임베디드 시스템, PC에 이르기까지 사용 영역이 넓어지고 있다. DiskSim을 비롯한 HDD 시뮬레이터들이 다양하게 개발되어 왔으며, 이를 바탕으로 소프트웨어 또는 하드웨어에 대한 개선점을 찾아냄으로써 유용하게 사용되었다. 하지만 NAND 플래시 메모리나, SSD에 대해서는 리눅스 기반의 몇 개의 시뮬레이터만이 개발되었으며, 실제 스토리지 장치나 PC등이 사용되는 운영체제가 윈도우즈인 것을 고려하면 윈도우즈 기반의 NAND Flash 시뮬레이터가 꼭 필요하다고 볼 수 있다. 본 논문에서 개발한 NAND Flash FTL 성능 분석을 위한 시뮬레이터인 NFSim은 윈도우즈 운영체제에서 구동되는 시뮬레이터로, NAND 플래시 메모리 모델 및 FTL 알고리즘들은 각각 윈도우즈 드라이버 모델 및 클래스로 제작되어 확장성이 용이하고, 각 알고리즘의 성능을 측정한 데이터는 그래프를 통해 표시되므로, 별도의 툴을 사용할 필요가 없다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1204-1212
• /
• 2008

현재 서울도시철도 5,7,8호선 신호기계실에 설치되어 운영 중인 열차운행 제어 시스템 (L-CTC)는 DOS로 운용되는 컴퓨터를 사용하고 있다. DOS 기반 L-CTC는 H/W의 부품, DOS 운영 체제에서의 S/W 확보 등으로 시스템 확장과 유지보수가 불가능하게 되었다. L-CTC 노후화는 전체 시스템의 운용에 영향을 미치고 있어 시스템의 개량이 필요한 상태이다. 본 연구에서는 L-CTC 컴퓨터 및 HADAX의 기능을 결함허용시스템을 적용한 완전한 이중계로 구현함으로써 기존 이중계 시스템의 문제점을 해결하였으며, 현재 DOS 기반의 O/S로 운영중인 L-CTC 컴퓨터를 WINDOWS 기반의 O/S로 구현하여 L-CTC 컴퓨터에 제어기능을 추가함으로써 기존 LCP제어 방식을 개선하여 장비의 간소화 및 시스템 현대화를 구현하였다. 또한 기존 연동장치인 Microlok의 오류정보를 L-CTC 컴퓨터로 수신하여 운영 중 발생하는 Microlok의 오류 사항에 대하여 효율적인 대처가 가능하도록 하였다. 또한 현장 감시 기능만을 수행하는 분소 시스템에 제어 기능을 추가하여 사령과 현장 기계실 시스템의 중간 단계에 통합분소 시스템을 구축함으로써 사령제어 불가능 시, 통합분소 시스템이 현장 L-CTC 시스템을 통제하도록 구성하여 성능 향상 및 분소와 기계실의 집중화 방안을 제시하였다. 본 논문을 통해 서울도시철도 L-CTC 시스템 장비의 노후화를 대비할 수 있으며, 완전한 이중계 구성으로 시스템을 더욱 안정화 하였다. 또한, WINDOWS 기반의 O/S로 L-CTC 컴퓨터를 구성하여 장비의 간소화 및 현대화가 가능해 졌으며, 분소 및 기계실의 집중화 방안을 제시하여 유지 보수 기능을 향상시켰다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.1148-1154
• /
• 2011

Vending machines to release single-use RF(Radio Frequency) transport cards at Seoul Metro stations are operated under unmanned facility and have release & charge function. This Paper introduces function, configuration of vending machine to release single-use RF transport cards, the basic concepts & overview about vending machine's operating system. And suggests programming procedure to develop OS image of Windows Embedded operating system which is onboard the main board's electronic circuitry.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.1115-1116
• /
• 2008

Through comparison and evaluation of various HDD systems for PC such as magnetic HDD, Intel turbo memory and Solid State Drive (SSD), an optimized HDD system to improve booting speed proposed. For the study, conventional magnetic HDD, magnetic HDD with Intel turbo memory, SSD and SSD with Intel turbo memory are used. The evaluation is performed based on a full notebook machine with Intel SantaRosa platform and MicroSoft Windows Vista.

• 한국전산유체공학회지
• /
• 제18권2호
• /
• pp.72-77
• /
• 2013

The Pre-processor program for CFD is being developed using wxWidgets and OpenGL libraries. This program can be run on both Windows and Linux operating systems. Undergraduate students and beginners can learn and use this very easily by menu and templates. Until now, structured mesh can be created in Cartesian or Cylindrical coordinates. This program will be used easily to make various type of meshes using templates.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.364-369
• /
• 1992

본 논문에서는 연속 공정자동화를 위한 시스템 제어장치 중 공정의 제반운영 및 제어상태를 감시하기 위하여 공정상태를 나타내는 여러가지의 data를 그래픽 모니터상에 graphics로 표시해 주는 User Interface System인 Operator Terminal의 설계 및 구현을 다룬다. 이를 위하여 Operator Terminal은 출력장치로 VGA board와 color monitor, 입력장치로는 mouse와 function keyboard, 통신을 위한 RS232C serial port를 갖는 IBM-PC AT급의 mother board로 구성된다. 또한 program 저장은 상위 computer의 HDD를 이용한다. 그래픽 편집 및 모니터링을 위한 software는 한글 MS Windows 환경에서 구현한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.200-203
• /
• 1990

A multiloop programmable controller using graphic control language and a configuration graphic editor for designing control algorithm in graphic windows are developed. Using the graphic control language, large and complex control algorithm can be designed easily and the modification of control algorithm is simple. The proposed controller using graphic language can be effectively used for complex plants like power plants.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.152-152
• /
• 2000

In this paper, we propose a new approach to intelligent motion and autonomous maneuvering of mobile robots using hybrid system. In high Level, the discrete states are defined by using the sensor-based search windows and the reference motions of a mobile robot as a low vevel are specified in the abstracted motions, The mobile robots can perform both the motion planning and autonomous maneuvering with obstacle avoidance in indoor navigation problem. Simulation and experimental results show that hybrid system approach is an effective method for the autonomous maneuvering in indoor environments.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.120-120
• /
• 2000

In this study, in order to control real system under the environment of graphic user interface, study on the technique which can control real system without additional hardware drivers using virtual machine driver operated on the windows operating system. Consider the problem which is the error and the delay of a sampling time on the multi task processing through the load test of the experiment using graphic user interface.

• Journal of Electrical Engineering and Technology
• /
• 제1권4호
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.