• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.337-344
• /
• 2000

In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.87-88
• /
• 2006

Generator has responded quickly with variation of power system voltage and is controlled at real time. As a reactive power source, generator is revalued better than power condenser and as a reactive power sink, is revalued. But Domestic generators scarcely have been tested and operated to reactive power capability. In case of power system fault, operators wouldn't quickly take a follow-up measures about reactive power disturbance. Therefore generator reactive power capability verification strategy must be developed, several generators is tested as a exhibition since 2004. This paper is extract from the test contents.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.312-318
• /
• 2000

In this study, an exclusive CAD/CAM system is developed for enhancing the effectiveness and productivity of CNC universal cylindrical grinding machines on which the external/facing/internal grinding cycles and the wheel dressing cycles are integratively carried out. The CAD/CAM system can manage the various processes such as geometry design, NC code generation, NC code verification, DNC operation, and so on. Especially, the feature-based modeling concept is introduced to improve the geometry design efficiency. And the NC code verification is realized by virtual manufacturing technique based on the real-time analysis of NC codes and the boolean operation between workpiece and wheel.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1679-1682
• /
• 2005

최근 SoC를 포함하는 대부분의 임베디드시스템에서는 RTOS가 선택이 아닌 필수적인 구성요소가 됨에 따라 SoC 개발의 초기단계에서부터 RTOS를 도입하는 것이 바람직하다. 하지만, 기존의 범용 RTOS가 제공하는 기능은 대부분 응용 소프트웨어의 개발과 수행을 위한 것으로 SoC 개발 및 검증에는 적합하지 않은 문제점을 가지고 있다. 본 연구에서는 SoC 개발을 위해 운영체제가 만족시켜야할 요구사항을 제시하고, 소프트웨어의 재사용성과 SoC의 검증을 함께 지원하는 VPOS(Verification-Purpose OS)를 개발하였다. VPOS는 초경량의 단순한 계층적 구조(layered structure)를 가지는 RTOS로서 소프트웨어 재사용을 위해 POSIX 표준 API, 유닉스 호환 디바이스 드라이버 인터페이스, HAL 등을 제공한다. 또한 SoC 설계의 검증을 위해 RT 수준의 통합시뮬레이션에 적합한 커널 구조 및 최적화된 코드, 하드웨어 테스트를 위한 쉘 명령어, 응용 소프트웨어의 디버깅을 위한 KREM(kernel resource and event monitoring) 등의 특징을 함께 제공한다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.21 no.1
• /
• pp.8-14
• /
• 2013

As GNSS(Global Navigation Satellite System) is used in various filed, many countries establish GNSS system independently. But GNSS system has the limitation of accuracy and stability in stand-alone mode, because this system has error elements which are ionospheric delay, tropospheric delay, orbit ephemeris error, satellite clock error, and etc. For overcome of accuracy limitation, the DGPS(Differential GPS) and RTK(Real-Time Kinematic) systems are proposed. These systems perform relative positioning using the reference and user receivers. ETRI(Electronics and Telecommunications Research Institute) is developing precision navigation system in point of extension of GNSS usage. The precision navigation system is for providing the precision navigation solution to common users. If this technology is developed, GNSS system can be used in the fields which require precision positioning and control. In this paper, we introduce the precision navigation system and perform design and algorithm verification.

• Journal of Drive and Control
• /
• v.14 no.3
• /
• pp.50-57
• /
• 2017

Recently, methods of verification for electro-hydraulic servo controllers are various and the required number of testing controllers is continuously increasing in some specific systems. In this study, a PCB-based electronic simulator of hydraulic actuators is designed and developed to simplify test set-up for controllers and to facilitate alteration for characteristics of the simulator. Several features to reduce required time and manpower for verifying controllers are described. Especially, the simulator is considerably efficient to examine some controllers for different hydraulic actuators in a test. Response characteristics of the simulator are compared with those of real actuators to demonstrate validity of this method. Results reveal utilizing the designed simulator for inspecting controllers is equally effective as using hydraulic actuators.

• Journal of the Society of Naval Architects of Korea
• /
• v.56 no.6
• /
• pp.473-479
• /
• 2019

Welding is one of the most popular joining methods and most welding quality estimation methods are executed using joined material. This paper propose welding quality estimation methods using dynamic current, voltage and resistance which are obtained during welding in real time. There are many kinds of welding method. Among them, we focused on the projection welding and gathered dynamic characteristics from two different types of projection welding. For image learning, graphs are drawn using obtained current, voltage and resistance, and the graphs are converted to images. The images are labeled with two sub-categories - normal and defect. For deep learning of images obtained from welding, Convolutional Neural Network (CNN) is applied, and Tensorflow was used as a framework for deep learning. With two resistance welding test datasets, we conclude that the Convolutional Neural Network helps in predicting the welding quality.

• Earthquakes and Structures
• /
• v.12 no.4
• /
• pp.425-436
• /
• 2017

Vibration control using a tuned mass damper (TMD) is an effective technique that has been verified using analytical methods and experiments. It has been applied in mechanical, automotive, and structural applications. However, the damping of a TMD cannot be adjusted in real time. An excessive mass damper stroke may be introduced when the mass damper is subjected to a seismic excitation whose frequency content is within its operation range. The semi-active tuned mass damper (SATMD) has been proposed to solve this problem. The parameters of an SATMD can be adjusted in real time based on the measured structural responses and an appropriate control law. In this study, a stiffness-controllable TMD, called a leverage-type stiffness-controllable mass damper (LSCMD), is proposed and fabricated to verify its feasibility. The LSCMD contains a simple leverage mechanism and its stiffness can be altered by adjusting the pivot position. To determine the pivot position of the LSCMD in real time, a discrete-time direct output-feedback active control law that considers delay time is implemented. Moreover, an identification test for the transfer function of the pivot driving and control systems is proposed. The identification results demonstrate the target displacement can be achieved by the pivot displacement in 0-2 Hz range and the control delay time is about 0.1 s. A shaking-table test has been conducted to verify the theory and feasibility of the LSCMD. The comparisons of experimental and theoretical results of the LSCMD system show good consistency. It is shown that dynamic behavior of the LSCMD can be simulated correctly by the theoretical model and that the stiffness can be properly adjusted by the pivot position. Comparisons of experimental results of the LSCMD and passive TMD show the LSCMD with less demand on the mass damper stroke than that for the passive TMD.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.551-554
• /
• 2002

인터넷 금융거래나 전자 상거래 등에서 인증, 기밀성, 부인방인, 무결성을 제공하기 위한 목적으로 PKI를 사용한다. PKI 시스템에 있어서 공개키 알고리즘의 공개키에 대한 CA 인증의 유효성이 중요하다. 현재 널리 사용되고 있는 CRL를 이용한 인증서의 검증은 CRL의 주기적인 발행으로 인해 인증서 폐지 정보를 실시간으로 인증서 사용자에게 전달할 수 없다는 단점이 있다. 본 논문에서는 CRL를 이용하여 인증서 검증을 하는 OCSP 서버와 CA사이에 인증서 상태정보를 전달하는 메커니즘을 제안함으로서 OCSP를 이용하여 인증서 검증을 하는 인증서 사용자에게 실시간 인증서 검증 서비스를 제공하고자 한다.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.128-131
• /
• 2000

In this paper, the animated simulation system (Anisim) is proposed in order to develope an efficient functional system verification tool. It displays the simulation results of the designed system using graphic animation with various models lot the target system. With simple interface definitions given by the user, Anisim generates interface codes automatically. Users can describe and model the target system with the generated interface codes. Since the simulation engine is implemented in C-language, modeling is very simple and simulation can be performed in real time.