• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

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 errors of overlooked requirement specification can be detected using the 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 this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.16 no.6
• /
• pp.752-761
• /
• 2013

A new gun fire control system has been developed for the Korean next generation frigate class. The engineering requirement was far more tightened than the PKG-A class for the firing range availability and gun control function since 5 inch gun is adopted for the new ship. We mention about the principal technologies required to build a generic gun fire control system and proposed methods for the new gun fire control system. The new system has been designed based on the proposed methods in order to satisfy the requirement and functionality has been proved to be acceptable through the sea trial by Korean navy.

• Journal of Animal Environmental Science
• /
• v.5 no.3
• /
• pp.203-216
• /
• 1999

Recent public concern about air pollution caused by swine production facilities has forced to develop the methods to reduce and control the swine odors. Swine odors were affected the life of pig farm neighborhoods, swine productivity, pig health, diseases, and human right, safety, sanity as negatively. The first approaches of control of swine odors are the change or improve of the classical management systems, which are manure treatment method, manure storage facility, phase feeding, sex-divided feeding, feeder type, liquid-slurry feeding, environment control of swine building and dust control of indoor swine facility. The methods to control odor emission from manure have to include the diet modification as nutritional basis. In recent, research emphasis has focused on manipulating the swine diet to increase the nutrient utilization of the diet to reduce excretion products and reduction of odors. There are lots of feed additives and pit additives introduced as practical basis for reducing odor emissions. The ozone treatment method is candidate as the good system for reducing swine odor. But this system is still too expensive to practice in present.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.377-382
• /
• 2005

The tools, methods and measures used for project control reflect underlying theories of management. Management theory has been neglected in the construction industry, which has rather focused on tools and neglected theory. This paper contributes to the theory of project management by introducing and developing two fundamental and competing conceptualizations of management: MBM (Managing-by-Means) and MBR (Managing-by-results). Current project control and performance measurement practice is based on MBR. However, project control based on MBR may not be appropriate for managing dynamic projects. The paper present the Last Planner^TM System (LPS) and Process Variance Control (PVC) as examples of methods reflecting the MBM view. It is argued first that the MBM view is appropriate for managing uncertain, complex and quick projects. The paper also explores how MBR tools and techniques may be appropriately used within an MBM framework.

• Smart Structures and Systems
• /
• v.14 no.3
• /
• pp.377-395
• /
• 2014

Vibration-based fault detection and condition monitoring of rotating machinery, using statistical process control (SPC) combined with statistical pattern recognition methodology, has been widely investigated by many researchers. In particular, the discrete wavelet transform (DWT) is considered as a powerful tool for feature extraction in detecting fault on rotating machinery. Although DWT significantly reduces the dimensionality of the data, the number of retained wavelet features can still be significantly large. Then, the use of standard multivariate SPC techniques is not advised, because the sample covariance matrix is likely to be singular, so that the common multivariate statistics cannot be calculated. Even though many feature-based SPC methods have been introduced to tackle this deficiency, most methods require a parametric distributional assumption that restricts their feasibility to specific problems of process control, and thus limit their application. This study proposes a nonparametric multivariate control chart method, based on multiscale wavelet scalogram (MWS) features, that overcomes the limitation posed by the parametric assumption in existing SPC methods. The presented approach takes advantage of multi-resolution analysis using DWT, and obtains MWS features with significantly low dimensionality. We calculate Hotelling's $T^2$-type monitoring statistic using MWS, which has enough damage-discrimination ability. A bootstrap approach is used to determine the upper control limit of the monitoring statistic, without any distributional assumption. Numerical simulations demonstrate the performance of the proposed control charting method, under various damage-level scenarios for a bearing system.

• International Journal of Human Ecology
• /
• v.9 no.1
• /
• pp.97-106
• /
• 2008

This study investigated the relationships between eating disorder risk, body image perception, weight control, and dietary habits in Korean women. Body shape perception, the Eating Attitude Test (EAT-26) and dietary habit information were collected by a self-administered questionnaire to 373 adult women and the data were analyzed by the Chi-square test. 31.4% of the women were classified in the eating disorder group by a score of over 20 points on the EAT-26. Compared to the normal group, more women in the eating disorder risk group perceived that a thin body shape was the ideal body shape and were dissatisfied with their body shape. This group was also more interested in weight control and more likely to try weight control methods. The eating disorder risk group was more likely to skip meals and snacks than the normal group. In addition, they had a greater appetite and a higher frequency of overeating than the normal group. Over 30% of the Korean women surveyed were categorized at high risk of eating disorders. They were more likely to overestimate body weight and shape and tried to control their weight by inappropriate methods. To prevent eating disorders in adult women, nutrition education programs should incorporate strategies to change inaccurate self-body image and to disseminate information about healthy weight control methods.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.50 no.12
• /
• pp.615-623
• /
• 2001

In this paper, we study a series active power filter to compensate current harmonics and unbalanced source voltages. Conventional control methods for compensating unbalanced source voltages use source voltages to calculate compensation voltages, and in addition use load voltages to regulate load voltages. But the proposed control method uses load voltage to compensate unbalanced source voltages and regulate load voltages. And we propose a control method to reduce current harmonics which can calculate compensation voltages directly from source currents and load voltages. By well-matched operation of two control methods, the series active power filter can compensate current harmonics, unbalanced source voltages, and regulate load voltages. We compose a combined system of the series active power filter and parallel passive filters to confirm a validity of proposed control methods. The results from experiments are presented to demonstrate effectiveness of the proposed method.

• Journal of Korean Society for Quality Management
• /
• v.49 no.4
• /
• pp.539-550
• /
• 2021

Purpose: The purpose of this study is to propose a multivariate CUSUM control chart that can detect the out-of-control state fast while monitoring the cross- and auto- correlated multivariate time series data. Methods: We first build models to estimate the observation data and calculate the corresponding residuals. After then, a multivariate CUSUM chart is applied to monitor the residuals instead of the original raw observation data. Vector Autoregression and Artificial Neural Net are selected for the modelling, and Separated-MCUSUM chart is selected for the monitoring. The suggested methods are tested under a number of experimental settings and the performances are compared with those of other existing methods. Results: We find that Artificial Neural Net is more appropriate than Vector Autoregression for the modelling and show the combination of Separated-MCUSUM with Artificial Neural Net outperforms the other alternatives considered in this paper. Conclusion: The suggested chart has many advantages. It can monitor the complicated multivariate data with cross- and auto- correlation, and detects the out-of-control state fast. Unlike other CUSUM charts finding their control limits by trial and error simulation, the suggested chart saves lots of time and effort by approximating its control limit mathematically. We expect that the suggested chart performs not only effectively but also efficiently for monitoring the process with complicated correlations and frequently-changed parameters.

• Journal of Ecology and Environment
• /
• v.44 no.4
• /
• pp.256-263
• /
• 2020

Background: Ambrosia trifida is a highly invasive annual plant, but effective control methods have not been proposed. Among various eradication methods, cutting is a simple measure to control invasive plants, and sowing seeds of native plants may effectively increase biotic resistance to invasion. In this study, we conducted a field experiment with two treatments: cutting and sowing seeds of six native or naturalized plants. Results: We found a significantly lower A. trifida abundance after cutting than in the control (77% decrease). Sowing seeds of native species did not provide any additional benefit for the control of A. trifida, but increased the importance values and diversity of other native vegetation. The abundance of A. trifida was negatively correlated with that of other plant taxa based on plant cover, biomass, and density. However, biotic resistance of sown plants was not effective to control invasion because A. trifida was so competitive. Conclusions: We concluded that cutting is an effective measure to control Ambrosia trifida while sowing seeds of native plants can increase native plant diversity.

• Journal of Advanced Marine Engineering and Technology
• /
• v.30 no.7
• /
• pp.791-799
• /
• 2006

The aim of this paper is to design an adaptive speed control system of a marine diesel engine by fusion of hard computing based proportional integral derivative (PID) control and soft computing based fuzzy control methods. The model of a marine diesel engine is considered as a typical non oscillatory second order system. When its model and the actual marine diesel engine ate not matched, it is hard to control the speed of the marine diesel engine. Therefore, this paper proposes two methods in order to obtain the speed control characteristics of a marine diesel engine. One is an efficient method to determine the PID control parameters of the nominal model of a marine diesel engine. Second is a reference adaptive speed control method that uses a fuzzy controller and derivative operator for tracking the nominal model of the marine diesel engine. It was found that the proposed PID parameters adjustment method is better than the Ziegler & Nichols' method, and that a model reference adaptive control is superior to using only PID controller. The improved control method proposed here, could be applied to other systems when a model of a system does not match the actual system.