• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.11a
• /
• pp.167-168
• /
• 2007

• Journal of KIISE:Databases
• /
• v.32 no.1
• /
• pp.86-99
• /
• 2005

In this paper, we suggest a system which automatically verifies and tunes transaction processing database applications based on program analysis technology. This system automatically verifies two kinds of transaction processing errors. The first case is the un-closed transaction. In this case, data is not updated as expected or performance of overall system can decrease seriously by locking some database tables until the process terminates. The second case is the miss-use of transaction isolation(inking) level. This causes runtime exception or abnormal termination of the program depending on runtime environment. This system automatically tunes two kinds of inefficient definition of transaction processing which decrease the performance of overall system. The first case happens when opened transaction is closed too late. And the second case happens when transaction isolation level is set too high.

• Journal of environmental and Sanitary engineering
• /
• v.15 no.3
• /
• pp.120-127
• /
• 2000

To facilitate the carriage of goods and products, an improvement of the transportation system is greatly needed in Korea. The construction of the Kyung Bu canal that can traverse over the wide area of southern Korea os proposed to be one of the most favorable choices to resolve this need. To fulfill this plan, we investigated the possibility of connecting the Han River (in the midwest) with the Nak-tong River (in the southeast) via the Cho-ryeong tunnel (20.5 km long and 125 m high). According to topographic and geological mapping analysis, we are capable of selecting the optimal locations for the tunnels and locking systems. The water requirement for high locking systems can be satisfied by constructing additional dams above the Choong-ju area or by introducing water saving lock system. The results of our investigation support the idea such a canal system, if constructed, could lead to a revolution of the Korea's transportation system.

• Journal of the Korean Society for Railway
• /
• v.11 no.1
• /
• pp.33-38
• /
• 2008

To reduce the cost and time of transport in Eurasian railroad networks such as TKR, TCR and TSR owing to the problem of different track gauges (narrow/standard/broad gauge), it is important to develop the gauge-adjustable wheelset system to adapt easily to these gauges. Moreover, freight trains having the gauge-adjustable wheelsets should be passing various curved tracks in railroad networks. Therefore, to assure the safety of the gauge-adjustment whellset system, it is necessary to evaluate integrity of locking parts in the system using stress analysis. This study is focused on analyzing contact stress of locking parts by using FEA(finite element analysis) simulation during the gauge changeover operation and freight trains' service in the curved track, respectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.5
• /
• pp.1558-1563
• /
• 2010

This paper describes a study on algorithm for the development of machine vision system as well as the inspection of automobile's plastic part locking lever to replace a human worker's eye inspection. Before developing the machine vision system based on the PC, the purpose of this research is to develop the algorithm to decide whether a product is a good/bad one in real time inspection. NI-LabVIEW software is used in the inspection method and an inspection program is developed using LabVIEW Vision image functions. The inspection program was built and validated to help the system operator set up the inspection area and change the criteria number in the program.

• Journal of IKEEE
• /
• v.27 no.4
• /
• pp.573-578
• /
• 2023

This paper introduces a new locking technique applicable to high-performance digital Phase-Locked Loops (DPLL). The study employs additional thermometer codes to reduce quantization errors in LC-based Digital Controlled Oscillators (DCO). Despite not implementing the entire DCO codes in thermometer mode, this method effectively reduces quantization errors through enhanced linearity. In the initial locking phase, binary codes are used, and upon completion of locking, the system transitions to thermometer codes, achieving high frequency linearity and reduced jitter characteristics. This approach significantly reduces the number of switches required and minimizes the oscillator's area, especially in applications requiring low DCO gain (Kdco), compared to the traditional method that uses only thermometer codes. Furthermore, the jitter performance is maintained at a level equivalent to that of the thermometer-only approach. The efficacy of this technique has been validated through modeling and design at the RTL level using SystemVerilog and Verilog HDL.

• Computational Structural Engineering
• /
• v.3 no.3
• /
• pp.113-123
• /
• 1990

The paper is concerned with the elasto-plastic and geometrically nonlinear analysis of shell structures using an improved degenerated shell element. In the formulation of the element stiffness, the combined use of three different techniques was made. They are; 1) an enhanced interpolation of transverse shear strains in the natural coordinate system to overcome the shear locking problem ; 2) the reduced integration technique in in-plane strains to avoid the membrane locking behavior ; and 3) selective addition of the nonconforming displacement modes to improve the element performances. This element is free of serious shear/membrane locking problems and undesirable compatible/commutable spurious kinematic deformation modes. In the formulation for plastic deformation, the concept of a layered element model is used and the material is assumed von Mises yield criterion. An incremental total Lagrangian formulation is presented which allows the calculation of arbitrarily large displacements and rotations. The resulting non-linear equilibrium equations are solved by the Netwon-Raphson method combined with load or displacement increment. The versatility and accuracy of this improved degenerated shell element are demonstrated by solving several numerical examples.

• Journal of KIISE:Databases
• /
• v.29 no.6
• /
• pp.464-476
• /
• 2002

Main-memory database systems which reside entire databases in main memory are suitable for high-performance real-time transaction processing. If two-phase locking(2PL) as concurrency control protocol is used for the transactions accessing main-memory databases, however, the possibility of lock conflict will be low but lock operations become relatively big overhead in total transaction processing time. In this paper, We designed a real-time static locking(RT-SL) protocol which minimizes lock operation overhead and reflects the priority of transactions and we implemented it on a main-memory real-time database system, Mr.RT. We also evaluate and compare its performance with the existing real-time locking protocols based on 2PL such as 2PL-PI and 2PL-HP. The extensive experiments reveal that our RT-SL outperforms the existing ones in most cases.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.12
• /
• pp.2769-2774
• /
• 2010

In this paper, we have proposed sideband injection locking method, heterodyne technique, to generate millimeter-wave signal. Microwave signals in cellular broadband mobile communication networks and distributed networks can favorably be generated and distributed by optical techniques. In principle, these techniques have already been investigated for optical control of phase-array antennas, characterization of photo-detector and phase locking of millimeter-wave oscillators and now being applied to wireless communications. The generation and transmission of millimeter-wave radio signals by optical means is of interest for future pico-cell broadband mobile communication system, especially for systems operating at frequencies of tens of GHz applicable to LMDS. We experimented and analysed the generation of millimeter wave signal.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1285-1293
• /
• 2008

Locking sheet is to display the contents of interlocking equipment for safe train drive in stations. It is being used as a basic information for interlocking equipment and for route control condition and the discussion for train operation between related parties. In spite of importance of this, there was no other way except depending on the work by hands from each stage(drawing, examination, discussion, approval) due to non-existing any tool. It is written it takes 30days from drawing to approval by procedures. However, it is required over the days in real time due to argument of each party. Furthermore on drawing of locking sheet, special conditions applied in accordance with situations of each station occasionally are different depending on the person in charge. Therefore, it is urgent to make up Logic Tree to accept special conditions of all stations. Automation Program for Drawing and Examination of Locking Sheet is to improve inefficient interlocking operation which was operated by hands in accordance with custom as automated system. The target of this program is to minimize the processing time and potential errors by personal work and set up standards for Logic Tree of special condition.