• The Journal of the Korea Contents Association
• /
• v.18 no.7
• /
• pp.177-193
• /
• 2018

The business process management system that can integrate and manage a medical institution's processes has been increased importance to adapt to constantly changing medical environments and share information with various external medical institutions. The business process management system is an automated process tool that converts the graphic-based BPMN process model into a WS-BPEL, the execution language of the web service environment, and executes it through the process engine. However, the BPMN process model can be difficult to convert into WS-BPEL due to several ambiguities and structural inconsistencies. The process model may also contain structural anomalies that can lead to execution errors during process execution. In this paper, we present business process model formalization and structural anomaly verification techniques for facilitating integrated process management in medical institutions. Through the case study based on the IHE profile, we presented a formalized BPMN process model and verify the structural anomalies. We show the superiority of the proposed technique through comparative experiments with other related works.

• Journal of Intelligence and Information Systems
• /
• v.17 no.3
• /
• pp.169-185
• /
• 2011

Data redundancy is problematic in that it not only induces heavy storage management cost but also could bring critical degradation of information systems. Unfortunately, to our knowledge, only few enterprises willingly afford time and efforts for the faithful conceptual design to prevent the degree of inappropriate data as much as they could, while most of enterprises pay rare attention to the notion of that sort of data quality. Wondering if there would be any other way to design the enterprise.wide data design without prior knowledge about business works is our major motivation for this study. In this paper, we present our data modeling methodology in which associations among objects in each sentences of a business job descriptions are treated as the focal point in database design. A proposed agent for automated design tool simply takes a business job description written in natural language as an input, and then designs an entity relationship diagram with some smart rules. We introduce the scope of the proposed agent and its detailed logics with several examples. And then, we verify the appropriateness of the resulted associations among objects. Lastly, we perform case studies to evaluate the devised agent's applicability to a business field.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• Journal of Computational Design and Engineering
• /
• v.1 no.4
• /
• pp.272-288
• /
• 2014

This paper presents a two-step, semi-automated method for reconstructing a three-dimensional (3D) shape of the prostate from a 3D transrectal ultrasound (TRUS) image. While the method has been developed for prostate ultrasound imaging, it can potentially be applicable to any other organ of the body and other imaging modalities. The proposed method takes as input a 3D TRUS image and generates a watertight 3D surface model of the prostate. In the first step, the system lets the user visualize and navigate through the input volumetric image by displaying cross sectional views oriented in arbitrary directions. The user then draws partial/full contours on selected cross sectional views. In the second step, the method automatically generates a watertight 3D surface of the prostate by fitting a deformable spherical template to the set of user-specified contours. Since the method allows the user to select the best cross-sectional directions and draw only clearly recognizable partial or full contours, the user can avoid time-consuming and inaccurate guesswork on where prostate contours are located. By avoiding the usage of noisy, incomprehensible portions of the TRUS image, the proposed method yields more accurate prostate shapes than conventional methods that demand complete cross-sectional contours selected manually, or automatically using an image processing tool. Our experiments confirmed that a 3D watertight surface of the prostate can be generated within five minutes even from a volumetric image with a high level of speckles and shadow noises.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.17 no.5
• /
• pp.188-199
• /
• 2018

In this study a novel dynamic lane-level location referencing method(LLRM) was developed. The terminologies were defined and the prerequisites were suggested for the LLRM. Then, the logical and physical data formats were proposed, followed by the development of encoding and decoding algorithms. To conduct a performance test of the proposed method, two different high precision digital maps were prepared as well as an evaluation tool. The test results demonstrated that the proposed method works perfectly in terms of accuracy. The processing speed and the data size were found to be less efficient, but it is expected that the defect would be compensated soon enough due to the fast growing technology of ICT and computer hardwares.

• Proceedings of the Korea Information Assurance Society Conference
• /
• 2004.05a
• /
• pp.3-8
• /
• 2004

The majority of recent intrusions reveal that the attackers do not use the previous intrusion techniques or network flaw, rather they tend to use the vulnerabilities residing inside the program, which are the running programs on the system or the processes for the service. Therefore, the security managers must focus on updating the programs with lots of time and efforts. Developers also need to patch continuously to update the program, which is a lot of burden for them. In order to solve the problem, we need to understand the vulnerabilities in the program, which has been studied for some time. And also we need to analyze the functions that contains some vulnerabilities inside. In this paper, we first analyzed the vulnerabilities of the standard C library, and Win32 API functions used in various programs. And then we described the design and implementation of the automated scanning tool for writing secure source code based on the analysis.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2017

Recently, a study on data has been actively conducted because the value of the data has become more useful. Web crawler that is program of data collection recently spotlighted because it can take advantage of the various fields. Web crawler can be defined as a tool to analyze the web pages and collects the URL by traversing the web server in an automated manner. For the treatment of Big-data, distributed Web crawler is widely used which is based on the Hadoop MapReduce. But, it is difficult to use and has constraints on the performance. Apache spark that is the In-memory computing platform is an alternative to MapReduce. The search engine which is one of the main purposes of web crawler displays the information you search by keyword gathered by web crawler. If search engines implement a spark-based web crawler instead of traditional MapReduce-based web crawler, it would be a more rapid data collection.

• Journal of Korean Society of Transportation
• /
• v.20 no.5
• /
• pp.163-174
• /
• 2002

Speeding has been reported as one of the major causes for fatal traffic accidents in Korea. The resolution against this dangerous speeding comes to make the automated speed enforcement system an enforcement tool. The speed detection device, which measures speeds of each incoming vehicles using double loop sensors, requires high accuracy. The object of this study is to develop an accurate speed measurement algorithm using double loop detectors. Some important findings are summarized as follows: 1) It was found that speed measurement errors are caused by scanning rate, distance of two loops, irregular vehicle trajectories, multiple vehicles in detection zone. 2) A proposed algorithm using two signal set proved to reduce variance as well as mean of speed measurement. 3) A proposed filtering algorithm was effective to filter irregular driving vehicles and multiple vehicles in detection zone. A comprehensive field test of developed algorithm resulted in significant improvement of speed measurement accuracy.

• Journal of Intelligence and Information Systems
• /
• v.14 no.4
• /
• pp.89-101
• /
• 2008

The most used tool for quality control is control chart in manufacturing industry. But it has limitations at current situation where most of manufacturing facilities are automated and several manufacturing processes have interdependent relationship such as CCM assembly line. To Solve problems, we propose quality management system based on data mining that are consisted of monitoring system where it monitors flows of processes at single window and feature extraction system where it predicts the yield of final product and identifies which processes have impact on the quality of final product. The quality management system uses decision tree, neural network, self-organizing map for data mining. We hope that the proposed system can help manufacturing process to produce stable quality of products and provides engineers useful information such as the predicted yield for current status, identification of causal processes for lots of abnormality.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.3
• /
• pp.1129-1133
• /
• 2015

Background: The tissue microarray (TMA) is widely accepted as a fast and cost-effective research tool for in situ tissue analysis in modern pathology. However, the current automated and manual TMA techniques have some drawbacks restricting their productivity. Our study aimed to introduce an improved manual tissue miniarray (TmA) technique that is simple and readily applicable to a broad range of tissue samples. Materials and Methods: In this study, a conventional TV/radio telescopic antenna was used to punch tissue cores manually from donor paraffin embedded tissue blocks which were pre-incubated at $40^{\circ}C$. The cores were manually transferred, organized and attached to a standard block mould, and filled with liquid paraffin to construct TmA blocks without any use of recipient paraffin blocks. Results: By using a conventional TV/radio antenna, it was possible to construct TmA paraffin blocks with variable formats of array size and number ($2-mm{\times}42$, $2.5-mm{\times}30$, $3-mm{\times}24$, $4-mm{\times}20$ and $5-mm{\times}12$ cores). Up to $2-mm{\times}84$ cores could be mounted and stained on a standard microscopic slide by cutting two sections from two different blocks and mounting them beside each other. The technique was simple and caused minimal damage to the donor blocks. H&E and immunostained slides showed well-defined tissue morphology and array configuration. Conclusions: This technique is easy to reproduce, quick, inexpensive and creates uniform blocks with abundant tissues without specialized equipment. It was found to improve the stability of the cores within the paraffin block and facilitated no losses during cutting and immunostaining.