• 한국컴퓨터정보학회논문지
• /
• 제17권7호
• /
• pp.23-32
• /
• 2012

프로그램 검증을위해 사용되는방법으로 프로그램을 검증조건으로 변환하여정리증명기를 통해 프로그램의유효성을 확인하는 방법이 있다. 검증조건 생성을 통한 프로그램의 검증의 경우 검증조건은 프로그램을 검증하기 위한 충분하고 정확한 정보를 가지고 있어야한다. 하지만 프로그램의 변환을 통해 생성된 검증조건의 경우 논리식만으로 구성되어 있어 사용자가 쉽게 그 내용을파악할 수 없다. 본 논문에서는 가독성이 떨어지는 검증조건을 시각화하는 프로그램을 구현하였다. 프로그램을 통해 검증조건을 구성하고 있는 논리식간의 관계 등을 비롯한 정보를 보다 쉽게 확인할 수 있다.

• 한국정보통신학회논문지
• /
• 제9권3호
• /
• pp.676-683
• /
• 2005

본 논문에서는 퍼지논리 제어방식에서 전문가로부터 소속함수의 관계조정과 제어규칙 베이스 선정 등의 제어지식을 획득해야 하는 문제점을 해결하기 위하여 유전자 알고리즘으로 최적의 소속함수의 양자화와 제어규칙 베이스를 구성하여 우수한 제어성능을 갖는 방법을 제안하였다. 제안한 방식은 유전자 알고리즘을 이용하여 퍼지 소속함수의 변수 값들과 퍼지제어 규칙을 최적화한 값으로 구하고, 이렇게 구한 값들을 초기 값으로 하여 퍼지 제어기를 오프라인으로 구성하고 실제 하드웨어 상에서 온라인으로 적용하는 방식이다. 제안한 방식의 유용성을 확인하기 위해서 DC 서보 모터의 위치제어에 대하여 시뮬레이션 하였고, 단일링크 매니플레이터를 이용한 위치제어 실험을 통하여 제어성능이 우수함을 확인하였다.

• 정보처리학회논문지D
• /
• 제10D권7호
• /
• pp.1085-1092
• /
• 2003

대용량, 고속의 멀티미디어 서비스가 일반화됨에 따라 컨텐츠를 저장하는 서버의 저장 장치 또한 대용량화되고 있다. 그러나 서버를 구성하는 다른 하드웨어 구성 요소에 비해 상대적으로 느린 저장 장치의 입출력 속도와 물리적 또는 논리적인 오류는 시스템 전반의 성능을 저하시키는 원인이 되고 있다. 또한 컨텐츠의 지속적인 증가로 인한 유연한 확장성이 필요하게 되었다. 본 논문에서는 이러한 문제점을 해결하기 위해 소프트웨어 RAID 사용하여 저장 장치의 성능을 향상시키고 신뢰성을 높였으며, LVM을 사용하여 저장 장치에 확장성을 부여하였다. 리눅스 커널 2.4.x에서 제공하는 이러한 기능들을 사용하여 신뢰성과 확장성이 있는 저장 장치를 구현하고 성능을 평가하였다.

• 한국통신학회논문지
• /
• 제35권12A호
• /
• pp.1160-1170
• /
• 2010

기존의 다중경로 설정 방법은 소스로부터 목적지까지 명확하게 분리된 다중경로를 보장하지 못할 뿐만 아니라, 다중경로의 라우팅 정보를 설정하고 유지하기 위한 오버헤드가 많다. 본 논문에서는 다중경로를 설정하는 과정에서 플러딩 방식을 제거하고, 트래픽 부하를 분산시키며, 경로 갱신에 참여하는 노드의 수를 최소화함으로써, 에너지 효율적인 EDM(Explicit Disjoint Multipath) 방식을 제안한다. EDM은 논리적으로 다중경로가 구성될 수 있는 논리적인 파이프라인을 구성하고, 물리적으로 파이프라인을 통해 목적지까지 경유지 기반 지오그래픽 라우팅을 수행한다. EDM은 네트워크 트래픽 부하를 분산시키고, 에너지 소모를 균등화할 수 있으며, 네트워크 생명주기를 연장시킬 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제4권4호
• /
• pp.15-24
• /
• 1999

본 논문에서는 시간제약 조건하에서 수행시간을 개선한 새로운 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 논리식을 DAG로 구성하여 각 노드를 검색한 후. 출력 에지의 수가 2이상인 노드를 분할하지 않고 최상위 노드만을 복제(replication)하여 DAG를 팬 아웃 프리 트리로 재구성함으로써 지연시간과 CLB의 개수가 최소화되며 수행 시간도 개선하였다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 정하고, 각 노드의 초기비용과 전체비용을 계산하여 CLB의 k-OR텀수보다 비용이 초과되는 노드를 분할하여 서브그래프를 구성한다. 분할된 서브그래프들은 collapsing을 통해 노드들를 병합하고, 주어진 소자의 CLB안에 있는 k-OR텀 개수에 맞게 Bin packing를 수행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 기존의 CPLD 기술 매핑 툴인 TMCPLD에 비해 수행 시간이 20.3% 감소되었다.

• 한국정보통신학회논문지
• /
• 제9권8호
• /
• pp.1774-1779
• /
• 2005

본 논문에서는 그래프 이론에 기초를 둔 GFDD를 사용하여 디지털논리시스템을 구성하는 한가지 방법을 제안하였다. 제안한 방법은 먼저 유한체와 그래프 이론의 수학적 성질을 논의하였으며, 단일변수에 대한 동작영역과 함수영역간의 변환을 용이하게 하기 위한 변환행렬 $\psi$GF(P)(1)과 $\xi$GF(P)(1)을 논의하였다. 그리고 디지털스위칭함수를 구하기 위한 Reed-Muller 확장을 논의하였으며, 이를 다변수인 경우로 확장하기 위해 Kronecker Product를 논의하였다.

• 한국산학기술학회논문지
• /
• 제5권5호
• /
• pp.429-432
• /
• 2004

본 논문은 단일형태의 버퍼 구조로 물리적인 단일 큐의 시퀀서 갖고 논리적으로 다중 큐의 형태로 구성된 ATM스위치를 제안한다. 제안된 스위치는 순환적 순위 알고리즘이 적용되도록 하드웨어로 구현된 ATM 셀의 출력 포트에 따라 ATM 셀이 정렬되도록 프로시져를 수행시킨다. 이 구조는 물리적으로 단일 버퍼를 갖지만 논리적으로는 순환적으로 순위를 결정하여 출력포트에서의 상충을 최대한 억제하도록 설계된 다중 큐의 기능을 하고 있다. 향후 이러한 형태의 구조는 다양한 구조의 라우팅을 위한 스위치로 응용되고, 시스템 구성의 확장성에 있어서도 큰 장점을 지니고 있어, 전송 효율적인 면에서도 훌륭한 구조로 평가된다.

• 대한교통학회지
• /
• 제14권1호
• /
• pp.117-133
• /
• 1996

본 논문에서는 모호한 상황에서도 적절하게 대처하는 인간의 판단능력과 유사한 퍼지논리를 이용, 교차로 교통신호등의 최적현시를 결정하는 제어기를 구현하여 기존의 차량감응식 제어기(Vehicle Actuated Controller)와 고정주기식 제어기(Fixed Cycle Time) 및 그외의 구현 가능성 있는 제어기와 비교하여 성능이 우수한 알고리즘을 제시한다. 각 현시단계의 주기시간을 결정함에 있어 기존의 방식인 웹스터(Webster)식을 이용하는 방법보다는 상황에 맞는 현시순서를 퍼지 논리 알고리즘을 통해 선정하고, 불확실한 교통량변화에 적절하게 대응하는 퍼지최적주기시간을 결정하여 구성한 퍼지 최적현시제어기가 비교제어기에 비해 교통소통에 우수함을 보여주었다.

• 공학교육연구
• /
• 제3권1호
• /
• pp.21-26
• /
• 2000

월드 와이드 웹은 사이버 교육에 있어서 인터넷을 통한 새로운 기회를 제공한다. 웹은 다른 네트워크 기술과 결합하여 학습자에게 유용한 교육정보를 제공하는데 유용하다. 따라서, 본 논문의 목적은 인터넷상에서 퍼지 논리 제어기의 개념을 이해하기 위한 자바 애플릿을 개발하는 것이다. 개발된 자바 애플릿은 4개의 프레임(퍼지화기, 제어규칙, 추론 엔진, 비퍼지화기)으로 구성이 되어 있다. 데이터의 전송은 하나의 프레임에서 나머지 프레임으로 전송이 되도록 하여, 사용자가 쉽게 퍼지 논리 제어기의 수행과정을 관찰하고 이해할 수 있도록 하였다. 본 논문의 결과는 사이버 대학에서 사이버 강의의 능률을 향상시키는데 사용될 수 있다.

• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.1089-1094
• /
• 2004

멀티 에이전트 시스템(Multi-Agent Systems: MAS)에서 에이전트들이 서로 협상하기 위해서 에이전트들은 공통의 에이전트 통신 언어(Agent Communication Language: ACL)를 사용하여야 하며, 일치에 도달할 수 있도록 설계된 협상 프로토콜을 따라야 한다. 그러므로 에이전트는 위의 요구사항들을 수용할 수 있는 적당한 구조를 가져야 한다. 이 논문에서는 예제에 사용되는 간단한 ACL을 정의하고, 이것과 다른 ACL들(FIPA(Foundation for Intelligent Physical Agents) ACL, KQML(Knowledge Query Manipulation Language))을 간단히 비교한다. 특히, 에이전트를 ALE음 ,소망, 의도, 그리고 협상 라이브러리로 구성된 논리 프로그램으로 표현한다. 마지막으로, 협상 라이브러리에 포함된 계획자(planner)가 행위들의 계획을 어떻게 제공하는가 그리고 ALE음을 어떻게 갱신하는가를 보인다.