• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.8
• /
• pp.18-25
• /
• 1992

Given a protocol specification, the task of testing whether an implementation conforms to the specification is called conformance testing. In this paper, the design and implementation of the protocol conformance test system using LAN on heterogeneous systems is descreibed. The test sequence used in this test system is generated using an algorithm on the basis of multiple UIO. The usability of this test system as an application was confirmed by performing the conformance test on the CCITT No.7 TCAP(transaction capabilities application part), implemented by ISDN Laboratory, Korea University in 1990.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.04a
• /
• pp.363-367
• /
• 1996

The robustness issues in fault detection and isolation(FDI) have received considerable attenuation in recent years, due to the increasing demand for safe and reliable operation of uncertain and complex dynamic systems. The aim of this paper is to present the FDI method by using proportional integral(PI) observer and unknown input observer(UIO) under the faults of actuators and sensors. Due to this simple residual generator, the PI observer can easily detect the both faults of actuator and sensor. A simulation results show the effectiveness of this methods.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Applied Chemistry for Engineering
• /
• v.35 no.4
• /
• pp.335-340
• /
• 2024

In this paper, we synthesized organic and inorganic hybrid materials to introduce antibody functionality to UIO-66 and incorporated them into a surface plasmon resonance (SPR) assay to enhance the sensitivity of detecting small molecules such as oxytocin. A biological marker peptide called oxytocin may help in the diagnosis of heart failure, Alzheimer's disease, and cancer. To detect oxytocin at concentrations as low as a few femtomole (fM), we developed a surface sandwich assay utilizing a pair of oxytocin-specific antibodies for enhancing selectivity and one of metal organic frameworks [e.g., UiO-66-(COOH)₂] possessing high porosity and surface-area as a signal amplifier. Initially, real-time SPR assays were used to confirm that each selected oxytocin-specific antibody binds strongly to oxytocin and to different binding sites on oxytocin. One of these antibodies (e.g., anti-OXT[OTI5G4]) was immobilized on the surface of a thin gold chip. Upon sequential injecting of oxytocin and the other antibody (e.g., anti-OXT[4G11]) conjugated to UiO-66-(COOH)₂ onto the surface to form the surface sandwich complex of anti-OXT[OTI5G4]/oxytocin/UiO-66-(COOH)₂-anti-OXT[4G11]), SPR changes, which varied with oxytocin concentration, were then measured in real time. The results demonstrated that sensitivity was amplified by over a million-fold compared to assays without UiO-66-(COOH)₂, enabling oxytocin detection down to approximately 10 fM.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.40 no.3
• /
• pp.117-126
• /
• 2003

This paper proposes a real-time application of Walsh functions which is based on the on-line Walsh transformation and on-line Walsh function's differential operation. In the existing method of orthogonal functions, a major disadvantage is that process signals need to be recorded prior to obtaining their expansions. This paper proposes a novel method of Walsh transformation to overcome this shortcoming. And the proposed method apply to the unknown inputs observer(UIO) design for linear time-invariant dynamical systems

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.12
• /
• pp.1177-1183
• /
• 2010

In this paper, a parallel bank of multiple adaptive unknown input observers approach suggested by D.Wang is applied to detect a single fault of control surface actuator and to estimate the actuator position of lock-in-place fault using a small fixed-wing UAV model with eight control surfaces. This paper shows that not only the fault diagnosis algorithm detects and estimates each faults of lock-in-place in 1 second by simulation but also it may be unavailable to isolate among two same-shaped rudders.

• Proceedings of the KAIS Fall Conference
• /
• 2006.05a
• /
• pp.307-310
• /
• 2006

We consider the problem of constructing observers for nonlinear systems with unknown inputs. It is shown that under some conditions, there exists an observer estimating the states of nonlinear systems with unknown inputs. Nonlinear observer design method using observer error linearization and the design technique of unknown input observer(UIO) for linear systems are used to derive conditions. Some illustrative examples are included. In this paper, a direct controller for nonlinear plants using a neural network is presented. The controller is composed of an approximate controller and a neural network auxiliary controller.The approximate controller gives the rough control and the neural network controller gives the complementary signal to further reduce the output tracking error. This method does not put too much restriction on the type of nonlinear plant to be controlled. In this method, a RBF neural network is trained and the system has a stable performance for the inputs it has been trained for. Simulation results show that it is very effective and can realize a satisfactory control of the nonlinear system

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.4
• /
• pp.325-332
• /
• 2017

In this paper, a survey of test sequence generation methods for testing the conformance of a protocol implementation to its specification is presented. The best known methods proposed in the literature are called transition tour, distinguishing sequence, characterizing sequence, and unique input/output sequence. Also, several variants of the above methods are introduced. Applications of these methods to the finite state machine model are discussed. Then, comparative analysis of the methods is made in terms of test sequence length. Finally, conclusions are given as follows. The T-method produces the shortest test sequence, but it has the worst fault coverage. The W-method tends to produce excessively long test sequences even though its fault coverage is complete. The problem with the DS-method is that a distinguishing sequence may not exist. The UIO-method is more widely applicable, but it does not provide the same fault coverage as the DS-method.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.36 no.2
• /
• pp.143-150
• /
• 2023

Underwater wireless communication is a challenging issue for realizing the smart aqua-farm and various marine activities for exploring the ocean and environmental monitoring. In comparison to acoustic and radio frequency technologies, the visible light communication is the most promising method to transmit data with a higher speed in complex underwater environments. To send data at a speedier rate, high-performance photodetectors are essentially required to receive blue and/or cyan-blue light that are transmitted from the light sources in a light-fidelity (Li-Fi) system. Here, we fabricated high-performance organic phototransistors (OPTs) based on P-type donor polymer (PTO2) and N-type acceptor small molecule (IT-4F) blend semiconductors. Bulk-heterojunction (BHJ) PTO2:IT-4F photo-active layer has a broad absorption spectrum in the range of 450~550 nm wavelength. Solution-processed OPTs showed a high photo-responsivity >1,000 mA/W, a large photo-sensitivity >10³, a fast response time, and reproducible light-On/Off switching characteristics even under a weak incident light. BHJ organic semiconductors absorbed photons and generated excitons, and efficiently dissociated to electron and hole carriers at the donor-acceptor interface. Printed and flexible OPTs can be widely used as Li-Fi receivers and image sensors for underwater communication and underwater internet of things (UIoTs).