• Computational Structural Engineering : An International Journal
• /
• v.1 no.1
• /
• pp.31-38
• /
• 2001

In the case of the non-proportionally damped system such as the soil-structure interaction system, the structural control system and composite structures, the eigenproblem with the damping matrix should be necessarily performed to obtain the exact dynamic response. However, most of the eigenvalue analysis methods such as the subspace iteration method and the Lanczos method may miss some eigenvalues in the required ones. Therefore, the eigenvalue analysis method must include a technique to check the missed eigenvalues to become the practical tools. In the case of the undamped or proportionally damped system the missed eigenvalues can easily be checked by using the well-known Sturm sequence property, while in the case of the non-proportionally damped system a checking technique has not been developed yet. In this paper, a technique of checking the missed eigenvalues for the eigenproblem with the damping matrix is proposed by applying the argument principle. To verify the effectiveness of the proposed method, two numerical examples are considered.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.21 no.7
• /
• pp.657-664
• /
• 2011

This paper shows a whole noise quality checking system for the new developed 6th speed automatic transmission manufactured in USA. Due to demand for manufacturing of the high NVH quality transmissions in the mass product line, some special checking system called EOL NVH is adapted. This EOL system is using vibration sensor and analysis technologies. Through adapting vibration analysis technologies and functions likewise RMS, crest factor, harmonics, peak, band and order tracking, various noise problems caused by wear, nick and deformations could be successfully detected and predicted. Therefore, automatic transmissions manufactured in the USA could get high NVH quality. The developing process described in this paper and results on EOL system will offer good guides to the engineers who built the next transmission factory.

• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.10
• /
• pp.518-524
• /
• 2002

A software system that has functions of setting and coordination checking of protective relays in power transmission system has been developed. The developed system utilizes database system to store the setting values of protective relays, power system parameters, checks the relay operation and evaluates coordination of relays in real Power system or test system. The fault data to simulates a fault to evaluate the coordination of relays is generated by PSS/E and EMTP. A universal logic generator module is added to adopt the variation of each relay＇s trip logic. The proposed system has been verified through many tests in the case study, and proved to be very powerful in inspecting the setting values and coordination of relays.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of KIISE:Databases
• /
• v.34 no.6
• /
• pp.493-502
• /
• 2007

Due to a growing interest in searching and expressing knowledge effectively, knowledge management methods such as Topic Map are becoming more important. Topic Map organizes knowledge that is full of intricate relations, so maintaining and managing Topic Map consistently is very essential. TMCL and other constraint languages have limits as they can check simple constraints but can not support complex constraints like dependence constraints. Current constraint checking systems operating at the application level are also showing an inferiority in performance. In this paper, we extend TMCL based on the characteristics of other constraint languages in the information system field and related fields. We build and propose an RDBMS-based Topic Map constraint checking system to support the extended constraint language effectively. This new system handles complex types of constraints like dependency constraint as well as basic Topic Map constraints present in the TMCL. As the system examines each constraint it uses templates to generate queries for effective checking and overall shows a higher performance level than current systems.

• Journal of Biosystems Engineering
• /
• v.21 no.3
• /
• pp.306-314
• /
• 1996

A seeder monitoring system was developed to solve the problems of mis-sowing and tube clogging in direct seeding machines, which have been one of the factors that reduce the performance of sowing operations. The system consisted of photo sensors, air nozzles, an air compressor, and a one-chip micro-computer based controller. The system was also equipped with the devices that perform the functions of self-checking and intermittent air injection for cleaning seed tubes. The performance of the system was tested in the laboratory and field. Using the well-cleaned rice seed, the average time for checking the mis-sowing was 1.37 seconds in the field and 1.2 seconds in the laboratory without any malfunction. Overall evaluation of the system indicated that the system can be utilized for seeding machines not only for paddies but beans and corns.

• Proceedings of the KIEE Conference
• /
• 1998.07f
• /
• pp.2156-2159
• /
• 1998

This paper describes a Battery Checking & Monitoring System for monitoring battery cell and power system in Uninterruptible Power Supplies(UPS). The system is capable of measuring, in a matter of setting time, float and discharge voltage of up to 240 cells in a single installation, and has the memory capacity to store battery's alarm data information on up to 200 separate sites. This system are easy to maintain and attain cost effectively, so that prepared for meeting the customer's service needs immediately. The system is additionally programmed with a each model, that will enable to accurately determine the remain battery capacity in a UPS system following a short discharge test. It is also equipped with remote interrogation and control facilities.

• IE interfaces
• /
• v.24 no.1
• /
• pp.71-77
• /
• 2011

Design works consist of essential works and subsidiary works. Essential design works means designing creative ideas and productive ideas, while subsidiary design works means helping essential works those are making data tables and specification sheets, checking CAD data's integrity. Subsidiary design works forms the bulk of the whole design process and affects the time limit of delivery. Therefore we propose the automatic data matching system for CAD data's integrity. Proposed system is automatic system supporting subsidiary design works. The data matching system consists of three parts; 1) automatic generation of data tables 2) supporting module for checking CAD data's integrity between Drawings 3) automatic generation of spec. sheets. Developed system was tested in LCD equipment manufacture company and was found to be useful system.