• Journal of the Korea Convergence Society
• /
• v.12 no.2
• /
• pp.15-20
• /
• 2021

The imprecise real-time scheduling can be used for minimizing the bad effects of timing faults by leaving less important tasks unfinished if necessary when a transient overload occured. In the imprecise scheduling, every time-critical task can be logically decomposed into two tasks : a mandatory task and an optional task. Recently, some studies in this field showed good schedulability performance and minimum total error by deferring the optional tasks. But the schedulability performance of the studies can be shown only when the execution time of each optional task was less than or equal to the execution time of its corresponding mandatory task. Therefore, in this paper, a new deferring strategy is proposed under the reverse execution time restriction to the previous studies. Nevertheless, the strategy produces comparable or superior schedulability performance to the previous studies and can minimize the total error also.

• 한국HCI학회:학술대회논문집
• /
• 2008.02a
• /
• pp.174-177
• /
• 2008

In 3D gaming environment, it is important to simulate the physically plausible behaviors of gaming objects in real time. In particular, rigid body dynamics consists in the heart of most game physics. In this paper, we present a constraint-based rigid body simulation method using continuous collision detection as a collision detection method, and LCP formulation as a collision response method. The continuous collision detection method never misses any collisions and thus is able to accurately report the first time of collision as well as its associated colliding features. Moreover, since the number of colliding features is typically low, it also reduces the complexity in the LCP formulation.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.156-156
• /
• 2015

최근 화석연료의 사용으로 인한 지구온난화 등 환경파괴가 점점 증가하는 추세이며 이로 인해 신재생에너지 중 하나인 수력발전이 주목받고 있다. 수력발전은 물의 위치에너지를 기계에너지로 이를 다시 전기에너지로 변환하는 친환경적인 방식으로 운영된다. 수력발전량은 우리나라 전체 발전량의 1.5% 정도로 적은 양의 발전량을 생산하지만 가동시간이 짧아 전력수요가 급변하는 상황에 대비 가능하기 때문에 수력발전은 필수적이다. 기후변화의 영향으로 연평균강수량은 증가하는 양상을 보이나 연 강수일수는 줄어드는 등 수자원의 불확실성이 증가하고 있는 실정이다. 따라서 미래 불확실한 수자원 공급에 대비할 수 있는 수자원의 효율적 활용에 대한 연구가 필요하다. 본 연구에서는 하천의 유량이 계절에 따라 변동 폭이 크다는 점을 고려하며 월별 발전량을 최대화하기 위해 선형계획법을 적용하는 모형을 구축하였다. 선형계획법은 목적함수와 제약조건식 모두 1차식으로 비선형항을 포함할 수 없으나 초기 해가 불필요하고 최적해가 보장된다는 장점을 가진다. 일부 목적함수나 제약조건식에 비선형항이 포함되어 있을 경우 Successive Linear Programming(SLP), Piecewise Linear Programming(PLP), Taylor Expansion 등의 방법을 이용하여 선형화할 수 있다. 본 연구에서 비선형 제약조건은 Taylor Expansion을 이용하여 선형화하였으며 한강수계 9개 댐의 월간 발전량을 최대화시키는 장기 운영 모형을 구축하였다. 개발 환경은 Linux-CentOS이며 사용프로그램은 통계 분석에 많이 활용되는 R programming이다. R programming은 패키지를 이용한 개발이 용이하고 Windows 뿐만 아니라 Linux, Mac, Unix 등의 운영체제에서도 호환 가능하다는 장점이 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.181-181
• /
• 2022

상수도 관망은 비정상상황에서도 안전한 물을 안정적으로 공급하는 것을 목표로 한다. 따라서 상수도 관망의 최적 설계는 수리학적 제약조건 (i.e., 절점의 압력, 관의 유속)을 만족하는 설계안을 제시한다. 하지만 점차 커지는 도시 규모에 따라 수질적으로 안전한 물을 공급하지 못하는 문제가 발생하고 있다. 또한, 상수도시스템의 형식 (i.e., 수지상식, 혼합식, 순환식)에 따라 용수의 체류 시간, 절점의 압력 등이 상이하다. 따라서, 본 연구에서는 도시 규모 및 형식과 잔류염소 농도를 고려한 상수도시스템 최적 설계를 진행하였다. 절점의 개수에 따라 도시의 규모를 분류하였으며, BI(BI; Branch Index) 지수를 통해 상수도시스템의 형식을 분류하였다. 또한, 수리학적 제약조건(i.e., 절점의 압력)과 수질적 제약조건 (i.e., 잔류염소 농도)을 설정하여 수리-수질을 동시에 만족하는 최적 설계안을 도출하였다. 비상시에도 물을 안정하게 공급하기 위하여 시스템의 탄력성과 설계비용을 목적함수로 설정하여 다목적 최적 설계를 진행하였다. 이러한 연구는 압력만을 고려한 기존 설계단계에서 수질적 측면을 동시에 고려하여 수질 측면의 안전성을 향상할 수 있다. 또한, 시스템의 탄력성을 고려하여 비정상상황에서도 물을 공급하여 사용성을 향상하는 설계안을 도출하여 수리학적 안정성을 만족하며, 경제적 측면도 향상할 수 있다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.1
• /
• pp.79-85
• /
• 2001

In this paper, we propose a new technology mapping algorithm for CPLD consider area under time constraint(TMFCPLD). This technology mapping algorithm detect feedbacks from boolean networks, then variables that have feedback are replaced to temporary variables. Creating the temporary variables transform sequential circuit to combinational circuit. The transformed circuits are represented to DAG. After traversing all nodes in DAG, the nodes that have output edges more than two are replicated and reconstructed to fanout free tree. This method is for reason to reduce area and improve total run time of circuits by TEMPLA proposed previously. Using time constraints and delay time of device, the number of graph partitionable multi-level is decided. Initial cost of each node are the number of OR-terms that it have. Among mappable clusters, clusters of which the number of multi-level is least is selected, and the graph is partitioned. Several nodes in partitioned clusters are merged by collapsing, and are fitted to the number of OR-terms in a given CLB by bin packing. Proposed algorithm have been applied to MCNC logic synthesis benchmark circuits, and have reduced the number of CLBs by 62.2% than those of DDMAP. And reduced the number of CLBs by 17.6% than those of TEMPLA, and reduced the number of CLBs by 4.7% than those of TMCPLD. This results will give much efficiency to technology mapping for CPLDs.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.10A
• /
• pp.1159-1166
• /
• 2004

This paper follows up the previous work on the linearly constrained, modified minimum mean-squared error(MMSE) detection for direct-sequence code-division multiple-access DS-CDMA) systems in fading channels. We find a condition to avoid the breakdown of joint modified MMSE detection and pilot symbol-aided channel estimation (PSACE). The linearly constrained, modified MMSE solution is theoretically shown to be robust against time variations in Rayleigh fading channels. This fact is consistent with the simulation results. We also show that under some conditions the linearly constrained, modified MMSE detection maximizes the output signal-to-interference-plus-noise ratio.(SINR)

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.10a
• /
• pp.815-818
• /
• 2007

본 논문은 유비쿼터스 환경에서 다수의 다양한 이벤트가 모여 구성되는 ECA 룰 조건을 이용하여 동작하는 디바이스를 분석하였다. 그리고 디바이스에서 처리하는 시간제약이 있는 ECA 룰 조건 처리모형을 분석하고 디바이스가 동작을 처리하는 평균처리시간을 구하였다. 또한 디바이스가 셋 이상의 ECA 룰을 처리하는 경우에 대해 모형화하고 평균 ECA 룰 조건 처리시간을 구하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.11
• /
• pp.1288-1297
• /
• 1999

오늘날 많은 워크플로우 응용들은 마감 시간과 같은 시간 제약 조건들의 효율적인 관리를 요구하고 있다. 이러한 시간 제약성 워크플로우의 가장 중요한 목적들 중의 하나는 마감 시간을 만족하는 워크플로우 인스턴스의 수를 최대화하는 것이다. 시간 제약성 워크플로우 처리의 성능을 개선하기 위해서는 효과적인 액티비티들의 마감 시간 할당 방법이 요구된다. 이에 본 논문에서는 액티비티의 체재 시간과 워크플로우 제어 구조들의 특성을 고려하여 효과적인 마감 시간 할당 방법인 PST를 제안한다. PST는 기존의 방법들과 달리 워크플로우 제어 흐름을 분석하여 액티비티의 마감 시간을 할당하기 때문에 과부하에서도 높은 성능을 지원할 수 있다. 부가적으로 기존의 방법들과 성능 평가를 통해 본 논문에서 제안된 방법의 효용성을 검증한다.Abstract Nowadays, many workflow applications are requiring efficient time management such as deadline. With time-constrained workflows, one of the most important goals is to maximize the number of workflow instances that satisfy the deadline. In this regard, effective deadline assignment mechanisms should be developed to achieve high performance of time-constrained workflow processing. We propose in this paper our novel deadline assignment method called PST based on both an activity's sojourn time and the characteristics of workflow control structures. Because the method allocates the deadline to activities from analyzing the control flow of workflow, it can support good and stable workflow performance even under the high workload. In addition, we validate the usefulness of our proposed method through various experiments.

• Journal of Leisure Studies
• /
• v.9 no.2
• /
• pp.39-59
• /
• 2011

The purpose of this study is to understand and investigate the process of making negotiation strategy to do leisure activity with overcoming leisure constraints which highschool students participating in their club activity meet. For this study, students who have at least one-year career for their club activity -more than two times a week and two hours at a time -were selected. Survey through in-depth interview, non-participating observation and field note were conducted. The results are as follow. Firstly, the fascination for club activity was the important factor for overcoming leisure constraints. Secondly, leisure constraints never let students stop doing their activity. Thirdly, the subjects of this study practiced negotiation strategies and came to have self-achievement and self-esteem, improving their relationships effectively. Finally, it was found out that they were creating their own club culture with continuous leisure constraints negotiation. The results of this study present the case and the method of continuous students' participation in their leisure and are able to help them to build up their positive leisure experiences.

• The Journal of the Korea Contents Association
• /
• v.11 no.6
• /
• pp.59-66
• /
• 2011

Resource constrained project scheduling problem with multiple resource constraints as well as precedence constraints is well-known as one of the NP-hard problem. Since these problems can't be solved by the deterministic method during reasonable time, the heuristics are generally used for getting a sub-optimal during reasonable time. In this paper, we introduce an efficient genetic algorithm for resource constrained project scheduling problem using crossover which is applying schema theory and real world tournament selection strategy. Experimental results showed that the proposed algorithm is superior to conventional algorithm.