摘要:
L'outil de programmation intègre un système de langage de programmation d'exécution, un système de langage de programmation logique et une base de données, de manière que les termes logiques puissent être traités en tant qu'objets dans le système de langage de programmation d'exécution, que les objets puissent être traités en tant que termes logiques dans le système de langage de programmation logique, et que les termes logiques et les objets soient stockés dans la base de données dans un format de structure de données commun. La gestion automatique de la base de données est transparente pour l'utilisateur.
摘要:
In a method for processing logic programs - especially in Prolog-like languages - using at least one processor, which allows parallelism - also retroactively - by an existing process, called "father", creating at optional OR-parallel nodes at least one process, called "son", standing in an OR-parallel relationship to the father, a deep-binding list, called "hash-window" is created only for the newly created son in which - while processing the split-off OR-parallel branch - it performs bindings to variables commonly accessible to it and its father, called"commonly accessible variables."
摘要:
An inductive inference apparatus comprises an input section (10) for inputting a proposition, conditions for the proposition, and the tendency of each condition, a storage section (14) for storing the proposition, and necessary and sufficient conditions of the proposition, a condition detecting section (16) for forming the necessary and sufficient conditions for the truth or falsity of the proposition in accordance with the input proposition, the input conditions, and the input tendency of each condition, a judging section (18) for, with respect to an example in which the truth or falsity of the proposition is unknown, judging the truth or falsity of the proposition using already stored necessary and sufficient conditions, and a control section (12) for, when the truth or falsity of the proposition in a new example input to the input section is known, supplying the conditions of the proposition and the tendency of each condition to the condition detecting section to store the necessary and sufficient conditions formed by the condition detecting section in the storage section, and for, when the truth or falsity of the proposition in the example is unknown, supplying the conditions of the proposition to the judging section.
摘要:
La connexion du transmetteur téléphonique à la ligne s'effectur par un circuit à relais 20 qui peut assurer également le branchement d'un poste téléphonique 12. Le relais 20 comporte deux bobines 21 et 22. Deux ponts 31 et 32 sont respectivement branchés à l'entrée et à la sortie du relais 20. Deux transistors 41 et 42, respectivement alimentés par les ponts 31 et 32, permettent l'actionnement des bobines de commande 21 et 22 du relais. Le pont 31 assure également l'alimentation en veille d'un ensemble de transmetteurs 90 à microprocesseurs. Le pont 32 alimente aussi, à travers un transistor 60 de commande de prise de ligne, un générateur de courant à transistors 70 qui assure l'alimentation d'amplificateurs de réception 81 et de modulation 82, ainsi que l'alimentation de l'ensemble 90.
摘要:
A cartridge type flow control valve which can be directly installed on a piping without the need of a valve casing and ensure a sufficient sealing property and prevention of stem fixation, comprising a valve disc (1) cantilever-supported and consisting of a valve plate (11) and a stem (12) integrally formed of ceramics, a truncated cone-shaped plug member (2) of a two-layer structure consisting of a high-strength refractory (21) at the axial front and an insulating refractory (22) at the rear and a driving mechanism (3) for the valve disc (1), wherein the valve has a first sealing member (4) consisting of a heat-resisting fiber and wound around the outer periphery of the plug member (2), a mounting member (23) for fixing the plug member (2) and mounted on the mounting seat (103) of an air supply branch pipe (100), a second sealing member (5) consisting of an O-ring to which the mounting member (23) is mounted, and a third sealing member (6) consisting of a gland packing in a bearing member (27) of the stem (12), the plug member (2) being inserted in an opening (102) provided in a flow path wall. A supply of a heated inactive gas or air to a clearance (7) between the stem (12) and an axial hole (24) in the plug member (2) prevents the fixation of the stem.
摘要:
A cartridge type flow control valve which can be directly installed on a piping without the need of a valve casing and ensure a sufficient sealing property and prevention of stem fixation, comprising a valve disc (1) cantilever-supported and consisting of a valve plate (11) and a stem (12) integrally formed of ceramics, a truncated cone-shaped plug member (2) of a two-layer structure consisting of a high-strength refractory (21) at the axial front and an insulating refractory (22) at the rear and a driving mechanism (3) for the valve disc (1), wherein the valve has a first scaling member (4) consisting of a heat-resisting fiber and wound around the outer periphery of the plug member (2), a mounting member (23) for fixing the plug member (2) and mounted on the mounting seat (103) of an air supply branch pipe (100), a second sealing member (5) consisting of an O-ring to which the mounting member (23) is mounted, and a third sealing member (6) consisting of a gland packing in a bearing member (27) of the stem (12), the plug member (2) being inserted in an opening (102) provided in a flow path wall. A supply of a heated inactive gas or air to a clearance (7) between the stem (12) and an axial hole (24) in the plug member (2) prevents the fixation of the stem.
摘要:
An apparatus and method for drilling and then installing a production conduit (46) within an enlarged bore hole (D) along an underground path (P) between two surface locations (C, D). Upon completion of a pilot bore hole (B), a reamer (48) enlarges the bore hole (B). The drill string (10) is returned to the exit opening (E) for connection to the production conduit (46) for pulling the conduit (46) within the enlarged opening (D). One embodiment (Figures 19-21) utilizes canted rollers (168) for supporting the production conduit (46) at the exit opening (E) and effecting rotation thereof as the production conduit (46) is fed into the enlarged diameter opening (D).
摘要:
In order to improve the efficiency of test and debug based on declarative program understanding of a program described by a logical language, the operation which has been executed for each procedure is grasped (50). On the basis of information (52) relating to the grasped operation, the operation range of each procedure is expressed clearly by making thick only sides which have actually operated among four sides of a box-shaped figure surrounding each procedure.