A method and a system for processing logic programs
    3.
    发明授权
    A method and a system for processing logic programs 失效
    一种用于处理逻辑程序的方法和系统

    公开(公告)号:EP0252176B1

    公开(公告)日:1990-04-04

    申请号:EP86109342.5

    申请日:1986-07-08

    IPC分类号: G06F9/44

    CPC分类号: G06F8/313 G06F9/4496

    摘要: 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."

    Inductive inference apparatus
    4.
    发明公开
    Inductive inference apparatus 失效
    电感式装置

    公开(公告)号:EP0210866A3

    公开(公告)日:1989-04-26

    申请号:EP86305859.0

    申请日:1986-07-30

    IPC分类号: G06F9/44

    CPC分类号: G06F8/313

    摘要: 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 nec­essary and sufficient conditions for the truth or falsi­ty of the proposition in accordance with the input pro­position, 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.

    Dispositif de connexion et d'alimentation pour transmetteur téléphonique
    5.
    发明公开
    Dispositif de connexion et d'alimentation pour transmetteur téléphonique 失效
    Verbindungs- und Speisungseinrichtungfüreine Fernsprechkommunikationseinheit。

    公开(公告)号:EP0225231A1

    公开(公告)日:1987-06-10

    申请号:EP86402402.1

    申请日:1986-10-27

    IPC分类号: H04M19/08 H04M11/04

    CPC分类号: G06F8/313 H04M19/08

    摘要: 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, res­pectivement 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 à micropro­cesseurs. Le pont 32 alimente aussi, à travers un tran­sistor 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.

    摘要翻译: 电话发射器通过具有继电器20的电路连接到线路,继电器20还可以为电话机12提供连接。继电器20包括两个线圈21和22.两个桥31和32连接到输入端和输出端 分别通过桥31和32供电的两个晶体管41和42允许继电器的控制线圈21和22的致动。 桥接器31还提供具有微处理器的发射器集合90的待机供电。 桥接器32还通过用于控制线路发生的晶体管60供电,具有提供接收81和调制82放大器供电的晶体管70的电流发生器以及集合90的供电。

    HIGH-TEMPERATURE HIGH-PRESSURE LIQUID FLOW CONTROL VALVE AND METHOD OF PREVENTING FIXING OF ITS STEM
    6.
    发明公开
    HIGH-TEMPERATURE HIGH-PRESSURE LIQUID FLOW CONTROL VALVE AND METHOD OF PREVENTING FIXING OF ITS STEM 有权
    流量控制阀适用于高温高压区和程序,堵塞阀杆防止

    公开(公告)号:EP0972975A4

    公开(公告)日:2004-04-07

    申请号:EP99901947

    申请日:1999-02-05

    CPC分类号: G06F8/313 F16K1/225

    摘要: 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.

    HIGH-TEMPERATURE HIGH-PRESSURE LIQUID FLOW CONTROL VALVE AND METHOD OF PREVENTING FIXING OF ITS STEM
    7.
    发明公开
    HIGH-TEMPERATURE HIGH-PRESSURE LIQUID FLOW CONTROL VALVE AND METHOD OF PREVENTING FIXING OF ITS STEM 有权
    流量控制阀适用于高温高压区和程序,堵塞阀杆防止

    公开(公告)号:EP0972975A1

    公开(公告)日:2000-01-19

    申请号:EP99901947.4

    申请日:1999-02-05

    IPC分类号: F16K1/22

    CPC分类号: G06F8/313 F16K1/225

    摘要: 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.

    摘要翻译: 它可以在配管直接安装而不需要一个阀壳,并确保柄的固定的足够的密封性能和防止所述的盒式流量控制阀,包括一阀盘(1)悬臂支承和阀板由......组成( 11)和杆(12)一体地形成的陶瓷,一个截锥形插塞构件(2)的双层结构在轴向前端和一个高强度耐火材料(21)的由(绝缘耐火22) 在后部和一个驱动机构(3),用于在阀盘(1),所述worin阀具有第一缩放构件(4)由耐热纤维和周围的插头部件的外周卷绕(2) 用于固定插头构件(2)上的安装部件(23)和安装在空气供给支管(100),第二密封部件(5)由一O形环,其中,安装的安装座(103) 构件(23)被安装,和第三密封部件(6)在一个轴承箱由压盖密封垫的 阀杆(12)的MBER(27),插塞构件(2)在被在流路壁上的开口(102)插入英寸 一个非活性加热气体或空气到杆(12)之间,并在插塞构件(2)的轴向孔(24)的间隙(7)的供给,防止杆的固定。

    Apparatus and method for installing a conduit within an arcuate bore
    9.
    发明公开
    Apparatus and method for installing a conduit within an arcuate bore 失效
    装置和用于在弯曲井眼安装电缆的方法。

    公开(公告)号:EP0299624A2

    公开(公告)日:1989-01-18

    申请号:EP88305452.0

    申请日:1988-06-15

    摘要: An apparatus and method for drilling and then in­stalling 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 embodi­ment (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).

    摘要翻译: 的装置和方法,用于钻探,然后在安装内沿在两个表面的位置(C,D)之间的地下路径(P)增大的孔孔(D)生产管道(46)。 一旦导频钻孔(B)结束后,扩孔器(48)放大所述钻孔(B)。 钻柱(10)返回到用于连接到生产管道(46),用于放大开口(D)内拉动导管(46)的出口开口(E)。 一个实施例中(图19-21)利用用于在出口开口(E)支撑所述生产管道(46)和其旋转期影响作为生产管道(46)被供给到扩径开口向外倾斜辊(168)(D) ,