• 인터넷정보학회논문지
• /
• 제4권1호
• /
• pp.75-86
• /
• 2003

본 논문에서는 역할기반 접근제어 정책을 지원할 수 있도록 관리객체 클래스 계층구조를 확장하였다. 또한, 관리 프로세스에 의해 설정되어지는 접근제어 규칙을 정적인 시간속성 외에 관리 정보에 대한 접근 권한을 수행하는 동적인 시간지원 기능을 갖는 선행조건에 관련된 제약사항 그리고 제약사항에 위배되었을 경우 관리자에게 보고되어야 할 위반 통지에 대해 기술하였다. 그리고 망관리 정보베이스에 대해 동적 시간지원 제약사항과 역할기반 접근제어 정책을 지원하는 시스템 구조를 제시하였다. 이 시스템에서는 BDL에 기반하여 접근제어의 집행과 결정함수에 관련된 모듈과 제약사항 그리고 각 역할들의 활성화 전이과정을 기술하므로써 동적 특성을 체계적이고 명확하게 표현하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.370-383
• /
• 2000

이 논문에서는 명세에 변경이 가해진 후에 병행 프로그램을 재검증하기 위해 사용하는 명세기반 회귀 테스팅이라는 새로운 기법에 대해 논의한다. 이러한 형태의 회귀 테스팅은 이벤트에 대해 선후 관계를 기술하는 순서 제약조건을 필요로 한다. 순서 제약조건을 자동으로 추출하기 위해서 우리는 메시지 순차도(MSC)를 사용한다. 메시지 순차 도를 통해 부분적이고 비결정적인 명세를 작성할 수 있다. 회귀 테스팅의 비용을 줄이기 위하여 처음부터 새로운 순서 제약조건을 생성하기보다는 명세에 가해진 변경에 의해 영향받는 순서 제약조건을 어떻게 파악하는 가에 대해 기술한다. 또한 각각의 영향받는 순서 제약조건들이 테스팅 될 프로그램에 의해 만족되는 가를 결정하는 방법에 대해서도 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.34-36
• /
• 2001

상위 수준 합성 과정에서 스케줄링은 하드웨어 동작을 표현한 연산들이 주어진 제약 조건을 만족하며 최적의 제어단계에 배정되도록 하는 과정이며 스케줄 결과는 목적 하드웨어의 면적과 실행속도에 많은 영향을 준다. 파이프 라인은 순차적인 데이터 입력을 중첩 수행하여 실행 속도와 자원 이용률을 동시에 증가시키는 방법이다. 상위 수준에서 파이프라인 데이터 패스를 합성하기 위한 기존의 스케줄링 알고리즘들은 고정된 데이터 입력 간 격열을 기반으로 제안된 것이 대부분이며, 가변 데이터 입력 간격을 지원하는 스케줄링 알고리즘으로는 시간 제약 하의 자원최소화 알고리즘[5]이 제안되었다. 본 논문에서는 가변데이터 입력 간격을 지원하는 자원 제약하의 실행 시간 최소화 알고리즘을 제안한다. 이를 위해 연산의 스테이지 인덱스가 초기에 고정되는 시간제약하의 스케줄링 알고리즘[5]을 응용하여 자원제약하의 스케줄 진행과정에서 증가되는 제어단계에 따라 스테이지 인덱스가 변경 될 수 있도록 하고 점진적인 모빌리티 축소에 의해 스케줄한다. 제안된 스케줄링 알고리즘의 실험 결과는 다양한 자원제약과 입력 간격렬에 대하여 제약조건을 만족하는 효과적인 스케줄 결과를 유도한다.

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

본 논문은 isophote 제약조건을 사용한 유전자 알고리즘(Genetic Algorithms) 기반의 효율적인 오류 은닉 방법을 제안한다. 제안된 방법은 먼저 오류 블록을 경계선 정합 알고리즘(Boundary Matching Algorithm)을 사용하여 오류 블록의 주변과 가장 유사한 블록을 이전 프레임에서 찾아 교체한 후, isophote를 제약조건으로 가진 유전자 알고리즘을 사용하여 교체된 오류 블록을 재구성하는 것이다. Isophote들은 영상에서 일정한 밝기 값을 가지는 곡선들로, 본 논문에서는 비디오 통신 시 화질을 개선하기 위해, 전송 오류에 의한 끊어진 isophote들을 부드럽게 연결한다. 끊어진 isophote들을 연결하기 위해, isophote를 제약조건으로 가진 적합도 함수를 최소화하는 픽셀 값을 유전자 알고리즘을 사용하여 추정하고, 그 값을 isephote 방향으로 투영한다. 실험 결과, 제안된 방법이 다른 오류 은닉 방법 보다 좀 더 화질을 개선시킬 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.286-289
• /
• 2011

제약을 갖는 부분 관찰 의사결정 과정(Constrained Partially Observable Markov Decision Process; CPOMDP)는 정책이 제약(constraint)를 만족하면서 가치 함수를 최적화하도록 일반적인 부분 관찰 의사결정과정(POMDP)을 확장한 모델이다. CPOMDP는 제한된 자원을 가지거나 여러 개의 목적 함수를 가지는 문제를 자연스럽게 모델링할 수 있기 때문에 일반적인 POMDP에 비해 더 실용적인 장점을 가진다. 본 논문에서는 CPOMDP의 확률적 최적 정책 및 근사 최적 정책을 계산할 수 있는 최적 및 근사 동적 프로그래밍 알고리즘을 제안한다. 최적 알고리즘은 동적 프로그래밍의 각 단계마다 미니맥스 이차 제약 계획 문제를 계산해야 하는 반면에 근사 알고리즘은 선형 계획 문제만을 필요로 하는 점-기반(point-based) 가치 업데이트를 이용한다. 실험 결과, 확률적 정책이 결정적(deterministic) 정책보다 더 나은 성능을 보이며, 근사 알고리즘을 통해 계산 시간을 줄일 수 있음을 보였다.

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

최근 수많은 정보를 통해서 증명 되듯이 비즈니스 프로세스 관리(Business Process Management, BPM)는 기업의 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리는 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고 하기위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 핵심적인 정보시스템 역할을 수행하는 워크플로우(Workflow)에서의 스케줄링은 정확한 업무 순서를 명세하기 위한 시간적인 제약들에 집중되어 있다. 워크플로우와 BPM과 같은 비즈니스 프로세스에서의 또 하나의 중요한 측면은 자원할당관리이다. 현재 대부분 다양한 자원들을 모델링하는데 초점을 맞추어 왔으며 자원들과 연관된 제약에서의 스케줄링에 대한 관심은 많지 않은 편이었다. 본 논문에서는 First Order Logic 기반의 CTR(Concurrent Transaction Logic)을 이용하여 각 비즈니스 프로세스 스케줄링을 위한 자원할당에 따른 제약들을 논리적인 모형으로 구체화하고, 모형에 필요한 변환 규칙을 소개하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
• /
• pp.280-282
• /
• 2001

MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다[1-2]. 그러므로 MPEG-4 컨텐츠를 생성할 때, 사용자 이벤트에 의하여 변화하는 시간 관계의 저작은 중요하다. 본 논문에서는 사용자 상호작용에 의하여 멀티미디어 객체간 시간 관계와 재생 시간, 재생 순서가 변화하는 시간 제약 모델을 제안한다. 그리고, 사용자 상호작용 지원 시간 제약 모델에 기반 한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio를 제안한다. MPEG-4 Studio는 동적인 시간 관계를 지원하기 위하여 시간 관계 설정 GUI와 시간 관계 설정에 대한 제약 조건 검사, 시간 관계 정보에 대한 BIFS 변환을 제공하여 동적 시간 관계 정보를 포함한 MPEG-4 컨텐츠를 생성한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2012년도 제45차 동계학술발표논문집 20권1호
• /
• pp.51-54
• /
• 2012

전 세계적으로 유통되고 있는 가짜의약품으로 인하여 제약사들은 판매수익과 기업브랜드 이미지에 큰 피해를 입고 있으며 가짜 의약품을 복용한 소비자들은 생명에 위협을 받고 있는 실정이다. 이러한 가짜의약품의 유통을 근절시키기 위하여 세계 각국에서는 의약품의 생산에서부터 소비자에게 판매될 때까지, 즉 의약품 유통과정을 추적하여 가시성있는 이력관리를 할 수 있도록 RFID 및 barcode 등 IT기반의 e-Pedigree(electronic pedigree)를 법제화시키고 있지만 구체적이고 실질적인 구축방법이 제시되지 못하고 있다. 따라서 본 연구는 국내 제약산업의 유통합리화와 소비자 안전성을 제고시키기 위하여 RFID 기반의e-Pedigree 적용방안을 제시하는데 그 목적이 있고 더 나아가 세계 각 국가의 e-Pedigree 구축을 위한 참조모델 개발에 일조하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.167-169
• /
• 1998

지금까지의 지리정보시스템에서는 시스템 구축관점에서의 공간 객체의 모델링, 공간 객체의 효율적인 저장방법, 인덱싱 방법 등이 중요한 연구 과제였으나 지리정보 시스템 관련 기술의 발달과 활용분야가 다양해짐에 따라 공간 데이터의 정확성에 대한 연구가 더욱더 중요시되고 있다. 본 논문에서는 지리 정보 시스템에서 위상 객체들간에 만족해야 하는 위상적 무결성 제약조건의 정의 과정을 보이고, 이러한 위상적 무결성 제약조건을 관리하기 위한 시스템을 설계한다.

• KEPCO Journal on Electric Power and Energy
• /
• 제7권1호
• /
• pp.45-50
• /
• 2021

우리나라 서해안 및 동해안지역에는 대규모 발전단지가 집중되어 운영 중이며 이 발전단지들의 발전력을 송전하고 있는 765kV 송전선로 2 회선 고장이 발생하는 경우 송전선로의 용량부족으로 인해서 수 GW 규모의 발전력을 불시에 탈락시키도록 보호체계(SPS, Special Protection System)가 운영 중이다. 이 SPS 가 동작하여 대규모 공급능력이 불시에 상실되면 급격한 주파수 하락이 발생하게 되어 저주파수계전기(Under Frequency Relay, UFR)가 동작할 수 있기 때문에 SPS 탈락 발전기의 출력을 상시에 감소시키는 제약비발전(Constraint off)을 시행하고 있다. 이 제약비발전으로 인해 매년 수천억원의 제약비용이 발생하고 있기 때문에 제약을 완화시키기 위한 방안으로 배터리 에너지저장장치(BESS)를 적용하는 사업이 추진되고 있다. 이는 "발전제약완화 에너지저장장치(이하 발전제약완화용 ESS) 사업"으로 불리며 전국 19 개 변전소에 총 1.4GW(2C-Rate)의 에너지저장장치가 설치되는 국내 최대규모의 BESS 사업이다. 향후 송전망 확충에 의해서 발전제약이 해소되는 경우 주파수 조정용, 재생에너지 변동성 완화용 등의 다목적 ESS 로 활용될 계획이다. 본 보고서에서는 발전제약완화 ESS 사업의 기술적 효과를 실효치 기반의 시뮬레이션(PSS/E v33.3)을 통해서 검토하였다.