• ETRI Journal
• /
• 제16권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.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
• /
• 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.

• 한국정보통신학회논문지
• /
• 제20권8호
• /
• pp.1553-1560
• /
• 2016

본 논문은 윈도우 시스템 환경에서 구동되는 프로그램에 대한 실행 권한을 통제할 수 있도록하는 제어 프로그램을 설계한다. 윈도우 프로그램의 정형화된 구조 정보를 이용하여 실행 프로그램의 특정 위치 정보를 임의의 비트 값으로 변환을 하여 일반 사용자는 실행을 할 수 없도록 한다. 이렇게 변환된 비트 값은 허가된 사용자의 경우 원래의 비트 값으로 되돌릴 수 있도록 함으로써 프로그램이 정상적으로 수행이 될 수 있다. 이렇게 함으로써 윈도우 실행 프로그램에 대한 역공학의 위험 등에 보다 안전하게 사용할 수 있도록 한다. 본 논문에서 제안하는 프로그램 실행 권한 제어 프로그램에 대해서 설계하고 실험을 수행하였다. 실험을 수행한 결과 윈도우 환경에서 사용자 프로그램에 대한 실행 권한 제어 기능이 정상적으로 동작됨을 확인할 수 있었다.

• ETRI Journal
• /
• 제34권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%.

• 한국치위생학회지
• /
• 제16권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
• /
• 제26권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
• /
• 제16권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.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2435-2446
• /
• 1998

본 논문에서는 함수 논리 언어를 수행할 수 있는 데이터 플로우 표현 방법을 제시하고 함수 논리 언어의 각 결과 함수를 데이터플로우 그래프로 변환하는 방법에 대해 설명한다. 실행의 효율성을 높이기 위해 AND-병렬성을 위한 종속성 분석을 서브고울과 병행 수행하여 지연시간을 줄였으며, 함수 부분의 수행을 위해 병렬 감축을 사용하였다. RAP을 도입함으로써 발생하는 지연시간을 줄이기 위해 종속성 분석과 서브 고울을 병렬로 처리함으로써 CGE+ 표현 방식에 비해 효율적임을 보였다. 지능형 퇴각 검색을 도입하여 병렬 컴퓨터에서 효율적인 수행을 할 수 있도록 하였다.

• 전기전자학회논문지
• /
• 제27권1호
• /
• pp.93-102
• /
• 2023

악성코드 분석을 위한 기술 중 하나로 실행 프로그램의 함수 호출 관계를 시퀀스 또는 그래프 작성한 후, 그 결과를 분석하는 기술이 제안되었다. 이러한 기술들은 일반적으로 실행 프로그램 파일의 정적 분석을 통해 함수 호출 코드를 분석하고, 함수 호출 관계를 시퀀스 또는 그래프로 정리한다. 그러나 난독화 된 실행 프로그램의 경우, 실행 프로그램 파일의 구성이 표준구성과 다르기 때문에 정적분석 만으로는 함수 호출관계를 명확히 분석하기 어렵다. 본 논문에서는 난독화 된 실행 프로그램의 함수 호출관계를 분석하기 위한 동적 분석 방법을 제안하고, 제안된 기술을 이용하여 함수 호출관계를 그래프로 구성하는 방법을 제안한다.

• 한국방사선학회논문지
• /
• 제7권5호
• /
• pp.305-311
• /
• 2013

집행기능은 뇌손상환자의 회복을 촉진시키는데 중요한 역할을 하며, 그 손상 기전에 대한 이해는 중요하다. 본 연구에서는 기능적 자기공명 영상 기법을 이용하여 집행기능 수행에 관여하는 대뇌 활성화 영역을 파악하고자 실시하였다. 10명의 정상성인(남자 4, 여자 6)이 실험에 참여하였으며, 모두 폐쇄공포증이 없고 금속을 삽입한 수술의 경험이 없는 평균 나이 24.5 세였다. 기능적 자기공명영상 실험을 위한 과제는 단어-색체 검사 과제를 30초간의 자극제시 시간에 맞게 수정하여 제시한 후, SPM 99 프로그램을 이용하여 영상 재정렬(realignment), 표준화(nomalization)를 실시한 후 시간 순서대로 격자화하고, 각 영상 픽셀의 신호강도의 유의한 차이가 있는지를 알아보기 위해 휴지기와 활성기로 나누어 독립표본 t-검정(p<.05)을 실시하여 활성화 영상을 생성시켰다. 이를 표준 해부학적 영상에 중첩시켜 유의수준 95%에서 뇌 활성화 영상을 얻었다. 기능적 자기공명 영상결과 집행기능과 관련 있는 내측 전전두엽, 전 대상회, 두정엽, 시각 전두영역, 측두엽 등에서 활성화 우위를 보였다. 집행기능을 수행하는 뇌 활성화 영역을 확인하면 뇌가소성을 증진시키는 효과적인 인지 치료방법을 개발하는데 매우 유용하게 사용될 것이다.