Abstract: An abnormal irregularity cause identifying device includes a process data acquisition unit that reads, from a storage device storing process data, the pieces of process data, an abnormality determination unit that calculates an abnormality degree representing an extent of an irregularity of process data of the pieces of process data read by the process data acquisition unit, and a cause diagnosis unit that obtains accuracy of a cause of the irregularity based on a proportion of process data having the abnormality degree calculated by the abnormality determination unit satisfying a predetermined criterion to the plurality of types of pieces of process data, by using causal relation information defining a combination between the cause and the irregularity, which appears as an influence resulting from the cause, of each of the plurality of types of pieces of process data.

Abstract: An abnormal irregularity cause identifying device includes a process data acquisition unit that reads, from a storage device storing process data, the pieces of process data, an abnormality determination unit that calculates an abnormality degree representing an extent of an irregularity of process data of the pieces of process data read by the process data acquisition unit, and a cause diagnosis unit that determines, for each of the pieces of process data output by the corresponding one of the plurality of sensors, whether the abnormality degree calculated by the abnormality determination unit satisfies a predetermined criterion by using causal relation information defining a combination of a causal relation between a cause and the irregularity, which appears as an influence resulting from the cause, of the process data output by each of the plurality of sensors in a hierarchical manner along time series.

Abstract: An abnormal irregularity cause identifying device includes a process data acquisition unit that reads, from a storage device storing process data and each associated with a management number of a processing target, the pieces of process data, an abnormality determination unit that continuously calculates an abnormality degree representing an extent of an irregularity of process data of the pieces of process data read by the process data acquisition unit, and a cause diagnosis unit that determines, for each of the pieces of process data and corresponding to the management number of the processing target, whether the abnormality degree calculated by the abnormality determination unit satisfies a predetermined criterion by using causal relation information defining a combination between a cause and the irregularity, which appears as an influence resulting from the cause, of the process data.

Abstract: An abnormal irregularity cause identifying device includes a process data acquisition unit that reads process data output by sensors included in a production facility performing a batch stage and a continuous stage, a preprocessing unit that associates a range of a complete timing of the batch stage with an output timing of process data of the process data in the continuous stage based on a residence time of the processing target in the production facility, an abnormality determination unit that calculates an abnormality degree by using process data in the batch stage and process data in the continuous stage associated with each other by the preprocessing unit, and a cause diagnosis unit that determines, for each of the process data output by the corresponding one of the plurality of sensors, whether the abnormality degree calculated by the abnormality determination unit satisfies a predetermined criterion.

Abstract: A slip processing method for simplifying a processing of a job which uses a form of a predetermined format at a frequency of once a long term such as month, quarter or year and in which an input form is changed at a frequency of once per several times of use. The method comprises storing format information of an input form and data information in one file, providing a format of the input form including a plurality of tables each comprising a plurality of items (cells), storing data in corresponding ones of the items, executing a retrieval of the items and a totalization of data in the items with referencing a file which stores the format information and the data of the input form and storing the format information and the data of the input form and the processed information in a form which is transmittable through a network.

Abstract: In transformation from a symbol string to a term, transformation rules received describe structures of input symbol strings in the form of a context-free grammar, and include structures of output terms as arguments of terminal symbols and non-terminal symbols. An inputted symbol string is analyzed by reduction processing based on the structures of input symbol strings described in the transformation rules, and an intermediate tree is formed. A term for output is produced in accordance with the structures of output terms shown in the arguments of the terminal symbols and the non-terminal symbols corresponding to the structure of the inputted symbol string. Transformation of structured data is performed in like manner using transformation rules which describe structures of input data in terms of relations between classes of partial structures, and includes structures of output data as arguments of class identifiers.

Abstract: A plurality of program components, which do not have matching interfaces, are combined together automatically to generate a larger new program. An interface specifications' database registers the interface specifications corresponding to each of the program components. A program transformation rule memory stores transformation rules for controlling the reconciliation of the non-matching interface specifications of the program components. A data type memory stores data type transformation rules for reconciling non matching data specifications. A mediating program generator detects a mismatch of the interface specifications between at least two program components which are being combined and generates a mediating program in accordance with the program transformation rule and the data type transformation rule which mediating program enables the two programs and their data to communicate.

Abstract: A calculation processing system characterized by decomposing a program into tuples, functions and variables, including abstracting the decomposed program thereby to transform it into a combinator graph, assigning the program in the combinator graph to a plurality of process units, and executing the assigned program through reductions.