• 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 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.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.3
• /
• pp.107-118
• /
• 1998

Two-phase neuro-system identification method is presented. The 1$^{st}$-phase identification uses conventional neural network mapping for modeling an input-output system. The 2$^{nd}$ -phase modeling is also performed sequentially using the 1$^{st}$-phase modeling errors. In the 2$^{nd}$ a phase modeling, newly generated input signals, which are obtained by summing the 1st-phase modeling error and artificially generated uniform series, are utilized as system's I-O mapping elements. The 1$^{st}$-phase identification is interpreted as a “Real Model” system identification because it uses system's real data(i.e., observations and control inputs) while the 2$^{nd}$ -phase identification as a “Artificial Model” identification because of using artificial data. Experimental results are given to verify that the two-phase neuro-system identification could reduce the overall modeling errors.rrors.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.19 no.1
• /
• pp.51-56
• /
• 2014

PV cell modeling is necessary both for software and hardware simulators in analyzing and testing the performance of PV generation systems. Unique I-V curve of a PV cell identifies its own characteristics by electrical equivalent model that is composed of diode constants ($I_o$, $v_t$), photo-generated current ($I_{ph}$), series resistance ($R_s$), and shunt resistance ($R_{sh}$). Photo-generated current can be easily estimated since it is proportional to irradiation level. However, other electrical parameters should be solved from the manufacturer's data sheet that is consisted with three remarkable operating points such as open circuit voltage ($V_{oc}$), short circuit current ($I_{sc}$), and maximum power voltage/current ($V_{MPP}/I_{MPP}$). This paper explains and analyzes mathematical process of a novel PV cell modeling algorithm that was proposed by the authors with the name of "K-algorithm".

• 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.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.943-946
• /
• 2003

This paper proposes new SPICE Macro-Model of MTJ(Magnetic Tunnel Junction). This Macro-Model has five I/O terminals, reproduces MR characteristics including hysteresis and behaves correctly to time varying input signals. Furthermore, this Model can be easily modified to various MTJs with different characteristics by simply varying internal parameters.

• 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.

• 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.