• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.21-30
• /
• 2016

Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.345-348
• /
• 2000

In this paper, We described the procedures to generate an input-output buffer information specification (IBIS) model in digital IC circuits. We gives the method to describe IBIS standard I/O for the characteristics of I/O buffer and to represent its electrical characteristics. The parameters of I/O structure for I/O buffer modelling are also referred, and an IBIS model for CMOS, TTL IC, ROM and RAM constructed amounts about 216. This IBIS model can be used to the simulation of signal integrity of high speed circuits in a PCB level.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.144-149
• /
• 1999

발전소의 안정적 운영을 위한 발전소 운전원의 훈련에는 기준 발전소 주제어실의 각종 패널라 계기들을 기계적으로 동일하게 만들고 정확한 수학적 모델로 발전소 시스템을 모사한 전 범위 시뮬레이터가 주로 이용된다. 전범위 시뮬레이터는 실제 현장을 모사하는 시뮬레이션 컴퓨터와 주제어실의 패널 계기들을 연결시켜 주는 I/O 인터페이스 시스템을 필요로 한다. 기 설치 운용되고 있는 선행 호기 시뮬레이터를 보면 주 공급업체는 모델링 기술을 가지고 있는 업체가 맡고, I/O 인터페이스 시스템은 I/O 모듈과 네트웍 프로토콜까지 협력업체나 자사의 독자 모델을 취하고 있다. 그러나 I/O 모듈의 제작사가 대부분 외국의 특정 업체여서 예비품의 입수가 용이하지 않아 유지보수가 어렵고, 많은 비용을 지불해야 하는 단점을 가지고 있다. 따라서, 유지보수 용이성과 경제적 측면에서 특정 벤더 규격에 종속되지 않고 일반적인 표준을 따르는 off-the-shelf 제품을 이용하는 발전소 시뮬레이터 I/O 인터페이스 시스템의 구축이 요구된다. 본 논문에서는 화력 발전소와 원자력 발전소를 대상으로 시뮬레이터 I/O 인터페이스 시스템의 요구사양을 소개하고, 네트웍에서 시스템 아키텍처까지 개방형 인터페이스 방식의 상용 제품을 채용하는 PC기반 시뮬레이터 I/O 인터페이스 시스템 구축방안을 제시하고, 성능 예측을 통해 제안한 시스템 구축 방안의 효용성을 보인다.

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

본 논문에서는 디지털 IC회로의 입출력과 입출력 버퍼에 대한 입출력 버퍼정보 형식 모델링을 묘사하였고 입출력 버퍼의 전기적 특성을 표현하는 방법 등을 나타냈다. 또한 본 논문에서 도출한 입출력 버퍼 모델링은 CMOS와 TTL IC를 모델링 하는데 사용할 수 있는데 CMOS와 TTL IC 그리고 ROM과 RAM 메모리에 대한 입출력 버퍼 모델을 128개 정도 만들었다. 이러한 입출력 버퍼 모델은 정확한 행동(behavioral) 모델을 구성하기 위해 그리고 고속 회로의 PCB 디자인 시뮬레이션에 사용될 것이다.

• Journal of IKEEE
• /
• v.14 no.4
• /
• pp.277-282
• /
• 2010

In this paper, we proposed ZnO trench Static Induction Transistor(SIT). Because The compound semiconductor had superior thermal characteristics, ZnO and SiC power devices is next generation power semiconductor devices. We carried out modeling of ZnO SIT with 2-D device and process simulator. As a result of modeling, we obtained 340V breakdown voltage. The channel thickness was 3um and the channel doping concentration is 1e17cm-3. And we carried out thermal characteristics, too.

• KIISE Transactions on Computing Practices
• /
• v.24 no.1
• /
• pp.40-45
• /
• 2018

With the advent of big data and social networks, large-scale graph processing becomes popular research topic. Recently, an optimization technique called Gorder has been proposed to improve the performance of in-memory graph processing. This technique improves performance by optimizing the graph layout on memory to have better cache locality. However, since it is designed for in-memory graph processing systems, the technique is not suitable for disk-based graph engines; also the cost for applying the technique is significantly high. To solve the problem, we propose a new graph ordering called I/O Order. I/O Order considers the characteristics of I/O accesses for SSDs and HDDs to improve the performance of disk-based graph engine. In addition, the algorithmic complexity of I/O Order is simple compared to Gorder, hence it is cheaper to apply I/O Ordering. I/O order reduces the cost of pre-processing up to 9.6 times compared to that of Gorder's, still its performance is 2 times higher compared to the Random in low-locality graph algorithms.

• The Journal of the Korea Contents Association
• /
• v.15 no.8
• /
• pp.1-8
• /
• 2015

Arduino is an open-source prototyping platform. It has been used in diverse areas including media-art, simulation and interaction devices. The Arduino application does not provide an effective form of software design specification, since it is basically developed in C Programming language. In this paper, we propose a design method for the Arduino applications using the extension mechanism of the UML(Unified Modeling Language). The proposed method is enable to specify the main function of Arduino applications like digital I/O and analog I/O in UML notations.

• Proceedings of the KIPE Conference
• /
• 2013.07a
• /
• pp.234-235
• /
• 2013

PV cell model은 PV simulator를 제작하거나 시뮬레이션 Software를 통하여 PV 발전시스템을 분석하기 위하여 필요하다. PV cell의 I-V 특성곡선은 PV cell의 특성을 결정짓는 중요한 요소이며, 전기적으로 다이오드정수($I_o$, $v_t$)와 광전류원($I_{ph}$) 그리고 직렬저항($R_s$) 및 션트저항($R_{sh}$)으로 모델링 가능하다. 광 전류원은 일사량에 비례하여 그 값을 추정할 수 있으나 나머지 변수인 다이오드정수($I_o$, $v_t$)와 직렬저항($R_s$) 및 션트저항($R_{sh}$)은 제조사 데이터시트에서 제공하는 3개의 대표적인 운전점인 개방회로 전압($V_{oc}$), 단락회로 전류($I_{sc}$), 그리고 최대출력에서의 전압/전류($V_{MPP}/I_{MPP}$)를 기초로 수학적으로 해를 구하여야만 한다. 본 논문에서는 저자가 제안하는 K-알고리즘의 수학적 도출 과정과 수치해석적 특성을 고찰한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7B
• /
• pp.744-750
• /
• 2009

In this paper, the unified Markov modeling of hardware and software for AVTMR(AlI Voting Triple Modular Redundancy) system is proposed and the dependability is analyzed. In hardware case, a failure rate is fixed to no time varying parameter. But, in software case, failure rate is applied with time varying parameter. Especially, the dependability(Reliability, Availability, Maintainability, Safety) of software is analyzed with G-O/NHPP for Markov modeling. The dependability of single and AVTMR system is analyzed and simulated with a unified Markov modeling method, and the characteristic of each system is compared accroding to failure rate. This kind of fault tolerat system can be applied to an airplane and life critical system to meet the requirement for a specific requirement.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.696-699
• /
• 2014

최근 소셜 네트워크 서비스가 확산되면서 대량 트랜잭션 환경에서의 RDBMS 성능에 대한 관심이 높아지고 있다. 본 논문에서는 대량 트랜잭션 환경에서 DBMS가 SQL문을 처리하면서 발생시키는 I/O의 특징을 고려하여 데이터의 쓰기 블록 수와 트랜잭션 간에 발생하는 배타적 Lock의 빈도를 최소화시키기 위한 모델링을 제안하고 일반적인 모델링과 성능 비교 실험을 하였다. 실험 분석 결과 DBMS의 트랜잭션 처리량이 많고 트랜잭션 간의 교착 빈도가 높게 발생할수록 일반적인 모델링보다 제안하는 모델링에서의 SQL문 처리 성능이 우수하였다.