• Communications for Statistical Applications and Methods
• /
• v.4 no.2
• /
• pp.393-401
• /
• 1997

블록화한 $2^{n-k}$부분실시법에서 총 실헙횟수를 32회로 고정할때, 요인수가 ${6\leqq}n{\leqq10}$인 경우 가능한 모든 요인들간의 조합에 대해서 독립 생성자와 블록생성자를 구하고 이들 각 요인과 블록생성자로 구성된 디자인의 단어길이구조를 구하였다. 그리고 최소길이 방법으로 구한 최적의 부분실디자인을 Soren(1994a)의 방법에 따라 블록화하였다. Brownlee등(1948)의 최소길이 성질을 블록화한 부분실디자인에 확장시키고, 블록화한 부분실디자인은 확장된 최소길이 성질을 만족하는 최적의 디자인임을 보였다.

• Fiber Technology and Industry
• /
• v.8 no.1
• /
• pp.24-29
• /
• 2004

인간에 대한 최초의 인공 환경이라는 의복은 인간의 신체와 외부 환경 사이에 하나의 막으로서 외부의 환경으로부터 신체를 보호하는 역할을 한다. 또한 의복은 인간 신체 일부가 확장된 (augmented) 형태로서의 기능도 수행하게 된다. 즉 의복은 인간의 확장된 신체로서 인간과 항상 같이 있게 된다. 최근에 각 개인이 원하면 언제라도 컴퓨터를 사용할 수 있도록 하기 위하여 입을 수 있는 (wearable) 형태의 착용형 컴퓨터가(wearable computer)등장한 것도 컴퓨터가 의복과 마찬가지로 인간과 항상 같이 있다는 점이 강조된 것이라 할 것이다.(중략)

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• pp.402-405
• /
• 2003

본 논문은 인터넷에서 실시간 서비스를 효과적으로 지원하면서도 망의 확장성을 제공하는 방법을 제안하였다. 이를 위해 코어노드에서 각 플로우의 상태 정보를 관리하지 않는 SCORE (Scalable CORE) 네트워크 모델 [1]과 종단간 딜레이 보장이 우수한 QoS (Qualify of Service) 스케줄링 방법중 하나인 WF²Q+ (Worst-case Fair weight Fair Queuing+) [2]에 대해서 기술하고 구현하였다. 이러한 개념을 바탕으로 새로운 망의 구조를 제안하였으며 시뮬레이션을 통한 성능분석을 수행하였다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.209-218
• /
• 2002

보안의 형식검증은 시스템의 초기 상태를 정의하고 트랜잭션을 통해 그 상태를 추적하며 보안을 위해 각 상태를 체크하는 과정이다. 보안 증명이 잘못될 수 있는 경우는 시스템의 초기상태를 정의할 때와 상태가 안전하기 위한 조건을 정의할 때인데, 본 논문에서는 상태 트랜잭션을 위해 BAN 논리를 이용하여 대표적인 지불프로토콜인 NetBill 프로토콜에 대한 형식기법을 제안하였으며, 보안 프로토콜의 증명을 위해 BAN 논리의 확장을 제시했다. 이러한 확장된 연구결과는 원자성, 익명성 및 프라이버시와 같은 다른 중요한 보안의 특성을 증명하기 위해 이용될 수 있다.

• Journal of Intelligence and Information Systems
• /
• v.3 no.2
• /
• pp.23-32
• /
• 1997

본 논문에서는 정성적 공간 표현 방식과 물체의 운동에 대한 추론 방식에 제시되었다. 기존의 정성적 벡터 표현 방식은 각도 개념을 추가하여 확장되었으며, 이에 따라 방향의 계산을 위해 필요한 정성적 벡터 연산도 확장되었다. 또한 회전운동에 의한 각도의 변화를 분석하는 추론 방식도 기술되었다. 운동에 대한 정성적 추론의 기본 아이디어는 공간에서의 위치와 운동을 상대적인 개념으로 표현하는 것이다. 이와같이 제안된 이론은 장치의 분석에 사용되어 주어진 연동 장치의 거동을 정확히 예측 할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.172-174
• /
• 2003

통신기술과 인터넷의 급속한 발달로 Napster와 Gnutella와 같은 P2P시스템이 등장하였다. P2P시스템은 피어간의 정보와 데이터를 직접 공유하는데 널리 이용되고 있다 MagicSquare는 동적인 (Dynamic) 환경에서 작동할 수 있도록 설계한 P2P 프로토콜이다. MagicSquare는 피어의 컴퓨팅 능력을 고려하기 때문에 각 피어에 대한 자원의 낭비를 최소화할 수 있지만. P2P 네트워크에 참여하는 피어의 물리적인 특성은 고려하지 않았다. 본 논문에서는 피어의 저장 공간의 크기, 사용할 수 있는 네트워크 대역폭, 피어가 가지는 특징을 고려하여 MagicSquare을 확장한다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.53 no.3
• /
• pp.12-16
• /
• 2016

• ICROS
• /
• v.2 no.1
• /
• pp.85-92
• /
• 1996

본 고에서는 화학공정의 전산제어시스템의 계층별 제어구조와 함께 각 계층별 제어기술에 해당하는 시스템 하드웨어를 분산제어시스템의 확장성을 중심으로 소개하고자 한다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.35 no.9
• /
• pp.903-913
• /
• 2011

A numerical study is carried out to analyze the steady three-dimensional turbulent flow through cylindrical and fan-shaped holes and the film cooling of these holes at low and high blowing ratios. Compressible Reynoldsaveraged Navier-Stokes equations and the energy equation are solved using a finite-volume-based solver, and a shearstress transport model is used as the turbulence closure. The effects of the compound angle, pitch to diameter ratio, and lateral expansion angle of the hole on the film-cooling effectiveness are evaluated by the film-cooling effectiveness. It is observed that the compound angle of the hole enhances the film performance for the cylindrical hole, and a small hole pitch induces interactions between the coolants from the adjacent holes, thus reducing the film-cooling performance.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.12
• /
• pp.1207-1215
• /
• 2013

This paper proposes the location estimation techniques of distributed targets with the multi-sensor data perceived through IR sensors of the military robots in consideration of obstacles. In order to match up targets with measured azimuths, to add to the depth-first search (DFS) algorithms in free-obstacle environment, we suggest the expanded DFS (EDS) algorithm including bypass path search, partial path search, middle level ending, and the supplementation of decision metric. After matching up targets with azimuths, we estimate the coordinate of each target by obtaining the intersection point of the azimuths with the least square error (LSE) algorithm. The experimental results show the error rate of estimated location, mean number of calculating nodes, and mean distance between real coordinates and estimated coordinates of the proposed algorithms.