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

• ETRI Journal
• /
• v.43 no.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
• /
• 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.

• Management Science and Financial Engineering
• /
• v.3 no.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.

• Journal of Korean Institute of Industrial Engineers
• /
• v.25 no.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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.10
• /
• pp.2337-2344
• /
• 2013

Mobile Agent is an autonomous mobility technology is being applied in various fields. In particular, mobile agents execution in the Internet environment through the safe execution of the security must be guaranteed. Also, agent to run the agent, the agent's workload should be distributed. In this paper, a trust model based on the security mechanism of the agent execution is proposed. Proposed mechanism to ensure safe execution of the agent was not considered in existing relative researches for rational agent workload distribution and load balancing to improve throughput was. The proposed trust-based security mechanisms for agents to go through security analysis proved safe execution of the agent.

• International journal of advanced smart convergence
• /
• v.6 no.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.

• The KIPS Transactions:PartA
• /
• v.19A no.1
• /
• pp.23-34
• /
• 2012

This paper suggests that implementation of the Simulink execution module controls Simulink simulation and shows simulation results by applying Automata theory. This module is composed of three independent systems that the main program to accept user commands, the thread to control a simulation of Simulink model and the Simulink model to execute simulation. This paper designs each module and entire system by applying Automata theory, and implements it with C# and MATLAB language. And the Simulink execution module implemented will be verified through the experiment.

• Journal of Korean Institute of Industrial Engineers
• /
• v.26 no.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.

• Journal of the Korean Institute of Rural Architecture
• /
• v.22 no.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.