• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2014년도 제26회 한글 및 한국어 정보처리 학술대회
• /
• pp.81-86
• /
• 2014

한국어 의존 파싱은 문장 내 단어의 지배소를 찾음으로써 문장의 구조적 중의성을 해소하는 작업이다. 지배소 후위 원칙은 단어의 지배소는 자기 자신보다 뒤에 위치한다는 원리로, 한국어 구문분석을 위하여 널리 사용되는 원리이다. 본 연구에서는 한국어 지배소 후위 원리를 의존 파싱을 위한 트랜지션 시스템의 제약 조건으로 적용하여 2가지 트랜지션 시스템을 제안한다. 제안 모델은 기존 트랜지션 시스템 중 널리 사용되는 arc-standard와 arc-eager 알고리즘에 지배소 후위 제약을 적용한 포워드(forward) 기반 트랜지션 시스템과, 트랜지션 시스템의 단점인 에러 전파(error propagation)를 완화시키기 위하여 arc-eager 알고리즘의 lazy-reduce 방식을 적용한 백워드(backward) 기반 트랜지션 시스템이다. 실험은 세종 구구조 말뭉치를 의존구조로 변환하여 실험하였고, 실험 결과 백워드 기반 트랜지션 시스템이 포워드 방식보다 우수한 성능을 보였다. 기존 연구와의 비교를 위하여 기존 연구를 조사하였지만 세부 실험 환경이 서로 달라서 직접적인 비교는 어려웠다. 제안하는 시스템의 최고 성능은 UAS 92.85%, LAS 90.82% 이다.

• 에너지공학
• /
• 제23권4호
• /
• pp.150-159
• /
• 2014

2020년을 목표로 한 국내 중기 온실가스 감축목표가 2009년에 발표된 이후 다양한 온실가스 방안들이 제시되고 있다. 장기적인 온실가스 감축 정책들을 체계적으로 평가하기 위해 대부분의 국가에서는 상향식 모형 또는 하향식 모형이 이용이 되고 있다. 본 연구에서는 상향식 모형의 일반적인 현황 및 적용방안에 대해서 알아보고, 또한 가장 많이 사용되는 LP를 이용한 상향식 모형에 대한 이론적 고찰을 수행하였다. 특히 새롭게 제시된 단순화된 LP 정식화를 제시하기 위해, 의사결정변수 분석, 목적함수에 대한 분석, 기본적인 제약식인 흐름보존제약 및 용량제약에 대한 보다 간결한 정식화를 제시하고 있으며, 다양한 시나리오나 정책의 효과를 LP에 포함시킬 수 있도록 선형제약식을 만드는 방법도 제시하고 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2015년도 제46회 하계학술대회
• /
• pp.163-164
• /
• 2015

LNG복합발전은 수요지 인근에 건설이 가능한 장점이 있어 수도권 인근 발전소 중 상당한 부분을 차지하고 있다. 이러한 LNG 복합발전은 수도권 부하비율 감소에 따라 발전량이 줄어들게 된다. 2018년 계통데이터를 기반으로 수도권의 부하수준이 70%까지 떨어졌을 때, 거의 모든 수도권 복합발전이 정지함을 확인할 수 있다. 이 때, 신가평과 강원을 잇는 765kV급 융통선로의 2회선 상정사고 발생 시 수도권 무효전력 공급원이 줄어들어 전압이 불안정해진다. 이와 같은 상정사고를 대비해 수도권 복합발전 중 일부는 제약운전을 시행해야 한다. 본 논문에서는 제약운전을 하는 수도권 LNG복합발전의 발전량을 대체할 수 있는 대안으로 적절한 위치에 FACTS설비를 투입하고자 한다. FACTS설비를 효율적으로 운전시키기 위해 LNG복합발전의 발전량 감소에 따른 전압변화에 대해 Tangent Vector Component가 가장 큰 수도권 345kV 모선을 선정해 STATCOM을 투입하고 그 결과를 확인한다. 이를 확인하기 위한 방안으로 제약운전을 하는 복합발전의 발전량을 감소시키고 관찰하고자 하는 모선과 거리가 먼 비수도권 발전량을 증가시켜 수급을 맞춘 뒤 전압의 변화를 관찰한다. 이 때, 하나의 계통을 2개의 지역으로 구역화하여 전압을 확인할 수 있는 F-V 해석을 이용한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 추계종합학술대회
• /
• pp.887-890
• /
• 2007

상권 내에 존재하는 여러 개의 주차장을 통합 관리하는 시스템에서는 주차장의 실시간 현황 및 접근 경로를 변화 등과 같은 다양한 실시간 제약 조건을 고려한 최근접 주차장에 대한 경로 안내가 필요하다. 이 논문에서는 실시간 제약 조건을 고려한 통합 주차관제 시스템의 최적 경로 탐색 기법을 제안 하고자 한다. 구체적으로 고객이 지정한 주차장의 여러 가지 상황(주차거부, 휴업, 공사 중, 도로 통행 금지 등)을 고려한 인접 지역의 경로 재탐색 방법을 상황별로 알아보고, 각 상황에 맞는 최적의 주차장 접근 경로 탐색 기법을 자세히 다룬다.

• 한국컴퓨터산업학회논문지
• /
• 제8권2호
• /
• pp.89-96
• /
• 2007

객체기반 예약스케줄링 기법은 제약만족문제(CSP; Constraint Satisfaction Problem)와 객체지향개념(Object-Oriented Concepts)을 기반으로 승무원 객체들이 갖고 있는 사건들을 주어진 제약들에 만족하도록 목표인 운항스케줄 보드에 배정하는 기법이다. 본 논문에서는 객체기반 예약스케줄링기법을 항공운항 스케줄에 적용하여 승무원(운항승무원, 객실승무원)들의 운항 스케줄 만족도를 향상시키고, 승무원들에 대한 인력관리상의 문제점들을 해결하고자 하였다 특히, 승무원들의 운항스케줄에 대한 만족도를 향상시키기 위해서 전체승무원 선호도보드를 이용하였다. 승무원들의 스케줄 우선순위에 따라서 자원(타임 슬롯)을 배정하고, 자원에 대한 승무원들의 선호도 차이를 가질 수 있게 하였다. 보드에 대한 정의와 모든 사건들에 대한 정보를 전역제약으로 사용하고, 승무원들이 가지는 보드의 타임 슬롯들에 대한 선호도를 지역 제약으로 사용하였다. 또한 실제로 항공운항 스케줄링을 모의실험해서 승무원들의 운항 스케줄 만족도를 살펴보았다.

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

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

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권1호
• /
• pp.1-7
• /
• 2016

동일하지 않은 주기와 시작 시간을 가지는 여러 개의 어플리케이션을 멀티프로세서 시스템에서 동시에 수행하면 어플리케이션 간의 간섭이 발생하게 되고, 이에 따라 각 어플리케이션이 실시간 시간 제약을 만족시키는지에 대한 보장이 어려워진다. 본 연구에서는 데이터 플로우 어플리케이션을 대상으로 하여, 주어진 시간 제약 조건을 지키면서 프로세서를 공유할 수 있도록 하는 간섭 분석 모델을 제안하였다. 그리고 이 기법을 바탕으로 여러 개의 어플리케이션들이 프로세서 공유를 통하여 자원사용량을 최소화하는 스케줄링 방법을 제안하였다. 그리하여 태스크 그래프를 실시간 태스크로 변환하여 스케줄 하는 최근의 동시 스케줄링 기법과 비교해보았을 때, 어플리케이션의 반응시간 제약이 빠듯할 때 제안한 기법이 더 적은 자원을 사용하는 스케줄을 생성함을 실험을 통해 확인하였다.

• 전산구조공학
• /
• 제11권1호
• /
• pp.217-226
• /
• 1998

본 논문은 변위제약모드를 갖는 트러스구조물의 형태해석을 목적으로 하였으며, 이를 위하여 해의 존재조건과 무어-펜로즈(Moore-Penrose) 일반역행렬을 이용하였다. 또한, 수치해석과정에서의 변위제약모드로는 호몰로지변형(homologous deformation)을 고려하여 해석하였고, 다음으로 다양한 변위제약모드와 절점에 작용하는 하중비를 만족하는 구조물의 형태를 구하였다. 본 논문에서의 형태해석문제는 지정된 변위를 만족하는 구조물의 형태를 찾는 일종의 역문제(inverse problem)로서 일반적인 구조해석과정과는 반대되는 입장에서 접근하였다. 또한, 본 논문에서는 수치해석과정에서 근사해의 정도를 향상시키기 위하여 뉴튼-랩슨법을 사용하였고, 수치해석예제로서 부재의 배열형태에 따라 3가지모델을 선택하였으며, 이들 모델을 통하여 적용한 해석기법의 정확성과 효율성을 검증하였다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1453-1467
• /
• 1996

소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.

• 한국통신학회논문지
• /
• 제29권10A호
• /
• pp.1159-1166
• /
• 2004

이 논문은 페이딩 채널에서 직접확산 부호분할다중접속(DS-CDMA) 시스템을 위한 선형제약 변형 최소평균자 승오차(MMSE) 검출의 이전 연구에 대한 후속 연구이다. 변형된 MMSE 검출과 파일로트 심볼의 도움을 받는 채널추정(PSACE)의 결합시 발생하는 시스템 동작불능을 방지하는 조건을 구하였다. 선형제약 변형 MMSE의 해가 레일레이 페이딩에서의 시간변화에 대해 이론적으로 강건함을 보였다. 이 사실은 시뮬레이션 결과와 일치한다. 아울러 어떤 조건에서 선형제약 변형 MMSE 검출이 출력 신호대간섭-잡음비(SINR)를 최대화하였다.