• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• pp.843-844
• /
• 2006

다채널 스피커를 위한 자동검사 시스템은 아날로그 음향신호를 디지털로 바꾸고 이를 시리얼로 전송한 후 각각의 스피커를 통해서 출력하는 다채널음향 신호의 시리얼 전송기술을 기반으로 한다. 각각의 스피커에는 소형 진동 센서가 장치되어 있어 출력되는 음향신호의 이상 유무를 판별하여 스피커의 방송 상태를 자동으로 검사할 수 있다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1998.04a
• /
• pp.173-178
• /
• 1998

An automatic Q. C. tester for a production line of electric grinder is developed using vibration signals. The methods of measuring and analyzing the vibration signals are found through several experiments at laboratory and production line. The experiments show that checking a vibration signal at running condition only, without any sound signal, is enough to judge whether the product is good or not. The Q. C. tester is made of accelerometer and PC. Measured vibration signal using accelerometer is transmitted to PC through A/D board. Vibration level are calculated using FFT algorithm in PC for already selected five frequency bands, which can specify the cause of fault. The Judging criteria of vibration levels of each bands are decided through a lot of experiment with the comparison of manual judgement.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.14 no.10
• /
• pp.968-974
• /
• 2004

Automakers have been forcing their suppliers to guarantee qualities of parts. Then, the suppliers have met the fundamental quality requirements such as dimensions and functions, but they could not sufficiently satisfy the automakers' noise requirements yet because automatic noise inspection systems were little successfully adopted In mass-production lines. This study tried to develop a system for automatically checking noise radiated from a rotating engine part and filtering parts emitting noise higher than criteria: the upper limits of a overall noise level or a noise spectrum. A commercial noise measurement system was used for measuring noise, and then the noise data was transmitted to a governing program through OLE(object, linking and embedding) functions. The governing program, belonging to a total noise inspection system managed the noise measurement and analysis. This system was successfully adapted for distinguishing bad parts according to the noise criteria.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.6 no.1 s.12
• /
• pp.27-37
• /
• 2007

The automatic speed enforcement system is expected to play an important role as intelligent transport system (ITS) or advanced franc management system (ATMS). It must be a reliable system checking the overspeedy vehicles automatically, while savine the police manpower and ensuring a safe traffic flow. In terms of traffic engineering, the automatic speed enforcement system may serve to improve driver's violent behaviors, facilitate the smooth and safe traffic flow and thereby, reduce the traffic accident. This study was aimed at analyzing the accident before and after installation of the automatic speed enforcement systems at the frequency, EPDO(equivalent property damage only) and accident cost, analyzing the effects of the automatic system on the traffic flow and accident. As a result, when we equip the automatic speed enforcement system on the downward slope section or after middle section comparing with whole section. We should consider the location of automatic speed enforcement system.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• The KIPS Transactions:PartB
• /
• v.10B no.2
• /
• pp.127-134
• /
• 2003

This paper is intended to develop an algorithm for automatic detection of traffic accidents using image sequences. This algorithm is designed for detecting stopped vehicles traffic accidents, break down, illegal stop in the road shoulder - on the range of camera view. Virtual traps are set on accident-prone spots. We analyze the changes in gray levels of pixels on the virtual traps which represent the motion of vehicles on the corresponding spots. We verify the proposed algorithm by simulating some situations and checking if it detect them correctly.

• International Journal of Computer Science & Network Security
• /
• v.24 no.3
• /
• pp.151-159
• /
• 2024

Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.558-559
• /
• 2018

The harness wiring serves as an intermediary for transmitting the electrical signals necessary to drive the vehicle and is highly influenced by vehicle performance. Wire harness tester performs assembly test. Harness products are operated with the function of checking 0 and 1. Proceed to inspection in wire assembly process. There is a defect in the finished vehicle during use. We want to improve such defects. We design the FPGA and propose the measurement device design and the simulation result that the line and the line are disconnected by ADC precision harness inspection.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.453-458
• /
• 2001

악의의 침입자로부터 시스템을 보호하기 위한 첫 번째 단계는 시스템의 취약점을 분석하는 일이다. 기존의 시스템 취약점 분석 방법은 주로 네트워크 기반 취약점 점검 도구에 의존해 왔다. 하지만, 네트워크 기반 취약점 점검 도구는 대상 시스템의 제한된 정보만을 이용하여 취약점을 점검하기 때문에 시스템의 모든 취약점에 대한 검사가 불가능하다는 단점이 있다. 호스트 기반 취약점 점검 도구를 사용하면 시스템 내부의 모든 정보를 이용할 수 있지만, 시스템의 OS 종류나 버전에 따라 각기 다른 호스트 기반 취약점 점검 도구를 개발해야 한다는 단점이 있다. 또한, 호스트 기반 취약점 점검 도구들은 많은 호스트들을 동시에 점검하기 힘들다는 점이 문제로 지적되고 있다. 본 논문에서는 호스트 기반 취약점 점검 도구를 에이전트로 구현하여 대상 시스템에 설치하고, 하나의 관리 프로그램에서 여러 에이전트들을 관리함으로써 동시에 많은 호스트의 취약점들을 관리할 수 있는 모델인 ISMAEL을 제시한다. 또한 ISMAEL은 OS에 맞는 여러 호스트 기반 취약점 점검 도구들을 개발해야 하는 문제를 해결하기 위해 OS에 독립인 부분만을 뽑아내고, 그 외 OS에 종속된 부분은 Library 형태로 제공하여, OS에 독립인 부분에서 이 Library를 참조하여 특정 취약점 점검 코드를 자동 생성하고 이를 실행하여 취약성 여부를 판단할 수 있는 구조를 채택하고 있다.