• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.4
• /
• pp.1059-1067
• /
• 1996

A 128/129 dual-modulus prescalar IC is designed for application to frequency synthesizers in high frequency communication systems. The FET logic used in this design is SCFL(Source Coupled FET Logic), employing depletion-mode 1.mu.m gate length GaAs MESFETs with the threshold voltage of -1.5V. This circuit consists of 8 flip-flops, 3 OR gates, 2 NOR gates, a modulus control buffer and I/O buffers, which are integrated with about 440 GaAs MESFETs on dimensions of 1.8mm. For $V_{DD}$ and $V_{SS}$ power supply voltages 5V and -3.3V Commonly used in TTL and ECL circuits are determined, respectively. The simulation results taking into account the threshold voltage variation of .+-.0.2V and the power supply variation of .+-.1V demonstrate that the designed prescalar can operate up to 2GHz. This prescalar is fabricated using the ETRI MMIC foundary process and the measured maximum operating frquency is 621MHz.

• Progress in Superconductivity and Cryogenics
• /
• v.8 no.2
• /
• pp.17-19
• /
• 2006

A novel clock distribution technique for pipelined-RSFQ logics using variable Bias Currents of JTLs as delay-medium is newly proposed. RSFQ logics consist of several logic gates or blocks connected in a pipeline structure. And each block has variable delay difference. In the structure, this clock distribution method generates a set of clock signals for each logic blocks with suitable corresponding delays. These delays, in the order of few to tens of pS, can be adjusted through controlling bias current of JTL of delay medium. While delays with resistor value and JJ size are fixed at fabrication stage, delay through bias current can be controlled externally, and thus, is heavily investigated for its range as well as correct operation within current margin. Possible ways of a standard delay library with modular structure are sought for further modularizing Pipelined-RSFQ applications. Simulations and verifications are done through WRSpice with Hypres 3-um process parameters.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.4
• /
• pp.93-102
• /
• 1995

This paper introduces a general purpose Associative Processor(AP) which is very efficient for search-oriented applications. The proposed architecture consists of three main functional blocks: Content-Addressable Memory(CAM) arry, row logic, and control section. The proposed AP is a Single-Instruction, Multiple-Data(SIMD) device based on a CAM core and an array of high speed processors. As an application for the proposed hardware, we present a parallel algorithm to solve a global routing problem in the layout process utilizing the processing capabilities of a rudimentary logic and the selective matching and writing capability of CAMs, along with basic algorithms such a minimum(maximum) search, less(greater) than search and parallel arithmetic. We have focused on the simultaneous minimization of the desity of the channels and the wire length by sedking a less crowded channel with shorter wire distance. We present an efficient mapping technique of the problem into the CAM structure. Experimental results on difficult examples, on randomly generated data, and on benchmark problems from MCNC are included.

• Journal of Korean Society of Water and Wastewater
• /
• v.31 no.5
• /
• pp.409-414
• /
• 2017

In this study, we divided the process operation scenarios into three categories based on raw water temperature and turbidity. We will select and operate the process operation scenario according to the characteristics of the raw water. The number of algae in the DAF treated water has been analyzed to be less than 100 cells/mL. These results indicated that the DAF process is effective in removing the algae. In addition, the scenario of the integrated management decision algorithm of the DAF process was developed. DAF pilot plants ($500m^3/day$) process has shown a constantly sound performance for the treatment of raw water, yielding a significantly low level of turbidity (DAF treated water, 0.21~1.56 NTU).

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.4
• /
• pp.515-520
• /
• 2009

According to the operating characteristics of pump applications, they should exhibit high efficiency and energy saving capabilities throughout the whole operating process. A novel efficiency optimization control strategy is presented here to meet the high efficiency demand of a variable speed Permanent Magnet Synchronous Motor (PMSM). The core of this strategy is the excellent integration of mended maximum torque to the current control algorithm, based on the losses model during the dynamic and the grade search method with changed step by fuzzy logic during the steady. The performance experiments for the control system of a variable speed high efficiency PMSM have been completed. The test results verified that the system can reliably operate with a different control strategy during dynamic and steady operation, and the system exhibits better performance when using the efficiency-optimization control.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1114-1115
• /
• 2007

In this paper, a new speed sensorless control based on a fuzzy compensator are proposed for the interior permanent magnet synchronous motor (IPMSM) drives. The conventional proportional plus integrate(PI) control are very sensitive to step change of the command speed, parameter variations and load disturbance. To cope with these problems of the PI control, the estimated speeds are compensated by using the fuzzy logic controller (FLC). In the FLC used by the speed compensator of the IPMSM, the system control parameters are adjusted by the fuzzy rule based system, which is a logical model of the human behavior for process control. The effectiveness of algorithm is confirmed by the experiments.

• Journal of Aerospace System Engineering
• /
• v.13 no.3
• /
• pp.40-47
• /
• 2019

This paper proposes the environment construction and test method of system integration laboratory (SIL) and system integration test (SIT) for verification of interface between onboard equipment and ground control equipment of unmanned aerial systems (UAS). This research also describes the interface environment between subsystems built in SIL and verification methods for the systems' operation logic through simulated flights. Similarly, the paper handles the ground integration test process of UAS in the real testing environments.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.10a
• /
• pp.8-13
• /
• 2001

In the turning process, the feed is usually selected by a machining operator considering workpiece, cutting tool and depth of cut. Even if this selection can avoid power saturation or tool breakage, it is usually conservative compared to the capacity of the machine tools and can reduce the productivity significantly. This paper proposes a selection method of the feed and the reference cutting force based on MRR(material removal rate), maximum spindle power and specific energy. In order to estimate and control cutting force accurately in transient and steady state, this study utilizes a synthesized cutting force estimation method and a Fuzzy controller. The experimental results present that these systems can be useful for the FMS(flexible manufacturing system) and unmanned automation system.