• Journal of the Korean Institute of Gas
• /
• v.22 no.5
• /
• pp.1-17
• /
• 2018

Related incidents and accidents are frequent after 2000 years, such as the outbreak of the Taian peninsula crude oil spillage and Gumi hydrofluoric acid leakage accident. In the wake of such environmental pollution accidents, Consensus has been formed to enact legislation on liability for the compensation of environmental pollution in 2014 and the rescue, and has been in force since January 2016. Therefore, in the domestic insurance industry, the introduced environmental liability insurance system needs to be managed through the standardization formula of a new insurance model for managing the environmental risk. This study has been carried out by the emergence of a safe insurance model with a risky nature of the risk type, which is one of the services of the knowledge base. The verification of the six assurance media on the occurrence of environmental pollution such as chemical, waste, marine, soil, etc. is expressed through semantic interoperability through this possible ontology. The insurance model was designed and presented by deducing the relationship between the amount of money and the amount of money that was written in the area of existing expertise, In order to exclude the possible consequences, the concept of abstract is conceptualized in the form of a customer, and a plan for the future development of an ontology-based decision support system is proposed to reduce the cost and resources consumed every year. It is expected that standardization of the verification standard of the mass of mass will minimize errors and reduce the time and resources required for verification.

• The Korean Journal of Financial Management
• /
• v.24 no.4
• /
• pp.45-73
• /
• 2007

The empirical results are summarized as follows : First, In relation to effects of ownership structure on firm value, there is the non-linear relationship between major(and foreign) shareholder's holdings and firm value. So the results(the compromise hypothesis) by prior researches(Morck et al. 1988 and so forth) is supported. However Institutional shareholder's holdings do not show the significant results. Second, In relation to effects of outside directors on firm value, equally the results of prior researches(Vafeas 2000, Choi et al. 2004), the higher the ratio of outside directors in the board, the higher firm value. Also there is the non-linear relationship between outside directors ratio and firm value. Furthermore, the higher the possibility of outside directors election in the board, the higher the relationship between ownership structure and firm value. As the economic importance of KOSDAQ is more increase, the researches of KOSDAQ should be more realized.

• Journal of Intelligence and Information Systems
• /
• v.7 no.1
• /
• pp.81-95
• /
• 2001

Plant construction projects usually take much higher uncertainty and risks than the projects from other domains. This implies the importance of plant construction project management should be more emphasized than the other domain. Especially, the overall successes of the projects often depend on the performance of process planning and scheduling performed at the initial stage of the project. However, most plant construction projects suffer great difficulties in establishing proper process planning and scheduling timely because of unstructureness and dynamicity of environment of the project itself In this paper, we propose a knowledge-based process planning and scheduling approach in a plant construction domain to cope this problem. First, we modulize process planning knowledge and present the knowledge representation scheme. Second, we propose an inferencing mechanism to build a process planning for plant construction based on the represented process planning knowledge. Since our approach automate the initial process planning, which was usually done by manual way, it can improve the correctness and also completeness of the process plan and schedule by reducing the time to plan and allowing simulations on the various situation. We also design and implement this our approach as a real working system, and it is successfully applied to real plant construction cases from a leading construction company in Korea. Based on this success, we expect our approach can be easily applied to the projects of other areas, while contributing to enhancement in productivity and quality of project management.

• The Journal of the Korea Contents Association
• /
• v.13 no.12
• /
• pp.70-80
• /
• 2013

The purpose of this study has placed its meaning in the use as the basic material for the research of the person's facial expressions, by researching and analyzing the visual reactions of recognition of children according to the facial expressions of emotion and by surveying the verbal reactions of boys and girls according to the individual expressions of emotion. The subjects of this study were 108 children at the age of 6 - 8 (55 males, 53 females) who were able to understand the presented research tool, and the response survey conducted twice were used in the method of data collection by individual interviews and self administered questionnaires. The research tool using in the questionnaires were classified into 6 types of joy, sadness, anger, surprise, disgust, and fear which could derive the specific and accurate responses. Regarding children's visual reactions of recognition, both of boys and girls showed the high frequency in the facial expressions of joy, sadness, anger, surprise, and the low frequency in fear, disgust. Regarding verbal reactions, it showed the high frequency in the heuristic responses either to explore or the responds to the impressive parts reminiscent to the facial appearances in all the joy, sadness, anger, surprise, disgust, fear. And it came out that the imaginary responses created new stories reminiscent to the facial expression in surprise, disgust, and fear.

• Archives of design research
• /
• v.16 no.2
• /
• pp.405-414
• /
• 2003

The modeling analysis for objects placed in a given space can be described objectively when their visual image structure is grasped. It can't be answered without first analyzing the basic program, visual expression. And when the whole aspect of the visual image of the desired interior utensils is presented, the mindset of its designer can be deduced from that. Therefore, the study was based on the lemon juice squeezer, one of the interior kitchen utensils that Philippe Starck designed for Italy ALESSI company. For the study method, putting'The Elements of Dynamic Symmetry' by Prof. Jay Hambidge into practice, 'paradigm' analysis containing the whole'lemon juice squeezer'image was attempted. And to describe it, the visual mark description method by Prof. Bok-Young Kim was used. In conclusion, henceforth, the relationship between interior space and articles, the relationship between object and user, the modeling critique or analysis of the production itself shoud not be intended to be emotional. On the contrary, the study presented an art analyic methodology that can analyze and describe the visual image structure numerically, and confirm the relationship between form and content.

• The Journal of the Korea Contents Association
• /
• v.18 no.2
• /
• pp.468-475
• /
• 2018

The current system of making course evaluations mandatory in universities in Korea in order to supplement low participation levels is a major hindering factor for the validity of the evaluation results due to students' insincere responses. This study points out the problems in course evaluations that are in the form of surveys and instead proposes a sample course evaluation system that utilizes a sample mean to deduce a population mean, attempting to prove through simulation that this is statistically significant. Thus, small, medium, and large scale courses as well as cyber courses that were available in S University in the fall 2016 semester were set as the population, and each course's evaluation average grade was set as the population mean. Furthermore, we used the average grade and standard deviation of the same courses from the previous year in order to decide the sample number, the reliability level was set as 95%, and the margin of error was set as ${\pm}0.25$. As a result of carrying out a simulation using the data analysis tool R, all the courses (small scale, medium scale, large scale, and cyber) showed to have a reliability level close to 95% including the population mean, and consequently practicality of the representative sample course evaluation system was proven.

• Journal of KIISE:Software and Applications
• /
• v.34 no.12
• /
• pp.1045-1055
• /
• 2007

Latent topic models are statistical models which automatically captures salient patterns or correlation among features underlying a data collection in a probabilistic way. They are gaining an increased popularity as an effective tool in the application of automatic semantic feature extraction from text corpus, multimedia data analysis including image data, and bioinformatics. Among the important issues for the effectiveness in the application of latent topic models to the massive data set is the efficient learning of the model. The paper proposes an accelerated learning technique for PLSA model, one of the popular latent topic models, by an incremental EM algorithm instead of conventional EM algorithm. The incremental EM algorithm can be characterized by the employment of a series of partial E-steps that are performed on the corresponding subsets of the entire data collection, unlike in the conventional EM algorithm where one batch E-step is done for the whole data set. By the replacement of a single batch E-M step with a series of partial E-steps and M-steps, the inference result for the previous data subset can be directly reflected to the next inference process, which can enhance the learning speed for the entire data set. The algorithm is advantageous also in that it is guaranteed to converge to a local maximum solution and can be easily implemented just with slight modification of the existing algorithm based on the conventional EM. We present the basic application of the incremental EM algorithm to the learning of PLSA and empirically evaluate the acceleration performance with several possible data partitioning methods for the practical application. The experimental results on a real-world news data set show that the proposed approach can accomplish a meaningful enhancement of the convergence rate in the learning of latent topic model. Additionally, we present an interesting result which supports a possible synergistic effect of the combination of incremental EM algorithm with parallel computing.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.323-339
• /
• 2010

The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.11
• /
• pp.746-754
• /
• 2016

Smart healthcare systems, a convergent industry based on information and communications technologies (ICT), has emerged from personal health management to remote medical treatment as a distinguished industry. The smart healthcare environment provides technology to deliver vital information, such as pulse rate, body temperature, health status, and so on, from wearable devices to the hospital network where the physician is located. However, since it deals with the patient's personal medical information, there is a security issue for personal information management, and the system may be vulnerable to cyber-attacks in wireless networks. Therefore, this study focuses on a key-development and device-management system to generate keys in the smart environment to safely manage devices. The protocol is designed to provide safe communications with the generated key and to manage the devices, as well as the generated key. The security level is analyzed against attack methods that may occur in a healthcare environment, and it was compared with existing key methods and coding capabilities. In the performance evaluation, we analyze the security against attacks occurring in a smart healthcare environment, and the security and efficiency of the existing key encryption method, and we confirmed an improvement of about 15%, compared to the existing cipher systems.

• Management & Information Systems Review
• /
• v.28 no.1
• /
• pp.99-124
• /
• 2009

This study has observed the influence of green advertisemen on the attitude of consumers in relation to its message effect. The analysis has been conducted in the perpective of awareness-emotion -behavior targeting housewives based on the message structure of the advertisement(conclusion omission type/ conclusion offer type). Results of the analysis are as follows : 1) Green advertisement was more effective for the attitude toward advertisement and products than non-green advertisement and in the case of high involvement the conclusion omission message was more effective than the conclusion offer message. 2) Green advertisement was more effective also for the emotion side than non-green advertisement and the conclusion omission message was found more effective than the conclusion offer message. 3) Green advertisement was found more effective for purchasing activities than non-green advertisement and the conclusion omission message was found more effective than the conclusion offer message in the case of high involvement. 4) In case of the conclusion offer type structure of green advertisement the awareness side influenced purchasing activities and in case of the conclusion omission type structure of green advertisement the emotion side influenced purchasing activities. Besides that in case of the conclusion offer type structure of non-green advertisement both the awareness and emotion sides were found to influence purchasing activities. No difference was found in the conclusion omission type structure of non-green advertisement.