• 한국산학기술학회논문지
• /
• 제14권10호
• /
• pp.5134-5139
• /
• 2013

복잡한 현대의 제어시스템 설계에 PLC를 사용하면 프로그램은 LD언어나 SFC언어를 사용한다. 대부분은 LD 언어를 사용하지만 최근에는 SFC 언어의 사용빈도수가 높아졌다. SFC 언어는 제어의 흐름을 이해하기가 쉽지만, 조합논리를 표현하는데는 단점을 가지고 있다. SFC언어에서 인터럽트를 처리할 때 인터럽트 요인이 발생하게 되면 메인프로그램을 중지하고 인터럽트 프로그램을 실행하여 프로그램이 종료된 후 메인프로그램으로 복귀하게 된다. 그러면 인터럽트 프로그램이 복잡할수록 메인프로그램 정지시간은 그만큼 길어지게 된다. 본 논문에서는 SFC언어에서 메인프로그램의 휴지시간이 없는 인터럽트 처리방법을 제안하고, 시뮬레이션을 통해 그의 타당성을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.295-297
• /
• 2006

많은 소프트웨어 개발자들은 자신들의 프로그램들이 역공학 공격의 대상이 되는 것을 우려하고 있다. 특히 프로그램 내에 핵심적인 알고리즘이 내재되어 있는 경우 역공학 공격을 대비하는 기법이 필수적이다. 또한, 유비쿼터스 컴퓨팅 시대가 발전할수록 프로그램의 규모가 대형화됨에 따라 공동 개발자들 간에 프로그램 소스가 공유될 기회가 많아졌고, 그 결과 프로그램 소스 수준의 보호 기법도 필요하게 되었다. 본 논문에서는 C++ 프로그램 보호를 위해 Control Flow Obfuscator 도구를 구현하여 실험하였으며, 실험 결과 크지 않은 오버헤드로 악의적인 공격으로부터 프로그램을 분석을 어렵게 할 수 있음을 보인다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.31-34
• /
• 1995

The automated chemical analysis shop floor are developed for the environmental pollution problems in our chemical analysis center. This shop floor have the several equipments include weight, pour, dry, heater, boiler, mixture, spectroscopy etc. And the material handling components are made up by the stored stack, conveyore, turntables, robot etc. Computer simulation has been an important tool for these complete design problem. We have designed the arangement of chemical equipments and material flow systems by using the simulator "AutoModII". "AutoMoII" is one of the advanced simulator, CAD-like drawing tools with a powerful, engineering oriented language to model control logic and material flow. The result is the modeling of the chemical analysis system in accurate, three dimensional detail. We could designed the set able layout and scheduling system by using the AutoMoII simulator. AutoMoII simulator.

• 동력기계공학회지
• /
• 제14권1호
• /
• pp.40-46
• /
• 2010

This paper shows the development process for measuring three-dimensional flow velocity components in a web-browser. The system is developed in an embeddable C/C++ interpreter Ch and Ch-CGI toolkit. The interface for the web-based measurement system consists of a set of web HTML files and Ch files for CGI. All of data in web browser are passed to Ch-CGI script to generate the output of new HTML file. PC-Server and PC-Client can submit measurement parameters and receive the text/graphical results each other. PC-Client can control the test equipment by using a parameters that received from PC-Server. It also can pass the test results between the web-based measurement system. In summary, the designed measurement system is evaluated, the outputs shown well on the web browser.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.582-585
• /
• 2008

제어 흐름 그래프(CFG : Control Flow Graph)는 제어 흐름상의 오류나 문제점을 찾아내고 흐름에 대해 한눈에 파악할 수 있기 때문에 소프트웨어공학 분야에서 많이 사용되고 있다. 현재 여러 테스팅 분야에서 다양한 제어 흐름 분석 기법들이 연구, 소개되고 있는데 본 논문에서는 XML 문서를 이용하여 CFG를 나타내고자 한다. XML은 트리구조를 가진 문서 모델로 C 언어 소스 코드를 구조적으로 나타냄으로써 좀 더 쉽게 코드를 분석하고, 제어 흐름 요소를 추출하여 제어 흐름 그래프를 나타내는 데에 유용하다. 따라서 중간 분석 파일로 XML을 이용하여 보다 빠르고 쉽게 CFG를 나타내는 기법을 제안한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.166-169
• /
• 2002

본 논문은 명령형 언어 While의 요약해석을 모델검사기 SMV에서 구현하고 정보흐름 안전성을 검사하는 CTL 논리식을 적용하는 방법을 설명한다. 주어진 While 프로그램의 요약 프로그램을 SMV 프로그램으로 변환하는 방법과 정보흐름 안전성 검사를 위한 CTL 논리식의 유도과정을 보여준다. 요약해석 기를 직접 구현하는 것보다 모델 검사를 이용하는 것이 다양한 안전성 검사를 수행하기에 더욱 적합하다.

• 한국식품과학회지
• /
• 제22권4호
• /
• pp.479-485
• /
• 1990

증발 농축공정중 각종 운전 조건의 제어 및 데이터 수집을 자동으로 하기 위하여 제어 및 데이터 수집 부위에 각종 조절기와 센서를 부착하여 컴퓨터 프로그램에 의하여 공정이 진행되도록 하였다. 증발 농축 장치는 원심식 박막증발기인 Centri-Therm$(CT-1B,\;{\alpha}-Laval\;Co.,\;Sweden)$이 이용되었으며 제어 변수로는 증발기의 압력, 급액 속도, 증기의 온도 및 냉각수의 유량 등을 택했다. 그리고 데이타 수집 부위로는 급액 및 농축액의 온도와 농도, 냉각수의 입구 및 출구 온도, 증기의 온도, 증발 온도, 원료 및 농축액의 중량 변화, 응축수의 양 등을 택했다. 운전 프로그램은 PASCAL language를 이용해 작성하였으며 전 공정은 균일하게 콘트롤되었다. 냉각수는 밸브 콘트롤러에 의해 시간당 125kg의 유속으로 흐르도록 하였으며 급액 속도 125/h에서 최대 증발 속도는 41.7kg/h였다.

• 로봇학회논문지
• /
• 제6권4호
• /
• pp.353-364
• /
• 2011

In ubiquitous computing environments, users want to receive the robot services regardless of various physical status or devices such as time, place, various sensors, and high-performance servers. Thus, the ubiquitous service robots have to provide users with automated services according to situational information that they properly recognize. Beyond these problems, robot software has to establish a foundation to support the functions with the network infrastructure that are not able to be solved by a single independent resource. On the basis of a robot middleware that is capable of minimizing dependencies among hierarchy structures, the robot software also has to provide execution environment to control the flow of robot application services. In this paper, we propose a layered architecture to provide users with automated services through ubiquitous robots. The proposed architecture is based on CAWL (Context-Aware Workflow Language) and RSEL (Robot Services Execution Language). CAWL easily represents the flow of robot services from user application service levels, and RSEL is able to support the composition and reusability of robot services through abstraction of robot device services. In our experiments, we applied the proposed architecture to an example of "booth guide robot service".

• 드라이브 ㆍ 컨트롤
• /
• 제9권4호
• /
• pp.32-41
• /
• 2012

Most diagnosis methods for servo valves requires installing spool displacement sensor or flow sensor as well as pressure sensor. The measurement of flow is hard to implement and many kinds of servovalves or proportional direction valves do not have a built-in spool displacement sensor. In this study, static performances of servovalve or proportional-direction-valve are studied theoretically and a diagnosis technique, which uses only load pressure and input current signal, is assessed. An experimental setup was made based upon a personal computer and the LabVIEW graphical language. A series of diagnosis tests were performed and the analysis results showed it possible to measure the pressure gain, hysteresis and null bias in a relatively simple methodology.

• 조명전기설비학회논문지
• /
• 제22권4호
• /
• pp.153-158
• /
• 2008

PLC를 사용한 제어 시스템을 설계할 때 여러 종류의 표준언어중 LD언어가 가장 많이 사용되지만, SFC를 사용하면 제어의 흐름을 알기 쉽고 유지보수가 용이하며, 프로그램의 기술성이 뛰어나다. 그러나 SFC 언어는 조건처리시 큰 메모리를 요구한다는 단점이 있다. 따라서 SFC로 설계된 시스템은 자기진단기능을 부가하려면 메모리가 상당히 커야 하고, 속도가 늦은 단점이 있다. 이러한 문제점을 해결하기 위해 본 논문에서는 자기진단 기능을 효율적으로 처리하는 방법을 제시하고, 실례를 통해 타당성을 확인하였다.