Abstract: Systems and methods for predicting execution paths of at least one target program of a plurality of programs that are run in parallel are described. In one method, execution flows of programs are generated. In addition, the programs are executed to obtain debug logs from the programs. Further, communication messages transmitted between the execution flows are identified from the debug logs. A deduction that at least one conditional branch was taken in at least one given execution flow of the first execution flows by the target program is made based on the communication messages. Based on the deduction, at least one conditional branch that was not taken is removed from the given execution flow. In addition, modified execution flows that were modified in accordance with the removal are output to indicate predicted execution paths of the target program.

Abstract: Systems and methods for predicting execution paths of at least one target program of a plurality of programs that are run in parallel are described. In one method, execution flows of programs are generated by conducting a static analysis. In addition, the programs are executed to obtain debug logs from the programs. Further, communication messages transmitted between the execution flows are identified from the debug logs. A deduction that at least one conditional branch was taken in at least one given execution flow of the first execution flows by the target program is made based on the communication messages that are identified in the debug logs. Based on the deduction, at least one conditional branch that was not taken is removed from the given execution flow. In addition, modified execution flows that were modified in accordance with the removal are output to indicate predicted execution paths of the target program.

Abstract: Systems and methods for predicting execution paths of at least one target program of a plurality of programs that are run in parallel are described. In one method, execution flows of programs are generated by conducting a static analysis. In addition, the programs are executed to obtain debug logs from the programs. Further, communication messages transmitted between the execution flows are identified from the debug logs. A deduction that at least one conditional branch was taken in at least one given execution flow of the first execution flows by the target program is made based on the communication messages that are identified in the debug logs. Based on the deduction, at least one conditional branch that was not taken is removed from the given execution flow. In addition, modified execution flows that were modified in accordance with the removal are output to indicate predicted execution paths of the target program.

Abstract: A communication control method and system for controlling communication among multiple industrial control systems connected via a network. The communication control system includes: a communication relay apparatus for relaying communication between at least two of multiple industrial control systems; a monitoring section for monitoring the multiple industrial control systems; and a control section for switching, if the monitoring section detects an anomaly from at least one of the multiple industrial control systems, communication between an industrial control system detected with an anomaly and a second industrial control system so that the communication is performed via the communication relay apparatus.

Abstract: A method converts a plurality of functional blocks into linear blocks such that the nonlinear blocks are divided into a plurality of states through switched linearization. The plurality of states generated by said switched linearization is then transitioned selectively based on a predetermined operational scenario. Each state is then tested separately to ensure that implementation of the states are safe. A first guard block is provided when a state is deemed unsafe such that the first guard block is enabled to cause a system shutdown so as to prevent further processing that can cause an unsafe result.

Abstract: A communication control method and system for controlling communication among multiple industrial control systems connected via a network. The communication control system includes: a communication relay apparatus for relaying communication between at least two of multiple industrial control systems; a monitoring section for monitoring the multiple industrial control systems; and a control section for switching, if the monitoring section detects an anomaly from at least one of the multiple industrial control systems, communication between an industrial control system detected with an anomaly and a second industrial control system so that the communication is performed via the communication relay apparatus.

Abstract: A communication control method and system for controlling communication among multiple industrial control systems connected via a network. The communication control system includes: a communication relay apparatus for relaying communication between at least two of multiple industrial control systems; a monitoring section for monitoring the multiple industrial control systems; and a control section for switching, if the monitoring section detects an anomaly from at least one of the multiple industrial control systems, communication between an industrial control system detected with an anomaly and a second industrial control system so that the communication is performed via the communication relay apparatus.

Abstract: A communication control method and system for controlling communication among multiple industrial control systems connected via a network. The communication control system includes: a communication relay apparatus for relaying communication between at least two of multiple industrial control systems; a monitoring section for monitoring the multiple industrial control systems; and a control section for switching, if the monitoring section detects an anomaly from at least one of the multiple industrial control systems, communication between an industrial control system detected with an anomaly and a second industrial control system so that the communication is performed via the communication relay apparatus.

Abstract: C-phenyl 1-thioglucitol compounds of the following formula (I) or pharmaceutically acceptable salts thereof or hydrates thereof: [wherein X represents a hydrogen atom or a C1-6 alkyl group, Y represents a C1-6 alkylene group or —O—(CH2)n- (wherein n represents an integer of 1 to 5), and Z represents —CONHRA or —NHCONHRB (provided that when Z represents —NHCONHRB, n is not 1), wherein RA represents a C1-6 alkyl group substituted with 1 to 3 substituents selected from the group consisting of a hydroxyl group and —CONH2, and RB represents a hydrogen atom or a C1-6 alkyl group substituted with 1 to 3 substituents selected from the group consisting of a hydroxyl group and —CONH2] are useful as prophylactic or therapeutic agents for diabetes, because of their suppressive effect on sugar (e.g., glucose) absorption through inhibition of SGLT1 activity, or alternatively, because of their suppressive effect on sugar (e.g.

Abstract: The present invention provides a 1-thio-D-glucitol compound of the following formula, which shows the action of inhibiting the activity of SGLT2, a pharmaceutically acceptable salt of the compound, or a hydrate of the compound or the salt; and a pharmaceutical comprising such a compound as an active ingredient, especially, a pharmaceutical for preventing or treating diabetes, diabetes-related disease, or diabetic complication. The invention also provides a method for producing the 1-thio-D-glucitol compound and its intermediate.

Abstract: Provided is a novel C-phenyl glycitol compound that may serve as a prophylactic or therapeutic agent for diabetes by inhibiting both SGLT1 activity and SGLT2 activity, thereby exhibiting a glucose absorption suppression action and a urine glucose excretion action.

Abstract: A system, program product and related method is provided for simulating operational processes of a machine having a plurality of operational functional blocks including nonlinear blocks. The method steps comprise converting a plurality of functional blocks into linear blocks such that the nonlinear blocks are divided into a plurality of states through switched linearization. The plurality of states generated by said switched linearization is then transitioned selectively based on a predetermined operational scenario. Each state is then tested separately to ensure that implementation of the states are safe. A first guard block is provided when a state is deemed unsafe such that the first guard block is enabled to cause a system shutdown so as to prevent further processing that can cause an unsafe result.

Abstract: The present invention provides a 1-thio-D-glucitol compound of the following formula, which shows the action of inhibiting the activity of SGLT2, a pharmaceutically acceptable salt of the compound, or a hydrate of the compound or the salt; and a pharmaceutical comprising such a compound as an active ingredient, especially, a pharmaceutical for preventing or treating diabetes, diabetes-related disease, or diabetic complication. The invention also provides a method for producing the 1-thio-D-glucitol compound and its intermediate.

Abstract: The present invention provides a 1-thio-D-glucitol compound of the following formula, which shows the action of inhibiting the activity of SGLT2, a pharmaceutically acceptable salt of the compound, or a hydrate of the compound or the salt; and a pharmaceutical comprising such a compound as an active ingredient, especially, a pharmaceutical for preventing or treating diabetes, diabetes-related disease, or diabetic complication. The invention also provides a method for producing the 1-thio-D-glucitol compound and its intermediate.

Abstract: A 1-phenyl 1-thio-D-glucitol compound represented by formula (I) or the like: or a pharmaceutically acceptable salt thereof or a hydrate thereof, or a pharmaceutical preparation comprising the same as an active ingredient is useful as a novel type of prophylactic or therapeutic agent for diabetes, diabetes-related diseases or diabetic complications, which inhibits both SGLT1 and SGLT2 activities to achieve not only suppression of glucose absorption from the digestive tract but also excretion of urinary sugars.

Abstract: Provided is a novel C-phenyl glycitol compound that may serve as a prophylactic or therapeutic agent for diabetes by inhibiting both SGLT1 activity and SGLT2 activity, thereby exhibiting a glucose absorption suppression action and a urine glucose excretion action.

Abstract: C-phenyl 1-thioglucitol compounds of the following formula (I) or pharmaceutically acceptable salts thereof or hydrates thereof: [wherein X represents a hydrogen atom or a C1-6 alkyl group, Y represents a C1-6 alkylene group or —O—(CH2)n- (wherein n represents an integer of 1 to 5), and Z represents —CONHRA or —NHCONHRB (provided that when Z represents —NHCONHRB, n is not 1), wherein RA represents a C1-6 alkyl group substituted with 1 to 3 substituents selected from the group consisting of a hydroxyl group and —CONH2, and RB represents a hydrogen atom or a C1-6 alkyl group substituted with 1 to 3 substituents selected from the group consisting of a hydroxyl group and —CONH2] are useful as prophylactic or therapeutic agents for diabetes, because of their suppressive effect on sugar (e.g., glucose) absorption through inhibition of SGLT1 activity, or alternatively, because of their suppressive effect on sugar (e.g.

Abstract: The present invention provides a 1-thio-D-glucitol compound of the following formula, which shows the action of inhibiting the activity of SGLT2, a pharmaceutically acceptable salt of the compound, or a hydrate of the compound or the salt; and a pharmaceutical comprising such a compound as an active ingredient, especially, a pharmaceutical for preventing or treating diabetes, diabetes-related disease, or diabetic complication. The invention also provides a method for producing the 1-thio-D-glucitol compound and its intermediate.

Abstract: A sidewalk tile with snow-removal function is stably obtained that is capable of being heated to a desired temperature, while at the same time sufficiently maintaining strength. A heat-generating concrete body is obtained by mixing particle-form (granular) or powder-form carbon material with un-hardened concrete at a specified ratio, and then pressing it with a high-pressure press at a pressure of approximately 980 kN to remove moisture and to form it into a tile shape. A pair of electrodes are embedded in end sections on both ends in the width direction of the heat-generating concrete body. The outer surfaces of the heat-generating concrete body are covered with an insulation-coating layer. One side and the circumference of the heat-generating concrete body are covered with un-hardened concrete and formed into a single tile shape by pressing with a high-pressure press to obtain a sidewalk tile with the snow-removal function.