• 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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.193-200
• /
• 1995

A shop floor control system(SFCS), a central part of agile manufacturing, performs the production activities required to fill orders. In order to effectively control these activities, CSCW (computer supported cooperative work) is adopted where a supervisor does not exist. In this paper, we define functional perspective of CSCW-based shop floor control using planning, scheduling, and execution functions. In particular, we focus on an execution model that can coordinate the planning and scheduling functions. Execution can be defined informally as a function that downloads and performs a set of scheduled tasks. Execution is also responsible for identifying and resolving various errors whether they come from hardware or software. The purpose of this research is to identify all the execution activities and solving techniques under the assumptions of CSCW-based heterarchical control architecture. This paper also proposes a classification scheme for execution activities of CSCW-based heterarchical control architecture. Petri-nets are used as a unified framework for modeling and controlling execution activities. For solving the nonexistence of a supervisor, A negotiation-based solution technique is utilized.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.8
• /
• pp.1553-1560
• /
• 2016

In this paper, we design a program that controls the execution permissions for the running application in the Windows system environment. It does not allow general users to execute the program converting the specific location information of the execution program, to any of the bit values with the formal structure information in window program. The converted bit value can be returned to the original bit value in the case of an authorized user, so that the original program can be normally performed. By doing so, it can be more safely used in the risk of reverse engineering for Windows executable program. We implemented the control program for the program execution authority we proposed in this paper, and the experiment was performed. At the results of experiments, it was confirmed that the control function to permit execution for the user program was working properly in the Windows environment.

• ETRI Journal
• /
• v.34 no.2
• /
• pp.288-291
• /
• 2012

In this letter, a new online anomaly detection approach for software systems is proposed. The novelty of the proposed approach is to apply a new semantic kernel function for a support vector machine (SVM) classifier to detect fault-suspicious execution paths at runtime in a reasonable amount of time. The kernel uses a new sequence matching algorithm to measure similarities among program execution paths in a customized feature space whose dimensions represent the largest common subpaths among the execution paths. To increase the precision of the SVM classifier, each common subpath is given weights according to its ability to discern executions as correct or anomalous. Experiment results show that compared with the known kernels, the proposed SVM kernel will improve the time overhead of online anomaly detection by up to 170%, while improving the precision of anomaly alerts by up to 140%.

• Journal of Korean society of Dental Hygiene
• /
• v.16 no.4
• /
• pp.559-566
• /
• 2016

Objectives: This research has executed a new oral health promotion program among the elderly residents of a long-term care center, which purpose was to verify its effectiveness of oral health promotion through the improvement of their oral function. Methods: This study has selected the elderly over the age of 65, capable of communication, who use a long-term care center over the period of two months between July and September 2014. The subjects who remained until the final analysis numbered 50 excluding the dropouts during the program session (experimental: 33, control : 17). The oral stretching program was exercised two days a week, for total of two months. Each function was assessed by the standardized methods and measurement equipment. Also the sum of each function was converted into the oral health grade. Results: The oral function score of the experimental group also showed a statistically significant difference after the execution of the program, where the oral function score of experimental group increased $6.70{\pm}1.30$ from $4.95{\pm}0.89$ after the execution of the program (p<0.05), while the comparison group showed no valid statistical difference with the score result of $5.00{\pm}0.87$ down from $5.11{\pm}0.93$ after the execution of the program (p>0.05). Conclusions: Therefore if the oral health promotion program is reflected to the welfare policy in the future, it can be said that it contributes to the improved health status of the elderly who reside in the long-term care centers.

• Korean Journal of Mathematics
• /
• v.26 no.1
• /
• pp.1-7
• /
• 2018

In this paper, we will study a generalized version of Josephus where a serial execution occurs at each iteration and give a non-recursive formula for the initial positions of survivors.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.1
• /
• pp.36-43
• /
• 2016

The transformation time among queries in the database management system (DBMS) is responsible for the execution time of users' queries, because a conventional DBMS does not consider the transformation cost when queries are transformed for execution. To reduce the transformation time (cost reduction) during execution, we propose an optimal query transformation method by exploring queries from a cost-based point of view. This cost-based point of view means considering the cost whenever queries are transformed for execution. Toward that end, we explore and compare set off heuristic, linear, and exhaustive cost-based transformations. Further, we describe practical methods of cost-based transformation integration and some query transformation problems. Our results show that, some cost-based transformations significantly improve query execution time. For instance, linear and heuristic transformed queries work 43% and 74% better than exhaustive queries.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2435-2446
• /
• 1998

In this paper. We describe a dataflow model for efficient execution of a functional logic language and a method of translation a functional logic language into a dataflow graph. To explore parallelism and intelligent backtracking, we us model in which clause and function are represented as independent dataflow graph. The node denotes basic actions to be performed when the clause and function are executed. The dataflow mechanism allows an operation to be executed as soon as all its operands are available. Since the operations can never be executed earlier, a dataflow model is an excellent base for increasing execution speed. We did decrease a delay time with concurrent execution of dependency analysis and subgoal.

• Journal of IKEEE
• /
• v.27 no.1
• /
• pp.93-102
• /
• 2023

As one of the techniques for analyzing malicious code, techniques creating a sequence or a graph of function call relationships in an executable program and then analyzing the result are proposed. Such methods generally study function calling in the executable program code through static analysis and organize function call relationships into a sequence or a graph. However, in the case of an obfuscated executable program, it is difficult to analyze the function call relationship only with static analysis because the structure/content of the executable program file is different from the standard structure/content. In this paper, we propose a dynamic analysis method to analyze the function call relationship of an obfuscated execution program. We suggest constructing a function call relationship as a graph using the proposed technique.

• Journal of the Korean Society of Radiology
• /
• v.7 no.5
• /
• pp.305-311
• /
• 2013

This study involves an experiment using functional magnetic resonance imaging(fMRI) to delineate brain activation for execution functional performance. Participates to this experiment of the normal adult (man 4, woman 6) of 10 people, is not inserts the metal all closed phobia and 24.5 year-old average ages which the operating surgeon experience which are not they were. The subject for a functional MRI experiment word -color test prosecuting attorney subject rightly at magnetic pole presentation time of 30 first editions and after presenting, uses SPM 99 programs and the image realignment, after executing a standardization (nomalization), a difference which the signal burglar considers the timely order as lattice does, pixel each image will count there probably is, in order to examine rest and active crossroad dividing independence sample t-test (p<.05). Overlapped in this standard anatomic image and got a brain activation image from level of significance 95%. With functional MRI resultant execution function inside being relation, the prefrontal lobe, anterior cingulate gyrus, parietal lobe, orbitofrontal gyrus, temporal lobe, parietal lobe was activated. The execution function promotes a recovery major role from occupational therapy, understanding about the damage mechanism is important. When confirms the brain active area which accomplishes an execution function brain plasticity develops the cognitive therapeutic method which is effective increases usefully very, will be used.