The invention relates to a method for checking a compatibility of a functional module for an installation for process automation. An input specification is provided for an input interface of the functional module, the input specification indicating for an input signal all input values that the functional module respectively accepts as valid. An output specification is provided, the output specification indicating for an output signal of the functional module all output values that the functional module provides as intended when the input specification is fulfilled. Operation of the functional module on the installation is preceded by an analysis device checking whether the functional module produces, for each input signal produced on the input interface in accordance with the input specification, the output signal on an output interface in accordance with the output specification. When an output value of the output signal violates the output specification, a module error is signaled.

A method generates a three dimensional representation of a garment and comprises: obtaining a three dimensional human body model comprising an outer surface representative of an outermost surface of a human body; obtaining a three dimensional representation of a garment; and simulating a three dimensional physical interaction of the three dimensional body model with a three dimensional representation of the garment. Simulating the three-dimensional physical interaction comprises: deforming both the three-dimensional body model and the three dimensional representation of the garment; and displaying the deformed three-dimensional human body model and the deformed three-dimensional representation of the garment.

A method for controlling an operation of a machine determines a feasible region for states of the machine and states of the reference trajectory defined by constraints of the machine, constraints on a reference trajectory and constraints on bounds of a tracking error and selects a subset of the feasible region, such that for any state of the machine and any state of the reference trajectory within the subset, there is an admissible control maintaining the state of the machine within the subset for all admissible future states of the reference trajectory determined by the model and the constraints of the reference trajectory. Next, an admissible control action for controlling the operation of the machine is selected such that the state of the machine remains in the subset for all admissible future states of the reference trajectory.

A method includes processing each of a plurality of lots with at least one first equipment and moving some of the plurality of lots to a first storage. For each of a plurality of second equipments, an expected dispatch time of one or more next lots for processing by the second equipment is determined. Each of the lots in the first storage is assigned to one of the plurality of second equipments on the basis of at least the determined expected dispatch times and moved to one of a plurality of second storages that is associated with one of the plurality of second equipments to which the respective lot was assigned. For each of the plurality of second equipments, each of the lots in the second storage associated with the second equipment is moved to the second equipment and are processed with the second equipment.

A method generates a three dimensional representation of a garment and comprises: obtaining a three dimensional human body model comprising an outer surface representative of an outermost surface of a human body; obtaining a three dimensional representation of a garment; and simulating a three dimensional physical interaction of the three dimensional body model with a three dimensional representation of the garment. Simulating the three-dimensional physical interaction comprises: deforming both the three-dimensional body model and the three dimensional representation of the garment; and displaying the deformed three-dimensional human body model and the deformed three-dimensional representation of the garment.

The invention relates to a method for checking a compatibility of a functional module for an installation for process automation. An input specification is provided for an input interface of the functional module, the input specification indicating for an input signal all input values that the functional module respectively accepts as valid. An output specification is provided, the output specification indicating for an output signal of the functional module all output values that the functional module provides as intended when the input specification is fulfilled. Operation of the functional module on the installation is preceded by an analysis device checking whether the functional module produces, for each input signal produced on the input interface in accordance with the input specification, the output signal on an output interface in accordance with the output specification. When an output value of the output signal violates the output specification, a module error is signaled.

A method for controlling a superplastic forming machine for imprinting a shape on a sheet, the machine comprising: a cover; a vat; a press and a peripheral seal for gripping the sheet at its periphery and sealing a pressurized forming chamber delimited by the sheet; members for heating the sheet directly by radiation, these being arranged facing the sheet; a programmable controller. The method involves: determining an initial heating configuration; a finite-element simulation relating to the temperature of the sheet and performed in such a way as to have a temperature that is substantially consistent across the sheet and substantially constant during the course of the forming, in order to obtain a forming specification comprising at least a cycle of powering the heating members and a cycle of pressure in the forming chamber; programming the programmable controller according to the forming specification yielded by the previous simulation.

A device for activating trigger data has a serial bus interface and a processing circuit coupled to the serial bus interface. The processing circuit is configured to receive a plurality of trigger data via a serial bus, receive a plurality of activation data via the serial bus, detect an activation scheme for activating a respective trigger data of the plurality of trigger data based on activation data corresponding to the respective trigger data, and activate the respective trigger data according to the detected activation scheme. If activated, each one of the plurality of trigger data respectively enables a corresponding operation to be performed at the device. Each one of the plurality of activation data respectively correspond to each one of the plurality of trigger data.

A method for controlling a superplastic forming machine for imprinting a shape on a sheet, the machine comprising: a cover; a vat; a press and a peripheral seal for gripping the sheet at its periphery and sealing a pressurized forming chamber delimited by the sheet; members for heating the sheet directly by radiation, these being arranged facing the sheet; a programmable controller. The method involves: determining an initial heating configuration; a finite-element simulation relating to the temperature of the sheet and performed in such a way as to have a temperature that is substantially consistent across the sheet and substantially constant during the course of the forming, in order to obtain a forming specification comprising at least a cycle of powering the heating members and a cycle of pressure in the forming chamber; programming the programmable controller according to the forming specification yielded by the previous simulation.

A method for determining parameters of cross sections of a single-hole four-lane highway tunnel includes the steps of determining surrounding rock pressure, constructing numerical models under different flatness ratios, calculating interval force of lining structures, calculating safety coefficients of the lining structures, performing contrastive analysis on the cross sections under different flatness ratios, obtaining reasonable cross section forms, and so on. This method provides a basis to formulate the specifications and standards for design of a single-hole four-lane highway tunnel and may provide a reference basis to design a cross section of a single-hole four-lane highway tunnel in new construction or reconstruction and expansion, thereby ensuring safety and economic efficiency of the cross section forms of the single-hole four-lane highway tunnel.