• 전기의세계
• /
• v.43 no.3
• /
• pp.10-17
• /
• 1994

패트리네트는 시스템의 관계를 시작적으로 보여주어 시스템의 모델링을 쉽게 만든다. 시스템의 각 부분에 관한 정보를 가지고 전체와 부분에 대하여 하향식(top-down)과 상향식(bottom-up) 설계를 할 수 있게 해준다. 패트리네트는 그래프 표현이므로 FMS(flexible manufacturing systems)등과 같은 실시간 제어(real-time control)의 구현에 사용될 수 있으며 토큰 정보로부터 시스템의 각 부분의 상태를 실시간 감시(monitoring)할 수 있다. 패트리네트는 PLC(programmable logic controller)와 같이 여러 요소시스템(subsystem)을 순서대로 동작시키고 조정한다. 시스테메 대한 페트리네트 모델로부터 시뮬레이션(simulation)을 할 수 있고, 이로부터 성능 평가를 할 수 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.156-164
• /
• 2000

실시간 시뮬레이션이란 시뮬레이션 모델의 시간 진행을 실시간에 기반하여 수행하는 시뮬레이션을 말한다. 이러한 시뮬레이션은 가상 운전 교육 프로그램 또는 컴퓨터를 이용한 컨트롤 시스템의 검증 등에 사용된다. 본 논문에서는 DEVS 형식론［Zei84］을 확장한 RT-DEVS 모델의 실시간 시뮬레이션에서 주어진 모델의 스케줄링 가능성에 대한 분석 기법을 다룬다. 제한된 시스템 리소스 상에서 여러 개의 모델을 실시간에 기반하여 시뮬레이션하려면 스케줄링이 필요하다. 실시간 스케줄링 가능성을 분석하기 위하여 시뮬레이션 모델에 제한점이 주어진다. 본 논문에서는 이러한 제한점을 알아보고 이를 만족하는 시뮬레이션 모델의 상태 궤적 그래프의 합성을 통하여 전체 시뮬레이션 시스템의 스케줄링 가능성을 알아보는 기법을 제안한다.

• Proceedings of the KIPE Conference
• /
• 2017.07a
• /
• pp.172-173
• /
• 2017

본 논문은 벅 차동전력조절 회로가 적용 된 다출력 스위치드-커패시터 부스트 컨버터의 소신호 모델 분석에 대한 논문이다. 제안하는 회로는 각 태양광 모듈의 최대전력점을 추정하기 위해서 제어된다. 제안하는 회로는 상태 공간 평균화 기법과 시그널 플로우 그래프를 통해서 해석하였으며 PSIM과 MATLAB을 통해서 증명하였다.

• Journal of the Korean Chemical Society
• /
• v.57 no.5
• /
• pp.640-655
• /
• 2013

The purpose of this study is to analyze the cognitive demands level of the description about 'changes of state' and 'kinetic theory' on the 'science 1' textbooks by the 2007 revised curriculum. The three types of curriculum analysis taxonomy have been used to analyze the cognitive demands level of those contents on the 6 kinds of 'science 1' textbooks. The most higher level of cognitive demands about the concepts have been discussed here due to the focus of the concepts. The first, the cognitive demand level about 'three states of substances' depending on the motion of their particles in 6 textbooks is a early formal operational stage because of using by the application of kinetic theory. The second, the cognitive demand level about 'diffusion' and 'evaporation' is a early formal operational stage, because the particles move around faster so they can change their position. The third, the cognitive level of the pressure and volume in a gas is a early formal operational stage because of explaining only phenomena in simple correspondence with formal model of kinetic theory. And simple functional relationships beyond linear on the graph of the volume and pressure of gas, the volume and temperature of gas is also a early formal operational stage. The fourth, the cognitive level of the energy of heat by a change of the state is also a early formal operational stage because kinetic theory picture accepted as providing explanation by the change of the state. And functional relationships beyond linear on the graph of the explanation of boiling point of water in water is also a early formal operational stage.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2041-2049
• /
• 1998

This paper suggests a technique for program segmentation and maintenance using PSDG(Post-State Dependency Graph) that improves the quality of a software by identifying and detecting defects in already fixed source code. A program segmentation is performed by utilizing source code analysis which combines the measures of static, dynamic and semantic slicing when we need understandability of defect in programs for corrective maintanence. It provides users with a segmental principle to split a program by tracing state dependency of a source code with the graph, and clustering and highlighting, Through a modeling of the PSDG, elimination of ineffective program deadcode and generalization of related program segments arc possible, Additionally, it can be correlated with other design modeb as STD(State Transition Diagram), also be used as design documents.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.5
• /
• pp.941-947
• /
• 2011

This paper deals with the consensus problem for multi-agent linear dynamic systems with directed communication topology. All the agents are identical high-order linear systems and their state information is exchanged through a communication network with directed graph. It is shown that a consensus is achieved if there exists a feasible solution to a set of linear matrix inequalities obtained for a simultaneous stabilization problem for multiple systems. Examples are presented to show the effectiveness of the proposed method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.171-173
• /
• 2000

본 논문에서는 ATM PNNI(Private Network-Network Interface) 망에서 경로 배정을 위해 필요로 하는 링크 상태 정보(link state information)를 효율적으로 집단화(aggregation)하는 두 가지 방법을 제시한다. 이 방법들은 집단화할 동료 집단(peer group)의 경계노드(border node)들을 셔플넷(shufflenet)이나 de Bruijn 그래프의 노드들로 사상시킴으로써 표현해야 할 링크의 수를 완전 그물망 방법(full-mesh approach)의 N2에서 aN(a는 정수, N은 경계노드 수)으로 줄인다. 이는 공간 복잡도가 0(N)인 신장 트리(apanning tree) 방법에서 필요로 하는 링크의 수와 비슷하지만, 신장 트리 방법과는 달리 비대칭망(asymmetric network)에서 사용할 수 있다는 것이 큰 장점이다. 모의 실험 결과 셔플넷 방법은 aN개의 링크만을 표현하면서도 상태 정보의 정확성은 완전 그물망 방법에 근접함을 알 수 있었고, de Bruijn 방법은 정보의 정확성에서는 셔플넷 방법에 못 미치지만 가장 널리 사용되고 있는 별모양 방법(star approach) 방법보다는 훨씬 정확하며, 계산 복잡도 면에서 셔플넷 방법보다 효율적이었다.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 1999.11a
• /
• pp.207-212
• /
• 1999

도로 조명에 있어서 질적인 평가 기준으로서 중요한 위치를 차지하고 있는 휘도 개념은 노면의 반사 특성에 따라 크게 좌우된다. 또한 노면의 반사 특성은 도로가 설치된 이후로부터의 시간, 날씨의 변화, 주어진 구간 내에서의 교통량 등에 의한 노면 재질의 마모 상태에 따라서 복합적으로 변화한다. 그러므로 도로 조명의 설치에 있어서 노면 반사 특성의 측정은 매우 중요할 뿐만 아니라 국내 도로 조명 설비의 휘도 기준을 상정하는데 있어서도 매우 중요하다. 이에 따라서 일반적으로 국내에서 사용되는 4가지의 도로 포장 시료인 콘크리트 도로 샘플, SMA(Stone Matrix Asphalt), 투수성, 밀입도 도로 샘플을 취하여 그 특성을 파악하고 반사 특성에 대한 초기값을 측정하였으며 각 샘플들에 대한 재질의 마모 상태에 대하여 반사 특성의 변화를 각각 측정하였다. 또한 그 측정한 값들을 각각 분석하고 재질의 마모에 따른 평균 휘도 계수 Q0, 정반사 인자 S1, S2값의 변화를 그래프로 제시하였다.

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

오피니언 마이닝은 객관적인 정보를 필요로 하는 많은 분야에서 쓰이는 기법이다. 그러나 표현의 자유도가 높은 한글 Text를 분석하는 것은 상당히 어려운 일이다. 또한 한글 파괴 현상도 하나의 원인으로 대두되고 있다. 본 논문에서는 Text를 음소단위로 분할하는 Trigrarn-Signature 기법과 구문태그 패턴 기법을 통합한 새로운 상태 분류 기법을 제안했고, 만족, 불만, 낙담, 의문, 흥분 5가지 감정 분류를 시도했다. 이를 토대로 사용자의 정보를 그래프로 보여주는 시각화 시스템을 제안한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.8
• /
• pp.752-757
• /
• 2000

The recursive formulae, which can self-reproduce the state transition graphs, of one-dimensional cellular automata rule 15 with two states (0 and 1) and four different boundary conditions were founded by categorical access. The categorical access makes the evolution process for cellular automata be expressed easily since it enables the mapping of automata between different domains.