• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.25-27
• /
• 2001

컴퓨터와 통신 기술의 급소간 발전으로 이동 매체를 통한 정보 서비스 요구가 급증하고 있다. 이 중에서 이동 매체를 통한 전자 지도 서비스는 전송 정보의 용량이 크고 출력 장치의 resource를 많이 요구하기 때문에 이를 극복하기 위한 연구가 필요하다. 이 논문에서는 무선 지도 서비스 환경의 bandwidth 제약 조건과 resource 제약 조건을 새로이 정의하고 이를 해결하는 동적 약도 생성 기법을 소개한다. 본 논문은 resource 제약 조건을 해결하기 위해 지도 정확성의 기준을 완화하여 재 정의한 generalization 기법을 도입하며, bandwidth 제약 조건을 해결하기 위해 설정된 threshold 값을 만족하는 filtering 기법을 제안 및 설계 구현한다.

• 지능정보연구
• /
• 제3권2호
• /
• pp.71-82
• /
• 1997

이 연구의 모형은, 자원(기계, 인력), 주문(작업)의 의미를 확정한 "일반화된 job-shop"이다. 이 모형의 제약조건을 파악한 후, 불확정 제약조건의 표현과 추론방법을 연구하였으며, 이를 위하여 일정계획 수립 기능들을 모듈화하였다. 불확정제약조건에 따라 모듈들을 선택적으로 사용하기 위한 추론 과정은, 먼저, 납기만족이 우선이며 제약만족(CSP) 일정계획 모듈을 사용하고 그렇지 않으면 디스패칭 모듈을 사용한다. 그리하여, 납기, 작업시간의 불확정성과 자원의 변동, 새 주문의 추가, 일정계획 목표의 변경등을 반영하는 일정계획 수립방법을 제시하였다. 이 논문은 제약만족 일정계획과 디스패칭 일정계획을 하나의 틀에서 함께 사용함으로써, 일정계획 목표의 변경이나 제조환경이 변화에 대처할 수 있음을 보인다.수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.274-276
• /
• 2005

본 논문에서는 단백질 상호작용 네트워크의 복잡성을 제어하고 생물학자가 자신이 설정한 조건을 만족시키는 환경에서 추가적인 다양한 제약 조건을 가하면서 원하는 상호작용 네트워크를 구성하고 조작할 수 있도록 지원하는 Constraints Based Dynamic Protein Interaction Network 이라는 새로운 개념의 단백질 상호작용 네트워크를 소개한다. 본 기법에서는 기존의 단백질 상호작용 네트워크에서 주로 사용하는 단백질 상호작용 정보뿐 아니라 단백질 상호작용에 영향을 미칠 수 있는 개개 단백질의 물리 화학적 특성 및 위치 정보와 상호작용의 환경 정보도 단백질 상호작용 네트워크 구성에 활용한다. 제안된 네트워크상에서 생물학자는 단백질 상호작용 네트워크 구성 조건을 변경하거나 얻어진 네트워크에 변경을 가하면서 점차 자신이 원하는 의미 일은 대사경로 모델을 찾거나, 제약조건의 다양한 조작을 통하여 생물학적 실험을 통하여 얻어진 대사모델의 유효성을 검증하는 것도 가능하다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.269-272
• /
• 2004

비즈니스 프로세스 관리(BPM)는 프로세스의 모델링, 분석, 실행에 이르는 비즈니스 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로, 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고하기 위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 개념을 도입함으로써 기업들은 조직의 프로세스를 능동적이고 빠르게 (재)설계하고 수행할 수 있으며, 기업간 M&A 및 전략적 제휴를 효율적으로 수행할 수 있다. 기업간 협업이 이루어지기 위해서는 그들 간의 프로세스의 교류 및 통합이 필수적이다. 통합의 한 수단으로 여러 프로세스에 관련된 Data들을 Rule의 형태로 표현하여 관리할 수 있다. 본 연구에서는 워크플로, BPMS 등의 환경에서 비즈니스 Rule을 포함하는 비즈니스 프로세스 수행시에 관리해야 할 제약조건을 통합 관리할 수 있는 방법론을 제시한다. 비즈니스 프로세스를 수행하면서 체크해야 할 제약조건들을 규명한후 이들을 표현할 수 있는 프로세스 기반의 트리거 모델을 제시한다. 또한 본 방법론의 실현 가능성을 보여주기 위해 예제와 함께 프로토타입 시스템을 구현하였고 Performance 측면에서는 제한적이기는 하지만 DB에 기반한 제약조건 관리방법과의 비교를 통해서 본 연구에서 제안하고 있는 방법의 우수성을 보여준다. 본 연구에서 제안하는 방법론은 Workflow 및 BPMS와 같은 프로세스 관리 시스템에서 통합의 수단으로 사용되고 있는 EAI 등을 보완해 줄수 있는 툴로써 활용가능하리라 기대된다.

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

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

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.507-521
• /
• 2000

실시간 멀티미디어 서비스에서 Quality of Service(QoS) 보장의 필요성이 증가하고 있다. 멀티미디어 서비스 제공 형태의 대다수가 될 멀티캐스트 경로설정에서도 QoS 보장은 확장성 신뢰성과 함께 매우 중요한 문제이다. QoS 기반 코어 선택 알고리즘을 제안한다. 제안 알고리즈믄 멀티캐스트 경로설정에서 코어 선택시에 다중 QoS 제약조건을 고려한다. QoS 제약조건은 최소보장 대역폭, 종단 지연, 종단 지연변이 등으로 정의한다. 모의 실험결과는 제안한 QCSA와 Maximum Centered Tree(MCT) Average Centered Tree (ACT) Initial Delay-Constrained Shared Tree(Dcinitial) Random Tree(Random)등의 기존 코어 선택 알고리즘의 성능을 각 항목별로 비교한다 멀티캐스트 그룹 멤버수와 QoS 제약조건을 인자로 한 모의 실험 결과는 제안한 QoS 기반 코어 선택 알고리즘이 기존 코어 선택 알고리즘에 비해서 다중 QoS 제약조건 보장 코어 선택 성공률에서 성능 개선 효과를 가짐을 보여준다. 제안 알고리즘이 본 논문에서 설정한 모의 실험 환경에서는 QoS 기반 코어 선택의 정도를 나타내는 성공률에서 약 10% 정도 기존 알고리즘보다 우수함을 보인다. 이 결과는 제안 알고리즘이 코어 선택 과정의 초기부터 멀티캐스트 그룹내의 모든 멤버에 대한 다중 QoS 제약조건을 고려하는 점이 QoS 기반 코어 선택에서 개선 효과를 나타냄을 보여준다.

• 대한공업교육학회지
• /
• 제33권2호
• /
• pp.232-247
• /
• 2008

최근 기업들은 B2B EC와 같은 웹 기반 분산 환경에서 적기 협력을 필요로 한다. 특히 시간 제약을 필요로 하는 긴급 협조 요청이나 긴급 메시지는 즉시 처리 하여야 한다. 본 논문에서는 웹 기반 분산 시스템 환경에서 기업사이의 적기 협력을 위한 시간 제약 조건을 사건, 데이터, 행위 관점에서 분석하였고, 시스템 설계자들이 시간 제약 조건과 이의 위반에 관련된 적기 협력 방안을 적절히 표현할 수 있는 ECA 규칙 프로그래밍 기법을 제안한다. 그리고 웹 기반 능동 기능 컴포넌트를 이용하여 프로토타입을 구현하였다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 1부
• /
• pp.89-95
• /
• 2007

본 논문에서는 연속적 충돌검사 방법과 제약 조건 기반의 강체 역학 모델링 기법을 이용하여 마커 기반의 트래킹 환경에서 현실의 객체와 가상의 객체가 물리적으로 현실적이고 안정적으로 상호작용하는 증강현실 방법을 제안한다. 본 논문에서 구현된 증강 현실 시스템은 증강 현실환경상의 현실 객체를 인식하고 트래킹 하는 부분과 증강현실에 등장하는 모든 종류의 객체들 간의 물리적인 상호작용을 시뮬레이션 하는 부분으로 크게 구성된다. 객체 트래킹에 사용되는 일반적인 카메라로는 적은 수의 불연속적인 프레임 밖에 얻을 수 없는 성능의 근본적인 한계에도 불구하고, 본 논문에서는 연속적 충돌검사 방법을 이용하여 객체간의 올바른 충돌 정보를 얻을 수 있었고, 이를 이용하여 제약 조건 기반의 강체 역학 시뮬레이션을 적용하여 안정적이고 현실적인 물리 반응을 생성할 수 있었다. 제안한 방법론은 이러한 트래킹 지연에도 불구하고 본 논문에서 사용된 다양한 벤치마킹 시나리오에서, 안정적으로 현실의 객체와 가상의 객체 사이에 물리적으로 실감나는 인터랙션 결과를 보여주었다.

• 대한전기학회논문지:전력기술부문A
• /
• 제51권11호
• /
• pp.551-558
• /
• 2002

This paper describes an optimal power flow algorithm considering environmental constraints. In this algorithm, we use the costate method, concepts of fictitious generator, variable reduction and effective constraint for the effective linear programming application. Especially we consider environmental constraints. The proposed method is applied to IEEE RTS-30 model system, 24 and 96 Reliability Test Systems and the results shows the effectiveness of the method.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.191-198
• /
• 2006

다양한 환경 속에서 기업이 업무의 효율성과 효과적인 업무처리를 해결하기 위해서 핵심정보시스템으로 워크플로우를 도입하고 있다. 최근에는 워크플로우 확장으로 비즈니스 프로세스 관리(BPM: Business Process Management)가 기업 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리에서 워크플로우는 핵심적인 역할을 수행하고 있지만, 워크플로우 연구의 대부분은 복잡한 업무의 정확한 실행 순서를 찾기 위한 시간적인 제약들에 집중되어 있다. 그런 이유에서 워크플로우 스케줄링의 대부분은 처리해야 할 다양한 자원의 모델링에 집중되었으며, 자원과 연관된 제약조건에서의 워크플로우 스케줄링에 대한 관심은 미흡한 편이다. 본 논문에서는 자원할당 제약조건에 따른 워크플로우 스케줄링에 적합한 CTR(Concurrent Transaction Logic) 기반의 변형 템플릿(Transformation Template)과 논리적 프레임워크를 제안한다. 변형 템플릿은 워크플로우 변형 템플릿(Workflow Transformation Template)과 제약조건 변형 템플릿(Constraint Transformation Template)으로 구성된다. 이 변형 템플릿은 기존의 워크플로우를 자원할당 제약조건 하에서 새로운 워크플로우를 논리적으로 표현하는데 용이하게 사용할 수가 있다.