• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.3
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• Journal of the Korean Society for Railway
• /
• v.10 no.4
• /
• pp.438-443
• /
• 2007

This paper proposes an integrated SE process for the development of railway systems with safety assessment included. Although the safety assessment process must be performed with SE process properly with good coordination, the interfaces between the two processes have not been clear. Thus, in many of safety critical system developments in Korea, it is difficult to assess safety in proper development phase. The process model proposed in this paper is based on both the concept of system life cycle and the repetitive use of SE process. In each of development phases, appropriate safety assessment methods are described. Also the evaluation of the integrated system incorporating safety factors is described. The resultant process model is expressed by the Enhanced Functional Flow Block Diagram (EFFBD) using a CASE tool. The model also allows timeline analysis for identifying activity flow and data flow, resulting in the effective management of process. In conclusion, the integrated process enable both the SE process and safety assessment process to cooperate with each other from early development phase throughout the whole system life cycle.

• Korean Chemical Engineering Research
• /
• v.45 no.1
• /
• pp.87-92
• /
• 2007

Recently, developments of process monitoring system in order to detect and diagnose process abnormalities has got the spotlight in process systems engineering. Normal data obtained from processes provide available information of process characteristics to be used for modeling, monitoring, and control. Since modern chemical and environmental processes have high dimensionality, strong correlation, severe dynamics and nonlinearity, it is not easy to analyze a process through model-based approach. To overcome limitations of model-based approach, lots of system engineers and academic researchers have focused on statistical approach combined with multivariable analysis such as principal component analysis (PCA), partial least squares (PLS), and so on. Several multivariate analysis methods have been modified to apply it to a chemical process with specific characteristics such as dynamics, nonlinearity, and so on.This paper discusses about missing value estimation and sensor fault identification based on process variable reconstruction using dynamic PCA and canonical variate analysis.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.39 no.1
• /
• pp.64-72
• /
• 2016

In this paper, we utilize a Gaussian process to predict the power consumption in the air-conditioning system. As the power consumption in the air-conditioning system takes a form of a time-series and the prediction of the power consumption becomes very important from the perspective of the efficient energy management, it is worth to investigate the time-series model for the prediction of the power consumption. To this end, we apply the Gaussian process to predict the power consumption, in which the Gaussian process provides a prior probability to every possible function and higher probabilities are given to functions that are more likely consistent with the empirical data. We also discuss how to estimate the hyper-parameters, which are parameters in the covariance function of the Gaussian process model. We estimated the hyper-parameters with two different methods (marginal likelihood and leave-one-out cross validation) and obtained a model that pertinently describes the data and the results are more or less independent of the estimation method of hyper-parameters. We validated the prediction results by the error analysis of the mean relative error and the mean absolute error. The mean relative error analysis showed that about 3.4% of the predicted value came from the error, and the mean absolute error analysis confirmed that the error in within the standard deviation of the predicted value. We also adopt the non-parametric Wilcoxon's sign-rank test to assess the fitness of the proposed model and found that the null hypothesis of uniformity was accepted under the significance level of 5%. These results can be applied to a more elaborate control of the power consumption in the air-conditioning system.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.10 no.2
• /
• pp.227-237
• /
• 1998

A numerical simulation has been carried out for the automotive air conditioning system. The purpose of this simulation is to present the methods for simulating car air conditioning components, systems and cool-down performance by computerized mathematical model and to analyze the performance of A/C system. In analyzing the heat exchanger(evaporator and condenser), the finite volume model which has a merit in predicting the temperature field in detail because it can consider partial variation of thermal property and heat transfer coefficient is used. In analyzing the compressor, the polytropic approach which regards the actual compression process as a reversible polytropic process is employed. In analyzing vehicle passenger compartment, the thermal network is employed to simulate the car cool down process. This A/C system program can be used for analyzing a component performance when a component is alternated or designed and for analyzing the engine cooling system when A/C system is operated.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1996.11a
• /
• pp.65-74
• /
• 1996

Risk analysis is time-consuming and expensive process〔1〕〔6〕. Automated risk analysis tools have been widely used in industry and government to support decision making process and reduce cost. However, difficulties in materializing impact of threats and fast-changing network environments make analysis process more complicated and less trusted since impacts are relative in network environments. HAWK system is developed to improve the accuracy of analysis result in network-oriented environment. It provides user-friendly environments and considers network environments as primary assets.

• Journal of Korean Society for Quality Management
• /
• v.44 no.3
• /
• pp.541-552
• /
• 2016

Purpose: In this study, we propose that how to approach a effective system engineering and optimize system engineering management process for the mass production weapon system parts localization development process and success in DTaQ. Methods: To approach a effective system engineering for the mass production weapon system parts localization, we analyze a weapon system acquisition process and system engineering process of Republic of Korea and DTaQ parts localization business regulations in advance. after results of analysis of them, we implement a optimized parts localization development system engineering based on ISO/IEC/IEEE 15288. Results: In order to apply International Standard ISO/IEC/IEEE 15288 to the mass production weapon system parts localization development process, we compare the mass production weapon system parts localization acquisition environment with ISO/IEC/IEEE 15288 and analyze them. therefore, It is possible to implement a part of concept stage and development stage of ISO/IEC/IEEE total life cycle stage for the mass production weapon system parts localization development process. To achieve the technical review milestones of DTaQ parts localization business regulations in the selected stages of ISO/IEC/IEEE, the development and management agency perform 2 high rank process and 19 low rank process specified in ISO/IEC/IEEE. Conclusion: When the development and management agency perform the mass production weapon system parts localization development using the proposed system engineering approach, they should easily meet milestone through the clarified requirement and simplified System Engineering output documents in limited development period.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.42 no.1
• /
• pp.1-7
• /
• 2019

In the modern industrial period, the introduction of mass production was most important progress in civilization. Die-casting process is one of main methods for mass production in the modern industry. The aluminum die-casting in the mold filling process is very complicated where flow momentum is the high velocity of the liquid metal. Actually, it is almost impossible in complex parts exactly to figure the mold filling performance out with the experimental knowledge. The aluminum die-castings are important processes in the automotive industry to produce the lightweight automobile bodies. Due to this condition, the simulation is going to be more critical role in the design procedure. Simulation can give the best solution of a casting system and also enhance the casting quality. The cost and time savings of the casting layout design are the most advantage of Computer Aided Engineering (CAE). Generally, the relations of casting conditions such as injection system, gate system, and cooling system should be considered when designing the casting layout. Due to the various relative matters of the above conditions, product defects such as defect extent and location are significantly difference. In this research by using the simulation software (AnyCasting), CAE simulation was conducted with three layout designs to find out the best alternative for the casting layout design of an automotive Oil Pan_BJ3E. In order to apply the simulation results into the production die-casting mold, they were analyzed and compared carefully. Internal porosities which are caused by air entrapments during the filling process were predicted and also the results of three models were compared with the modifications of the gate system and overflows. Internal porosities which are occurred during the solidification process are predicted with the solidification analysis. And also the results of the modified gate system are compared.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.44
• /
• pp.333-341
• /
• 1997

The purpose of this paper is to compare the manufacturing process with random covariate using multiple comparison procedure. The methodology that compares each manufacturing process by inspecting the number of nonconforming items out of k-treatment, has serveral limitations and problems according to the method and contect of the analysis. The proper way of analysis, therefore, could be obtained by the multiple comparison procedure of simultaneous confidence region of variance components. Effections that affect a manufactuing process may be predictive of responce to treatments are called covariates. In the study of comparing several treatments, prsense of covariate may bias the estimates of treatment effects.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.3
• /
• pp.291-297
• /
• 2015

A water jet cleaning robot system for micro drill bits is to refurbish micro drill bits used for the PCB manufacturing process. It can refurbish drill bits with the minimum diameter of ${\phi}0.15{\sim}0.075mm$ of which the total quantity have been discarded before. Micro drill bits with the minimum diameter of ${\phi}0.075mm$ can be cleaned by applying the water jet cleaning robot system out of the manual ultrasonic cleaning in the past for the cleaning equipment as the initial process in refurbishing. This study analyzed problems, while applying the apparatus mechanism for the workability such as the robot traces of Transfer Robot I and II, drill bit loading and unloading, and cleaning tasks in the water jet cleaning robot system in an effort to carry out simulations. In addition, the cleaning work process was optimized as the work process was verified in advance and the production quantity was analyzed through simulations.