• The KIPS Transactions:PartC
• /
• v.8C no.5
• /
• pp.607-614
• /
• 2001

With a remarkable growth and expansion of Internet, the security issues emerged from intrusions and attacks such as computer viruses, denial of services and hackings to destroy information have been considered as serious threats for Internet and the private networks. To protect networks from those attacks, many vendors have developed various security systems such as firewalls, intrusion detection systems, and access control systems. However, managing those systems individually requires too much work and high cost. Thus, in order to manage integrated security management and establish consistent security management for various security products, the policy model of PN-ISMS (Policy Based Integrated Security Management System) has become very important. In this paper, present the hierarchical policy model which explore the refinement of high-level/conceptual policies into a number of more specific policies to form a policy hierarchy. A formal method of policy description was used as the basis of the mode in order to achieve precision and generality. Z-Notation was chosen for this propose. The Z-Notation is mathematical notation for expressing and communicating the specifications of computer programs. Z uses conventional notations of logic and set theory organized into expressions called schemas.

• Tunnel and Underground Space
• /
• v.9 no.4
• /
• pp.337-349
• /
• 1999

There are many difficulties to the engineers in the assessment of tunnel safety. Consequently, objective assessment of concrete lining is hard even by the experts of tunnel assessment. Of several difficulties in the assessment of tunnel safety, in this study, tunnel concrete lining was focussed iud evaluated quantitatively and objectively using the Fuzzy theory which it generally considered to be appropriate for the assessment, control and judgment. T-FLAS based on fuzzy theory was developed in this study for the quantitative and objective assessment of the concrete lining in tunnels. Based on the application of T-FLAS on the evaluated field data, it was shown that the assessment system using fuzzy theory(T-FLAS) can be the effective and objective method for the assessment of concrete lining.

• Journal of the Korean Society of Industry Convergence
• /
• v.5 no.2
• /
• pp.111-118
• /
• 2002

In GMAW(Gas Metal Arc Welding) processes, bead geometry (penetration, bead width and height) is a criterion to estimate welding quality, Bead geometry is affected by welding current, arc voltage and travel speed, shielding gas, CTWD (contact-tip to workpiece distance) and so on. In this paper, welding process variables were selected as welding current, arc voltage and travel speed. And bead geometry was reasoned from the chosen welding process variables using neuro-fuzzy algorithm. Neural networks was applied to design FLC(fuzzy logic control), The parameters of input membership functions and those of consequence functions in FLC were tuned through the method of learning by backpropagation algorithm, Bead geometry could he reasoned from welding current, arc voltage, travel speed on FLC using the results learned by neural networks. On the developed inference system of bead geometry using neuo-fuzzy algorithm, the inference error percent of bead width was within ${\pm}4%$, that of bead height was within ${\pm}3%$, and that of penetration was within ${\pm}8%$, Neural networks came into effect to find the parameters of input membership functions and those of consequence in FLC. Therefore the inference system of welding quality expects to be developed through proposed algorithm.

• Journal of Satellite, Information and Communications
• /
• v.10 no.3
• /
• pp.38-43
• /
• 2015

This paper describes a GPS signal generator that can generate multiple satellite signals in real time at the RF level. It realizes the verified software algorithm on a FPGA. The algorithm models orbits and environmental errors such as ionospheric and tropospheric multipath. The position of a simulated receiver is one of simulation parameters. The hardware which consists of a digital logic board and an analog board can generate 16 simulated satellites signals at the same time. The users can generate spoofing signals and jamming signals as well as satellite signals by using the windows-based control software. In addition, the software provides GIS-based simulation scenarios editing tools. We verified the generator by using commercial receivers. As an application, we configured generators as indoor positioning systems and tested them in a building. To improve the accuracy of indoor systems is our further study.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.4 no.5
• /
• pp.1143-1150
• /
• 2000

A dual-mode multiplier (DMM) that performs single- and double-precision multiplications has been designed using a $0.25-\mum$ 5-metal CMOS technology. An algorithm for efficiently implementing double-precision multiplication with a single-precision multiplier was proposed, which is based on partitioning double-precision multiplication into four single-precision sub-multiplications and computing them with sequential accumulations. When compared with conventional double-precision multipliers, our approach reduces the hardware complexity by about one third resulting in small silicon area and low-power dissipation at the expense of increased latency and throughput cycles. The DMM consists of a $28-b\times28-b$ single-precision multiplier designed using radix-4 Booth receding and redundant binary (RB) arithmetic, an accumulator and a simple control logic for mode selection. It contains about 25,000 transistors on the area of about $0.77\times0.40-m^2$. The HSPICE simulation results show that the DMM core can safely operate with 200-MHZ clock at 2.5-V, and its estimated power dissipation is about 130-㎽ at double-precision mode.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.12 no.6
• /
• pp.500-509
• /
• 2007

In this paper, we propose a novel pc-based 8-channel USB interface digital multi-controller (DMC) has capacity to be able to adjust ultrasonic motor's (USM's) the parameters-frequency, amplitude, phase difference using FPGA. The proposed DMC can control parameters directly by digital logic through a FPGA. Since it has counter circuit for rotary encoder to measure position and velocity of USM, the other separate circuits are unnecessary. Therefore, it could reduce the size of controller and the production cost. Finally, to verify the performance of proposed DMC, we tested the speed characteristic of two types USM with no-load as adjusting the parameters.

• Nuclear Engineering and Technology
• /
• v.41 no.8
• /
• pp.1025-1044
• /
• 2009

Systematic research has been conducted by KAERI to develop a supercritical carbon dioxide Brayton cycle energy conversion system coupled with a sodium cooled fast reactor. For the development of the supercritical $CO_2$ Brayton cycle ECS, KAERI researched four major fields, separately. For the system development, computer codes were developed to design and analyze the supercritical $CO_2$ Brayton cycle ECS coupled with the KALIMER-600. Computer codes were developed to design and analyze the performance of the major components such as the turbomachinery and the high compactness PCHE heat exchanger. Three dimensional flow analysis was conducted to evaluate their performance. A new configuration for a PCHE heat exchanger was developed by using flow analysis, which showed a very small pressure loss compared with a previous PCHE while maintaining its heat transfer rate. Transient characteristics for the supercritical $CO_2$ Brayton cycle coupled with KALIMER-600 were also analyzed using the developed computer codes. A Na-$CO_2$ pressure boundary failure accident was analyzed with a computer code that included a developed model for the Na-$CO_2$ chemical reaction phenomena. The MMS-LMR code was developed to analyze the system transient and control logic. On the basis of the code, the system behavior was analyzed when a turbine load was changed. This paper contains the current research overview of the supercritical $CO_2$ Brayton cycle coupled to the KALIMER-600 as an alternative energy conversion system.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.5
• /
• pp.542-549
• /
• 2016

This paper presents a SoC (System-on-a-Chip) dedicated for a single-chip smart capsule which can be used to continuously monitor human alimentary canal pH and temperature values. The SoC is composed of the pH and temperature sensor interface circuit, a wireless transceiver, the power management circuit and the flow control logic. Fabricated in $0.18{\mu}m$ standard CMOS technology, the SoC occupies a die area of ${\sim}9 mm^2$. The SoC consumes 6.15 mW from a 3 V power supply, guaranteeing the smart capsule battery life is no less than 24 hours when using 50 mAh coin batteries. The experimental results show that measurement accuracy of the smart capsule is ${\pm}0.1$ pH and ${\pm}0.2^{\circ}C$ for pH and temperature sensing, respectively, which meets the requirement of in-body pH and temperature monitoring in clinical practice.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.16 no.2
• /
• pp.161-170
• /
• 2017

The balise is a device for the railroad signal control systems, which is installed between both rail. The balise sends fixed or variable data, named telegram, to the train with wireless method. The telegram includes the position information, the movable distance under the signal status, the gradient, the speed, the temporary speed limit, etc. This research is on a design of the DBPL encoder for the balise. Normally the DBPL encoder for the balise is with the ASIC or FPGA technology. In this research, the DBPL encoder is designed with commercial low power operable micro-controller. The firmware(logic level encode) and the SPI Bus function block(physical level output) of the micro-controller are used for the DBPL encode. Under the european standard, the required working speed of the DBPL encoder is 564.48Kbps. The DBPL encoder of this research is tested under the speed of 564.48Kbps, and it worked properly.

• Journal of the Korean Geographical Society
• /
• v.45 no.3
• /
• pp.414-429
• /
• 2010

With regard to Ieodo, South Korea and China argue that Ieodo belongs to their territory respectively, considering its history. However, both parties haven't suggested concrete evidence to support their argument. Even if they suggest corroborative facts, they are distorted or exaggerated like myth. Therefore, it is important by what side primitive title and effective control are exercised in settling the problem of Ieodo. The issue was to suggest coherence logic by finding concrete geographical facts in the East China Seat the time of applying a method of boundary decision followed by the marine act, namely principle of median line and principle of equidistance. China has argued that China should occupy most of continental shelf in the East China Sea on the basis of silt, a deposit of the continent. However, the base of the East China Sea is a part of Eurasian Plate. In addition, a geographical contribution to formation of the continent shelf by the Korean Peninsula is equal to the Chinese Continent. Ieodo is 'Island of mythos' in China, but is 'Island of legend' suggested by concrete facts in South Korea. Therefore, its cultural titile and primitive title are belonged to South Korea, before its historical title.