• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.716-718
• /
• 2016

본 논문에서는 실시간 메쉬 모델의 형태 분석 처리가 가능하도록 하기 위한 효율적 이산 곡률 근사 방법을 제안한다. 메쉬 이산 곡률을 계산하는 기존 방법들의 경우, 각 정점(vertex) 별로 인접면(face)에대한 인접 순서등 인접 정점과 인접면과의 관계에 대한 사전 분석이 요구된다. 또한, 인접 정점과의 관계 분석을 위하여 고유치 분석 등 높은 계산 비용을 요구한다. 이에 비해, 제안 방법은 각 정점별로 정렬되지 않은 인접 정점의 위치 정보만으로 이산 곡률을 계산함에 따라 계산 부담이 적은 반면, 기존에 Taubin의 방법을 적용한 결과에 비해 정확한 곡률 계산 결과를 보여 주었다. 곡률 계산의 정확성은 다양한 형태의 메쉬 모델들에 대한 기존 방법과의 비교 실험을 통하여 입증하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.392-395
• /
• 2008

본 논문은 퍼지 제어기를 이용하여 이산 비선형 뉴트럴 시스템을 안정화 시킨다. 시간 지연을 가지는 이산 비선형 모델에 퍼지 제어기를 연결하여 폐회로를 구성하고, 이에 대한 안정도 분석 및 성능 평가에 대해 연구한다. 이산 비선형 시스템을 먼저 T-S 퍼지모델로 모델링 하고, 모델링된 시스템을 안정화 시키기 위한 제어기를 설계한다. 퍼지 모델과 퍼지 제어기 모두 같은 멤버쉽 함수를 가진다고 가정하며, 제어기 이득값 설계를 위한 선형 행렬 부등식 조건을 유도한다. 모의 실험을 통하여 제안된 제어기의 안정도를 입증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.715-717
• /
• 2004

컴퓨터 상에서 집합, 트리, 그래프 등의 이산 객체(discrete object)는 메모리 주소와 같은 정수 값으로 표현되어 왔다. Succinct 표현(succinct representation)은 이산 객체를 이진화 하여 표현하는 방법으로, 정수 값으로 표현된 이산객체보다 적은 공간에 저장된다. Succinct 표현의 데이터는 이산 객체의 개별적 저장 위치를 파악하기 위해서rank와 select함수가 기본적으로 필요하다. rant와 select함수를 MBRAM 모델 상에서 O(1)시간에 계산하는 알고리즘이 제시되었다. MBRAM 모델은 비트연산을 unit cost로 수행하는 모델이다. 그러나 범용 컴퓨터는 바이트 단위의 기본 명령어를 제공하므로 비트연산을 unit cost에 수행할 수 없다. 본 논문은 범용 컴퓨터에서 효율적으로 rank함수를 구현하는 방법을 제시한다. rank함수의 효율적인 구현은 FM-index 등의 패턴 검색에 유용하다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.21 no.11
• /
• pp.1220-1228
• /
• 2010

In this paper, we suggest a scheme to develop an efficient discrete nonlinear model based on polynomial structure for a RF power amplifier(PA). We describe a procedure to extract a discrete nonlinear model such as Taylor series or memory polynomial by sampling the input and output signal of RF PA. The performance of the model is analyzed varying the model parameters such as sample rate, nonlinear order, and memory depth. The results show that the relative error of the model is converged if the parameters are larger than specific values. We suggest an efficient modeling scheme considering complexity of the discrete model depending on the values of the model parameters. Modeling efficiency index(MEI) is defined, and it is used to extract optimum values for the model parameters. The suggested scheme is applied to discrete modeling of various RF PAs with various input signals such as WCDMA, WiBro, etc. The suggested scheme can be applied to the efficient design of digital predistorter for the wideband transmitter.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.4
• /
• pp.308-315
• /
• 2016

This paper addresses a formation control problem for a phugoid model-based multi-agent system in discrete time by using a Takagi-Sugeno (T-S) fuzzy model-based controller design technique. The concerned discrete-time model is obtained by Euler's method. A T-S fuzzy model is constructed through a feedback linearization. A fuzzy controller is then designed to stabilize the T-S fuzzy model. Design condition is presented in the linear matrix inequality format.

• Journal of the Korea Society for Simulation
• /
• v.15 no.1
• /
• pp.43-50
• /
• 2006

The major objective of this paper is to propose a hybrid simulation environment for autonomous UAV system by integrating the continuous-time model with discrete-event model. Proposed system is able to support high autonomous behavior by combining the planner, recognizer, and controller model to deal with the HL20 AIRPLANE model. Thus, the high level decision may be efficiently issued even upon the unexpected circumstance. The proposed system model has been successfully verified by several simulation test performed on the DEVS simulation S/W environment.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.9
• /
• pp.921-928
• /
• 2004

This paper proposed dynamic adaptive model based on discrete probability distribution function and user profile in web based HyperMedia educational systems. This modelsrepresents application domain to weighted direction graph of dynamic adaptive objects andmodeling user actions using dynamically approach method structured on discrete probability function. Proposed probabilitic analysis can use that presenting potential attribute to useractions that are tracing search actions of user in WebMedia structure. This approach methodscan allocate dynamically appropriate profiles to user.

• Journal for History of Mathematics
• /
• v.27 no.3
• /
• pp.197-210
• /
• 2014

Species like insects and fishes have, in many cases, non-overlapping time intervals of one generation and their descendant one. So the population dynamics of such species can be formulated as discrete models. In this paper various discrete population models are introduced in chronological order. The author's investigation starts with the Malthusian model suggested in 1798, and continues through Verhulst model(the discrete logistic model), Ricker model, the Beverton-Holt stock-recruitment model, Shep-herd model, Hassell model and Sigmoid type Beverton-Holt model. We discuss the mathematical and practical significance of each model and analyze its properties. Also the stability properties of stationary solutions of the models are studied analytically and illustratively using GSP, a computer software. The visual outputs generated by GSP are compared with the analytical stability results.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.17-24
• /
• 2007

Critical practicality problems are cause to search the presentation and contents according to user request and purpose in previous internet system. Recently, there are a lot of researches about dynamic adaptable ontology based system. We designed ontology based educational system which uses discrete probability and user profile. This system provided advanced usability of contents by ontology and dynamic adaptive model based on discrete probability distribution function and user profile in ontology educational systems. This models represents application domain to weighted direction graph of dynamic adaptive objects and modeling user actions using dynamically approach method structured on discrete probability function. Proposed probability analysis can use that presenting potential attribute to user actions that are tracing search actions of user in ontology structure. This approach methods can allocate dynamically appropriate profiles to user.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.5
• /
• pp.1029-1036
• /
• 2007

State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.