• 제목/요약/키워드: 정보모듈

Search Result 4,976, Processing Time 0.038 seconds

Defining and Extending Language Modules: An Action Semantics Approach (액션의미방식에 의한 언어모듈의 정의와 확장)

  • Doh, Kyung-Goo
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.8
    • /
    • pp.902-911
    • /
    • 2000
  • A language module is the collection of language constructs whose concepts and operations are closely related. This paper demonstrates how to use action semantics to define and extend language modules. We first define a language module for an expression language core, and then language modules for bindings, block structures, parameters, and higher-order expressions. Finally, we show that the language modules can be combined, if there is no violation of uniformity and orthogonality, to become a more complex language module.

  • PDF

Graph-based Information Visualization for Meeting Information (그래프 구조 기반의 회의 정보 가시화)

  • Kim Ri-Ra;Yang Sang-Uk;Kim Yeong-Il;Jeon Cha-Su;Choi Yeong;Kim Rae-Hyeon;Park Se-Hyeong
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2006.05a
    • /
    • pp.1334-1341
    • /
    • 2006
  • 정보가시화는 정보를 기하학적으로 표현하는 연구 분야로 정량적 정보를 테이블, 도표 등의 형태로 표현하는 정량 정보 가시화와 그래프나 네트워크와 같은 구조적 자료를 기하학적으로 표현하는 graph visualization이 있다. 본 연구에서는 그래프 기반의 정보 가시화를 이용한 회의 정보 가시화 프로그램을 소개하고자 한다. 이는 연구개발이나, 프로젝트 관리, 브레인스토밍 등의 회의에 있어서 태스크, 자원, 일정, 문서 등으로 구성되는 회의정보를 대상으로 한다. 최초 정보 생성, 정보 수정, 정보 가시화 기능을 갖고 있으며 그래프 자동 배치 모듈, 가시화 모듈, 사용자 인터페이스 모듈 등으로 구성되어 있다. 그래프 자동 배치는 오픈 소스로 제공되는 GraphViz를 사용하였고, 가시화는 OpenGL을 이용하였다. 회의 정보들 사이의 복잡한 관계를 그래프 구조로 표현하여 업무와 자원의 분배, 관련된 문서 검색을 쉽게 하여 회의 정보를 직관적이고, 빠르고 쉽게 조작하고, 이해하는데 유용하다.

  • PDF

The implementation of Block Cipher Algorithm Correctness Test Module (블록 암호 알고리즘 정확성 테스트 모듈 구현)

  • 정성민;박성근;김석우;서창호;김일준
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2002.11a
    • /
    • pp.564-568
    • /
    • 2002
  • 정보보호 평가는 크게 시스템 평가인 CC평가와 암호모듈 평가인 CMVP평가고 나눌 수 있다. 본 논문은 암호모듈 평가 방법으로 북미 CMVP의 3가지 블록 알고리즘시험방법인 KAT(Known Answer Test), MCT(Monte Calro Test), MMT(Multi-block Message Test)를 JAVA환경에 적용하여 시범 구현하였다. 대상 알고리즘은 CMVP의 4가지 블록 알고리즘(DES, TDES, AES, Skipjack)을, 테스트 방법으로 MOVS, TMOVS, AESAVS를 선정하여 FIPS표준을 적용하였다. 구현 환경으로는 JCA기반의 Cryptix를 채택하여 CMVP의 블록 암호 알고리즘 테스트 시스템 중 일부를 구현하였다.

  • PDF

Formal Verification of AES Encryption Module Using CBMC (CBMC를 이용한 AES 암호화 모듈의 정형 검증)

  • Ahn Young-Jung;Choi Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11a
    • /
    • pp.97-99
    • /
    • 2005
  • 정보보호 제품의 주요한 역할을 담당하는 암호 모듈의 구현 무결성을 보증하기 위해 많은 연구가 활발히 이루어지고 있다. 하지만 기존의 일반적인 테스팅 방법으로는 구현 무결성에 대해 신뢰하지 못한다. 본 논문에서는 NIST (the US National Institute of Science and Technology)에서 AES(Advanced Encryption Standard)로 제정된 Rijndael 블록암호 모듈을 Verilog로 구현하고 CBMC를 이용하여 새로운 방식의 구현 무결성 평가 방법을 제시하고자 한다.

  • PDF

기술현황분석 - c-MES 설비지원 플랫폼 기술

  • Park, Jong-Gwon;Lee, Seung-U;Lee, Jae-Gyeong
    • 기계와재료
    • /
    • v.23 no.1
    • /
    • pp.72-81
    • /
    • 2011
  • c-MES 설비지원 플랫폼은 다양한 제조 공정에 따른 설비별 상태 정보를 유연성 있게 수집하기 위한 모듈화 된 플랫폼 기술로서, 제조업 관련 IT 솔루션을 도입하기 어려웠던 중소기업에 적합한 맞춤형 MED로 생산성 향상을 통한 경쟁력 상승 효과가 크다. 제어기 유무에 따른 공작기계별 설비 직접 인터페이스 방법은 생산 현장의 다양한 상태 정보를 실시간 수집하는데 있어 높은 유연성을 자랑한다. 또한 설비 직접 인터페이스를 통해 수집된 데이터는 설비 정보 수집 모듈을 통해 변환/가공되고, gauges/charts를 이용하여 HMI로 제공하는 생산 공정 추적 관리 모듈을 통해 작업/관리자가 장비제어가 가능하도록 도와준다.

  • PDF

A Design and Implementation of In and OutBound CTI Modules for SOHO utilizing Caller­-ID (Caller-­ID를 활용한 SOHO용 In&OutBound CTI 모듈 설계 및 구현)

  • 박찬일;박주호;문승진
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10c
    • /
    • pp.538-540
    • /
    • 2003
  • 최근 금융 및 통신 산업 중심의 텔레마케팅 시스템이 증가하고 있는 가운데 아웃바운드 전문 콜센터 솔루션에 관한 관심이 증가되고 있다. 과거의 인바운드 위주의 마케팅에서 탈피하여 좀더 구체적이고 효율적인 마케팅전략이 필수적으로 아웃바운드 기반의 콜센타는 고객의 문의사항을 접수받아 해결하는 상담중심의 인바운드 모듈과 달리. 정보제공이나 상품판매를 위해 먼저 전화를 거는 텔레마케팅 운영방식으로, 본 논문에서는 Caller­ID를 활용하여 특히 소규모 콜센타 운영에 필수적인 인아웃바운드 모듈의 설계 및 구현에 관하여 논의하였다.

  • PDF

Implementation of A Log-Based Intrusion Recovery Module for Linux File System (리눅스 파일시스템을 위한 로그 기반 침입 복구 모듈의 구현)

  • 이재국;김형식
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.04a
    • /
    • pp.244-246
    • /
    • 2004
  • 사용자는 침입이 있더라도 항상 신뢰성 있는 정보를 획득하길 원하기 때문에 침입에 의하여 파일이 훼손되는 경우에도 사용자에게 투명한 방법으로 복구할 수 있는 방법이 필요하다. 본 논문에서는 리눅스 기반의 파일 시스템에서 변경이 일어날 때마다 로그 형태로 저장된 로그 파일을 이용하여 침입에 의하여 훼손된 부분을 복구하기 위한 모듈을 구현하고, 시험을 통하여 로그 기반 침입 복구 모듈을 적재한 시스템에서 로그를 관리하기 위해 발생하는 오버헤드를 분석한다.

  • PDF

Design of IP Packet Encryption/Decryption Module using Block Cipher Algorithm (블록 암호 알고리즘을 이용하는 IP 패킷 암/복호화 모듈의 설계)

  • Chung, Chun-Mok
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2002.04b
    • /
    • pp.939-942
    • /
    • 2002
  • 중간 노드들에서 통신 데이터를 불법으로 획득하는 스니핑에 대한 대안으로 암호화 통신에 대한 요구가 증가하고 있다. 이를 위해 본 논문에서는 암호화 통신을 위해 블록 암호 알고리즘을 사용한 패킷 암/복호화 모듈을 제시하고, SEED 알고리즘을 이용하여 리눅스에 구현한 사례를 기술한다. 이 모듈은 기존의 네트워크와 응용 프로그램에 영향을 주지 않고 암호화 통신 기능을 제공하기 위해 IP 패킷의 헤더 정보를 변경하는 방법을 사용한다.

  • PDF

A Study on Security Module for Dron (드론용 보안모듈 개발에 관한 연구)

  • Woong Kim;Jong-Oh Kim
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2023.11a
    • /
    • pp.1191-1192
    • /
    • 2023
  • 드론은 산업분야와 국방분야에서 다양한 서비스를 위해 이용 및 활용되고 있다. 드론을 이용하여 카메라 영상과 같은 개인정보가 전송되고 있고, 드론의 형태 또한 대형화되고 있어 제어와 서비스 데이터에 대한 보안적용이 요구되고 있어서, 제어와 서비스 데이터에 대한 암호 통신를 위해 보안모듈을 적용하고 있다. 본 연구에서는 드론에 탑재되는 보안모듈의 보안성을 확보하기 위한 방안에 대해 기술하고자 한다.

The Design of a Wind Speed & Direction Module and a DSP Sensor Interface System for the Meteorological System (기상계측시스템을 위한 풍향.풍속모듈 및 DSP 센서 인터페이스시스템 설계)

  • Song, Do-Ho;Joo, Jae-Hun;Ock, Gi-Tae;Kim, Sang-Gab;Choi, Jung-Keyng
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.11 no.8
    • /
    • pp.1478-1485
    • /
    • 2007
  • In this paper, a meteorological system including a wind speed & direction module and the DSP(Digital Signal Processor) sensor interface circuit board are proposed. This DSP system accepts and process the informations from a wind speed & direction module, the atmospheric pressure sensor, the ambient air temperature sensor and transfers it to the PC monitoring system. Especially, a wind speed & direction module and a DSP hardware are directly designed and applied. A wind speed & direction module have a construction that it have four film type RID(Resistive Temperature Detectors) resistive sensor adhered around the circular metal body heated constantly by heating coil for obtaining vector informations about wind. By this structure, the module is enabled precise measurement having a robustness about vibration, humidity, corrosion. A sensor signal processing circuit is using TMS320F2812 TI(Texas Instrument) Corporation high speed DSP. An economical meteorological system could be constructed through the data from wind speed & direction module and by the fast processing of DSP interface circuit board.