• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.32-40
• /
• 1995

본 연구에서는 2계층 정보통신 네트워크의 구축에 직접적으로 적용가능한 트리-스타형 2계층 네트워크 설계문제를 다루었다. 정보통신네트워크 설계에의 적용 가능성을 높이기 위하여, 기존의 연구와 달리 네트워크상의 마디와 가지에 설치해야 할 설비들의 다양한 용량제약을 고려할 수 있도록 정립하였다. 또한 네트워크상의 어느 마디쌍간의 물류(정보통신) 수요를 고려할 수 있도록 하였다. 의사결정기준은 설계시에 고려해야 할 네트워크 구축비용(마디 및 가지의 설비비) 및 운영비용(물류비)의 합을 최소화하는 것으로 설정하였다. 이 문제를 혼합 0-1 정수계획 모형으로 정립하였다. 이 모형의 유용성을 살펴보기 위하여 최근 많은 관심을 끌고 있는 CATV 네트워크의 일반형태인 광가입자 선로망의 설계문제를 본 연구모형으로 표현하여 보았다. 이를 토대로 보다 일반적인 다계층 네트워크 설계문제로 확장하는 방안에 대하여도 검토하였다. 마지막으로 본 연구 모형을 정보통신네트워크 설계시에 적용하기 위하여 휴리스틱 해법을 개발할 경우, 문제 특성상 기존의 연구에서 고려하는 해법의 효율성 외에도 통신네트워크의 특성, 비용구조등을 고려해야 할 당위성에 대하여 토론하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.793-795
• /
• 2001

Ad-hoc 망은 인터넷과는 다른 독립적인 망을 구성하는 경우 사용되게 된다. 이러한 Ad-hoc의 특정 호스트가 인터넷 망과의 연결을 시도하는 경우, 이 호스트로의 패킷의 라우팅을 위해서는 모든 경로상의 라우터에서 이 호스트에 대한 정보의 엔트리가 추가되어야만 한다. 이는 망 구현 과정에서 확장성 (Scalability) 문제를 야기하게 된다. 즉, 라우팅 테이블 엔트리의 증가로 차지하는 라우터의 메모리 문제나, 해당 호스트의 정보를 찾고자 할 때의 소요시간으로 적용하기 어렵다. 이러한 확장성 문제를 제거하는 방법으로 자동으로 주소를 설정 하는 방식인 DHCP(Dynamic Host Configuration Protocol)에 대해서 알아 보았다. 그리고. DHCP의 문제점인 기존의 라우팅 정보를 손실되는 문제가 있어 적용하기 어렵다. 이에 본 논문은 확장성 문제를 제거하는 동시에 엑세스 포인트(access point)에서 NAT(Network Address Translation) 기술을 적용하여 AODV(Ad-Hoc On-Demand Distance Vector) 라우팅 프로토롤과 인터넷의 연동을 위한 메커니즘을 제안한다.

• Journal of the Korea Computer Graphics Society
• /
• v.8 no.3
• /
• pp.25-34
• /
• 2002

최근 프로그래밍이 가능한 그래픽스 프로세서(GPU)의 등장은 렌더링 속도의 향상은 물론 기존의 GPU가 할 수 없었던 다양한 그래픽스 계산을 효과적으로 수행할 수 있도록 해주고 있다. 이로 인하여 기존에 CPU 상에서 수행해야만 했던 그래픽스 계산들의 일부를 GPU 상에서 수행하도록 해주는 기법들에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 선형식에 기반을 둔 여러 응용 문제들을 GPU 상에서 효율적으로 구현할 수 있도록 도와주는 쉐이더 코드 최적화 기법을 제안한다. 이 기법은 SIMD 형태의 병렬 처리 능력을 가진 버텍스 쉐이더의 명령어에 맞게 고안되었다. 본 기법의 활용 가능성을 보이기 위하여 미분 방정식을 풀기 위한 4차 런지-쿠타 방법, 선형방정식을 풀기 위한 가우스-자이델 방법, 자연스러운 유체 모델링을 위한 파동 방정식 등의 문제에 적용하여 보았다. 본 논문에서 제안한 최적화 기법은 버텍스 쉐이더 용 컴파일러 구현에 쓰일 수 있으며, 향후 프로그래밍이 가능한 GPU 상에서의 실시간 그래픽스 소프트웨어 개발에 유용하게 사용될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.370-372
• /
• 2001

인터넷에서 멀티캐스팅을 지원하기 위해 제안된 기존의 Any Source Multicast(ASM)는 실제 망에의 적용시 멀티 캐스팅 세션 관리 문제, 주소 할당 문제 등과 같은 구현상의 문제를 가지고 있다. 이러한 문제를 해결하기 위한 새로운 관점의 다양한 메커니즘들이 제안되고 있다. 현재 제안되고 있는 메커니즘은 크게 Source Specific Multicast(SSM). Small Group Multicast(SGM)이 있다. 하지만, SGM은 많은 수의 사용자들에게 지원이 어렵고 새로운 헤더가 추가되어야 하는 부담이 있으며, SSM은 <송신자 주소, 그룹 주소>의 쌍으로 멀티캐스트 세션을 식별하게 하여 기존 ASM의 주소 할당 문제를 해결하였으나 경로 상의 모든 라우터에서 <송신자 주소, 그룹 주소> 별로 멀티캐스트 세션 정보를 유지해야 하는 측면에서 확장성의 문제점이 있다. 본 논문은 멀티캐스트 지원을 위하여 인터넷의 계층적인 구조를 이용하여 SSM을 확장한 멀티캐스트 지원 방안을 제안한다. 제안된 메커니즘은 확장성 문제를 해결하기 위하여 송신자로부터 칵 도해인의 경계 라우터까지 터널링 메커니즘을 도입하고 도메인 내에서는 다양한 멀티캐스트 제공 메커니즘을 지원한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2002.05a
• /
• pp.435-441
• /
• 2002

전력시스템 등, 산업 전반의 많은 분야에 최적화 문제가 산재해 있다. 또한 이러한 최적화 문제를 해결하기 위한 많은 연구가 있었다. 특정 응용에 국한되지 않고 모든 응용에 적용 가능한 메타휴리스틱 알고리즘은 그 중 많은 비중을 차지하고 있으며, 가장 대표적인 방법은 유전알고리즘과 타부 탐색이다. 그러나 최적화 문제에 속하는 많은 문제들이 탐색공간이 방대하고 많은 제약이 존재하는 대규모 최적화 문제로서 기존의 메타휴리스틱 기법들을 그대로 이용해서는 빠른 시간 내에 최적의 해를 찾아내기 힘들다 본 논문에서는 대규모 최적화 문제의 하나인 발전기 기동정지 계획 문제를 해결하기 위하여 유전알고리즘과 타부탐색을 적용하고 그 성능을 분석한다. 그리고 각 방법을 병렬화하여 수행함으로써 병렬화를 통하여 시간상의 이득과 함께 부가 효과로서 집중화와 다각화의 효과를 얻을 수 있음을 보여준다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.9
• /
• pp.1215-1222
• /
• 2002

This study is design and implementation of XML-based Item Bank System. This system can apply the student with effective assessment by creating, searching and providing of educational problems using XML. In order to supply standard problems to student, first, we analyzed the standard types of various problems and designed these types with XML DTD. Second, we extracted math problem in the elementary school by applying these standard types. Third, we constructed the Item Bank System using relational Data Base and XML parser. The result of system applying, proposed system could offer the student the standard problems at on-line environment. Therefore we shown to be applied educational assessment and integrated non-standard problems effectively.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2009.01a
• /
• pp.395-400
• /
• 2009

전자문서를 대상으로 하는 다양한 보안 기술들이 연구 제시되고 있으나, 키 관리에 대한 어려움과 암호 알고리즘의 무거운 특성으로 안전성과 효율성의 반비례 관계가 발생하고 있다. 본 연구의 목적은 위와 같은 문제를 해결하기 위해 전자문서 암호 시스템에 적용 가능한 제안하는 RRM 기법을 응용하여 키 관리 방안에 적용함으로써 효율적인 암호화 과정을 수행하여 전자문서 보호 문제를 개선하는 것이다. 이를 위하여 난수정보에 규칙성을 부여함으로써 키 생성에 대한 이려움을 극복하고 키 테이블과 키셋 정보를 통해 키 관리 문제를 해결하며, 키셋 정보를 통해 복호화를 위한 연산 수행속도를 빠르게 진행할 수 있는 개선된 전자문서 암호화 시스템 수행을 위한 키 관리 방안을 제안한다. 제안하는 키 관리 방안을 통해 키 생성 연관성 문제를 해결함으로써 키 노출문제에 대한 안정성과 단순한 암복호화 과정에 비해 동일한 복잡도와 수행시간을 갖는 연산 기법을 이용하여 효율성을 높였으며, 전자 문서를 암호화 수행 후 관리를 함으로써 유출문제에 대한 문제도 해결할 수 있다.

• Korean Journal of Logic
• /
• v.2
• /
• pp.7-33
• /
• 1998

최근 에체멘디는 초과생성과 미달생성의 문제를 들어 타르스키의 모델이론적 논리적 귀결의 정의의 외연적 적합성을 공격하였다. 그러한 공격의 기저에는 우연성 문제가 도사리고 있다고 보이고, 실질적으로 타르스키류의 정의를 적용함에 있이 무만 공리를 통해 논리외적 요소기 개입할 위험이 있다는 것이 그의 근본적 가정이라 생각된다. 이 글에서는 무한 공리가 논리적 진리일 기능성을 조심스레 타진이고, 논리상항과 비논리상항을 기리는 문제가 에체멘디가 생각하듯 신화가 아니라 논리적인 것과 논리외적인 것을 구별하는 문제와 동일한, 진정한 철학적 문제임을 보이는 데 노력한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.209-213
• /
• 1998

Job-Shop Scheduling 문제는 전형적인 NP-hard 문제로서 효율적인 발견적 기법을 필요로 한다. 본 연구에서는 이 문제에 대한 유전알고리즘들의 성능을 비교 분석한다. 유전 알고리즘의 주요 구성 요소들로는 크게 선별, 교차, 돌연변이 등이 존재하는데, 특히 선별은 적자 생존의 자연 법칙에 기초하여, 환경에 대한 적응도에 의해 현 세대의 모집단으로부터 다음 세대에 생존할 개체를 선택하는 과정으로 해의 산출에 중요한 역할을 하는 부분이다. 기존의 많은 연구들이 유전 연산자인 교차, 돌연변이 방법들에 대한 성능 비교에 초점을 맞추었는데, 본 연구에서는 선별 과정에 초점을 맞추어 기존의 알려진 여러 선별 방법 들을Job-Shop Scheduling 문제에의 적용을 통해 비교 분석하고 새로운 선별 방법을 제안한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.129-136
• /
• 2003

설비입지문제는 고객에게 좋은 서비스를 제공하면서 전체 비용을 최소화하는 의사결정을 요구한다. 본 논문은 제한된 총 투자 비용 하에서 최대의 서비스 수준을 달성하기 위하여 고정비를 가지는 설비의 입지를 결정하는 문제에 관한 것이다. 이 문제에 대해 수리 모형을 제시하고, 라그랑지안 기법을 이용한 발견적 기법을 통하여 해를 구하였다. 문제의 상한(Upper Bound)은 서브그래디언트(Subgradient) 최적화 기법을 사용하여 구하였고, 하한(Lower Bound)을 구하기 위하여 커팅(Cutting) 알고리즘이라는 새로운 기법을 개발하여 적용하였다. 임의로 생성된 데이터를 이용하여 비용과 커버 가능거리라는 두 가지 관점에서 실험을 하고 제안된 알고리즘의 성능을 비교 분석하였다.