• Journal of Energy Engineering
• /
• v.11 no.4
• /
• pp.324-331
• /
• 2002

ln competitive electricity market, useful technique would be required to calculate settlement amount for electric power traded between market participants and KPX since a number of market partici-pants would appear and trade electric power. Especially calculation of constrained on/off compensation amount can be complicated, and needs to be understood clearly by market participants to avoid unnecessary disputes. This paper presents a technique to settle more easily constrained on/off compensation amount using surplus function. In this technique, a surplus is calculated by each dispatched values and then the compen-sation amount is calculated by the difference of each surpluses. By doing this, settlement amount can be cal-culated by summing the trading amount and the compensation amount.

• Journal of Korean Society of Transportation
• /
• v.24 no.3 s.89
• /
• pp.167-176
• /
• 2006

An minimum path algorithm for integrated networks with departure time constraints require considering arrival time of arriving mode, transfer time. waiting time, and departure time of next mode. Integrated network with diverse modes commonly include departure time constraints. Because public mode suck as train and airplane have fixed service schedule which provide passengers. This study developed the k-path algorithm in integrated network with time varying conditions and departure time constraints. We proposed the extended method based on entire path deletion method, and examined the application of the proposed algorithm through case study.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.382-389
• /
• 2006

Developing context awareness service In these day, It demands high security in context awareness service. So GEO-RBAC that provide user assignment of spatial role, assignment of permission, role schema, role instance and spatial role hierarchy to context awareness service is access control model to perfect in context awareness service. But GEO-RBAC is not considering temporal constraints that have to need context awareness environment. Consequently this paper improves the flexibleness of GEO-RBAC to consider time and period constraints notion and the time of GTRBAC that presents effective access control model. also we propose GEO-RBAC to consider temporal constraints for effective access control despite a various case.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.10
• /
• pp.543-552
• /
• 2004

This paper proposes an energy optimization technique for latency and quality constrained video applications. It consists of two key techniques: frame-skipping technique and buffering technique. While buffering increases the slack time utilization at the OS level. frame skipping Increases the slack time itself at the application level, and both enhance the effectiveness of the dynamic voltage scaling technique. We use an H.263 encoder application as a test vehicle to which the proposed technique is applied. Experiments demonstrate that the proposed technique achieves noticeable energy reduction satisfying the given latency and video quality constraints.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06d
• /
• pp.27-29
• /
• 2012

고성능, 고화질의 스마트폰 보급에 따라 어플리케이션 역시 고화질의 이미지를 포함하는 등 점점 중량화 되는 추세를 보이고 있다. 하지만 모바일 단말기의 특성 상 메모리 및 성능 제약 등 다양한 제약이 존재하는데, 따라서 어플리케이션 개발의 기반이 되는 단말기 운영체제 및 시스템에 대한 분석 및 고려가 효율적인 개발에 있어 무엇보다 중요하게 작용된다. 특히 자바를 기반으로 한 안드로이드 시스템의 경우, 비트맵 이미지 등 이미지 관련 자원들에 대한 메모리 사용에 제약이 크기 때문에 이러한 제약 사항 내에서 반응 속도 등 어플리케이션의 질을 높일 수 있는 효과적인 메모리 관리 및 활용 기법이 필요시 된다. 본 논문에서는 이를 위해 안드로이드 시스템 상의 메모리 제약과 관련 된 문제점을 분석하고, 이러한 문제점을 고려하여 어플리케이션 내에서 가장 효과적으로 이미지 관련 자원들을 처리하고 개발할 수 있는 메모리 관리 기법을 제시하였다. 이러한 기법을 통해 제한 된 메모리상에서 고화질의 이미지 자원 등을 효과적으로 다룰 수 있었고, 어플리케이션의 반응 속도 역시 효과적으로 높일 수 있었다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.4
• /
• pp.958-963
• /
• 2008

Korean language has different structural properties which are controlled by semantic constraints of verbs. Also, most of Korean sentences are complex sentences which consisted of main clause and embedded clause. Therefore it is difficult to describe appropriate syntactic grammar or constraint for the Korean language and the Korean parsing causes various syntactic ambiguities. In this paper, we suggest how to describe CFG-based grammar using sentence patterns as syntactic constraint and solve syntactic ambiguities. To solve this, we classified 44 sentence patterns including complex sentences which have subordinate clause in Korean sentences and used it to reduce syntactic ambiguity. However, it is difficult to solve every syntactic ambiguity using the information of sentence patterns. So, we used semantic markers with semantic constraint. Semantic markers can be used to solve ambiguity by auxiliary particle or comitative case particle.

• Journal of Radiation Protection and Research
• /
• v.21 no.4
• /
• pp.329-338
• /
• 1996

최근에 우리나라가 공식 회원국으로 가입한 서방 경제협력개발기구(OECD)/원자력기구(NEA) 산하의 방사선 방호 및 보건위원회(CRPPH)에서는 유럽연합(EC)의 전문가그룹과 합동으로 국제방사선방호위원회(ICRP)의 권고 60의 방사선 방호 최적화 원칙에 공식적으로 도입된 이른 바 '선량제약(dose constraint)' 개념에 대한 위원회의 논의 및 검토결과를 OECD/NEA의 공식보고서로 발간하였다. 이 보고서는 선량제약의 개념과 의미를 논리적으로 합리화하기 위하여 발간된 것이다. 선량제약이란 용어와 개념은 새로워 보이지만 실상은 전혀 새로운 것이 아니다. 우리나라에서도 방사선 방호의 실무현장에서 용어나 의미는 조금 다르다 할 수 있어도 이 개념을 부분적으로 적용해왔다고 할 수 있다. 예를 들어, 선량한도 이하의 낮은 선량으로 작업자의 피폭을 제한하기 위하여 도입된 '연간 선량목표치' 또는 '방사성 물질의 방출목표관리치' 등이 여기에 해당될 것이다. 따라서, OECD/NEA의 공식보고서를 번역한 이 해설논문이 국내의 방사선 방호분야에서 활약하고 있는 정책 입안자, 연구자, 규제업무자, 방사선 관리실무자 등 방사선 방호 업무분야의 관련자들에게 도움이 되었으면 한다.

• KDI Journal of Economic Policy
• /
• v.10 no.1
• /
• pp.107-131
• /
• 1988

본고(本稿)는 세수증대(稅收增大)가 충분치 않은 경우 재정적자(財政赤字)를 충당하기 위한 국채발행(國債發行)은 본원통화(本源通貨)의 증대가 뒤따르지 않을 경우에도 물가를 즉시 상승시킬 수 있음을 정부(政府)의 동태적(動態的) 예산제약(豫算制約)이 나타내는 단순한 산수(算數)를 이용해서 보여주고 있다. 본고(本稿)가 가정하는 상황(합리적(合理的) 기대(期待), 정확(正確)한 정보(情報) 등)에서는 정부의 예산제약(豫算制約)을 동태적(動態的)으로 계속 연결해서 얻을 수 있는 실제의 동태적(動態的) 예산제약식(豫算制約式)을 검증할 수 있는 형태의 식으로 대체할 수 있다. 이 새로운 예산제약식(豫算制約式)에 의하면 미래잉여금(未來剩餘金)의 기대액(期待額)이 변하지 않는 상태에서의 국채발행(國債發行)은 즉각적으로 현재의 물가상승(物價上昇)을 유발(誘發)하고, 미래잉여금(未來剩餘金)의 기대액(期待額)의 감소(減少)(미래재정적자를 포함) 또한 같은 결과를 초래한다. 전후(戰後) 미국(美國)과 주요공업국가(主要工業國家)의 시계열자료(時系列資料)를 벡터자기회귀분석방법(自己回歸分析方法)에 의해서 분석한 결과 이들 잘 발달된 자본시장(資本市場)을 가진 나라에서는 본고(本稿)의 이론(理論)과 부합(符合)되게 물가(物價)와 국채(國債) 그리고 잉여금(剩餘金)이 변동해 왔음을 알 수 있다. 한국(韓國)의 자본시장여건(資本市場興件)이 현재는 이들 국가와 다르지만 곧 근접해 갈 것이 기대되므로, 앞으로 재정적자(財政赤字)를 국채발행(國債發行)에 의해서 조달해야 할 경우 물가(物價)에 대한 파급효과(波及效果)를 감안해서 세수(稅收)의 확대(擴大)가 뒤따르는 경우에 한하도록 하여야 할 것이다.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.334-340
• /
• 2001

본고는 올해 처음 시도하는 세종계획 관용표현 전자사전 구축에 관한 글이다. 본 전자사전이 완성되면 관용표현의 총체적 정보(형태, 통사, 의미, 화용 정보)를 수록하는 최초의 업적이 될 뿐만 아니라 실제 언어 자료에서 흔히 볼 수 있는 관습적 표현까지 모두 포괄하는 4만 표제어의 대규모 사전이 될 것이다. 본 사전에서는 관용표현의 형태 통사적 구성과 그 분포적 속성뿐 아니라, 관용표현이 가지는 논항의 존재 유무, 구조, 조사 통합 양상, 그리고 고정명사에 대한 수식어 제약, 어휘적 통사적 변형 양상, 선어말어미 제약, 어말어미 제약, 문장 유형 제약 등이 수록된다. 또한 각 논항의 의미역과 선택제약에 관한 정보, 그 외 다양한 의미 화용 정보 어원 표기 정보 등도 담기게 된다. 본고에서는 그러한 정보의 표기 양식을 하나하나 명시적으로 설명할 것이다.