A server that is a program providing device includes: a provision processing unit that provides a program part constituting a control program being a program to be executed in a controller; an authentication unit that authenticates an operation simulation module being a program for simulatively performing operation in accordance with the program part on a basis of a result of verification on whether or not the operation simulation module can simulate operation of the controller to be performed by execution of the program part; and an operation checking unit that checks operation of the program part by using the authenticated operation simulation module.

A server that is a program providing device includes: a provision processing unit that provides a program part constituting a control program being a program to be executed in a controller; an authentication unit that authenticates an operation simulation module being a program for simulatively performing operation in accordance with the program part on a basis of a result of verification on whether or not the operation simulation module can simulate operation of the controller to be performed by execution of the program part; and an operation checking unit that checks operation of the program part by using the authenticated operation simulation module.

The present invention is in the field of computer-implemented methods for monitoring and/or controlling a production plant based on customer expectations. The present invention relates to a computer-implemented method for monitoring and/or controlling a production plant comprising (a) providing expectation data related to customer expectation, (b) providing plant data related to the operation of a production plant, (c) providing the expectation data and the plant data to a model suitable for extracting instructions based on a predicted customer satisfaction, and (d) outputting the instructions received from the model.

When operating a production site, it is preferable to maintain accurate models continuously. Provided is a system including a simulating section that simulates operation of at least a portion of a production site, based on a simulation model of the at least a portion of the production site; a monitoring section that monitors actual operation of the at least a portion of the production site; a calibrating section that calibrates the simulation model, based on a difference between the simulated operation and the actual operation; and an updating section that updates a planning model used to generate a production plan for the production site, according to the calibration of the simulation model.

A production utilization planner (PUP) core for a manufacturing cell has a simulation manager configured to simulate the processing of workpieces arranged in a workpiece order, by performing the steps of: creating an instance of a simulation controller and an instance of a software model of the manufacturing cell, determining a next timed action to be performed by state machines, incrementing the simulation to the next timed action, updating the software model and the simulation controller each time a state machine performs a timed action, and repeating the steps of determining the next timed action, incrementing the simulation, and updating the software model and the simulation controller, until all of the workpieces have been processed. The simulation manager is configured to output a simulated completion time for processing the workpiece order.

The present invention provides a takt system and method for the collaboration of production processes with uncertain time, which relates to the technical field of task collaboration. The present invention measures the collaboration efficiency of the production processes with indices such as estimated wasted time, and calculates the estimated wasted time by the expectation of the weighted sum of wasted time. For the collaboration of the production processes with uncertain time, the propagation of uncertainty factors and occurrence of wasted time in the collaborative production process are limited in a manner of takt. In different scenarios focusing on the collaboration efficiency and completion probability of the production processes, two takt control models are established, and takt solutions for the collaboration of production processes with uncertain time are obtained by solving the models. The method proposed effectively reduces the wasted time in the production processes and improves the collaboration efficiency.

The present invention makes it possible to automatically define a work time for creating a model even if a work time distribution in work record data is not uniform. For this purpose, features of work time distributions are extracted for individual product type numbers and individual work codes on the basis of a feature classification library 202 from work record data 201 indicating the times taken for work associated with prescribed work codes for products associated with prescribed product type numbers (101), and if the extracted features of a per-product-type-number and per-work-code work time distribution have distribution features defined in a work-time definition library 203, work-time definition data defining a per-product-type-number and per-work-code work time is created according to an algorithm defined in the work-time definition library in accordance with the distribution features (102).

A method and a system for processing optical lenses in which the lenses are conveyed to individual processing apparatuses or processing lines corresponding to an assignment. The assignment takes into consideration maintenance that is due.

The present invention provides a takt system and method for the collaboration of production processes with uncertain time, which relates to the technical field of task collaboration. The present invention measures the collaboration efficiency of the production processes with indices such as estimated wasted time, and calculates the estimated wasted time by the expectation of the weighted sum of wasted time. For the collaboration of the production processes with uncertain time, the propagation of uncertainty factors and occurrence of wasted time in the collaborative production process are limited in a manner of takt. In different scenarios focusing on the collaboration efficiency and completion probability of the production processes, two takt control models are established, and takt solutions for the collaboration of production processes with uncertain time are obtained by solving the models. The method proposed effectively reduces the wasted time in the production processes and improves the collaboration efficiency.

The invention relates to a system and method for controlling access to production line nests which include access request means, configured to send an access request signal when an automated guided supply vehicle reaches a predetermined distance to a nest vehicle access area; occupation detection means for detecting occupation inside the nest; connection means configured to allow or deny the vehicle access to the inside of the nest depending on whether said space is occupied and whether there is an incident on the production line, and means for opening and closing the parts collection area.