• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1346-1353
• /
• 1996

In this paper, we propose a modeling method for the flip-flops and test generation algorithms to detect the faults in the sequential circuits using VHDL in the high-level design environment. RS, JK, D and T flip-flops are modeled using data flow types. The sequence of micro-operation which is the basic structure of a chip-level leads to a control point where varnishing occurs to one of two micro- operation sequence. In order to model the fault of one micro-operation(FMOP) that perturb another micro-operation effectively, the concept of goal trees and some heuristic rules are used. Given a faulty FMOP or fault of control point (FCON), a test pattern is generated by fault sensitization, path sensitization and determination of the imput combinations that will justify the path sensitization. The fault models are restricted to the data flow model in the ARCHITECTURE statement of VHDL. The proposed algorithm is implemented in the C language and its efficiency is confirmed by some examples.

• Journal of the Korean Geotechnical Society
• /
• v.15 no.5
• /
• pp.157-170
• /
• 1999

A new design technique is presented to stabilize cut slopes in cohesive soils by use of piles. The design method can consider systematically factors such as the gradient and height of slope, the number and position of pile's rows, the interval and stiffness of piles, etc. The design method is established on the basis of the stability analysis of slope with rows of piles. The basic concept applied in the stability analysis is that the soil across the open space between piles can be retained by the arching action of the soil, when a row of piles is installed in soil undergoing lateral movement such as landslides. To obtain the whole stability of slope containing piles, two kinds of analyses for the pile-stability and the slope- stability must be performed simultaneously. An instrumentation system has been installed at a cut slope in cohesive soil, which has been designed according to the presented design process. The behavior of both the piles and the soil across the open space between piles is observed precisely. The result of instrumentation shows that the cut slope has been stabilized by the contribution of stabilizing effect of piles on the slope stability in cohesive soil.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.104-106
• /
• 2005

In this work, a PWR reactor core dynamics is identified online by a recursive least squares method. Based on this identified reactor model consisting of the control rod position and the core average coolant temperature, the future average coolant temperature is predicted. A model predictive control method is applied to design an automatic controller for thermal power control in PWRs. The basic concept of the model predictive control is to solve an optimization problem for a finite future at current time and to implement as the current control input only the first optimal control input among the solutions of the finite time steps. At the next time step, the procedure to solve the optimization problem is then repeated. The objectives of the proposed model predictive controller are to minimize both the difference between the predicted core coolant temperature and the desired one, and the variation of the control rod positions. Also, the objectives are subject to maximum and minimum control rod positions and maximum control rod speed. Therefore, the genetic algorithm that is appropriate to accomplish multiple objectives is used to optimize the model predictive controller. A 3-dimensional nuclear reactor analysis code, MASTER that was developed by Korea Atomic Energy Research Institute (KAERI), is used to verify the proposed controller for a nuclear reactor. From results of numerical simulation to check the performance of the proposed controller at the 5%/min ramp increase or decrease of a desired load and its 10% step increase or decrease which are design requirements, it was found that the nuclear power level controlled by the proposed controller could track the desired power level very well.

• Journal of the Korea Concrete Institute
• /
• v.15 no.6
• /
• pp.794-801
• /
• 2003

As it is important to measure the degree of the deterioration and predict service life caused by chloride in concrete structure the methods of measuring chloride in the concrete is raised important problems. This study is to set a new standard for using of the colorimetric method through grasping the character of the colorimetric distinction method, and measuring the chloride content at the place discolored. Also, to predict chloride content around embeded bar and time reaching limit chloride concentration through measuring the chloride content of concrete surface by colorimetric distinction method and this study presents the new concept of concrete degradation and diagnosis of the durability by salt damage. According the results, it is possible to use colorimetric distinction method as simplified measurement to measure the fixed quantity of the chloride concentration. What is more, it would make calculation of concrete surface chloride had a wide fluctuation at the general environment extended. Also, it would be make estimating durability of reinforced concrete structures applied to the basic data.

• Journal of the Korea Concrete Institute
• /
• v.19 no.4
• /
• pp.483-490
• /
• 2007

Traditional external post-tensioning method using either steel bars or tendons is commonly used as a retrofitting method for concrete bridges. However, the external post-tensioning method has some disadvantages such as stress concentration at anchorages and inefficient load carrying capability regarding live loads. Thermal prestressing method is a newly proposed method for strengthening and rehabilitation of concrete girder bridges. Founded on a simple concept of thermal expansion and contraction of steel, the method is a hybrid method of external post-tensioning and steel plate bonding, combining the merits of two methods. In this paper, basic concepts of the method are presented and an illustrative experiment is introduced. From actual experimental data, the thermal prestressing effect is substantiated and the FEM approach for its analysis is verified.

• Spatial Information Research
• /
• v.17 no.1
• /
• pp.15-23
• /
• 2009

For the development and management of u-City(ubiquitous city), Ubiquitous City Construction Law was enacted(March 3, 2008) to form the legal basis of u-City plan, construction and managements afterwards. Among u-City elements, the u-City Management Center has its own meaning and importance in roles which are crucial to the u-City developments, and its legal establishment is one of the core u-City realization factors. In spite of its crucial position for u-City, the legal arrangement of its basis concept, physical/systematic structures, and managerial finance sources and their standardizations are very immature. Therefore, the purpose of this study is to analyse its overall problem issues and then to suggest the basic directions and enforcement strategies to form its legal basis.

• Spatial Information Research
• /
• v.23 no.3
• /
• pp.123-132
• /
• 2015

Recently both the importance and the interests of field-experience learning have kept increasing since the Education of Ministry encourages students to take a field-experience learning with the self-driven and creative education as the main issue in the 7th revised education curriculum in 2009. As the importance of field-experience learning goes up continuously, not only the release of its related mobile applications is increasing, but also a variety of researches for supporting the field-experience learning are ongoing. In this research we perform two things. First, we define the basic concept of authoring tool for which support the field-experience learning based on its characteristics and user requirements analysis. We confirmed that the authoring tool for the field-experience learning has to 1) support all activities that happen in pre-field, field-experience and post-field phases, 2) be possible to write the location-based field work, 3) have the authoring function which reflects the characteristics of curriculum such as history, science and geography, etc. that the field learning can be realized, 4) be designed as the structure that the results of inquiring activity after the field experience activity can be reused. Second, we create a conceptual design after confirming the authoring tool.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.9
• /
• pp.1019-1025
• /
• 2014

Recently, the studies of the Unmanned Aerial Vehicle(UAV) has been studied a variety from military aircraft to civilian aircraft and for general hobby activity aircraft. In particular, for small unmanned aircraft research for the ease of turning and hovering and Vertical-Off Take Landing(VTOL), have been studied mainly quadrotor unmanned aircraft is a type suitable for this study of small unmanned aircraft. The studies of these unmanned aircraft is the kinetic analysis requires complex processes, because these support by the aerodynamic forces on the unmanned aircraft study, and the controller design based on these dynamical analysis and experimental model analysis. In this paper, after the implementation of the basic attitude control based on a general PID controller, we propose concept design of the attitude control method on quadrotor attitude control by using the reinforcement learning algorithm of neural networks for non-linear elements not considered in the controller design.

• The Journal of Korean Medical History
• /
• v.31 no.1
• /
• pp.89-103
• /
• 2018

Uirimchalyo (醫林撮要), one of the most important books in the history of Korean Medicine (KM), has not been researched within the framework provided by Yi'an (醫案), an East Asian tradition of describing clinical encounters with the therapies employed. In modern times, this practice of Yi'an might be similar to the outline of a singular "case study". The authors designed the study to analyze the basic information of Yi'an within the Uirimchalyo and to contribute to the foundations of employing Yi'an in Korean Medicine. A standard was established, and the 123 Yi'ans were extracted, most of which were taken from the chapter, Historic Doctors (歷代醫學姓氏). Using this information and in comparison with other medical books such as Euibangyoochui (醫方類聚), the authors learned that the Yi'ans from the Jinyuansidajia (金元四大家), including those of four eminent clinicians in Jin (金) and Yuan (元) Dynasty, are excluded from Uirimchalyo. The authors identified that Yi'ans from other medical books, are cited in the Uirimchalyo but with different format, not with the traditionally understood form of Yi'an. This study of the Uirimchalyo Yi'an resulted in three important understandings of Yi'an. First, the mere number of Uirimchalyo Yi'an is meaningful in that it raised the genre of Yi'an to the a level not previously recognized. Second, in the history of Korean Medicine, Yi'an is first systematized in the Uirimchalyo at the chapter of Historic Doctors. Third, Uirimchalyo raised the concept of usefulness of Yi'an, to the practice of Korean Medicine.

• Biomolecules & Therapeutics
• /
• v.26 no.3
• /
• pp.242-254
• /
• 2018

Defensins are antimicrobial peptides that participate in the innate immunity of hosts. Humans constitutively and/or inducibly express ${\alpha}$- and ${\beta}$-defensins, which are known for their antiviral and antibacterial activities. This review describes the application of human defensins. We discuss the extant experimental results, limited though they are, to consider the potential applicability of human defensins as antiviral agents. Given their antiviral effects, we propose that basic research be conducted on human defensins that focuses on RNA viruses, such as human immunodeficiency virus (HIV), influenza A virus (IAV), respiratory syncytial virus (RSV), and dengue virus (DENV), which are considered serious human pathogens but have posed huge challenges for vaccine development for different reasons. Concerning the prophylactic and therapeutic applications of defensins, we then discuss the applicability of human defensins as antivirals that has been demonstrated in reports using animal models. Finally, we discuss the potential adjuvant-like activity of human defensins and propose an exploration of the 'defensin vaccine' concept to prime the body with a controlled supply of human defensins. In sum, we suggest a conceptual framework to achieve the practical application of human defensins to combat viral infections.