• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.65-70
• /
• 2008

현재 응급 의료 시스템에서는 환자의 소재를 파악하기 힘들 뿐만 아니라, 환자의 이송과정에서도 환자를 치료할 수 없는 병원에 이송하는 등의 문제점을 지닌다. 또한 이송을 위한 대기중인 구급차가 없거나, 환자의 병명에 따른 시한을 지키지 못함으로써 환자를 위급한 상태까지 이르게 하는 경우도 존재한다. 본 논문은 이러한 문제를 해결하기 위해 자동화된 중앙 관리 체계를 기반으로 한 u-EMS의 시공간 환경과 행위를 명세 및 분석하기 위한 CARDMI기반의 HAP 스케줄러를 제안한다. 이를 통해 응급 의료 시스템에서 발생할 수 있는 문제점을 u-EMS를 통해 환자를 적시적소에 EMS서비스를 제공할 수 있도록 스케줄링 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.214-216
• /
• 2011

Statechart는 상태 기계를 기반으로 하는 정형 명세 언어로 반응형 시스템의 행위를 상태와 그 상태에서 받는 이벤트에 의한 전이로 표현한다. 프로세스 알제브라의 한 종류인 ACSR은 이벤트 기반으로 프로세스들 간의 통신과 프로세스의 우선 순위, 자원 소모 등의 표현 이 용이한 정형 명세 언어이다. 본 논문에서는 서로 다른 관점의 명세를 하는 이 두 가지 언어가 서로를 보완하여 ACSR을 이용하여 Statechart의 공유 자원에 대한 사용과 제어를 표현하여 보다 시스템을 정확하게 명세할 수 있는 언어를 제시한다. 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.9
• /
• pp.1189-1198
• /
• 2002

Policy base management system that can satisfy various user's request in distributed system environment recently and manage network resources efficiently is required. Described policy base management information consisted of ECA(Event-Condition-Action) rules so that efficient management of various communication network and consistent management policy may be available in this paper. Policy is consisted of Event, Condition and Actions to achieve when condition is satisfied. And we can present formality of dynamic function of management object as applying policy to ATM congestion control model been applying in real environment.

• Review of KIISC
• /
• v.30 no.5
• /
• pp.35-44
• /
• 2020

정보화 시대의 도래와 함께 원자력발전소 등 사회 간접자본의 중요 시설에서 운영되는 각종 장치들 역시 디지털화되면서 기존에 존재하지 않았던 사이버 공격에 대한 위협이 현실화되고 있다. 이러한 중요 사회 간접자본 등의 운영에 위협을 가하는 행위는 사회적으로 경제적으로 매우 큰 재난을 발생시킬 수 있기 때문에 공격 발생 이전에 사전 방어 체계를 구축해야 하는데, 이때, 실질적으로 위협이 되는 취약점의 존재 여부를 사전 인지하는 것이 매우 중요하다. 이를 위하여 본 논문에서는 원자력발전소의 계측제어계통에서 운영되는 국산화된 디지털 장치에 대하여 관련 취약점을 확인하고 확인된 취약점의 실질적인 위험도를 장치의 운영환경 특징을 반영하여 도출하며, 주요 기기의 운영 규제지침의 준수 여부를 점검하는 도구의 개발 결과를 소개한다. 본 논문은 원자력발전소 상에서 운영되는 시스템을 주요 대상으로 작성되었다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2002.05a
• /
• pp.189-193
• /
• 2002

의식에 관한 가장 흥미 있는 최근의 과학적 작업들 중 철학적으로 문제가 되는 다수는 시각으로부터 나왔으며 그 중 특히 맹시 현상은 심리철학에 있어서 의식, 지각, 그리고 지향성의 개념에 문제를 제기한다. 맹시 환자들은 후두엽 피질의 두뇌 손상으로 인하여 생긴 암점(Scotoma) 때문에 현상적으로 의식적인 과정을 경험할 수 없으면서도 그들의 보이지 않는시야 영역에 대하여 보통 시각을 가진 사람들과 상당히 비슷하게 기능을 발휘한다. 이러한현상은 의식이 행동을 제어하는 데에 과연 인과적 역할을 하는지에 대한 문제들, 심리철학에서 뿌리깊게 논의되어왔던 의식의 기능과 부현상론에 대한 문제를 제기한다. 즉, 맹시 현상은 현상적 의식이 실재하지 않는 것이거나, 존재하더라도 어떤 인과적 효력을 가지지 않는 부수현상적인 것이라는 견해를 강하게 지지하는 것 같다. 이와 함께 인간과 동일한 물리적 구성과 행동을 가지지만 의식적 경험을 결여하는 피조물인 좀비(zombie)의 이론적 가능성이 제기된다. 이를 지지하기 위해서 초맹시(super-blindsight)의 개념과 사례가 제안된다. 이 논문은 맹시 현상을 통해서 현상적 의식의 실재성을 부정하려는 논변들을 반박하고, 의식은 행위의 수행에 관련될 뿐만 아니라 인지에 있어서 중요한 역할을 한다고 논한다. 따라서, 역설적으로 맹시 사례가 오히려 현상적 의식이 인과적 역할을 가진다는 감각질 실재론의 견해를 지지할 수 있다고 논증할 것이다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.85-86
• /
• 2013

스마트폰의 급격한 확산은 우리 일상생활에 패러다임을 바꾸어 놓고 있다. 언제 어디서나 스마트폰을 통해 기존 PC에서 하던 작업들을 손쉽게 할 수 있다. 그런데 이러한 편리한 장점에도 불구하고 스마트폰의 도난이나 분실로 인하여 기기 내부에 저장된 개인정보 유출은 심각한 사회 문제를 발생시키고 있다. 뿐만 아니라 개인정보 유출은 악의적인 개인이나 집단에 의해 범법행위에 악이용될 가능성도 있다. 따라서 스마트폰의 도난이나 분실이 발생하였을 때 원격 제어를 통해 기기 스스로 개인정보를 파괴하게 하고 또한 대리점이나 고객센터로 분실신고하면 즉시 또는 기기 전원을 켜는 순간 저장된 정보를 자동으로 삭제하는 기술개발을 제언한다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.03a
• /
• pp.161-166
• /
• 1998

인터넷상에서 3차원 가상공간을 구현할 때는 VRML(Vitual Reality Modeling Language)을 이용하여 표현할 수 있다. 그러나 VRML 만을 이용하면 단일 사용자에 한하여 사용되고,간단한 채팅이나 다른 사용자의 움직임을 처리할 수 가 없다. 그러므로 자바 애플릿을 사용하여 다중 참여가 가능한 웹 페이지를 작성하여 보다 현실적인 가상공간을 만들 수 있게 된다. 본 논문은 VRML로 가상공간 저작시 자바 애플릿을 이용하여 다중참여가 가능한 웹 페이지를 설계하고 구현하는 방법으로, EAI(External Authoring Interface)를 이용하여 외부의 자바 애플릿으로 VRML세계를 제어함으로써 사용자의 움직임과 입력에 따른 처리와 다른 참여자들의 행위까지 나타낼수 있도록 저작하여 다중 참여를 구현한다. 다중 참여를 지원하는 가상공간을 구축함과 동시에 기존의 VRML 브라우저를 이용하기 때문에 응용이 용이하게 되며 3차원 채팅과 가상교육 각종 게임 등의 분야에 활용할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1697-1700
• /
• 2003

유연생산 시스템에서 스케줄링 문제는 기본적으로 조합 최적화 문제로서 NP-hard problem 으로 알려져 있으며 문제의 크기에 따라 복잡도가 지수적으로 증가하게 된다. 이러한 복잡도를 줄이기 위해 우리는 넷의 행위적인 속성에 따른 제어 흐름들의 집합을 병행적 기본 단위(BUC)로 정의하고, 이들을 종합화함으로 최종적인 스케즐링을 얻게 된다. 본 연구에서는 이러한 병행적 기본 단위로 넷을 분할하여 스케줄링을 분석하는 알고리즘을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.493-496
• /
• 2016

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2834-2836
• /
• 2000

This paper introduces the behavior-based learning controller for mobile robot using topological map. When the mobile robot navigates to the goal position, it utilizes given information of topological map and its location. Under navigating in unknown environment, the robot classifies its situation using ultrasonic sensor data, and calculates each motor schema multiplied by respective gain for all behaviors, and then takes an action according to the vector sum of all the motor schemas. After an action, the information of the robot's location in given topological map is incorporated to the learning module to adapt the weights of the neural network for gain learning. As a result of simulation, the robot navigates to the goal position successfully after iterative gain learning with topological information.