• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 춘계 종합학술대회 논문집
• /
• pp.315-319
• /
• 2005

컴퓨터 시스템의 성능분석을 위하여 페트리 네트 기반 모델이 널리 사용되어 왔으나, 신뢰도와 가용도 분석을 위한 페트리 네트 모델링은 폭넓은 관심을 갖지 못했다. 본 논문에서는 페트리 네트를 이용한 데이터베이스 시스템의 신뢰도 분석과 모델링 기법에 대하여 논의한다. 공유 메모리(Shared Memory), 프로세서, 버스, 데이터베이스(디스크)의 구성요소를 갖는 고장감내형(fault-tolerant) 데이터 베이스 시스템의 신뢰도 분석을 위한 페트리 네트 모델을 개발한다. 각 구성요소에 대한 고장을 고려하며, 데이터베이스 시스템이 동작중일 조건은 데이터베이스가 동작하고 컴퓨터 구성요소인 프로세서, 메모리, 버스가 동작중인 경우로 한다. 각 구성요소는 개별적으로 고장이 날 수 있으며, 시스템이 동작하는 한 복구할 수 있다. 이러한 고장 및 복구 조건을 고려한 시스템의 신뢰도 분석을 페트리 네트의 확장 모델이며 모델링 기능이 풍부한 마르코프 reward 모델을 이용하여 수행한다. Stochastic Reward Net(SRN)이 갖고 있는 variable cardinality, enabling 함수, 시간천이 우선순위 등의 기능을 이용하여 신뢰도 모델을 개발하는 기법을 제시한다.

• 대한안전경영과학회지
• /
• 제25권4호
• /
• pp.141-151
• /
• 2023

Recently, due to the expansion of the logistics industry, demand for logistics automation equipment is increasing. The modern logistics industry is a high-tech industry that combines various technologies. In general, as various technologies are grafted, the complexity of the system increases, and the occurrence rate of defects and failures also increases. As such, it is time for a predictive maintenance model specialized for logistics automation equipment. In this paper, in order to secure the operational safety and reliability of the parcel loading system, a predictive maintenance platform was implemented based on the Naive Bayes-LSTM(Long Short Term Memory) model. The predictive maintenance platform presented in this paper works by collecting data and receiving data based on a RabbitMQ, loading data in an InMemory method using a Redis, and managing snapshot DB in real time. Also, in this paper, as a verification of the Naive Bayes-LSTM predictive maintenance platform, the function of measuring the time for data collection/storage/processing and determining outliers/normal values was confirmed. The predictive maintenance platform can contribute to securing reliability and safety by identifying potential failures and defects that may occur in the operation of the parcel loading system in the future.

• 한국전자거래학회지
• /
• 제11권2호
• /
• pp.93-110
• /
• 2006

웹 서비스를 기반으로 하는 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 이를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 트랜잭션 관리 시스템간의 상호 호환을 저해한다. 본 연구에서는 시맨틱스를 기반으로 비즈니스 트랜잭션 프로토콜을 정의한다. 제안된 시맨틱스에 기반한 비즈니스 트랜잭션은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스( Operational Semantics)를 기반으로 정의된다. 정적 시맨틱스는 상태와 메시지에 대한 의미들을 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의함으로써 비즈니스 트랜잭션 프로토콜의 개념들에 대한 표현의 이질성을 해결한다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)을 통해 정의함으로써 트랜잭션 운용에 대한 정형성(Formalism)을 얻을 수 있다. 또한 정적 시맨틱스에서 정의한 상태와 메시지를 동작 시맨틱스에서 참조하여 사용함으로써 트랜잭션 운용에 대한 이해도 높일 수 있다. 이를 통해 기존의 트랜잭션 프로토콜들간의 상호 호환성을 높이고 트랜잭션 프로토콜에 대한 상호 이해도를 높이며, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 수 있을 것으로 기대된다.

• Journal of Electrical Engineering and Technology
• /
• 제10권3호
• /
• pp.740-754
• /
• 2015

This paper focuses on the reverse blocking busbar protection scheme with aim to improve the speed of its operation and at the same time to increase operational reliability, flexibility and stability of the protection during external and internal faults by implementation of the extended functionality provided by the IEC61850 standard-based protective Intelligent Electronic Devices (IEDs). The practical implementation of the scheme by the use of IEC 61850 standard communication protocol is investigated. The proposed scheme is designed for a radial type of a distribution network and is modeled and simulated in the DigSILENT software environment for various faults on the busbar and its outgoing feeders. A laboratory test bench is built using three ABB IEDs 670 series that are compliant with the IEC 61850 standard, CMC 356 Omicron test injection device, PC, MOXA switch, and a DC power supplier. Two types of the reverse blocking signals between the IEDs in the test bench are considered: hard wired and Ethernet communication by using IEC 61850 standard GOOSE messages. Comparative experimental study of the operational trip response speeds of the two implementations for various traffic conditions of the communication network shows that the performance of the protection scheme for the case of Ethernet IEC 61850 standard-based communication is better.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.215-217
• /
• 2004

This paper shows the analysis of the inductive power transfer system in conjunction with series resonant converter operating variable high frequency. Of particular interest is the sensitivity of the complete system to variations in operational frequency and parameters. In inductive power transfer system, electrical power is transferred from a primary winding in the form of a coil or track, to one or more isolated pick-up coils that may relative to the primary. The ability to transmit power without contact enables high reliability and easy maintenance that allows inductive power transfer system to be implemented in hostile environments. This technology has found application in many fields such as electric vehicles, PRT(Personal Rapid Transit) etc. The coupling between the primary and secondary is then presented to include the effects of parameter and operational frequency variation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 C
• /
• pp.1407-1409
• /
• 1999

Distance relay is being used for transmission line protection. Recently, current differential relay is used with high reliability in power system. This kind of relay is reported that it has a reliable detection ability, even so high impedance faults take place in transmission line. Therefore it is expected to use and expand widely in many utilities. Tripping of the relay is decided according to the difference between differential and restraint current. However the tripping criterion can be changed by the manufacturers. This paper presents an operational scheme of current differential relay for transmission line protection with graphical model. It is developed for educational purpose for students interesting in power system and protection engineer in utility. MATLAB is used to establish the models.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 하계종합학술대회 논문집
• /
• pp.349-352
• /
• 1999

In this paper, we present simplified fault set which is made by analyzing fault relation to design specification in CMOS operational amplifier. The hard fault is easily modeled because an effect of hard fault is out of all design specification. However, the soft fault is not easily modeled because an effect of soft fault on design specification is varied according to position and depth of fault. We simulated hard and soft fault by HSPICE, varying threshold voltage and W/L ratio from 90% increase to 90% decrease. The decrease of test time and the production of high reliability mixed-mode IC are possible by the proposed fault set.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.686-691
• /
• 2007

The ride comfort is more important according to train speedup. Generally it is defined as the vehicle vibration. There are many studies on evaluation method of ride comfort for railway. In the case of Korean high speed train(HSR 350x), the ride comfort has been assessed by statistical method according to UIC 513R. To verify the design requirements for the performance of HSR 350x, the qualification tests had been conducted from August 19, 2002 to December 2004 and the stabilization and reliability tests are carried out nowadays. Up to December 2006, total test runs and the accumulated milage of the train were 357 times and 164,000km, respectively. A total of 352 ride indices had been acquired through the on-line test from Aug. 2002 to Dec. 2006. In this paper, we have reviewed the characteristics of ride comfort for HSR 350x according to the operational conditions, such as load and track conditions, season and used time, by using the tests data.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1995년도 추계학술대회 논문집 학회본부
• /
• pp.113-116
• /
• 1995

In this study, we formulate production costing problem with environmental and operational constraints into an optimization problem of LP form. In the process of formulation, auxiliary constraints on which reflect unit loading order are constructed to reduce the size of optimization problem by economic operation rules. As a solution of the optimization problem in LP form, we use Karmarkar's method which performs much faster than simplex method in solving large scale LP problem. The proposed production costing algorithm is applied to IEEE Reliability Test System, and performs production simulation under environmental and operational constraints. Test and computer results are given to show the accuracy and usefulness of the proposed algorithm in the field of power system planning.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1413-1418
• /
• 2004

This paper shows the analysis of the inductive power transfer system in conjunction with series resonant converter operating variable high frequency. Of particular interest is the sensitivity of the complete system to variations in operational frequency and parameters. In inductive power transfer system, electrical power is transferred from a primary winding in the form of a coil or track, to one or more isolated pick-up coils that may relative to the primary. The ability to transmit power without contact enables high reliability and easy maintenance that allows inductive power transfer system to be implemented in hostile environments. This technology has found application in many fields such as electric vehicles, PRT(Personal Rapid Transit) etc. The coupling between the primary and secondary is then presented to include the effects of parameter and operational frequency variation.