• 정보처리학회논문지B
• /
• 제10B권6호
• /
• pp.599-610
• /
• 2003

웹은 정보 제공원으로서 중요한 역할을 하며 대부분의 웹 응용프로그램은 문서 중심이다. 문서는 문서설계자의 의도를 함축하고 있으며 이는 업무처리 과정의 자동화에 적극적으로 활용될 수 있다. 이러한 문서기능의 본질 파악을 통해 본 논문에서는 특별한 경우, 문서를 실행 가능한 컴퓨터 프로그램으로 보는 시각으로 접근하였다. 이를 위해 서식, 지식베이스, 규칙 그리고, 질의로 구성되는 능동문서 모델을 제안하였다. 이 모델의 각 요소는 문서의 재사용과 상호 운용성을 위해 XML로 일관되게 표현된다. 소개한 능동문서는 사용자 인터페이스를 제공하는 수동적인 역할뿐만 아니라 문서설계자가 의도하는 문서처리 절차와 업무규칙을 기계가 읽고 추론하여 처리할 수 있게 하는 문서이다. 이를 통해 문서와 기계가 상호작용을 할 수 있으며 다른 응용 프로그램과 협력할 수도 있다. 이러한 능동문서의 적용 가능함을 보이기 위해 기업 간 거래(B2B) 시스템에서 구매주문 처리의 예를 보였다. 서식문서를 컴퓨터 프로그램의 시각으로 바라보는 본 논문의 접근법을 통해 본 연구는 문서중심의 지능적인 응용프로그램 개발을 가속화하는 발판을 마련할 수 있을 것이다. 요컨대 본 논문에서 제시한 능동문서는 지식표현 및 처리기능이 내장되어 있는 바, 시맨틱 웹(Semantic Web)이 추구하는 문서의 역할을 담당할 수 있을 것으로 기대한다.

• 스마트미디어저널
• /
• 제7권1호
• /
• pp.37-44
• /
• 2018

임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

• 한국컴퓨터정보학회논문지
• /
• 제15권1호
• /
• pp.219-226
• /
• 2010

최근 대부분의 주차관리 시스템들은 고객들에게 다양한 서비스를 제공하고 있지만, 그 서비스들의 대부분은 주차 공간의 확장 및 자동 주차 관제시스템 등 극히 제한적이다. 고객들에게 주차 관리 서비스의 질을 한 층 더 높이고 다양화하기 위해서는 고객이 그 시스템에 대해서 어느 정도 만족하는지를 고려하는 것은 필수적이라 할 수 있다. 같은 조건하에서도 고객들마다 만족도는 다를 뿐만 아니라 애매한 언어로 표현될 수 있다. 따라서 본 연구에서는 고객들이 어느 정도로 주차 관리시스템에 대해서만족하는지를퍼지변수로정량화하는방법과주차관리시스템의제반문제점들에대해서 효율적인 결정을 내릴 수 있는 퍼지 추론 시스템 구조를 제안한다. 이러한 구조 하에서 퍼지논리를 이용한 추론엔진은 퍼지 지식베이스의 규칙과 상황 데이터를 비교 하고, 중간 결과를 얻어 통합하고, 역퍼지화 과정을 거쳐 최종 결과 값을 MATLAB 프로그램을 이용하여 얻어낸다. 본 연구에서 제안한 퍼지 추론 시스템 구조는 사람의 감정과 같이 애매하게 표현될 수 있는 경우에 고객의 만족도를 효율적으로 분석할 수 있다. 이 구조는 주차장 고객만족도 뿐만 아니라 도메인이 다른 다양한 서비스 분야 등의 고객만족도를 분석하고 개선하기 위한 방법에도 효율적으로 활용할 수 있을 것이다.

• 한국터널지하공간학회 논문집
• /
• 제21권1호
• /
• pp.61-77
• /
• 2019

밀집도가 높은 국내 기존 도심지를 대상으로 공동구를 새로이 계획할 경우에는 정량적 평가지표에 의한 타당성 평가시스템과 경제성 평가를 이용한 최적 설계용량 결정 등의 합리적인 의사결정 과정이 필요하다. 그러므로 이전 연구에서는 도심지 유형별 특성을 고려한 의사결정 계층구조를 구성하고 정량적 평가지표 항목에 대한 계층의사분석(AHP)을 통해서 개별 상위지표(3개) 부문과 하위지표(16개) 항목의 중요도 가중치를 제시하였다. 또한 도심지 공동구에 적합한 비용 편익 분석을 위해서 교통사고 감소효과, 차량소음 저감효과, 사회 경제적 손실 등의 3개 항목을 새로이 추가하여 10개의 편익 항목, 8개의 비용 항목을 고려한 경제성 평가방법이 제시되었다. 본 연구는 도로관리, 공공시설, 도시환경 부문의 하위 16개 평가지표의 중요도 가중치를 활용한 정량적 타당성 평가방법을 제시하고 서울시 주간선도로 123개 구간을 대상으로 타당성 평가를 실시하였다. 또한 타당성 평가결과와 경제성 평가결과를 비교하여 문제점을 분석하고 두 평가결과의 조합에 의한 종합평가 방법을 제시하였다. 본 연구에서 제시된 정량적 타당성 평가와 경제성 평가시스템의 로직을 프로그래밍하여 개발할 예정인 설계용량 최적화 프로그램은 도심지 공동구의 계획 및 설계 단계에서 활용되며 궁극적으로 도심지 공동구 활성화에 기여하게 될 것이다.