• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Electronics and Telecommunications Trends
• /
• v.33 no.5
• /
• pp.51-63
• /
• 2018

Mobile cellular technology is evolving to accommodate a variety of vertical services, expanding the application from human-to-human communication to the Internet of Things(IoT). In particular, the fourth industrial revolution, bringing in a new vision in future smart factory, necessitates a new paradigm shift in wireless communication. Low latency and high reliability is a key issue in wireless applications for industrial IoT such as factory automation. In this paper, we review the recent progress in 5G URLLC (Ultra-Reliable Low Latency Communication) and discuss use cases, requirements, challenging technical issues, and potential solutions to support wireless factory automation such as discrete automation and process automation.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.3
• /
• pp.18-27
• /
• 1996

By integrating WDM to OPS unit which plays an improtant role for the reliability of CPN, we made it possible to provide CATV, VOD, and high-speed data services simultaneously and to meet easily the requirements for new services in the future. For the design of optimal system, the link analysis of power budget has been perfomred. Also, the prototyped system has been tested with STM-1 level signals to confirm functions such as transmission, distribution, and protection. The results proved that when occurred out-of-order or recovery of ONU, the system did the pertinent switching with minimum loss for high-speed data services. Also for video distribution services, the system has distributed STM-1 level signals sucessfully.

• Proceedings of the IEEK Conference
• /
• 2003.11c
• /
• pp.55-59
• /
• 2003

In this paper, we estimate the performance requirements of general-purpose DSP for Carrier Recovery of OFDM DVB-T receiver. Firstly, we transported the designed fixed-point OFDM DVB-T model to a floating-point software model written in C. Then, we measured the number of instruction cycles required for operation of Carrier Recovery in time. We use SignalMaster$\^$TM/ DSP platform of LYRtech Inc. as a environment of estimation, and Simulink$\^$TM/ as a graphical interface, Code Composer StudioTM of TI as profiler and compiler, and SPW$\^$TM/ for presenting functional reliability and comparing the performance distortion with fixed-point model. As a result, we show the required number of DSPs in our DSP-based system, and introduce the need of Multi-DSP-based system.

• Ceramist
• /
• v.9 no.6
• /
• pp.30-36
• /
• 2006

Joining ceramics to metals has a variety of applications both in the structural and the electronics fields. One of the great benefits of the adoption of joining into the structural applications is to provide reliability to the ceramic components by backing up with metal components. In joining ceramics and metals, two key factors, i.e., establishing chemical bonding at interfaces and dissipation of thermal stress across interfaces, should be paid for attention. Many joining methods have been already established such as adhesive and mechanical joining, brazing and soldering, and solid state bonding. Each has its own benefits with some drawbacks. One can select a suitable process and materials following the requirements of the application. This report focuses on the current status of joining technology for ceramics/metal system.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.14 no.1
• /
• pp.34-40
• /
• 2014

Today, with the wide use of mobile devices, the amount of business transactions conducted through such devices is increasing drastically. However, there are several limitations in the area of authentication for mobile use, which requires strong authentication mechanisms to satisfy security and convenience requirements. The proposed model and application system provide a framework to ensure the security and reliability of the flow of biometric information for telebiometric applications using mobile devices. We also specify protocols for each model and implement a mobile telebiometric application to improve security vulnerabilities compared to storage in a microSD match on card (MOC) based on the proposed model. As a consequence of this implementation, we propose substantial guidelines for security countermeasures from both technical and managerial perspectives in order to establish a safe mobile environment for the use of telebiometric systems.

• 유공압시스템학회:학술대회논문집
• /
• 2010.06a
• /
• pp.126-131
• /
• 2010

In order to improve the life and reliability of fluid components used in the Automotive, Hydraulics and Aerospace industries, the cleanliness of the system parts and components before their assembly into the system is being addressed. The measurement of components and parts cleanliness is related to contaminant collection, analysis and data reporting and ISO Standard are continually being developed to control procedures. This Paper explains the processes in these standards and explains how similar procedures have been adapted to suit the requirements of the respective Industry. It also gives guidance and recommendations on the implementation of these standards, so that best use can be made of them.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2009.10a
• /
• pp.961-963
• /
• 2009

a-Si process-based advanced-SPC (a-SPC) TFT has been developed and verified by manufacturing an AMOLED panel having improved cost competitiveness by using the existing a-Si infrastructure. The a-SPC TFT had superior device reliability and current drivability to a-Si TFT to meet the requirements of AMOLED backplane.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.05a
• /
• pp.127-128
• /
• 2019

The cost of procurement in construction projects varies depending on the type of project, but the proportion of the cost component is very large. Therefore, efficient procurement system operation affects the success of the project. However, difficulties arise in procurement management due to problems such as availability of data due to limited information, inaccurate scheduling and integration of costs. Therefore, the purpose of this study is to develop a procurement management system to help efficient communication decision by combining Big Data which can analyze a lot of information and Block Chain technology which can secure information and record reliability to satisfy the above requirements. The results of this study are used to develop a system to develop academically improved procurement management system and practically to develop a system to secure business competitiveness and to facilitate rapid communication among project participants.

• Proceedings of the Korea Institute of Applied Superconductivity and Cryogenics Conference
• /
• 2003.10a
• /
• pp.320-323
• /
• 2003

This paper presents the results of a series of performance tests for the Stilting cryocooler. A free piston and free displacer(FPFD) Stilting cryocooler for cooling infrared and cryo-sensors is currently under development at KIMM. Our coolers are specifically designed to work in the thermal imaging device and to meet requirements such as cooling capacity, COP and high reliability. In this work, Stilting cryocooler is designed, manufactured and fabricated, and performance characteristics for the cooling capacity / applied input power and cool down time are investigated. This cooler delivers approximately 0.9W cooling at 80K for 30W ~ 40W of input power. And, It takes approximately 2 minutes to cool down to 80K at the ambient temperature of 23$^{\circ}C$.