• Nuclear Engineering and Technology
• /
• v.37 no.2
• /
• pp.139-150
• /
• 2005

A robust control design procedure for a nuclear reactor has been developed and experimentally validated on the Penn State TRIGA research reactor. The utilization of the robust controller as a component of an autonomous control system is also demonstrated. Two methods of specifying a low order (fourth-order) nominal-plant model for a robust control design were evaluated: 1) by approximation based on the 'physics' of the process and 2) by an optimal Hankel approximation of a higher order plant model. The uncertainty between the nominal plant models and the higher order plant model is supplied as a specification to the ,u-synthesis robust control design procedure. Two methods of quantifying uncertainty were evaluated: 1) a combination of additive and multiplicative uncertainty and 2) multiplicative uncertainty alone. The conclusions are that the optimal Hankel approximation and a combination of additive and multiplicative uncertainty are the best approach to design robust control for this application. The results from nonlinear simulation testing and the physical experiments are consistent and thus help to confirm the correctness of the robust control design procedures and conclusions.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.11
• /
• pp.1069-1076
• /
• 2007

This paper presents the road simulator control technology for reproducing the road input signal to implement the real road data. The simulator consists of the hydraulic pump, servo valve, hydraulic actuator and its control equipment. The QFT(Quantitative Feedback Theory) is utilized to control the simulator effectively. The control system illustrates a tracking performance of the closed-loop controller with low order transfer function G(s) and pre-filter F(s) for a parametric uncertain model. A force controller is designed to communicate the control signal between simulator and digital controller. Tracking specification is satisfied with upper and lower bound tolerances on the steep response of the system to the reference signal. The efficacy of the QFT force controller is verified through the numerical simulation, in which combined dynamics and actuation of the hydraulic servo system are tested. The simulation results show that the proposed control technique works well under uncertain hydraulic plant system. The conventional software (Labview) is used to make up for the real controller in the real-time basis, and the experimental works show that the proposed algorithm works well for a single road simulator.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.5
• /
• pp.460-470
• /
• 2011

This paper presents a dynamic workspace control method of underwater manipulator considering a floating ROV (Remotely Operated vehicle) motion caused by sea wave. This method is necessary for the underwater work required linear motion control of a manipulator's end-effector mounted on a floating ROV in undersea. In the proposed method, the motion of ROV is modeled as nonlinear first-order differential equation excluded dynamic elements. For online manipulator control achievement, we develop the position tracking method based on sensor data and EKF (Extended Kalman Filter) and the input velocity compensation method. The dynamic workspace control method is established by applying these methods to differential inverse kinematics solution. For verification of the proposed method, experimental data based test of ROV position tracking and simulation of the proposed control method are performed, which is based on the specification of the KORDI deep-sea ROV Hemire.

• Journal of the Korean Graphic Arts Communication Society
• /
• v.27 no.1
• /
• pp.15-27
• /
• 2009

Since domestic offset print quality control depends on the experience of persons in charge rather than objective data, the standards from the data are needed for the well-organized quality management of high-quality prints. Based on the ISO standards, now the standard specifications, such as GRACoL 7, SWOP 11, SNAP, G7 in America, and EURO Color, ECI, BVDM in Europe, and Japan Color 2001, Japan Color 2004 in Japan, are employed. There exists KS for domestic standards. However, since it has been directly imported from ISO Standards, there are discrepancies in printing materials and media. Although the quality management of commercial prints has been focused and studied. For this circumstance, standards are needed for the production of prints to meet international standards. This paper aims to find out suitable ways to approach domestic printing standards using densitometric method and colorimetric method. Printing experiments on this study were performed with domestic process color inks(Cyan, Magenta, Yellow, Black) and domestic coated papers, under the same conditions as the actual commercial printing processes. In densitometric method, how to set up the optimal solid print density was studied through three tests such as the ways to match solid print density and print contrast to GRACoL standards respectively, and the way to get the highest contrast. In colorimetric method, how to get solid print density with the minimum color difference between the $CIEL^*a^*b^*$ color specification values in GRACoL standards and the measured color specification values in prints, was studied.

• YAKHAK HOEJI
• /
• v.57 no.3
• /
• pp.226-233
• /
• 2013

Although the dissolution test can serve as an effective tool for quality control and predictor of in vivo performance, there are a number of drugs with no established dissolution specification in Korean Pharmaceutical Codex (KPC). So, with each reference and test drugs, the dissolution test method and an analytical procedure by HPLC were developed and validated to establish dissolution specification for acebrophylline capsules and bromhexine hydrochloride tablets. The dissolution condition was determined based on the "Guidelines on Specifications of Dissolution tests for Oral dosage forms" of Ministry of Food and Drug Safety (MFDS). The analytical method of HPLC was validated in specificity, linearity, precision and accuracy. Final dissolution test was performed with commercially available samples of 3 lots to establish specification. In addition, no difference was observed by the inter-laboratory evaluation. Dissolution specifications and conditions will be used for revising the monograph of acebrophylline capsules and bromhexine hydrochloride tablets in next supplement of KPC.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.31 no.3
• /
• pp.80-89
• /
• 2008

Because of different hardware specifications, there are no unified protocol commands to use with various kinds of RFID readers. The current commercial RFID middlewares do not satisfy the various requirements from users to support business process logic representation. The EPCglobal, which is leading organization for the RFID research, suggested a RFID middleware architecture which is called ALE(Application Level Events) standard. However, their architecture also does not provide the application level's interfaces. Therefore, a new RFID middleware architecture is required to provide basic RFID functions, conform to ALE's specification and, additionally, support application level's business logic representation. This paper proposes a ALE-based RFID middleware architecture which provides business process logic representation. At first, the basic RFID control functionalities are identified. Secondly, the business process logic requirements in RFID applications are identified and classified Into six categories. Third, the Middelware architecture is implemented with Java and XML technology so that it can easily extended to support the various RFID hardware's protocols. Finally, an example RFID prototype system is developed to show the proposed architecture's feasibility and validate it. The proposed middleware is expected to be used In various application areas since it is using XML technology for easy adaptation and it also con- forms to ALE interface which is standard specification.

• The Journal of Information Technology
• /
• v.5 no.1
• /
• pp.69-77
• /
• 2002

The Bluetooth is expected to be one of the most popular wireless telecommunication technology in the near future, and the protocol stack is essential to providing the various services with the Bluetooth-embedding systems or devices. The Bluetooth specification is an open, global specification defining the complete system, however, the protocol stack is usually implemented partly in hardware and partly as software running on its system, with different implementations partitioning the functionality between hardware and software in different ways. I investigate how to design and implement the Bluetooth protocol stack according to its specification. I focus on the HCI and the lower layer of the software protocol stack as a basic step for the development of our own protocol stack. As a result, paper provides how to partitioning the role of HCI layer, and how to implement the relationship between HCI packets, it's functionality and the flow control. Experiments show the discovering other Bluetooth devices and their connection. Furthermore experiments demonstrate the proper operation of data communication between the Bluetooth modules.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.869-882
• /
• 2004

This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the Proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.