• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.11a
• /
• pp.552-554
• /
• 2021

프리징은 컴퓨터 시스템에서 하나의 프로세스나 시스템 전체가 입력에 대한 응답이 중단되고 제어가 불가능한 상태가 되는 현상이다. 비디오 월 컨트롤러의 제어 시스템도 OS에서 동작하는 애플리케이션이므로 프리징이 발생할 수 있지만, 운영자가 멀티 스크린을 실시간으로 모니터링 하고 있더라도 프리징의 발생을 인지하기 어렵고, 프리징을 인지하였을 때는 이미 제어가 불가능한 상태이므로 비디오 월 컨트롤러를 재부팅 하는 것 외에는 대응할 수 있는 방법이 없다. 따라서 본 논문에서는 비디오 월 컨트롤러의 이상 여부를 감지하여 프리징을 방지할 수 있는 모델을 제안한다. 이상 감지모델은 이산화 된 로지스틱 혼합 분포의 우도 함수를 이용하여 비디오 월 컨트롤러의 이상 여부를 감지한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.6
• /
• pp.459-464
• /
• 2001

This paper discusses a stochastic stabilization of Takagi-Sugeno(TS) fuzzy system with Markovian input delay. The finite Markovian process is adopted to model the input delary of the overall control system. It is assumed that the zero and hold devices are used for control input. The continuous-time TS fuzzy system with the Markovian input delay is discretized for easy handling delay, according, the discretized TS fuzzy system is represented by a discrete-time TS fuzzy system with jumping parameters. The stochastic stabilizibility of the jump TS fuzzy system is derived and formulated in terms of linear matrix inequalities (LNIS)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.523-526
• /
• 2010

주어진 경계선에 대해 비누막이 생성하는 표면 모델링 및 시간에 따른 변형 시뮬레이션은 컴퓨터 그래픽스 응용 프로그램의 한 분야이다. 이 문제에 대한 이전의 연구들은 주로 기하적인 방법들을 이용하였기 때문에 물리적으로 정확한 변형을 다루지 못하였다. 본 연구에서는 정확한 기하를 바탕으로 물리기반 변형을 다루기 위해 이산미분기하학으로부터 비누막의 동적인 모델을 제안한다. 우선, 비누 성분의 물리적인 특성들을 고려한 에너지 모델을 정의하고, 이를 이산 영역에서 나타내기 위해 이산미분기하 및 이산화 기법들을 이용한다. 제안하는 모델은 평형 상태에서의 비누막 형상뿐만 아니라 외력에 대한 표면의 변형까지 정확하게 나타내며, 실시간 시뮬레이션이 가능하여 게임, 애니메이션 목적으로 활용될 수 있다.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.7
• /
• pp.967-974
• /
• 2001

This paper aims at deriving an equivalent finite dimensional discrete-time system for $H{\infty}$ type problem for sampled-data control systems. A widely used approach is based on the lifting technique, but it needs somewhat complicate computation. Instead, this paper derives an equivalent finite-dimensional discrete-time system directly from a description of the sampled-data system which is achieved via a closed-loop expression of the worst-case intersample disturbance.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.15 no.2
• /
• pp.315-327
• /
• 2002

The main objective of this study is to develop an discrete optimization algorithm of plane steel frames with rigid using second-order-elastic-plastic hinge analysis which is considering panel zone. Conventional analyses of steel frame are usually tarried out without considering the effect of panel zone deformation on frame behavior The validity of this model is established by comparison without panel zone on joint models is analyzed numerically to demonstrate the importance of using realistic models in steel frame analysis. The objective function is taken as Weight of steel frames and the constraints we formulated based on AISC-LRFD(1994). The validity of the developed algorithm we demonstrate by comparing the result with those of SAP2000. The result of the study indicates that the optimal design algorithm considering of panel zone behavior more economic design than simple steel frame design methods.

• 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 등의 패턴 검색에 유용하다.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.11-19
• /
• 2013

This paper presents the battle space model, which is capable of propagating various types of emissions from platforms in underwater warfare simulation, predicting interesting encounters between pairs of platforms, and managing environmental information. The battle space model has four components: the logger, spatial encounter predictor (SEP), propagator, and geographic information system (GIS) models. The logger model stores brief data on all the platforms in the simulation, and the GIS model stores and updates environmental factors such as temperature and current speed. The SEP model infers an encounter among the platforms in the simulation, and progresses the simulation to the time when this encounter will happen. The propagator model receives various emissions from platforms and propagates these to other "within-range" platforms by considering the propagation losses and delays. The battle space model is based on the discrete event system specification (DEVS) and the discrete time system specification (DTSS) formalisms. To verify the battle space model, simple underwater warfare between a battleship and a submarine was simulated. The simulation results with the model were the same as the simulation results without the model.

• Proceedings of the Korea Technical Association of the Pulp and Paper Industry Conference
• /
• 2002.05a
• /
• pp.3-8
• /
• 2002

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.2
• /
• pp.477-487
• /
• 2000

When volume data is visualized by the ray casting method, the color value of each pixel in the image is obtained by composing the color contributions of the sample points that lie on the ray cast from the pixel point. In most ray tracing methods including Levoy's classical method, the color composition is formulated as a summation of the color contributions of the discrete sample points. However, the more precise color composition is formulated as differential equations over the color contributions of the continuous sample points. The discrete formulation is used, because analytical solutions to the continuous formulations are hard to find. In this paper, however, we have discovered a semi-analytical solution to the continuous formulation of a typical ray tracing of volume data. We have applied both Levoy's method and ours to the same set of data, and compared the visual quality of both results. The comparison shows that our method produces a more fine-grained visualization of volume data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.122-123
• /
• 2008