• The Transactions of the Korea Information Processing Society
• /
• v.3 no.2
• /
• pp.231-241
• /
• 1996

The reliability in software has expand in quality and quantity, also its importance and role are increased. But, a study of software reliability is lack of development. this paper software reliability growth models(SRGM) described by NonHome-geneous Poisson(NHPP)processes. Using actual software error data observed by software testing the SRGM's are composition of error-class, and error-class by three class. this paper made the reliability-model of software using three error- class. The purpose of this study to increase software productivity and to improve software quality. So to achive these goals we focused a study of software reliability model using the error-class.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.513-518
• /
• 2007

시뮬레이션 방법론에 있어서 모델기반 시뮬레이션과 프로세스기반 시뮬레이션으로 나눌 수 있는데, 재사용성, 확장성, 시뮬레이터 기술 용이성 등의 장점으로 모델기반 시뮬레이션이 많이 사용되고 있다. 이러한 이유로 근래에는 컴퓨터 시스템, 항공, 자동차 등에서 모델 기반 시뮬레이션 방법이 사용되고 있다. 모델기반 시뮬레이션 방법으로 수학적 이론을 기반으로 모델을 정의하는 DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술한다. 대규모의 복잡한 시뮬레이션 모델을 검증 할 목적으로 분산 시뮬레이션 방법론이 있는데, 이들은 크게 동기적인 방법과 비동기적인 방법이 있다. 동기적 방식보다 빠른 수행을 위해 비동기적 방법은 전체 Time-order 순이 아닌 로컬 Time-order를 가진다. 그러나 비동기적 방식에는 분산된 시뮬레이터들 간의 전체 Time-order를 유지하기 위해 전 처리된 시뮬레이터 결과들을 저장하는데, Time-order 상으로 현재의 시뮬레이션 시간보다 과거의 사건이 왔을 때 그 이벤트를 처리해주어야 되기 때문이다. 이러한 비동기적 분산 시뮬레이션 방법론에서는 전체 Time-order를 유지하기 위해 과거의 Time-order를 가지는 이벤트가 왔을 때 rollback operation을 수행한다. 그러나 rollback operation은 분산 시뮬레이션 방법론에서 성능 장애요소 중 하나이다. 본 논문에서는 rollback operation을 최소할 할 수 있는 DEVS 모델 분배 방법을 제안한다.

• The Journal of the Korea Contents Association
• /
• v.18 no.10
• /
• pp.453-463
• /
• 2018

An analysis including ASE model accessing based on the intention of behavior performance of online university students is a new approach to improve academic persistence considering the characteristics of students with extensive personal variables, a uniqueness of learning environment. This study aimed to identify the relationship between ASE model including academic stress and academic persistence, and the effect of these factors on academic persistence of online university students. Data were collected from 181 sophomores in K open university from March to June, 2018. Frequency analysis, ${\chi}^2-test$, t-test, F-test, Pearson's correlation analysis, and multiple regression analysis used for data analysis. For factors affecting academic persistence, academic stress (${\beta}=-.16$, p=.016), online learning attitude (${\beta}=.44$, p<.001), and social support among social influential factors (${\beta}=.16$, p=.045) were statistically significant and the prediction model of academic persistence showed 29% explanation power (F=15.76, p<.001). To enhance academic persistence of online university students, it is needed to develop programs to reduce academic stress, improve attitude toward online learning, and improve social support.

• Proceedings of the KIPE Conference
• /
• 2013.11a
• /
• pp.35-36
• /
• 2013

본 논문은 EV(Electric Vehicle)에 사용되는 배터리의 충/방전 전류에 따른 SOC(State of Charge) 및 전압특성을 Matlab Simulink로 구현하였으며, 검증을 위해 양방향 DC-DC 컨버터를 설계하여 실험을 하였다. 배터리 모델에 사용된 파라미터는 Randles등가회로를 기반으로 펄스방전을 통해 추출하였고, 단자전압 계산부에 3D Look-up 테이블을 이용해 적용하였다. SOC계산부는 전류에 따른 용량변화를 보상하기 위해 Peukert Effect를 적용하였으며, FTP-75 전류패턴으로 온도($0^{\circ}C$, $25^{\circ}C$, $40^{\circ}C$)에 따라 실험한 결과 시뮬레이션의 오차율은 5%로 높은 정확도를 갖는 것을 확인을 통해 검증 하였다.

• Proceedings of the Korea Contents Association Conference
• /
• 2004.05a
• /
• pp.497-502
• /
• 2004

OCSP has specific characters which can suspend, close, and correct in real time. But, as more clients use the OCSP server verification, more updated information is needed, which can lead to jamming in the OCSP server. To apply this technique of Distributed OCSP server so as to reduce the certificate verification OCSP from jamming. Also, the Distributed OCSP server will solve the problems of the intensive central structure.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.997-1000
• /
• 2004

Boolean Satisfiability (SAT)는 전산학의 중요한 문제로서 SAT problem을 풀기 위한 많은 알고리즘과 도구들이 제안되어 왔다. 특히, 지난 몇 년 간 많은 발전을 이루어왔고, 하드웨어 검증과 모델 체킹 등의 분야에서 많이 적용되어 왔다. 여러 문제들을 Conjunctive Normal Form (CNF)로 표현하여 CNF의 특성을 이용하여 SAT 알고리즘이 발전되어 왔다. 그런데, 회로를 CNF로 표현할 때 몇 가지 문제점이 발생하는데 특히 CNF는 회로의 structural information 을 잃어버린다는 것이 큰 문제점이다. 이를 보완하기 위하여 회로의 structural information을 이용하기 위한 많은 연구가 진행되어 왔다. 이러한 대부분의 연구는 회로의 정보를 가지고 있다는 경우에 한정된다. 그러나, 하드웨어 검증에서 회로의 정보 없이 검증해야 하는 경우들도 발생한다. 이 논문은 회로의 정보를 가지고 있지 않을 때 CNF 만으로 회로의 structural information을 추론하는 방법을 제시한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.10
• /
• pp.2329-2334
• /
• 2012

In this paper, we performed a study of damage assessment model development to analyze the initial nuclear pulse radiation damage to semiconductor devices for military weapon systems. At first we modeled(M) the nuclear pulse radiation and diode device, and simulated(S) the output characteristics of the device to the input. Then the manufactured diodes which had the same characteristics with the modeled one were irradiated to the similar pulsed type radiation and their output signals were measured simultaneously. Error between the M & S results and the measured values of the analysis was 22.9%. Through the error value we could confirm that the damage assessment model simulated the TREE effects with a quite accuracy.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.6
• /
• pp.49-58
• /
• 2002

Based on electrophysiological retina mechanism, a retina model is proposed, which has similar response characteristics compared with the real primate retina. Photoreceptors, horizontal cells, and bipolar cells are modeled based on the previously studied retina models. And amacrine cells known to have relation to movements detection, and bipolar cell terminals are newly modeled using 3 NDP mechanism. The proposed model verified by analyzing the spatial response characteristics to stationary and moving stimuli, and characteristics for different speeds. Through this retina model, human vision system could be applied to computer vision systems for movement detection, and it could be the basic research for the implantable artificial retina.

• Composites Research
• /
• v.28 no.6
• /
• pp.383-388
• /
• 2015

Ionic Polymer-Metal Composite (IPMC) consisting of soft membrane plated by platinum electrode layers on both surfaces generates electric energy when subjected to various mechanical stimuli. The paper proposes a circuit model that describes the physical composition of IPMC to predict the voltage generation characteristic corresponding to bending motion. The parameter values in the model are identified to minimize the RMS error between the real and simulated outputs. Following the design of IPMC circuit model, the state observer of the model is designed by using pole placement technique which improves the model accuracy. State observer design technique is also applied to find the inverse model which estimates the input bending angles from the output voltage data. The results show that the inverse model estimates input bending angles fairly well enough for the further applications of IPMC not only as an energy harvester but also as a bending sensor.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.358-360
• /
• 2002

분산 TMO(Time-triggered Message-triggered Object) 객체그룹은 분산 환경에서 실시간 특성을 지원하는 TMO 객체를 그룹으로 하여 TMO 객체에 대한 보안 관리 및 최적 레퍼런스 선택을 위한 부하고려 바인딩 방안과 여러 클라이언트의 요청 작업에 대한 수행 우선순위 스케줄링 방안을 제공하는 모델이다. TINA(Telecommunications Information Networking Architecture)의 객체그룹 개념을 기반으로 실시간 특성을 자체적으로 가지는 TMO 객체를 그룹으로 하여 특정 ORB나 운영체제에 국한되지 않고 COTS(Commercial Off-The-Shelf) 상에서 보장된 실시간 서비스를 제공한다. 이를 위해 분산 TMO 객체 그룹의 구조를 정의하고, TMO 객체의 관리 서비스와 실시간 서비스 관점에서 객체의 기능과 상호작용을 설명한다. 마지막으로, TMO 객체 관리서비스 관점에서 비중복 TMO 객체와 중복 TMO 객체의 레퍼런스 선택과정을 보이며, 부하정보를 고려한 중복 TMO 객체의 최적 레퍼런스 선택의 수행결과를 보이고 검증한다.