• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1063-1066
• /
• 2005

본 논문에서는 모바일 인터넷에서 보안에 대해 논의한다. 무선 인터넷 사용자나 프로그램 및 네트워크 기술들이 지난 몇 년간 눈부시게 발전했다. 단말기의 제약사항으로 인하여 모바일 인터넷은 유선의 인터넷과 몇 가지 다른 구조를 가지고 있다. 단말기의 제약사항으로 인해 무선중계 보안 시스템 설계 시 그 기반이 될 수 있는 무선 인터넷 프로토콜(WAP, I-mode, ME) 중에서 전세계적으로 가장 표준으로 알려진 WAP에 대해서 살펴보고 무선 통신에서 보안 서비스를 위해 사용되는 WTLS와 이를 위한 공개키 기반 구조(WPKI)에서 요구사항을 살펴본다. 실질적으로 무선 인터넷 서비스를 제공하는 자바 보안 기법에 대해서 논의한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.135-139
• /
• 2007

군용 항공 장비는 정보의 수집 분석, 식별, 외부 상황에의 대처와 같이 다량의 데이터 혹은 복잡한 데이터 구조를 필요로 하는 작업을 수행하는 경우가 않으며 네트워크 중심전 (NCW)의 등장으로 데이터 관리의 중요성이 점차 높아지는 추세이다. 군용 항공 장비에서는 일반적인 데이터베이스 시스템의 사용을 제약하는 제약 사항이 존재하며 선행 연구에서 이러한 문제점을 완화시키는 임베디드 기반 실시간 DBMS에 대한 리덜 및 임베디드 기반 실시간 DBMS를 이용한 간단한 아키텍처 및 외부 장비와의 연동 방안을 제시하였다. 본 논문에서는 군용 항공 장비가 임베디드 기반 실시간 DBMS의 효율적인 이용을 가능하게 하는 모듈들을 포함하는 미들웨어의 구조와 외부 장비 및 사용자 작성 응용 프로그램과의 연동, 미들웨어 내부에서의 데이터의 흐름 방식을 제안한다.

• 산업공학
• /
• 제8권3호
• /
• pp.141-153
• /
• 1995

기존의 솔리드 모델링 시스템은 형상 표현에 있어서의 제약성과 통합 시스템으로서의 폐쇄성으로 인하여 응용 범위에 제약이 따른다. 이러한 약점을 극복하고자 하는 노력의 일환으로서, 최근에 등장한 것이 비다양체 모델을 지원하는 CAD 시스템 커널이다. 본 논문에서는 이러한 비다양체 모델을 지원할 수 있는 모델링 커널 시스템 개발의 기초가 되는 비다양체 자료구조와 이것을 바탕으로 한 오일러 공식 및 오일러 작업에 대해 소개한다. 그리고 이러한 오일러 작업을 실제로 구현하여 모델링 작업을 수행해 봄으로써, 본 논문에서는 제안된 비다양체 자료구조와 오일러 작업의 유용성을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.349-351
• /
• 2003

무선 센서 네트웍은 동작 환경과 구조가 매우 특이하du 개발자들은 센서 네트웍의 노드를 디자인할 때 많은 제약 조건들과 요구 조건들을 고려해야 한다. 먼저 우선 센서 네트웍 상의 각 센서 노드에는 극도로 제한된 하드웨어 자원 조건 하에서도 무선 통신 기능뿐만 아니라 동시에 여러 이벤트를 재빠르게 처리할 수 있는 기능이 포함되어야 한다. 또한 환경과 응용 프로그램의 변화에 잘 대처하기 위해 런타임(run-time)에 각 센서 노드들을 동적으로 재구성할 수 있는 기능이 제공되어야 한다. 이러한 디자인 요구 조건들과 제약 조건들은 얼핏 서로 상반된 것처럼 보이는데, 무선 센서 노드들을 위한 실행 환경을 디자인할 때는 이러한 조건들을 모두 만족시킬 수 있는 운영 체제가 반드시 필요하다. 본 논문에서 우리는 무선 센서 노드들을 위한 매우 효율적이고 효과적인 유한 상태 머신(finite state machine) 기반의 운영체제, SenOS를 제안한다. 또한 새로운 운영 체제인 SenOS가 극도의 제한적인 자원에서도 동시성과 반응성, 재구성성의 요구 조건을 모두 만족시키면서 동작할 수 있다는 것을 보일 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.148-150
• /
• 2003

본 논문에서는 인터넷 종단 호스트에서 공유 자원의 대역폭 제약조건과 종료시한 제악조건 모두를 만족시킬 수 있는 자원 할당 구조를 제안한다. 제안된 구조는 두 단계로 구성된다. 상위 단계에서는 비례 분배 스케줄러(proportional share scheduler)인 EFT-C/D (Earliest Finish Time Credit/Debit) 스케줄러가 수행된다. 이 스케줄러는 CPU와 같은 시분할 공유 자원을 하위 단계 스케줄러들에게 지정된 비율로 분배하는 역할을 한다. 그리고 하위 단계에서는 서로 다른 시간 제약조건이 부여된 태스크들을 스케줄링 하기위해 다양한 실시간 스케줄러가 수행된다. 본 연구의 주요 성과는 두 가지로 요약된다. 첫째, 이상적인 GPS (Generalized Processor Sharing) 서버와 거의 동등한 수준으로 자원을 공평하게 분배하는 EFT-C/D 알고리즘을 개발하였다. 둘째, 하위 단계에서 수행되는 EDF 스케줄러에 대해 이용율(utilization)에 기반한 스케룰링 가능성 분석 방법을 개발하였다. 이 방법은 주어진 태스크 집합에 대해 단순히 이용율만을 계산하여 스케줄링 가능성을 판별할 수 있다. 따라서 새로운 태스크가 생성될 때 수락 여부를 시스템 수행 중에 제어할 수 있는 장점이 있다.

• 지능정보연구
• /
• 제2권1호
• /
• pp.59-73
• /
• 1996

전체적인 조선 생산일정계획을 수립하기 위해서 계층적 구조를 채택하였다. 이 구조에 의하면 도크의 상위 일정계획 생성기는 탑재 일정계획을 생성하고, 조립공정의 하위 일정계획 생성기는 상위 일정계획 생성기가 요구하는 범위 내에서 각각 세부적인 조립 일정계획을 세우게 된다. 그런데 하위 일정계획 생성기가 아무리 노력하여도 상위 일정계획 생성기로부터의 제약조건을 만족시킬 수 없는 상황이 발생하면, 일정계획 수정기에 통보하여 초기 탑재 일정계획을 수정해야 한다. 하위 일정계획 생성기로부터의 조정요청을 반영하기 위해서 부분 수정을 통해 충격을 최소화시키는 일련의 휴리스틱으로 구성된 알고리즘을 제시하였다. 각각의 휴리스틱은 여유시간 제거, 버퍼 제거, 작업시간 축소, 다단계 여유시간 제거, 과부하 자원 공유블럭 조정, 자원 제약조건 완화 등이고, 흡수되지 않은 일부의 충격은 주변으로 전파된다. 이와같은 방법론을 대우조선의 상황에 적용하여, 조선일정계획 수정 시스템인 DAS-REACT를 개발하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2004년도 춘계종합학술대회
• /
• pp.569-572
• /
• 2004

다수의 사람들이 관리ㆍ운영하는 많은 분량의 HTML 문서들로 이루어진 웹사이트들의 경우에는 현수참조(Dangling Reference)와 오문참조(Inaccurate Contents Reference)와 같은 깨진 링크(Broken Link)를 관리하는데 많은 어려움이 따른다. 즉, HTML 페이지의 내용 중 연결구조에 관련된 부분을 변경하거나 삭제하는 경우 문서들간의 연결구조에 대한 무결성(Integrity)을 보장하기가 어렵다. 본 논문에서는 Parent 페이지와 Child 페이지에서의 무결성 제약조건(Integrity Constraint Condition)들을 조사하여 정의하고, 확장 UML로 표현하는 방법에 대해 연구하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.233-237
• /
• 2006

I/T 산업의 발전으로 다양한 종류의 디바이스와 시스템 소프트웨어 및 응용프로그램이 일반화되면서 시스템의 복잡도가 높아지는 문제점이 발생하였고 이러한 문제는 시스템 운영관리를 위한 전문지식이 없는 일반 사용자에게는 더욱 치명적이다. 이러한 문제점을 해결하기 위해서 Autonomic Computing개념이 연구되고 있다. 본 연구에서는 보다 개인화되고 자원제약적인 웨어러블 컴퓨팅 환경에 적합한 Autonomic Personal Computing을 위한 자율관리 서비스 구조를 제안한다. 본 논문에서 제안하는 Configuration Manager는 Self-Configuration을 위한 필수 기능만을 Client에 탑재하고, 많은 리소스 소비를 요구하는 기능은 Server의 도움을 받는 구조로 자원제약적인 웨어러블 컴퓨팅환경에서 원활한 Self-Configuration을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.409-413
• /
• 2006

현재 많은 센서 네트워크 운영체제에서는 메모리 제약 때문에 스레드 스택을 공유한다. 하지만 대부분의 대상 플랫폼에서는 MMU가 없어서 하드웨어적으로 스택 보호가 이루어지기 어렵다. 이러한 문제를 해결하기 위해 본 논문에서는 운영체제 바이너리 코드 안에 존재하는 스택 연산 명령어들을 스택 보호 기능을 가진 래퍼 함수호출로 바꾸어 주었다. 이 래퍼 함수는 스택의 오버플로우/언더플로우를 관리해 주고 오리지널 코드에 있던 명령어를 실행한 후 원래 실행 흐름으로 돌아가게 한다. 본 논문에서는 이러한 동작을 수행하는 Post-Compile Processing Tool의 구조와 세부 메커니즘을 제안한다. 이 툴은 직접 바이너리를 조작하므로 개발의 유연성을 살리고, 정적인 조작만 가하기 때문에 실행시간 오버헤드가 적다. 또한 임베디드 플랫폼 환경과 같이 하드웨어 자원의 제약이 있는 구조에 적합하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.322-325
• /
• 2006

최근 이동성을 지향하는 사용자의 욕구 충족을 위해 유선 환경 기반 서비스를 유무선망 혼용 형태로 확장하려는 다양한 연구가 진행되고 있다. 하지만 다양한 서비스가 혼재되어 있는 상태에 이를 유연하게 연동/통합하여 서비스를 제공하거나 새로운 서비스를 만들어내는 것은 현재의 개발 환경을 고려할 때 매우 어려운 일이다. 즉, 서비스의 추가 혹은 변경 발생은 해당 서비스를 제공하는 애플리케이션의 추가 혹은 변경을 필요로 하게 되며, 여기에 추가로 이종 서비스의 연동이 고려되는 경우 추가/변경된 서비스와 연동되는 서비스 애플리케이션 모두가 영향을 받는 제약을 가지고 있다. 이에 따라 이러한 제약을 극복하기 위한 프레임워크 개발, 네트워크 통합 등의 다양한 연구가 진행되고 있으며, 본 논문에서는 적은 부담으로 새로운 서비스를 수용하고 또한 추가된 서비스와 기존의 서비스가 적응적으로 연동되어 새로운 서비스를 생성 가능하도록 하는 유연한 통합 무선 애플리케이션 지원 게이트웨이 구조를 제안한다.