• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.1
• /
• pp.305-325
• /
• 2014

In cloud computing infrastructure, current virtual machine trust measurement methods have many shortcomings in dynamism, security and concurrency. In this paper, we present a new method to measure the trust of virtual machine. Firstly, we propose "behavior trace" to describe the state of virtual machine. Behavior trace is a sequence of behaviors. The measurement of behavior trace is conducted on the basis of anticipated trusted behavior, which not only ensures security of the virtual machine during runtime stage but also reduces complexity of the trust measurement. Based on the behavior trace, we present a Dynamic Tree Style Trust Measurement Model (DTSTM). In this model, the measurement of system domain and user domain is separated, which enhances the extensibility, security and concurrency of the measurement. Finally, based on System Call Interceptor (SCI) and Virtual Machine Introspection (VMI) technology, we implement a DTSTM prototype system for virtual machine trust measurement. Experimental results demonstrate that the system can effectively verify the trust of virtual machine and requires a relatively low performance overhead.

• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2003.05a
• /
• pp.1134-1139
• /
• 2003

Vibration problems are an intrinsic characteristic in a washing machine owing to rotation working mechanism. Therefore, a right comprehension of working principle and the analysis on dynamic behavior of a washing machine is essential to design anti-vibration or vibration reduction. In this paper, we choose two kinds of a washing machine: a suspension type pulsator/drum type washing machine. Each the structure and working principle of a washing machine is discussed briefly and the dynamic behavior of it is investigated, then, the vibration detection problems of transient or excessive vibration is tented in each category. Some vibration experimented results in a washing machine are presented also.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.13 no.22
• /
• pp.71-78
• /
• 1990

Some problems to assess the safety of automated man-machine system are studied in many ways. The difficulty occurred in this system is the vagueness of human behavior. Fuzzy set theory is used to assess the human behavior in safety analysis. The unsafe behavior listed top 10 in accident statistics would be explained as the factors of human vagueness. Three cases are considered, which consist of man-machine system as man-man, man-machine, machine-machine types. For the design of safe task, using characteristics of work performance, each motion cycle time is required to know the rate of learning. Approach of human behavior to the standard motion means more safe motion. It is important to design the works as to minimize the time performance to the standard motion's, which utilize the control of risk potential with easy. In that process, use of fuzzy set theory is appropriate to analyze the human behavior to identify its vagueness.

• Journal of the Korea Management Engineers Society
• /
• v.23 no.4
• /
• pp.179-195
• /
• 2018

So far, the evaluation of machine translation has used a numerical approach, but there is evidence that it is not sufficient to reflect the characteristics or behavior of machine translation users(Hutchins, 2007; Wu et al., 2016; Park et al., 2013). Therefore, this study focused on the purpose of use and purchasing behavior of machine translation users. At this time, the indirect comparison method introduced by Morgan and Hunt(1994) was used to measure cognitive gaps and analyze the purchasing behavior of users. According to the analysis of association rules using cognitive gaps, the smaller the cognitive gap, the more positive the purchase behavior. In addition, procedural knowledge derived from language knowledge is activated in situations involving responsibility, and in routine situations, procedural knowledge trained from pragmatic knowledge works.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.778-783
• /
• 1994

In operating automated manufacturing system, the long term stability and reliability of NC machine tools become most critical issues. Especially the machining accuracy is dominated by the thermal deformation of machine tools which remains still unsolved and causes troubles in manufacturing operations. Although researches have been carried out on the thermal behavior of a machine tools to minimize or control the thermal deformation of machine tools, the computer models for an analysis of the thermal behacior in machine tools has yet to appear in the open literature. The object of the paper is to present a method of modeling the thermal behavior of a machine tool. The method will make use of finite elements ad be capable of modeling whole machine structures as well as of heat generation processes in the kinematic system components. And temperature distributions and thermal deformations of a CNC lathe are analyzed using the finite element method and are compared with those measured in practice.

• Journal of Mechanical Science and Technology
• /
• v.17 no.6
• /
• pp.896-905
• /
• 2003

A linear motor has many advantages next to conventional feed mechanisms: high transitional speed and acceleration, high control performance, and good positioning accuracy at high speed. Through the omission of a power transfer element, the linear motor shows no wear and no backlash, has a long lifetime, and is easy to assemble. A disadvantage of the linear motor is low efficiency and resultant high-temperature rise in itself and neighboring structures during operation. This paper presents the thermal behavior of the linear motor as a feed mechanism in machine tools. To improve the thermal behavior, an insulation layer is used. By placing the insulation layer between the primary part and the machine table, both the temperature difference and the temperature fluctuation in the machine table due to a varying motor load are reduced.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.2
• /
• pp.33-40
• /
• 1997

Recently, there are an increasing needs for high speed rotating spindle which is an important mechanical ele- ment for a high efficiency machine tool in order to shorten machining time and cut production costs. The heat gen- eration is the most important problem in the motor integrated spindle. In this study, the effects of temperature distribution and thermal behavior according to the oil-air lubrication and cooling conditions are investigate theo- retically and experimentally on the motor-integrated spindle under unloading condition. The experimental spin- dle system is composed with the angular contact steel ball bearings, oil-air lubrication, air or oil jacket cooling system. To analyze the thermal behavior and cooling characteristics for the motor integrated spindle, the analysis using the finite element method is carried out. The analytical results are compared with the experimental results.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.13 no.4
• /
• pp.125-139
• /
• 2017

In this paper, we developed a framework to detect and predict insider information leakage by collecting and restoring network traffic. For automated behavior analysis, many meta information and behavior information obtained using network traffic collection are used as machine learning features. By these features, we created and learned behavior model, network model and protocol-specific models. In addition, the ensemble model was developed by digitizing and summing the results of various models. We developed a function to present information leakage candidates and view meta information and behavior information from various perspectives using the visual analysis. This supports to rule-based threat detection and machine learning based threat detection. In the future, we plan to make an ensemble model that applies a regression model to the results of the models, and plan to develop a model with deep learning technology.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.13 no.2
• /
• pp.1-11
• /
• 2017

In this paper, we design and implement PADIL(Prediction And Detection of Information Leakage) system that predicts and detect information leakage behavior of insider by analyzing network traffic and applying a variety of machine learning methods. we defined the five-level information leakage model(Reconnaissance, Scanning, Access and Escalation, Exfiltration, Obfuscation) by referring to the cyber kill-chain model. In order to perform the machine learning for detecting information leakage, PADIL system extracts various features by analyzing the network traffic and extracts the behavioral features by comparing it with the personal profile information and extracts information leakage level features. We tested various machine learning methods and as a result, the DecisionTree algorithm showed excellent performance in information leakage detection and we showed that performance can be further improved by fine feature selection.