• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.275-277
• /
• 1998

최근 Ravi와 Goemanns는 즉 전체 길이의 합이 일정한 값을 넘지 않는 최소비용신장나무(minimum spanning tree problem)를 구하는 문제의 (1+$\varepsilon$,1)-근사해를 구할 수 있는 알고리듬을 제시하였다. 즉 비용은 최적을 보장하지만 전체길이 제약조건은 근사적으로 만족하는 해를 생성한다. 그러나 이러한 알고리듬은 문제의 비가능해를 생성 할 수 있으며 1/$\varepsilon$에 대하여 지수함수의 수행시간을 갖는다. 본 논문에서는 Ravi와 Geomanns의 알고리듬을 실용적으로 변형하여 전체 길이 제약조건을 정확히 만족하며, 그 비용은 최적비용과의 차이가 호의 비용 중 최대값을 넘지 않도록 보장하는 강성다항식 알고리듬을 제사한다.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.219-222
• /
• 2003

본 논문에서는 주어진 자동화 시스템에 대하여 Critical Path 기법을 적용한 최적화 연구를 수행하였다. 탄약 운반 자동화 시스템에 대하여 공정순서와 시간개념이 들어간 Timed Petri-Net을 이용한 이산사건 공정모델을 구축하였으며, 이를 기초로 초기조건 및 제약조건을 고려하여 제악탐색기법을 이용하여 Critical Path를 찾고 여유 공정을 산출항으로써 공정 시간 최적화를 수행하였다.

• Journal of Internet Computing and Services
• /
• v.4 no.1
• /
• pp.75-86
• /
• 2003

In this paper, we extended hierarchial structure of managed object class to support Role-Based Access Control, and described constraint conditions that have support dynamic temporal function as well as statical temporal function established by management process. And we defined about violation notifications should report to manager when rules violate constraint conditions. Also we presented system architecture that support RBAC with MIB(Management Information Base) of ITU-T recommendation. By access control enforcement and decision function, constraint conditions and activated translation procedure of each roles are described, our system presents dynamic temporal property systematically.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.8 no.1
• /
• pp.37-45
• /
• 1994

A method of optimal active and reactive power control for economic operation in electrical power system is presented in this paper. The major features and techniques of this paper are as follows: 1) The method presented for obtaining the equivalent active power balance equation applying the sparse Jacobian matrix of power flow equation instead of using B constant as active power Balance equation considering transmission loss, and for determining directly optimal active power allocation without repeating calculations. 2) More reasonable and economic profit by minimizing total fuel cost of thermal power plants instead of using transmission loss as objective function of reactive Power control can be achieved. 3) Particularly in reactive power control, computing time can be considerably reduced by using Fuzzy Linear Programming instead of using conventional Linear Programming.

• Geophysics and Geophysical Exploration
• /
• v.15 no.2
• /
• pp.85-91
• /
• 2012

Multiple Lapse Time Window (MLTW) analysis for obtaining intrinsic attenuation value require numerous data without directional bias to compensate focal mechanism. The first window of MLTW, therefore, shows large deviation in fitting smoothed theoretical curve. The information on the focal mechanism may reduce burdens of number and distribution. This study combined algorithm of computing focal mechanism to DSMC method by Yoshimoto (2000). However, the MLTW method based on the numerous data was not applicable to this study, because of the limited data to the almost same fault plane solution. This study showed that the available data was too insufficient to construct smoothed theoretical curve, although the deviation of the first window was improved. Instead of conventional solution by more data, the study seems to be needed for new constraints to obtain smoothed curve.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.224-234
• /
• 2000

In this paper, we propose a new CPLD technology mapping algorithm for sequential circuit under time constraints. The algorithm detects feedbacks of sequential circuit, separate each feedback variables into immediate input variable, and represent combinational part into DAG. Also, among the nodes of the DAG, the nodes that the number of outdegree is more than or equal to 2 is not separated, but replicated from the DAG, and reconstructed to fanout-free-tree. To use this construction method is for reason that area is less consumed than the TEMPLA algorithm to implement circuits, and process time is improved rather than TMCPLD within given time constraint. Using time constraint and delay of device the number of partitionable multi-level is defined, the number of OR terms that the initial costs of each nodes is set to and total costs that the costs is set to after merging nodes is calculated, and the nodes that the number of OR terms of CLBs that construct CPLD is excessed is partitioned and is reconstructed as subgraphs. The nodes in the partitioned subgraphs is merged through collapsing, and the collapsed equations is performed by bin packing so that if fit to the number of OR terms in the CLBs of a given device. In the results of experiments to MCNC circuits for logic synthesis benchmark, we can shows that proposed technology mapping algorithm reduces the number of CLBs bu 15.58% rather than the TEMPLA, and reduces process time rather than the TMCPLD.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.148-150
• /
• 2003

본 논문에서는 인터넷 종단 호스트에서 공유 자원의 대역폭 제약조건과 종료시한 제악조건 모두를 만족시킬 수 있는 자원 할당 구조를 제안한다. 제안된 구조는 두 단계로 구성된다. 상위 단계에서는 비례 분배 스케줄러(proportional share scheduler)인 EFT-C/D (Earliest Finish Time Credit/Debit) 스케줄러가 수행된다. 이 스케줄러는 CPU와 같은 시분할 공유 자원을 하위 단계 스케줄러들에게 지정된 비율로 분배하는 역할을 한다. 그리고 하위 단계에서는 서로 다른 시간 제약조건이 부여된 태스크들을 스케줄링 하기위해 다양한 실시간 스케줄러가 수행된다. 본 연구의 주요 성과는 두 가지로 요약된다. 첫째, 이상적인 GPS (Generalized Processor Sharing) 서버와 거의 동등한 수준으로 자원을 공평하게 분배하는 EFT-C/D 알고리즘을 개발하였다. 둘째, 하위 단계에서 수행되는 EDF 스케줄러에 대해 이용율(utilization)에 기반한 스케룰링 가능성 분석 방법을 개발하였다. 이 방법은 주어진 태스크 집합에 대해 단순히 이용율만을 계산하여 스케줄링 가능성을 판별할 수 있다. 따라서 새로운 태스크가 생성될 때 수락 여부를 시스템 수행 중에 제어할 수 있는 장점이 있다.

• Korean Journal of Labor Studies
• /
• v.14 no.2
• /
• pp.201-229
• /
• 2008

본 논문에서는 노동자문화정치의 관점에서 파업을 새롭게 정의하고, 파업을 비롯한 노동자 문화실천의 정치적 효과를 분석하기 위한 방법론적 요소들을 검토하였다. 여기서 파업은 참여주체들의 다양한 사고와 합리성들을 중심으로 형성되고 확장되는 내재적인 정치의 장인 동시에, 다양한 기표적 실천들이 전개되는 문화정치의 장으로 정의되었다. 파업의 발생과 전개의 각 과정과 국면에 대한 문화정치적 분석 요소로서 장소성, 공간, 시간, 정서, 기호자원, 담론이 고려되었고, 이 요소들에 초점을 두고 민주노조 파업에서 드러나는 문화정치적 제약들을 H사 노조 사례를 통해 검토하였다. 문화정치적 제약들은 노동자 문화의 생산과 수용에서의 제약으로 드러난다. 노동자문화 관련 텍스트들의 분석과 조사 자료를 통해서 볼 때, 그것들은 첫째로 노동자 문화 활동가들의 생산 실천 상의 제약과 관련있고, 둘째로, 노동자 대중의 노동자 문화 수용 혹은 소비에서의 도구성과 시 공간 상의 제약과 관련있는 것을 확인했다. 본 논문은 이러한 제약들이 70년대 이후에서 90년대 전반에 이르는 시기와는 달리, 현 시기 노동운동의 문화적 자원들이 신기술과 사회문화적 변화에 걸맞게 변화 확장되지 못하고 오히려 축소된 데 기인한다고 추론하였다. 따라서 지속적인 운동의 조건과 기반을 능동적으로 조성하기 위해서는, 파업을 비롯한 노동자 문화의 생산과 수용 전반에 걸쳐서 작용하는 재현체계 상의 제약, 특히 기호자원의 한계라는 근본적인 제약을 넘어서기 위한 노동자 문화정치의 필요성이 제안되었으며, 문화실천에 몸담고 있는 문화활동가나 노조활동가들이 파업과 일상 활동 속에서 문화정치적 주제들을 찾아 이론화하고 정책에 반영하는 문화활동 방안이 제안되었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.689-692
• /
• 2001

본 논문에서는 주어진 제약조건을 만족하며 저비용 고효율의 목적물 합성을 위하여 어느 부분을 하드웨어로 또는 소프트웨어로 구현할 것인지를 결정하는 분할 알고리즘을 제안한다. 논문[6]에서 제시한 시뮬레이티드 어닐링의 후보자 선택은 랜덤한 방식에 의해 노드의 이동이 이루어지기 때문에 중복된 후보자의 선택으로 인하여 시간이 오래 걸리는 단점이 있다. 이러한 단점을 극복하기 위해, 본 논문에서는 비용 함수를 구성하는 변수들 중에서 시스템 실행시간과 구현 비용에 영향을 미칠 수 있는 부분들을 고려해 후보자를 선택하도록 하여 최적해 탐색을 위한 분할 알고리즘의 실행 시간을 단축시켰다. 실험 결과는 대상 노드가 많아질수록 기존의 방법보다 빠른 시간에 최적의 해를 탐색한다.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.6 no.4
• /
• pp.369-375
• /
• 2001

This paper proposes a dual real-time scheduling design under real-time constraints kernel environments. In this paper, we have designed both the real-time kernel and the general kernel that have their different properties to satisfy these properties, that is, interrupt latency, scheduling precision, and message passing. In real-time tasks, interrupt processing should be run. In general kernel, non real-time tasks or general tasks are run. Also, when tasks conflict, it executed the mixed priority scheduling that non real-time kernel executed static scheduling and real-time kernel executed dynamic priority transformation scheduling, that is, least-laxity-first/minimization preemption scheduling. We have compared the results of this study for performance of the proposal real-time kernel with both RT Linux 0.5a and QNX 4.23A, that is, of interrupt latency scheduling precision and message passing.