자바 언어는 신뢰성 있는 프로그램의 개발을 위해 예외를 처리할 수 있는 명시적인 예외 처리 메커니즘을 제공한다. 따라서 신뢰성 있는 프로그램 개발을 위해서는 실행 시간에 발생 가능한 예외에 대한 적절한 처리가 매우 중요하다 본 논문에서는 신뢰성 있는 프로그램 개발을 위한 동적 예외 모니터링 시스템을 개발하였다. 이 시스템은 프로그래머가 효과적으로 실제 발생된 예외의 처리, 전파과정을 모니터링 할 수 있으며 이러한 기능을 이용하여 좀더 적절한 예외 처리가 가능하도록 하며 결과적으로 개발된 프로그램의 신뢰성을 항상 시킬 수 있다. 본 시스템은 사용자 옵션을 통하여 관심 있는 예외들만을 모니터링 할 수 있으며 또한 시스템의 성능 부하를 줄이기 위해 기존의 코드에 필요한 모니터링 코드만을 삽입하는 방식으로 시스템을 설계하고 구현하였다. 또한 실험을 통해서 그 효과를 보였다.

유비쿼터스 환경에서의 응용은 사용자의 요구사항 변경과 사용자의 서비스 환경 변화를 적응시킴으로써 사용자에게 최선의 서비스를 제공할 수 있어야 하며 상황 변화에 따른 하부 플랫폼의 동작에 서비스의 동작을 적응시킬 수 있어야 한다. 본 논문에서는 유비쿼터스 컴퓨팅 환경에서 사용자의 요구사항을 능동적으로 반영하고 사용자에게 유연한 서비스를 제공하기 위하여 상황 변화에 대한 동적인 응용 적응성을 지원하는 2-레벨 상황 적응 기법을 제안한다. 상황 적응성을 지원하기 위하여 상황의 범위를 사용자 요구사항으로 확대하여 응용 서비스 제공에 있어서 사용자의 선호도를 반영할 수 있도록 하였으며. 응용의 적응성은 적응 정책을 사용하여 발생할 수 있는 특정 상황에 대한 적응 방법을 명시적으로 요구함으로써 실제 상황이 발생했을 때 응용이 능동적으로 대처할 수 있도록 하였다.

현재 비즈니스 및 분산 컴퓨팅 환경에서 사용되는 워크플로우는 서비스 통합 및 자동화, 동적 흐름 관리, 동시 수행, 실시간 서비스 등의 기능을 제공한다. 유비쿼터스 컴퓨팅 환경에서 서비스들은 사용자와 현재 사용자가 속해 있는 환경으로부터 다양한 정보를 제공받아 상황에 맞는 서비스를 동적으로 제공해야 한다. 이와 같은 서비스를 효과적으로 제공하기 위해서는 서비스의 자동화에 사용되고 있는 워크플로우를 유비쿼터스 컴퓨팅에 적용하고, 상황인지 서비스를 제공하기 위해 상황 정보를 워크플로우의 전이조건으로 명시해야 한다. 본 논문에서는 유비궈터스 환경에서 발생하는 상황 정보를 워크플로우의 서비스 전이조건으로 사용하기 위한 웹 서비스 기반의 워크플로우 언어인 uWDL (Ubiquitous Workflow Description Language)을 제안한다. uWDL은 상황 정보인 컨텍스트, 프로파일 및 이벤트 정보에 따라 사용자 상황에 맞는 서비스를 선택할 수 있다. 또한 uWDL 전용 파서와 컨텍스트 처리기를 통해 uWDL로 기술된 시나리오 문서가 제대로 실행되는지를 검증하였다. 유비쿼터스 환경을 위한 시나리오 설계를 위해 개발자는 uWDL 시나리오 편집기를 이용하여 유쿼비터스 환경의 상황 정보를 고려해 그에 맞는 서비스들의 관계를 워크플로우 형태로 기술함으로써 작업을 통합하고 자동화할 수 있다

P2P 서비스는 인터넷 상에서 서버를 거치지 않고 정보를 찾는 사람과 정보를 가진 사람의 컴퓨터간의 직접적인 연결을 통해 다양한 정보를 공유할 수 있는 방식으로, 파일의 자유로운 교환을 위한 방법으로 많은 인기를 얻고 있다. 그러나 P2P 파일 공유 시스템에서 서비스를 이용하는 모든 사용자들은 동등한 접근 권한으로 자유롭게 여러 사용자들의 공유 파일을 이용할 수 있기 때문에, 자신의 파일에 대한 공유 없이 다른 사용자들의 공유 파일을 다운로드만 하는 "free riding" 문제가 빈번하게 발생하고 있으며, 바이러스나 웜을 포함한 파일을 공유하거나 실제내용과 다른 제목을 가지는 파일을 공유하는 사용자라 하더라도 제한 없이 파일 공유 서비스를 이용할 수 있다. 이에 본 논문에서는 파일 공유서비스를 이용하는 사용자들의 신뢰도를 나타낼 수 있는 평판(Reputation) 정보를 이용하여 빈번한 다운로드를 행하는 "free rider"의 접근을 제한하고, 정상적인 실행이 되지 않는 파일을 공유한 사용자들에 대해서도 다른 사용자들의 공유 파일에 대한 사용을 제한하고자 한다.

최근에 하이퍼큐브의 망비용을 개선한 하이퍼-스타 연결망 HS(m,k)이 제안되었다. 본 논문에서는 정규연결망 하이퍼-스타 HS(2n,n)의 이분할 에지수가 최대(2n-2,n-1)임을 보이고, 병렬경로 집합을 이용하여 k-광역지름이 dist(u, v)+4이하이고, HS(2n,n)의 고장지름이 D(HS(2n+n))+2 이하임을 보인다. dist(u,v)는 임의의 두 노드 u와 v 사이의 최단 거리를 나타내고, D(HS(2n,n))는 HS(2n,n)의 지름을 나타낸다.

본 논문에서는 메시지 전달 분산시스템서 결정적 서버를 위한 부분적 분산형 수동적 중복 알고리즘을 제안한다. 이 알고리즘은 반드시 주 서버가 아니더라도 임의의 보조서버가 자신이 수신한 클라이언트 요구에 대해 서버로부터 그 요구의 전달일련번호를 얻은 후, 그 보조서버가 직접 해당 요구를 처리하고, 이에 대한 다른 중복 서버들과의 조정에 대한 책임자 역할을 수행할 수 있도록 한다. 이러한 바람직한 특성 때문에, 제안된 알고리즘이 기존의 부하균등 기법과 결합된다면, 주 서버에의 급격한 부하 발생을 효율적으로 피할 수 있다. 따라서, 이 알고리즘은 기존의 수동적 중복 알고리즘보다 결정적 중복 서버 시스템에 대한 높은 확장성을 제공할 수 있다. 본 논문에서 수행한 시뮬레이션에서 기존 알고리즘에 비해 제안한 알고리즘이 클라이언트 요구 당 평균응답시간을 $16.5\%{\~}52.3\%$까지 줄일 수 있다는 것을 보여준다.

본 논문에서는 부분적으로 파손된 치아의 수복에 사용되는 인레이/온레이 인공치아를 효과적으로 모델링하는 기법을 제안한다. 인레이/온레이는 지대치에 부착되는 내면과 밖으로 들어나는 외면으로 구성된다. 내면은 지대치와의 밀착력을 확보하기 위하여 지대치의 삭제된 표면의 확장된 부분으로 Minkowski sum을 이용하여 모델링된다. 외면을 모델링하기 위해서는 표준치아 모델, 환자 치아 석고모형을 스캔한 메쉬 자료, 환자 치아교합을 측정한 FGP(functionally guided plane) 등 세 가지 정보와 DMFFD(direct manipulation free-form deformation)[19]과 MWD(multiple wires deformation)[17]의 3D 메쉬 변형 기술들을 이용한다. 표준치아 모델은 외면의 기본적인 형태를 결정하기 위하여 사용되는 반면 석고모형 데이터와 FGP는 환자 치아 인접면과 교합면마다 약간 다르지만 정확한 기능에 매우 중요한 고유 특성을 반영하기 위해 사용되는 정보이다. 이러한 정보들을 입력으로 DMFFD 기법과 MWD 기법을 각각 적용하여 인레이/온레이 인접면과 교합면을 메쉬 자료로 자동으로 생성해낸다. 연구된 기법은 치과의사에 의한 요구사항을 반영하여 생성된 메쉬 모델을 가시화하면서 보다 정확하게 인레이/온레이를 디자인할 수 있도록 구현되었다.

PCI 2.2 마스터 디바이스가 타겟 디바이스로부터 데이터를 읽어 오고자 할 때 타겟 디바이스는 내부적으로 데이터를 준비해야 함으로 인해 PCI 버스가 데이터 전송 없이 점유되는 상황이 발생한다. 이를 위해 PCI 2.2 사양에서는 지연전송을 제안하여 전송 효율을 향상시켰지만 이 역시 타겟 디바이스가 얼마의 데이터를 미리 준비 해둘지를 알 수 없어 버스 사용 및 데이터 전송 효율을 떨어뜨리는 원인을 제공한다. 이에 앞선 연구에서는 이를 해결하기 위한 프리페치 요구를 이용하는 새로운 방법을 제안하였다. 본 논문에서는 이 방법을 지원하는 PCI 타겟 컨트롤러와 로컬 디바이스를 설계하였다. 설계된 PCI 타겟 컨트롤러는 간단한 로컬 인터페이스를 가질 뿐 아니라 PCI 2.2를 전혀 모르는 사용자도 쉽게 PCI 인터페이스를 지원할 수 있도록 설계되었다. 또한 설계된 하드웨어를 효과적으로 검증하기 위한 방법으로 기본 동작 검증, 설계 기반검증, 그리고 랜덤 테스트 검증을 제안하였다 이러한 검증을 위해 테스트 벤치와 테스트 벤치를 동작시키는 위한 명령어를 제안하였다. 그리고 랜덤 테스트를 위해 참조 모델, 랜덤 발생기, 비교 엔진으로 구성된 테스트 환경을 구축하였으며 이를 이용해 코너 케이스를 효과적으로 검증할 수 있다. 또한 제안된 테스트 환경을 통해 시뮬레이션 한 결과, 프리페치 요구를 이용한 제안된 방법이 지연 전송에 비해 데이터 전송 효율이 평균 $9\%$ 향상되었다.

고성능 VLSI 아날로그 정보처리시스템(AIPS)에서 고 이득 Op-Amp는 기본적 정보처리소자이다. 증폭기는 시스템 내 피드백루프에 사용시 안정도와 정확도를 얻기 위하여 고 이득이 요구된다. 1단의 증폭으로 이득이 충분하지 않을 경우 이득 부스팅 또는 추가적인 이득단이 필요하다. 본 논문에서 부 저항소자를 사용할 경우 이득이 개선되며 1단으로 고 이득을 손쉽게 얻을 수 있음을 보였다. 기존의 방법에 비교하여 본 연구에 제안된 방법은 전 출력 스윙, 적은 회로면적과 전력소비, 그리고 여러 구조의 증폭기에 적용가능 하다는 잇점을 지니고 있다. 부 저항소자는 Op-Amp에 사용될 경우 (+)와 (-) 차동출력 사이에 설치되어 증폭기 출력저항을 상쇄한다. 부 저항소자를 교차 연결된 CMOS 인버터의 형태로 구현할 경우 간단한 구조로서 40 dB 보다 더 큰 이득개선을 손쉽게 얻을 수 있음을 HSPICE 시뮬레이션을 통하여 확인하였다.

최근 인터넷 사용자가 급증하면서 원격교육의 발전과 함께 평가에서도 원격을 이용한 방법이 많이 사용되고 있다. 하지만 현재까지는 자연언어처리의 어려움으로 객관식이나 단답식 평가가 주류를 이루고 있다. 본 논문에서는 서술형 주관식 문제의 빠르고 공정한 지능형 채점을 위하여, 다양한 언어 지식을 활용하였다. 이를 위하여, 가공되지 않은 말뭉치에서 의미커널을 구축하고, 수험자가 작성한 답안과 이미 구축된 정답을 벡터로 구성하여 이 답안간의 유사도를 의미커널을 통해 계산하여 정답여부를 자동으로 판단하도록 하였다. 의미커널을 구축하기 위하여 벡터 공간 모델에 기반한 은닉 의미 분석을 이용하였으며, 또한 한글 워드넷을 이용하여 답안의 정보부족 문제를 줄여보고자 하였다. 실험을 위하여 3000 문항의 주관식 문제를 구축하였으며, 의미커널의 구축을 위하여 38,727개의 신문기사를 모아 말뭉치로 구성하고 75,175개의 색인어를 추출하였다. 의미커널에 기반한 자동 채점 시스템으로 실제 수험자에 의하여 작성된 답안을 채점한 결과, 출제자가 실제로 채점한 결과를 기준으로 하여 최고 0.894의 상관관계를 얻을 수 있었다

지식기반사회에서 새로운 교육형태로 대두되고 있는 온라인 협력학습은 실제적이고 고차원적인 문제해결 능력을 향상시키며 학습의 몰입을 촉진하는 효과적인 방안으로 활발하게 논의되고 있다. 협력학습은 개인학습과 달리 팀을 구성하여 공동의 목적을 설정하고 과제를 수행하면서 산출물을 생성하는 복잡한 절차를 거치게 되며, 성공적인 협력학습을 위해 협력학습과정에서 학습자의 자기주도학습 능력, 그룹간 상호작용, 학습자료의 공유 촉진 전략이 필요하다. 그러나 교수자가 모든 학습자의 협력활동을 모니터하고 문제점에 대해 적극적인 조언자 역할을 수행하기에 어려운 실정이며, 기존의 협력학습지원 도구만으로는 학생들의 협력활동을 촉진시키기에는 제한적이다 따라서 본 연구에서는 온라인 협력학습에서의 상호작용을 모니터하고 촉진하기 위해 협력학습지원 에이전트(ECOLA)를 개발하였다. 협력학습지원 에이전트(ECOLA)는 협력학습모델과 협력학습 촉진전략에 기반한 모니터링 에이전트와 촉진자 에이전트로 구현되었다.

높은 클럭으로 동작하는 고속의 프로세서를 다수 이용한 다중프로세서 시스템 성능은 프로세서 자체의 성능보다 상호연결망의 트랜잭션 처리 능력 및 지연에 의하여 큰 영향을 받게 된다. 따라서 상호연결망의 성능은 대역폭 및 지연시간 측면으로 시스템 성능에 큰 비중을 차지한다. 단방향 이중 연결을 이용한 CC-NUMA 구조는 이중 연결을 이용한 대역폭 증가효과와 고속 단방향 링크를 이용한 적은 지연시간으로 인하석 고성능 시스템에서 많이 채용되고 있다. 한편, 이중 연결구조로 인하여 시스템의 상호연결망의 최단 경로는 단일하게 형성되지 않으며, 여러 개의 최단 경로가 구성될 수 있다. 그러나 실제 응용프로그램을 수행할 때, 동일한 홉 수를 나타내는 경로일지라 하더라도 각 연결 링크의 부하 및 경쟁에 따른 지연 시간의 차이를 나타내게 되며, 만일 노드간의 트랜잭션 전달 경로가 정적으로 구성되어 있을 경우, 실제 프로그램의 수행에서 균일하지 못한 연결 링크 부하에 따른 지연 시간의 차이가 나타날 수 있음을 의미한다. 이는 곧 고속의 상호연결망 전체의 대역폭을 균일하게 사용하지 못함으로 나타나는 부가적 지연 시간으로 볼 수 있으며, 이로 인한 응용 프로그램의 수행 성능이 저하될 수 있음을 의미한다. 본 논문은 기존 연구된 단방향 이중 연결을 이용한 CC-NUMA 시스템에서, 노드간 트랜잭션 전달 경로가 정 적으로 구성될 경 우 발생될 수 있는 성능 저하를 평가하고, 정적 경로와 동일한 홉 수의 경로를 나타내며 링크 부하에 따라서 동적으로 전달되도록 부하에 따르는 동적 경로 설정 방법을 제시하였다. 논문에서 제시하는 방법은 기존 경로설정 방법에 대하여 동일한 홉 수를 나타내며, 링크 부하에 따라서 동적으로 경로를 설정함으로써 실시간 경로 분배가 자연스럽게 이루어지도록 하였고, 링크 경쟁을 완화함으로써 보다 균일한 링크 사용을 나타냈고, 링크 획득 실패로 인한 지 연시간을 감소시켰다. 프로그램 구동 시뮬레이션을 통한 성능 검증 결과, 논문에서 제시한 동적경로 설정 방법은 기존 정적 경로 설정 방법에 비해 링크점유시간 편차가 $1{\~}10\%$ 낮게 나타났고, 링크의 획득 실패 횟수가 ${\~}3\%$ 감소하였으며, 그 결과 $1{\~}6\%$의 수행 시간 감소를 나타냈다.