• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 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.

• ETRI Journal
• /
• 제43권5호
• /
• pp.825-834
• /
• 2021

Based on its simplicity and user-friendly characteristics, OpenMP has become the standard model for programming on shared-memory architectures. Checkpointing-aided parallel execution (CAPE) is an approach that utilizes the discontinuous incremental checkpointing technique (DICKPT) to translate and execute OpenMP programs on distributed-memory architectures automatically. Currently, CAPE implements the OpenMP execution model by utilizing the DICKPT to distribute parallel jobs and their data to slave machines, and then collects the results after executing these distributed jobs. Although this model has been proven to be effective in terms of performance and compatibility with OpenMP on distributed-memory systems, it cannot fully exploit the capabilities of multicore processors. This paper presents a novel execution model for CAPE that utilizes two levels of parallelism. In the proposed model, we add another level of parallelism in the form of multithreaded processes on slave machines with the goal of better exploiting their multicore CPUs. Initial experimental results presented near the end of this paper demonstrate that this model provides significantly enhanced CAPE performance.

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

• Management Science and Financial Engineering
• /
• 제3권2호
• /
• pp.71-92
• /
• 1997

Developing FMS controllers has been a difficult problem largely because of the variety of the system configuration. The purpose of this paper is to develop a method of building an FMS controller. The controller consists of control module and execution module. A hierarchically layered structure of these modules is proposed. The control module generates abstract-level execution requested by identifying a set of activities that can be executed without creating any irregular state. The execution module transmits the requests to physical device controllers and reports back the completion of the requests to the control module. Both of these two modules use Petri Net-based models. In this paper, a controllable Petri Net model is automatically synthesized from declarative specifications provided by a user. An execution Petri Net model for the execution module is designed to ensure the consistency between the control module and the real target system. The controller operates in MMS on TCP/IP and UNIX environment.

• 대한산업공학회지
• /
• 제25권1호
• /
• pp.87-99
• /
• 1999

A shop floor control system(SFCS) performs the production activities required to fill orders. In order to effectively control these activities, the autonomous agent-based heterarchical shop floor control architecture is adopted where a supervisor does not exist. In this paper, we define functional perspective of the heterarchical shop floor control using planning, scheduling, and execution modules. In particular, we focus on an execution module that can coordinate the planning and scheduling modules and a general execution module that easily can be modified to execute the other equipment. The execution module can be defined informally as a module that downloads and performs a set of scheduled tasks. The execution module 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 the heterarchical control architecture. And we model the execution module in object-oriented modelling technique for generalization. The execution module modeled in object-oriented concept can be adopted to the other execution module easily. This paper also proposes a classification scheme for execution activities of the 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.

• 한국정보통신학회논문지
• /
• 제17권10호
• /
• pp.2337-2344
• /
• 2013

이동 에이전트는 이동성이 있어 다양한 분야에서 응용되는 기술이다. 특히 오픈네트워크에서의 이동 에이전트 실행은 보안을 통한 안전한 실행이 보장되어야 한다. 또한 에이전트는 에이전트 실행을 위해 에이전트의 작업량 분배가 이루어져야 한다. 이를 위해 본 논문에서는 신뢰모델 기반의 에이전트 실행 보안 메커니즘을 제안하였다. 제안된 메커니즘은 에이전트의 안전한 실행 보장과 기존 연구에서 고려되지 않았던 합리적인 에이전트 작업량 분배를 위한 로드 밸런싱으로 처리율을 향상되도록 하였다. 제안된 신뢰기반 에이전트 보안 메커니즘에 대한 보안 분석을 통해 이동 에이전트의 안전한 실행을 증명하였다.

• International journal of advanced smart convergence
• /
• 제6권3호
• /
• pp.17-21
• /
• 2017

In this paper, the service execution accuracy was compared by ontology based rule inference method and machine learning method, and the amount of data at the point when the service execution accuracy of the machine learning method becomes equal to the service execution accuracy of the rule inference was found. The rule inference, which measures service execution accuracy and service execution accuracy using accumulated data and pattern matching on service results. And then machine learning method measures service execution accuracy using cross validation data. After creating a confusion matrix and measuring the accuracy of each service execution, the inference algorithm can be selected from the results.

• 정보처리학회논문지A
• /
• 제19A권1호
• /
• pp.23-34
• /
• 2012

본 연구에서는 오토마타 이론을 적용하여 Simulink 모델의 각종 정보를 보여주고 시뮬레이션 결과를 출력하는 모듈 구조를 제안하고, 이를 구현하였다. 이 모듈은 사용자로부터 명령을 받아서 Simulink 모델의 각종 내부 정보와 시뮬레이션 결과를 보여주는 기능을 제공하는 메인 프로그램과 Simulink 모델의 시뮬레이션을 제어하기 위한 별도의 스레드, 그리고 실제로 시뮬레이션을 수행하는 Simulink 모델의 세 가지 독립적인 시스템으로 이루어져 있다. 오토마타를 이용하여 각 시스템과 전체 모듈을 설계 및 검증하고, C# 과 MATLAB을 통해 이를 구현한다. 그리고 구현된 모듈의 동작을 실제 모델을 통한 실험으로 검증하였다.

• 대한산업공학회지
• /
• 제26권3호
• /
• pp.227-237
• /
• 2000

A workflow management system is a software system to assist designing processes, controlling and managing the execution of the designed processes. One emerging trend in many recent information systems is the provision of process management functions. In this paper, we propose a method of designing processes for automatic process execution directly from process modeling. First of all, the concept of block is presented which is to define a nested process model. A block is the minimum unit that can specify the relationships of process components, i.e., tasks. A general process can be defined by a combination of the blocks defined in this paper. An algorithm is developed to transform a general flat process model into a nested model. We identify basic types of blocks and build ECA (Event-Condition-Action) rules for each of the basic types. This allows us to automate the execution of the process model by using the active features of active databases.

• 한국농촌건축학회논문집
• /
• 제22권1호
• /
• pp.31-38
• /
• 2020

The purpose of this study is to derive a model to improve the execution ability of landscape policy by considering the characteristics of the region by analyzing the process and contents of the rural landscape policy. First of all, the adaptation stage manages the important and severely damaged landscapes of the village through the landscape agreement, and the rural community promotes the landscape business with the experience of carrying out a certain level of landscape activities based on the landscape agreement. In the mid-to long-term planning of areas where a high level of landscape management is required due to its high performance, it was suggested that the residents voluntarily decided on autonomous goals and activities and, the value of the landscape.