• The KIPS Transactions:PartC
• /
• v.12C no.2 s.98
• /
• pp.201-206
• /
• 2005

This paper designs Cryptography File System to support encrypting function. The CFS is supported in Solaris Kernel to encrypt or decrypt a plaintext or an encrypted text by using the dynamic linking mechanism. The Cryptography File System supports safe use of computer system even if an intruder gets a file by connecting with network. If he/she does not have a Cryptography File System module in the Solaris Kernel, he/she cannot read that file. The Cryptography File System was experimented into the Solaris kernel.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.593-595
• /
• 1999

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 객수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈을 반드시 주어진 성질을 만족한다는 가정-보증 추론(Assume-Guarantee Reasoing)을 이용한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.329-329
• /
• 2021

우리나라의 농촌유역은 일반적으로 상류의 농업용저수지와 하류의 배수장을 통해 홍수조절이 이루어지며, 각 농업수리구조물의 운영이 유역의 홍수 및 침수 발생에 큰 영향을 끼친다. 농촌유역의 홍수 대응 능력을 향상시키기 위해서는 농업수리구조물의 통합적 운영이 필요하나 현실에서 이를 시험 운영하기 위해서는 시간적·경제적으로 한계가 있다. 따라서 농촌유역 내 농업수리구조물을 연계한 통합 해석 시스템을 활용하여 다양한 구조물 운영 시나리오에 따른 홍수 위험을 예측하고 효율적인 대응 방안을 마련할 필요가 있다. 본 연구에서는 농업수리구조물을 연계한 홍수·침수 모의 시스템을 구축하기 위하여, 농촌유역에서 홍수·침수 모의를 위한 요소별 모듈을 구성하고, 각 모듈의 연계 기술을 개발하였다. 홍수·침수 해석 모듈은 농업용저수지 상류 유역에서부터 하류 하천 및 농경지까지 통합적으로 분석할 수 있도록 강우 분석 모듈, 강우-유출 모듈, 저수지 운영 모듈, 하천 수위 모듈, 농경지 배수 모듈의 5가지로 구성하였으며, 데이터베이스 모듈을 통해 기초자료를 저장하고 모듈 간의 입출력 과정을 처리하였다. 강우 분석, 강우-유출, 농경지 배수 모듈은 python 코드를 기반으로 자체적으로 구축하였으며, 기존의 모형 (FARD, HEC-HMS, GATE2018)들과 비교한 결과 거의 동일한 모의 결과를 나타냈다. 저수지 운영 모듈과 하천 수위 모듈은 각각 미 공병단의 HEC-5, HEC-RAS 모형을 CLI (Command Line Interface) 방식으로 외부 구동하도록 구성하였다. 전체 모듈 간의 연계에는 python 라이브러리인 Dask를 적용하여 대량의 데이터에 대한 병렬 처리 구조를 갖춤으로써 다양한 기상자료와 운영 시나리오에 따른 반복 작업을 효율적으로 수행하도록 구성하였다. 본 연구에서 개발한 홍수·침수 모의 요소별 모듈과 연계 기술을 기반으로, 농업수리구조물의 연계 운영을 통합적으로 모의함으로써 홍수 대비를 위한 효율적인 구조물 운영안을 도출할 수 있을 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1497-1500
• /
• 2001

ACE2000 MPLS 시스템은 국가 시스템으로 사용하기 위해 기 개발한 ACE2000 ATM 교환시스템에 Ships-in-the-night 모드 형태로 ATM 교환시스템에 MPLS 기능을 추가함으로써 사용자들에게 차별화된 서비스를 제공하도록 하는 시스템이다. MPLS 시스템 모듈인 MIM(MPLS Interface Module)은 1모듈이 2.5Gbps 의 대용량 패킷 포워딩 기능을 갖는 시스템으로서 BPAA, HALA, 가입자 정합 보드에 하드웨어 패킷 포워딩 및 VC 머징 기능을 갖는 HFMA 하드웨어 PBA 가 추가되어 모듈을 구성한다. ACE2000 MPLS 시스템에서는 MIM 모듈의 운용/보전을 위해 모듈내의 각 보드에 대하여 장애 발생시 하드웨어 및 소프트웨어적으로 MSC 에게 보고하도록 하고 있다. MIM 모듈에 대한 장애보고 체계는 하드웨어적으로는 각 보드의 탈/실장, 전원 장애, 기능장애 등을 경보계통을 통해서 보고하는 구조로 이루어져 있고, 소프트웨어적으로는 ATM IPC 채널을 이용한 경보체계를 이용하여 보고함으로써 시스템의 원활한 시스템 운용/보전에 활용하고 있다. 본 논문에서는 이러한 ACE2000 MPLS 시스템의 장애경보(Fault Alarming) 방법 및 그 구조에 대하여 언급하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.330-332
• /
• 1998

모듈형 신경망은 인간의 정보처리 시스템이 고유한 목적이나 기능을 가진 모듈로 되어있다는 신경과학의 연구에 기반하여 제안된 모델이다. 하지만 모듈의 크기와 기능모듈간의 연결구조를 결정하는데 큰 어려움이 있다. 본 논문에서는 간단한 규칙으로 복잡한 구조를 생성해 낼 수 있는 린덴마이어-시스템을 이용하여 모듈형 신경망의 크기 및 연결구조를 만들어내는 과정에 대하여 고찰해본다. 또한, 신경망의 생성규칙을 유전자형으로 표현하고 진화 알고리즘을 적용하여 주어진 문제를 해결할 수 있는 최적의 규칙을 찾아내는 방법을 제안한다. 본 논문에서 제안한 유전자형과 진화연산은 최적화된 문법규칙 및 신경망의 구조를 만들어 낼 수 있는 가능성을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.423-426
• /
• 2003

본 논문에서는 외부의 접속을 파악하고 운영체제의 파일 시스템 레벨에서 보안 기능을 제공할 수 있는 커널 모듈을 구현한다. 네트워크를 통한 통제를 뚫고 침입해오더라도 파일 시스템에 저장 된 데이터를 읽을 수 없다면 내부의 중요한 자료 유출은 방지할 수 있을 것이다. 구현한 보안 파일 시스템 모듈은 운영체제의 동적 적재 모듈을 사용하여 커널 레벨에서 보안 기능을 제공할 수 있도록 구현하였다. 보안 모듈에서 제공하는 기능은 파일 및 디렉토리의 암호화 및 복호화하는 기능을 가지고 있다.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.334-335
• /
• 2020

본 논문에서는 레이저 광원을 적용한 무선전력전송 시스템에 적용되는 PV 모듈의 출력 특성을 분석하고, PV 모듈로부터 최대 전력을 발생시키면서 배터리를 충전시킬 수 있는 컨버터 개발 결과를 제시한다. 먼저, 특정 파장에서 최대전력이 발생되도록 개발된 PV 수신모듈에 레이저 빔을 조사하였고, 레이저에 공급되는 전력 크기에 따른 PV 모듈의 전압-전류의 특성 데이터를 확보하였다. 전압/전류 특성 데이터로부터 PV 수신모듈의 소신호 저항을 분석하였고, 이를 컨버터 회로모델에 적용함으로써 제어기 설계를 위한 시스템의 전달함수를 유도하였다. 이로부터 레이저 일사량에 따른 전류원/전압원 전영역에서 PV 모듈의 입력전압을 안정적으로 제어할 수 있는 제어기를 설계함으로써 레이저 수신용 PV 모듈이 최대 전력을 발생시킬 수 있도록 하였다. 본 논문에서 제안된 방법은 MCU 제어기반 25W급 배터리 충전용 부스트 컨버터의 프로토타입 제품을 통해 실험 검증되었다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.127-132
• /
• 1999

본 연구는 제조시스템 설계를 자동화하면서 설계된 제조 시스템을 평가하기 위해서 시뮬레이션 연구를 수행하였다. 제조 시스템 설계를 자동화하는 과정에서 시뮬레이션에 필요한 많은 부산물이 발생하였으며 이를 시뮬레이션에 이용하기 위해서 시뮬레이션 구성 요소 모델링 모듈과 시뮬레이션 모델 생성 모듈을 개발하였으며, 이렇게 생성된 시뮬레이션 Data를 시뮬레이션 하기 위해서 Event기반의 simulator 모듈을 개발하였다. 이러한 시뮬레이터는 제조 시스템 자동설계 프로그램과 연동하여 제조 시스템 평가의 중요한 부분을 차지하게 될 것이다.

• Proceedings of the KIPE Conference
• /
• 2019.07a
• /
• pp.350-351
• /
• 2019

High Voltage Direct Current (HVDC) 시스템은 고압 직류 송전을 위한 시스템이다. 고압 직류 송전을 위해서는 전력변환기가 교류전력을 직류전력으로 변환해주어야 하는데, 최근에는 모듈형 멀티레벨 컨버터(Modular Multilevel Converter, MMC)가 많이 적용되고 있다. 모듈형 멀티레벨 컨버터는 단위 서브모듈이 직렬로 구성되어야 하는데 기구적으로 하나의 밸브 구조물에 6개의 서브모듈이 일정한 간격을 두고 위치하게 된다. 모듈형 멀티레벨 컨버터의 특징 중에 하나는 예비모듈이 구성되어 가용율을 높일 수 있다는 것이다. 본 논문에서는 서브모듈의 IGBT 폭파에 의해 발생되는 플라즈마가 주변 서브모듈에 도달해 절연파괴를 발생시키는지 확인하였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.263-268
• /
• 1999

지능형 교육 시스템에서 학습자 모델은 학습자의 반응을 토대로 교수모듈과 전문가 모듈을 연계하여 새로운 학습자 모델을 제시하는 역할을 수행하고 있으며, 이는 성공적인 지능형 교육 시스템의 구현에 있어서 핵심적인 부분이다. 따라서 많은 대학교 및 연구소에서 그동안 학습자 모형에 관한 많은 연구가 이루어져오고 있다. 그러나 대부분의 연구는 단일 학습자 모형을 기반으로 두고 있으며, 이러한 단일 학습자 모형을 이용한 시스템들은 학습자의 지식 또는 학습자의 성향을 정확히 파악하기는 어려움을 갖고 있을 뿐만 아니라 다른 모듈과의 인터페이스 부분에서 중복된 많은 정보를 가지고 있다. 따라서 본 논문에서는 학습자의 지식을 정확하게 진단하고 각 모듈간의 중복된 정보를 보완할 수 있는 다중 학습자 모형을 개발하여 구현하였다. 또한 이러한 다중 학습자 모형을 최적으로 수행할 수 있도록 하기위하여 agent기법을 적용하였다. Agent를 이용한 다중 학습자 모형을 적용하여 구현한 시스템은 첫째, 단계적인 접근 방법으로 보다 정확한 학습자의 지식 진단이 가능하다. 둘째, 학습과정중 학습자의 심리 상태 및 학습자의 선호도 등 파악이 용이하다. 셋째, 교수모듈과 전문가 모듈과의 연계에 있어서 정보의 중복됨의 최소화 등의 장점을 제공한다.