• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2006.08a
• /
• pp.660-664
• /
• 2006

A novel quantified method based on requirement analysis of image quality to improve display image quality was proposed. Nowadays, the image quality was limited by the poor understanding of the image quality requirement, which led to the critical factors of image quality could not be controlled during display development. Our method was set up to resolve this problem by clarifying the relationship between the image quality level and the effect factors in image processing. Moreover, the subjective factors were eliminated extremely by the image quality quantification. The method was applied in the RPTV development life cycle and its efficiency was demonstrated.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.25 no.4
• /
• pp.40-45
• /
• 2002

An AS/RS construction cost minimization model under throughput rate requirement constraint has been developed, whose objective function includes S/R machine cost, storage rack cost, and interrace conveyor cost. S/R machine cost is a function of the storage rack height, the unit load weight, and the control logic used by the system, while storage rack cost is a function of the storage rack height, the weight and the volume of the unit load. Since the model is a nonlinear integer programming problem which is very hard to solve exactly with large problem size, a solution procedure is developed to determine the height and the length of the storage rack with a fixed number of S/R machines, while increasing the number of S/R machines one by one to meet the throughput rate requirement.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.18 no.6
• /
• pp.565-575
• /
• 2009

A forklift (also called a lift truck) is a powered industrial truck that is used to lift and transport materials. It has become an indispensable piece of equipment in manufacturing and warehousing operations. The modem forklift is equipped with automatic transmission to meet the requirement of loading and easy operation of the vehicle. This paper proposes the design of TECU(Transmission Electronic Control Unit) which is applied to PSD322-Axle transmission. Garofalo's control technique is generally used to the automatic transmission. We consider the work quality and market requirement that does not want to control engine throttle. This paper proposes new controller system which guarantees efficient speed changes with simple system. This new system does not control the engine throttle spontaneously. But it has the load of engine and vehicle as a maximum disturbance. The scope of the disturbance is limited to the stoll area of the torque converter. This paper proposes a ideal control commander that converges relative velocity of the input and ouput of a clutch into a zero. We design linear controller to execute the idea control commander. We applied the control algorithm to the forklift of PSD322-Axle type and the performance of this controller was verified.

• The Korean Journal of Pain
• /
• v.12 no.1
• /
• pp.21-26
• /
• 1999

Background: Preoperative blocking of surgical nociceptive inputs may prevent sensitization of central nervous system (CNS) and reduce postoperative pain. The stress responses to surgical trauma consist of increase in catabolic hormones and decrease in anabolic hormones. We studied whether preoperative low dose epidural bupivacaine and morphine could affect postoperative pain, changes plasma cortisol, and serum glucose. Methods: Thirty patients undergoing total abdominal hysterectomy were randomly assigned to one of three groups. General anesthesia was induced in all patients and after that, epidural blocks were done except the control group (n=10) patients. Preoperative block group (n=10) received 0.5% bupivacaine 50 mg and morphine 2 mg epidurally as a bolus before operation and followed by 0.1% bupivacaine $5\;mghr^{-1}$ and morphine $0.2\;mghr^{-1}$ for 10 hours. Postoperative block group (n=10) received the same doses of bupivacaine and morphine under the same method postoperatively. Postoperative pain relief was provided with i.v. fentanyl through Patient-Controlled-Analgesia Pump. Postoperative pain by visual analogue scores (VAS), analgesic requirement (first requirement time, total amounts used), side effects, plasma cortisol level and serum glucose level were compared. Results: Until postoperative 6 hrs, VAS of control group was higher than those of the epidural groups. No difference was observed in VAS between the two epidural groups. First analgesics requirement time and total amounts of used analgesics were not different between the two epidural groups, but first analgesic requirement time of preoperative block group was significantly prolonged compared with control group. Plasma cortisol and serum glucose levels were not different among groups. Conclusions: Low dose preoperative epidural bupivacaine and morphine could not reduce postoperative pain, plasma cortisol level and serum glucose level compared with postoperative block group.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.3
• /
• pp.177-188
• /
• 2013

The construction industry consists of various and massive architectural information as an architectural process includes a variety of design stages with cooperation of many disciplines. Particularly, architectural information is generated and managed through the life cycle of a building, from conceptual design stage to the construction and maintenance. A Building Information Model (BIM) serves as a shared knowledge resource for information about a facility forming a reliable basis for decisions during its life-cycle from inception onward. BIM technology accomplished quantitative development being utilized in various disciplines. However, it is necessary to develop environment and requirement for qualitative improvement of BIM based project. Particularly, requirement is very important for architectural design evaluations. The purpose of this study is to develop and apply of quality control check-list for improving the quality of architectural design in BIM environments. To achieve this purpose, the authors have investigated case study for open BIM data quality control (software, guideline and application case) and classified quality control targets according to physical/logical quality control and data quality. In addition, the authors have defined open BIM based quality control process and developed quality control check-list. Finally, the authors have developed automatic quality check system using requirements for efficient quality control based on open BIM.

• Nuclear Engineering and Technology
• /
• v.50 no.5
• /
• pp.648-653
• /
• 2018

Elimination of soluble boron from reactor design eliminates boron-induced reactivity accidents and leads to a more negative moderator temperature coefficient. However, a large negative moderator temperature coefficient can lead to large reactivity feedback that could allow the reactor to return to power when it cools down from hot full power to cold zero power. In soluble boron-free small modular reactor (SMR) design, only control rods are available to control such rapid core transient. The purpose of this study is to investigate whether an SMR would have enough control rod worth to compensate for large reactivity feedback. The investigation begins with classification of reactivity and completes an analysis of the reactivity balance in each reactor state for the SMR model. The control rod worth requirement obtained from the reactivity balance is a minimum control rod worth to maintain the reactor critical during the whole cycle. The minimum available rod worth must be larger than the control rod worth requirement to manipulate the reactor safely in each reactor state. It is found that the SMR does have enough control rod worth available during rapid transient to maintain the SMR at subcritical below k-effectives of 0.99 for both hot zero power and cold zero power.

• Korean Journal of Applied Biomechanics
• /
• v.17 no.2
• /
• pp.83-91
• /
• 2007

This experiment studied the change in a human's control of his or her static posture by analyzing the stabilogram diffusion and, by using the said study, evaluated the control ability of different groups with different experiences. The postures had a rising requirement of heel-rise according to three conditions: heel-toe, ball, toe; the groups were divided into dance major student and non-dance majors. The results of the critical points according to posture did not show a direct relation with the change in postures that had a rising requirement of heel-rise. The diffusion coefficient(D) had greater stochastic activity for short-term regions that utilize open-loop controls without feedback than for long-term regions that used closed-loop controls with feedback to maintain balance. The directional results of the body undergoing disturbance showed that A/P direction's diffusion coefficient (D) was larger than that of M/L direction. Both feet's planar diffusion coefficients were a linear combination of the diffusion coefficients calculated for the x and y axis. In studying the different abilities to control posture between a dance major student and a non-dance majors, a comparison of open-loop control's diffusion coefficient(D) was effective, and dance major student had superior control ability to that of non-dance majors.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1930-1935
• /
• 2008

Bimodal tram is able to run both general and special road. It has also the advantages of both public bus and subway which have the charateristics of easiness to approach and punctuality respectively. These advantages are accomplished by the cooperative communication between the control center and bimodal tram which is running with the fleet. This paper have investigated the requirement analysis and designing of the car operating computer system which have the functions of communication, broadcasting and display. car operating computer system communicates between bimodal tram and control center with wireless antenna. It can also transmit the location and status information of bimodal tram to control center for managing the bimodal tram fleet on road efficiently and economically.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.54.1-54
• /
• 2002

1. Introduction 2. Related Work 3. Secure Data Transmission on web-based monitoring and control System 3.1 Requirement facts with the Security for the Secure Data Transmission 3.2 Architecture for the Secure Data Transmission 4. Conclusions and Further Research