• Proceedings of the KIEE Conference
• /
• 2001.07b
• /
• pp.567-569
• /
• 2001

This paper presents improved performance on the speed control of Switched Reluctance Motor(SRM) by using fuzzy logic speed controller. The nonlinear model of SRM is used and the motor used in experiment is a 6/4 SRM. In order to prove the superiority of the fuzzy logic controller, it is applied to make use of Matlab simulation program. And to implement the control method on the SRM drive. DSP(TMS320F240) based SRM speed controller is designed and fabricated. The simulation and experiment results show that FLC is effective in settling time maximum overshoot and torque ripple.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.1
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.12
• /
• pp.1009-1014
• /
• 2001

The ladder diagram (LD) for programmable logic controllers (PLCs) ar responsible for much important roles in advance industrial automation. As automated systems become more complex the design procedures of the system become more difficult as well. Hence. the design automation issues based on discrete event models(DEMs) are receiving more attention. One of the popular ways of tackling these problems is employing Petri nets. In this paper, we use the modified automation Petri net(MAPN) to model the manufacturing system and the modified token passing logic (MTPL) method conversion (ECC) algorithm based on the MAPN and the MTPL Finally, an example of the manufacturing system is provided to illustrate the proposed ECC algorithm.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.2
• /
• pp.501-511
• /
• 2018

The purpose of this study is to develop the performance evaluation indicator of information security training program for developing the next generation of top security leaders. Through literature review and focus group interview, we derived the performance areas and indicators based on the logic model. We conducted AHP(Analytic Hierarchy Process) questionnaire to calculate the weight of the derived indicators, and developed the performance indicator based on the survey results. Performance indicators were composed of 18 indicators in four main categories.

• ETRI Journal
• /
• v.16 no.4
• /
• pp.27-47
• /
• 1995

This paper improves top-down execution models of logic programs based on a two-phase abstract interpretation which consists of a bottom-up analysis followed by a top-down one. The two-phase analysis provides an approximation of all (possibly non-ground) success patterns of clauses relevant to a query. It is specialized by considering Sato and Tamaki’s depth k abstraction as abstract function. By the ability of the analysis to approximate possibly non-ground success patterns of clauses relevant to a query, it can be statically determined whether some subgoals will fail during execution and some succeeding subgoals do not participate in success patterns of program clauses relevant to a given query. These properties are utilized to improve execution models. This approach can be easily applied to any top-down (parallel) execution models. As instances, it is shown to be applicable to linear execution model and AND/OR Process Model.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.4 no.3
• /
• pp.122-129
• /
• 1996

The spark timing is one of major parameters to the engine performance and emissions. The ECU controls the spark timing based on preset values, which are functions of load and speed, in most of today's automotive SI engine. In this system, the preset spark timing can be different from optimum value due to the deviations from mass production, aging effects and so on. In the present study, a control logic is investigated for real time adaptation of spark timing to optimal value. It has been found that crank angle of miximum cylinder pressure is one of the appropriate parameters to estimate the optimum spark timing throught experiment. It has also been observed for spark timing convergence by variation of engineering model factors. The simulation program including engineering model for cycle by cycle variation of combustion is developed for surveying spark timing control logic. It is also shown that simulation results reflect experiment outputs and reasonableness of spark timing control logic for crank angle of maximum cylinder pressure.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.8
• /
• pp.3644-3653
• /
• 2011

This study proposes the automation of disinfection process in water treat plant to reach target effluent chlorine concentration rate according to chlorine consumption rate by varying travel time. Hydraulic analysis about the process and local facility was surveyed first and the program for automatic operation was developed to solve current problem, whose applied result was presented and proved to be better than present controller. Especially using multi variable process algorithm, the correlation coefficient is analyzed between environment factor and reaction time, and process control prove to be stable through model estimation with optimal control input.

• Korean Journal of Health Education and Promotion
• /
• v.27 no.4
• /
• pp.165-175
• /
• 2010

Objectives: The purpose of this study is to evaluate the program theory of a lifestyle intervention program for the prevention and treatment of metabolic syndrome. Methods: The program evaluated is a tailored intervention for multiple health behavior associated with metabolic syndrome which is informed by theoretical constructs from the Intervention Mapping and Transtheoretical model. The program components include one-to-one health counseling, a self-management handbook, and a health diary. To evaluate program impact theory we examined the logic of program goals and objectives, intervention methods and strategies, and the theoretical constructs of program materials through document review and matrix building. Results: This evaluation has found that the intervention program applied social cognitive theory constructs to design intervention methods and strategies in addition to the Transtheoretical model: self-monitoring for goal setting and monitoring skill, outcome expectation for the benefits of health behavior change, and interaction with environment for observational learning through modeling. While the intervention addresses multiple determinants and behaviors, it is limited to an individual level and lacks social and environmental approaches. Following the Transtheoretical framework, the contents of the intervention materials were developed utilizing consciousness raising as a main strategy for earlier stages of change, and counterconditioning and stimulus control for later stages of change. Conclusion: Program theory evaluation can be a process of enhancing program validity. It would also be necessary for providing basis for efficient program implementation. When comparisons of program theory between similar programs are possible, program theory and validity will be strengthened when comparisons of program theories between similar programs are possible.

• Asian Journal of Innovation and Policy
• /
• v.9 no.3
• /
• pp.257-280
• /
• 2020

The study analyzed the effectiveness of a technology transfer and commercialization support program to Korean technology transfer offices and firms. The study created a logic model to design a questionnaire to analyze how the support program, directly and indirectly, affected the technology transfer offices and the firms' performances. The study found that technology transfer offices are focused not only on potential firms' excavation activity to process the technology transfer but also on providing strategic support to provide practical assistance to the firms' needs. Not only has the number of technology transfer cases increased during the two-year program duration, but other activities, such as technical guidance and various strategic consulting for commercialization of the transferred technology, have also appeared to have increased considerably. Support program has helped strengthen the firms' internal capabilities, expand new market capabilities, and increase the firms' indirect performances.

• Health Policy and Management
• /
• v.10 no.4
• /
• pp.99-115
• /
• 2000

This study was conducted to get a resonable set of budget allocation to public health programs. Matrix Delphi technique was used to obtain the logic of study results and eventually to form a human model which could predict opinion of professionals on budget allocation. Thirty-two professionals in academic and governmental area responded to Delphi survey. Questionnaire was developed using matrix formation, and the matrix was formed by 6 decision criteria on budget allocation and 26 public health programs. The decision criteria are as following: size of problem(morbidity), severity of problem, social equity, importance of prevention, technical feasibility and efficiency of programs. Severity of problem dropped out of the model because it had significant correlation with the size of problem. A total score of each program was obtained by weighting the relative importance of each criteria which also were given by survey respondents. These total scores indicate that the most important public health program is vaccination for infants and children in terms of budget allocation. Monitoring communicable diseases, mental health program, and anti-smoking program are the next. In addition, respondents were asked of the desirable budget size of each program. The result was rearranged by multiple regression model using the scores of each decision criteria. In this process, the current budget size of central government was provided to the respondents, and included in the model. h set of desirable budgets modified using tile model was obtained. Considering the current size of budget, tile results of the model is very different from that of the total score. Managing dementia is ranked the first. Health promotion program for the elderly, rehabilitation of the disabled and monitoring communicable diseases are the next. The need to increase the budget of vaccination for the infants and children was not found as so high. The matrix structure in Delphi survey gave us the precise basis to make optimal decision, and made it possible to develop an opinion predicting model. However the plentifulness and diversity of professional opinions were not fully obtained due to the limited number of decision criteria.