Abstract: An engineering tool includes a display area to display a ladder program, the display area being displayed on a display screen of a display device; and a cell, which is a temporal-operator imparted region. The cell, which is a temporal-operator imparted region, is a region that is displayed in the display area and in which a temporal operator is imparted to a program module of the ladder program. The engineering tool includes a control specification editing unit and a control-specification-descriptive-expression converting unit. The control specification editing unit creates the program module. The control-specification-descriptive-expression converting unit converts the program module into a mathematical expression that can be input to a model checking program.

Abstract: A turbine blade has a profile including a blade suction side line, a blade pressure side line, and a blade trailing edge positioned between the rear ends of the blade suction side and pressure sidelines. The blade trailing edge of the profile is formed by connecting a pressure side arc-like curve having a constant radius of curvature and extending from the rear end of the blade pressure side line toward the camber line of the profile, and a suction side line portion which extends from the rear end of the blade suction side line toward the camber line while passing through a region closer to the camber line than a symmetric curve portion which is line-symmetric to the pressure side arc-like curve with respect to the camber line. The suction side line portion is represented by curves constituting ellipses which constitute ellipses, and a straight line.

Abstract: An engineering tool includes a display area to display a ladder program, the display area being displayed on a display screen of a display device; and a cell, which is a temporal-operator imparted region. The cell, which is a temporal-operator imparted region, is a region that is displayed in the display area and in which a temporal operator is imparted to a program module of the ladder program. The engineering tool includes a control specification editing unit and a control-specification-descriptive-expression converting unit. The control specification editing unit creates the program module. The control-specification-descriptive-expression converting unit converts the program module into a mathematical expression that can be input to a model checking program.

Abstract: The invention includes a read-restriction setting step of setting read restriction on a program stored in hardware of an industrial product in response to a read restriction request, and a read requesting step of transmitting a read request for the program to the industrial product from an engineering tool that is a read request source. In the read-restriction setting step unique individual information retained in the hardware of the industrial product or unique individual information retained in hardware for executing an engineering tool that is a read-restriction request source is registered as registration individual information, and in the read requesting step, unique individual information retained in hardware for executing the engineering tool that is the read request source or unique individual information retained in the hardware of the industrial product is compared with the registration individual information.

Abstract: A turbine blade has a profile including a blade suction side line, a blade pressure side line, and a blade trailing edge formed by a curve connecting the rear ends of the blade suction side and pressure side lines to each other, wherein the curve forming the blade trailing edge of the profile is formed by connecting a pressure side curve portion which has an arc shape having a constant radius of curvature and extending from the rear end of the blade pressure side line toward the camber line of the profile, and a suction side curve portion which extends from the rear end of the blade suction side line toward the camber line while passing through a region closer to the camber line than a symmetric curve portion which is line-symmetric to the pressure side curve portion with respect to the camber line.

Abstract: A ladder-program display program that causes a computer to execute: a hierarchical data retaining step of storing a ladder program in a form of a data structure representation that expresses the ladder program by a logical hierarchical structure by expressing each circuit block, which is a hierarchical unit of the ladder program, by a logical expression; and a display processing step of causing, on a basis of the data structure representation, the ladder program to be displayed on a display device in a form of a data structure representation or a ladder diagram in which each hierarchical unit of the hierarchical structure is visually capable of being identified.

Abstract: A turbine blade has a profile including a blade suction side line, a blade pressure side line, and a blade trailing edge positioned between the rear ends of the blade suction side and pressure sidelines. The blade trailing edge of the profile is formed by connecting a pressure side arc-like curve having a constant radius of curvature and extending from the rear end of the blade pressure side line toward the camber line of the profile, and a suction side line portion which extends from the rear end of the blade suction side line toward the camber line while passing through a region closer to the camber line than a symmetric curve portion which is line-symmetric to the pressure side arc-like curve with respect to the camber line. The suction side line portion is represented by curves constituting ellipses which constitute ellipses, and a straight line.

Abstract: The invention relates to wall of a turbo machine having a cascade of blades. The wall includes: a first platform facing a first passage between blades in the cascade of blades; and a second platform facing a second passage between adjacent cascade of blades on an upstream side and cascade of blades on a downstream side, and having a circumferential outline having a distribution of radial positions. According to the invention, loss due to disturbance of flow through the gap of axially adjacent walls can be reduced.

Abstract: A turbine blade has a profile including a blade suction side line, a blade pressure side line, and a blade trailing edge formed by a curve connecting the rear ends of the blade suction side and pressure side lines to each other, wherein the curve forming the blade trailing edge of the profile is formed by connecting a pressure side curve portion which has an arc shape having a constant radius of curvature and extending from the rear end of the blade pressure side line toward the camber line of the profile, and a suction side curve portion which extends from the rear end of the blade suction side line toward the camber line while passing through a region closer to the camber line than a symmetric curve portion which is line-symmetric to the pressure side curve portion with respect to the camber line.

Abstract: The invention includes a read-restriction setting step of setting read restriction on a program stored in hardware of an industrial product in response to a read restriction request, and a read requesting step of transmitting a read request for the program to the industrial product from an engineering tool that is a read request source. In the read-restriction setting step unique individual information retained in the hardware of the industrial product or unique individual information retained in hardware for executing an engineering tool that is a read-restriction request source is registered as registration individual information, and in the read requesting step, unique individual information retained in hardware for executing the engineering tool that is the read request source or unique individual information retained in the hardware of the industrial product is compared with the registration individual information.

Abstract: The present invention provides a turbine blade that is exposed to a high temperature atmosphere at relatively high temperatures and to a low temperature atmosphere at relatively low temperatures, including: a concave-curve-like pressure surface that is concaved along a flow direction of fluid; a convex-curve-like suction surface that is convexed along the flow direction of the fluid; and a concave and convex formation device which causes a concave and convex portion along the flow of the fluid to appear on the suction surface when the turbine blade is exposed to the low temperature atmosphere, and which turns the suction surface into a smooth surface along a convex curve surface of the suction surface when the turbine blade is exposed to the high temperature atmosphere.

Abstract: A blade surrounded by: a leading edge portion, which is where fluid flows in; a pressure surface which is a concave curve shape concaved along a direction the fluid flows; a suction surface which is a convex curve shape convexed along a direction the fluid flows; and a trailing edge portion, which is where the fluid flows out, in which a disturbance addition portion is provided on the suction surface closer to the leading edge portion than a maximum velocity point, where the flow velocity of the fluid is maximized on the suction surface, for disturbing a laminar flow on the suction surface and for transitioning to a turbulent flow.

Abstract: When constituting a ladder program edition device that edits a ladder diagram, there is provided an edit control unit that generates data of a logical expression corresponding to a logical structure of an input condition and an output condition in a ladder diagram based on an arrangement of circuit elements in a ladder diagram, sets circuit elements that specify the input condition as one circuit unit of one input and one output for each input condition based on the data of the above logical expression, and connects output ends of circuit units to be connected in parallel with each other in the ladder diagram. With this configuration, generation of a syntactically erroneous ladder diagram is prevented.

Abstract: The invention relates to wall of a turbo machine having a cascade of blades. The wall includes: a first platform facing a first passage between blades in the cascade of blades; and a second platform facing a second passage between adjacent cascade of blades on an upstream side and cascade of blades on a downstream side, and having a circumferential outline having a distribution of radial positions. According to the invention, loss due to disturbance of flow through the gap of axially adjacent walls can be reduced.

Abstract: A wall configuration of an axial-flow machine which can reduce the secondary flow loss is provided. A trough is formed between a blade and another blade in the blade row and extends in at least an axial direction of the blade row. The region where the trough is formed is axially between a leading edge and a trailing edge of the blade. A center line of the trough has a curvature in the same direction as a camber line of the blade. A maximum amplitude of the trough is located adjacent to an axial center of the blade or located axially between the axial center and the leading edge of the blade.

Abstract: The present invention provides a turbine blade that is exposed to a high temperature atmosphere at relatively high temperatures and to a low temperature atmosphere at relatively low temperatures, including: a concave-curve-like pressure surface that is concaved along a flow direction of fluid; a convex-curve-like suction surface that is convexed along the flow direction of the fluid; and a concave and convex formation device which causes a concave and convex portion along the flow of the fluid to appear on the suction surface when the turbine blade is exposed to the low temperature atmosphere, and which turns the suction surface into a smooth surface along a convex curve surface of the suction surface when the turbine blade is exposed to the high temperature atmosphere.

Abstract: A blade surrounded by: a leading edge portion, which is where fluid flows in; a pressure surface which is a concave curve shape concaved along a direction the fluid flows; a suction surface which is a convex curve shape convexed along a direction the fluid flows; and a trailing edge portion, which is where the fluid flows out, in which a disturbance addition portion is provided on the suction surface closer to the leading edge portion than a maximum velocity point, where the flow velocity of the fluid is maximized on the suction surface, for disturbing a laminar flow on the suction surface and for transitioning to a turbulent flow.

Abstract: A wall configuration of an axial-flow machine which can reduce the secondary flow loss is provided. A trough is formed between a blade and another blade in the blade row and extends in at least an axial direction of the blade row. The region where the trough is formed is axially between a leading edge and a trailing edge of the blade. A center line of the trough has a curvature in the same direction as a camber line of the blade. A maximum amplitude of the trough is located adjacent to an axial center of the blade or located axially between the axial center and the leading edge of the blade.