• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.1
• /
• pp.49-55
• /
• 2012

Asynchronous counters, where the counter value is changed not by a synchronizing clock but by outer inputs, are used in various modern digital systems such as spaceborne electronics. In this paper, we propose a scheme of fault tolerance for asynchronous counters with critical races caused by total ionizing dose (TID) in space. As a typical design flaw of asynchronous digital circuits, critical races cause an asynchronous circuit to show non-deterministic behavior, i.e., the next stable state of a state transition is not a fixed value but may be any value of a state set. Using the corrective control scheme for asynchronous sequential machines, this paper provides an existence condition and design procedure for a state feedback controller that can invalidate the effect of critical races. We implement the proposed control system in VHDL code and conduct experiments to demonstrate that the proposed control system can overcome critical races.

• The Korean Journal of Applied Statistics
• /
• v.24 no.4
• /
• pp.657-676
• /
• 2011

Properties of statistical process control procedures may not be derived analytically in many cases; however, the application of a Markov chain can solve such problems. This article shows how to derive the properties of the process control procedures using the generated Markov chains when the control statistic satisfies the Markov property. Markov chain approaches that appear in the literature (such as the statistical design and economic design of the control chart as well as the variable sampling rate design) are reviewed along with the introduction of research results for application to a new control procedure and reset chart. The joint application of a Markov chain approach and analytical solutions (when available) can guarantee the correct derivation of the properties. A Markov chain approach is recommended over simulation studies due to its precise derivation of properties and short calculation times.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.19 no.8
• /
• pp.913-919
• /
• 2008

A new design and its experimental results of a microstrip-fed ultra-wideband tapered slot antenna(TSA) for millimeter-wave systems are presented. By utilizing the ultra-wideband microstrip-to-CPS transition(balun), ultra-wideband characteristics of the inherent TSA are retrieved. Also, the design procedure of the TSA is simplified by performing simple impedance matching between balun and antenna. The proposed TSA is shaped by using the Fermi-Dirac tapering function and corrugated at the outer edge. The implemented antenna demonstrates ultra-wideband performance for frequency ranges from 23 to over 58 GHz with the relatively high and flat antenna gain of 12 to 14 dBi and low sidelobe levels. In addition, a 4-element linear antenna array for phased-array systems and mm-wave sensor applications is also presented.

• The Korean Society of Law and Medicine
• /
• v.8 no.1
• /
• pp.137-177
• /
• 2007

The medical expenses review system in Korea has developed under fee-for-service system with its own unique structure. The importance of reviewing medical expenses has been emphasized, as the size of medical expenditures moving through the health insurance legal context and its weight in the national economy have increased very rapidly. It is, however, analyzed that the feuds and arguments continue among the stakeholders for the lack of laws supporting the medical expenses review system. The medical expenses review is a series of administrative procedures, deciding whether claims from medical care institutions to the insurer are legal and valid or not. It mainly controls the increase of unnecessarily excessive health insurance claim and prevents fraudulent claim and abuse and checks the less use or unsuitable use of medical resources. It also works a function guarantees medical benefits for the appropriate treatment according to the object of health insurance system as a social insurance scheme. The dispute on legal base of the medical expenses review is about the source of law in the medical expenses review. There are the Health Insurance Act and administrative laws as jus scriptum and the guidelines of review as administrative orders. The medical expenses review should reflect various factors, such as the development of medical healthcare technologies, the health expenditures distribution, the financial situation of the health insurance, and the evaluation on the level of appropriate benefits. It is also likely to adapt to the traits of characters of medicine, and trends and transition, Besides it should judge the legality and the validity of medical benefits expenditures by synthesizing these all factors. And the evaluation system of appropriateness of medical benefits was administrative procedure which was consecutive with reviewing the medical expenses system and it was intended to make up for the result of reviewing the medical expenses in more comprehensive levels.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.11
• /
• pp.1355-1360
• /
• 2013

A cracked solid propellant would have failure or fracture of rocket because of excessive combustion according to increase of burning area, therefore it is important to evaluate the fracture toughness of solid propellant. A procedure is used to investigate the material under a range of test temperatures between -60 and $60^{\circ}C$, three kind of specimen thickness, 4, 12.5 and 24.5 mm to determine the effect of two parameters on the fracture toughness. A center cracked tension (CCT) specimen is used in these tests, which were conducted using INSTRON 5567 testing machine and environmental chamber to evaluate the fracture toughness. The experimental results show that the fracture toughness tends to decreases with an increase in the temperature, and the effect of thickness indicates that the fracture toughness is highest at 12.5 mm under various temperatures except $-60^{\circ}C$. It is found that the fracture toughness of solid propellant is changed due to glass transition behavior around $-60^{\circ}C$.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.08a
• /
• pp.198-198
• /
• 2011

Organocatalysis is a relatively new and popular area within the field of chiral molecule synthesis. It is one of the main branches of enantioselective synthesis with enzymatic and organometallic catalysis. In recent years, immense high quality studies on catalysis by chiral secondary amines were reported. These progresses instantly led to different organocatalytic activation concepts, so thousands of researchers from academia and the chemical industry are currently involved in this field and new ideas, new approaches, and creative thinking have been rapidly emerged. Organocatalysts, some of which are natural products, appear to solve the problems of metal catalysts. Compared to metal-based catalysis, they have many advantages including savings in cost, time, and energy, easier experimental procedure, and reduction of chemical waste. These benefits originate from the following factors. First, organocatalysts are generally stable in oxygen and water in the atmosphere, there is no need for special equipments or experimental techniques to operate under anhydrous or anaerobic conditions. Second, organic reagents are naturally available from biological materials as single enantiomers that they are easy and cheap to prepare which makes them suitable for small-scale to industrial-scale reactions. Third, in terms of safety related catalysis, small organic molecules are non-toxic and environmentally friendly. Therefore, the purpose of this research is to develop novel synthetic methods and design for various organocatalyst. Furthermore, it is expected that these organocatalysts can be applied to a variety of asymmetric reactions and study the transition state of these reactions using a metal sulface. Here, we report the synthesis of unprecedented organocatalysts, proline and pyrrolidine derivatives with quaternary carbon center.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.12A
• /
• pp.1311-1319
• /
• 2007

This paper presents the VHDL implementation procedure of the passive RFID tag operating in Ultra High Frequency. The operation of the tag compatible with the EPCglobal Class1 Generation2(GEN2) protocol is verified by timing simulation after synthesis and implementation. Due to the reading range with relatively large distance, a passive tag needs digital processor which facilitates faster decoding, encoding and state transition for enhancement of an interrogation rate. In order to satisfy linking time, the pipe-line structure is used, which can minimize latency to serial input data stream. We also propose the sampling strategy to decode the Preamble, the Frame-sync and PIE symbols in reader commands. The simulation results with the fastest data rate and multi tags environment scenario show that the VHDL implemented tag performs faster operation than GEN2 proposed.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.12 no.1
• /
• pp.106-115
• /
• 1988

A numerical procedure for determining the airfoil shape that maximizes the lift is presented. The structure of the flow field is calculated by iteratively coupling potential flow and boundary analysis using the viscous-inviscid interaction method. The potential flow field is obtained by the vortex panel method and boundary layer flow is analyzed by means of integral approximation method which is capable of handling the laminar, transition and turbulent flow regimes. As the result of this study, it is found that the calculated flow regimes have good agreement with the existing experimented data. Davidon-Fletcher-Powell method and Augmented Lagrange Multiplier method are used for the optimal techniques. NACA 23012, NACA 65-3-21, NACA 64-2-415, NACA 64-2-A215 airfoils are used for determining the optimal airfoil shapes as a basic and compensate airfoils. Optimal design showed that the lift coefficients are increased by 17.4% at M$_{0}$=0.2 and 29% at M$_{0}$=0.3, compared with those of basic airfoil.oil.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.35S no.10
• /
• pp.175-185
• /
• 1998

In this paper, we studied some design methodologies of typical FIR filters based on the peak-error constrained least square criterion which was first introducedd by Adams in 1991. This method is a mixed type of the classical least squared error method(LSM) and the so-called min-max error method (MMM). And by considering both the least squared error as well as the maximum error, the solution, i.e. the impulse response of the filter, can be found only when the restrictions on maximum gain, transition bandwidth, and the squared error are satisfied simultaneously under some trade-off conditions. We used the multiple exchange algorithms for optimization procedure and applied the design methodology to the cases of the multiband filter, the differentiator, and the Hilbert transformer by taking the balance of two design criteria into account. The results show that the peak-error constrained least weighted square error design method(PLEM) is superior in performance to the existing LSM and MMM from both the squared error and the maximum error standpoints. And it is verified that PLEM can be applied to not only the case of simple low pass filter, but also to various types of FIR filters.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.7-14
• /
• 2010

Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.