• Architectural research
• /
• 제14권1호
• /
• pp.27-33
• /
• 2012

This study proposes analytical methods to establish the eigenfunction of continuous system due to substructuring and decoupling of discrete subsystems. The dynamic characteristics of updated continuous system are evaluated by the constraint effect of consistent deformation at the interfaces between two systems. Beginning with the dynamic equation for constrained discrete system, this work estimates the modal eigenmode function for the continuous system due to the addition or deletion of discrete systems. Numerical applications illustrate the validity and applicability of the proposed method.

• 한국산학기술학회논문지
• /
• 제14권10호
• /
• pp.4733-4738
• /
• 2013

본 연구에서는 구속조건을 가진 기계계의 동적 평형위치를 다물체 동역학 해석방법을 이용하여 계산하였다. 다물체계에서 얻어지는 시간 구속조건을 가진 구속조건식과 동역학식으로부터 독립좌표계로 이루어진 동적평형식을 유도하였다. 동적 평형식은 구속조건식과 함께 비선형 대수방정식의 형태로서 Newton-Raphson 방법을 이용하여 수치해를 구하였다. 제안된 동적 평형 계산 방법을 조속기에 적용하여 동적 평형위치를 구하였다. 해석결과는 상용 프로그램의 동역학해석을 통한 평형위치의 결과와 비교하여 타당성을 검증하였다. 조속기의 회전 각속도에 대한 평형위치를 계산하고 설계 파라미터에 대한 평형위치의 영향을 분석하였다.

• 지능정보연구
• /
• 제17권3호
• /
• pp.43-61
• /
• 2011

본 연구는 사용자의 정적, 외부환경과 연관된 동적 상황정보와 사회적 관계와 연관된 개인적 상황정보들을 의사결정 요소로서 고려한 의사결정의 동적 변환(Dynamic Adaptation)을 제안한다. 즉, 의사결정자의 정적, 외재적 정보보다 과거의 경험, 주관적 선호도 및 사회적 관계와 연관된 상황정보(Social Context)를 의사결정에 동적으로 반영하고 동시에 의사결정 해의 사용시점에서의 가용성에 따라 유용 가능한 대안을 추출하는 방법론을 제안하고자 한다. 이를 위해, 정적, 외재적 및 사회적 상황정보를 이용하여 의사결정 추론한다. 추론은 의사결정자의 과거 경험에 기반한 사례기반 추론과 해당 의사결정 결과가 가용하지 않을 경우 수정을 위한 제약식 만족추론으로 이루어진다. 이를 위해 개인적 경험 등의 정보에 기반한 '문제상황 온톨로지'(Problem Context Ontology)와 집단의 경험적 지식에 기반한 '솔루션 온톨로지'(Solution Ontology)를 구축하였다. 의사결정단계는 상황정보 인식 및 문제상황 온톨로지에 매핑하는 단계, 경험적 사례로부터 문제상황에 가장 적합한 사례를 선택하는 단계, 생성된 솔루션이 가용하지 않을 경우 솔루션 온톨로지와 제약식 만족추론을 통해 새로운 대안을 생성하는 단계로 이루어진다. 본 방법론을 모임에 적합한 식당을 제안하는 예제를 적용함으로써 타당성을 검증하였다. 또한 실험을 통해 사회적 상황정보를 고려하여 생성된 의사결정대안이 그렇지 않은 경우보다 의사결정자의 만족도를 향상시켰으며, 생성된 의사결정대안이 가용하지 않은 경우 제약조건식과 솔루션 온톨로지를 이용해 생성한 대안이 유의미함을 검증하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• 한국컴퓨터산업학회논문지
• /
• 제2권4호
• /
• pp.455-470
• /
• 2001

본 논문에서는 ATM상에서의 효율적인 VBR 비디오 소스 전송을 위한 트래픽 특성화를 다루었다. 트래픽 특성화를 위하여 전송 중 트래픽이 적은 모니터링 기법을 사용하였고 지연 요구사항을 만족시키는 동적 VBR 특성화 방식을 제안하였다. 동적 VBR 방식은 누적 제한 함수 (Cumulative Constraint Function)를 이용한 토큰 버킷 알고리즘 버퍼링을 사용하였다. 누적 제한 함수는 초기에는 peak rate로 전송을 시작하여 일정시간 동안 모니터링 한 후, 다음 트랙픽을 예측하여 적절한 버퍼를 제공하였다. 누적 프레임의 갱신을 통하여 네트워크 자원 예약량을 감소시켰고 이전 프레임 정보를 가지고 rate를 변경시켰다. 이는 적은 모니터링을 하며 오버헤드도 적다. 그리고 이전의 결정적 제한 함수 (Deterministic Constraint Function)의 복잡도를 0(n) 까지 낮추었고, 토큰 버킷의 토큰 rate와 토큰 depth를 구하여 매핑 하였다. 본 논문은 시뮬레이션을 통한 결과치를 비교 분석하여 이전의 방식보다 적은 네트워크 자원이 소모되는 것을 보여준다.

• 대한기계학회논문집A
• /
• 제22권3호
• /
• pp.519-528
• /
• 1998

A numerical method is presented for the dynamic analysis of cam and follower. Contact and separation between the cam and the follower are analyzed by imposing dynamic contact condition. The correct solution is obtained without spurious oscillation by imposing the velocity and acceleration constraints as well as the displacement constraint on the possible contact point. The constraints are satisfied by iteratively reducing the constraint errors toward zero, and a simple time integration of ordinary differential equation is employed for the solution of the equation of motion. The solution procedure associated with the iterative scheme is presented, and numerical simulations are conducted to demonstrate the accuracy of the solution.

• 한국정밀공학회지
• /
• 제26권3호
• /
• pp.55-67
• /
• 2009

This paper addresses the dynamic consideration of the athletic constraints on skating motion. In order to generate a human-like skating motion, the athletic constraints are distinctively analyzed into dynamic constraints and physical constraints. A close investigation of the athletic constraints evolved valid extent of dominant parameter for a leg muscle. During the human-like skating motion, the state of actuation was shifted from region of maximum force to region of maximum power. Simulation results were intuitively comprehensible, and the effectiveness of analytic algorithm was demonstrated for skating motion.

• Journal of information and communication convergence engineering
• /
• 제5권1호
• /
• pp.29-34
• /
• 2007

This paper proposes a MAC protocol for real-time VBR (rt-VBR) services in wireless ATM networks. The proposed protocol is characterized by a contention-based mechanism of the reservation request, a contention-free polling scheme for transferring the dynamic parameters, and a priority scheme of the slot allocation. The design objective of the proposed protocol is to guarantee the real-time constraint of rt-VBR traffic. The scheduling algorithm uses a priority scheme based on the maximum cell transfer delay parameter. The wireless terminal establishes an rt-VBR connection to the base station with a contention-based scheme. The base station scheduler allocates a dynamic parameter minislot to the wireless terminal for transferring the residual lifetime and the number of requesting slots as the dynamic parameters. Based on the received dynamic parameters, the scheduler allocates the uplink slots to the wireless terminal with the most stringent delay requirement. The simulation results show that the proposed protocol can guarantee the delay constraint of rt-VBR services along with its cell loss rate significantly reduced.

• 한국항공운항학회지
• /
• 제14권1호
• /
• pp.28-35
• /
• 2006

Substructure coupling or component mode synthesis may be employed in the solution of dynamic problems for large, flexible structures. The model is partitioned into several subdomains, and a generalized Craig-Bampton representation is derived. In this paper the mode sets (normal modes, constraint modes) is employed for model reduction. A generalized model reduction procedure is described. Vaious reduction methods that use constraint modes is described in detail. As examples, a flexible structure and a 10 DOF damped system are analyzed. Comparison with a conventional reduction method based on a complete model is made via eigenpair and dynamic responses.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제12권1호
• /
• pp.77-85
• /
• 2012

This paper describes a novel approach to adaptive courseware generation. This approach adopts its structure from existing intelligent tutoring systems and introduces a new component called pedagogical scenario model to support pedagogical flexibility in the adaptation process of courseware generation system. The adaptation is carried out using Dynamic Constraint Satisfaction Problem framework, which is a variant of classical Constraint Satisfaction Problem, to deliver courseware tailored to individual learner. Such a framework provides a high level of expressiveness to deal with the particular characteristics of courseware generation problem. Further, it automatically designs a sound courseware satisfying the design constraints imposed by the domain, the pedagogical scenario and learner models.