Method for verifying safety apparatus and safety apparatus verified by the same
    1.
    发明授权
    Method for verifying safety apparatus and safety apparatus verified by the same 有权
    用于验证其验证的安全装置和安全装置的方法

    公开(公告)号:US07512917B2

    公开(公告)日:2009-03-31

    申请号:US11360617

    申请日:2006-02-24

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5027

    摘要: A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The verification method includes the steps of exhaustively verifying the plurality of functional elements on actual hardware, generating a functional element that is the same as one of the functional elements verified on the actual apparatus using a predetermined hardware description language, independently logic-synthesizing each generated functional element into a plurality of first net lists, generating a connection function between the functional elements using the predetermined hardware description language, logic-synthesizing the generated connection function into a second net list corresponding to the connection function, synthesizing the first net lists with the second net list to generate a third net list, writing a logic circuit into the programmable logic device on the basis of the third net list, and verifying the actual programmable logic device.

    摘要翻译: 提供了一种用于验证包括具有多个功能元件的可编程逻辑器件的安全装置的验证方法。 验证方法包括以下步骤:在实际硬件上彻底验证多个功能元件,生成与使用预定的硬件描述语言在实际装置上验证的功能元件中的一个功能元件相同的功能元件,独立地逻辑合成每个产生的功能元件 功能元件组合成多个第一网络列表,使用预定的硬件描述语言在功能元件之间生成连接功能,将生成的连接功能逻辑合成到与连接功能相对应的第二网络列表中,将第一网络列表与 第二网络列表以产生第三网络列表,基于第三网络列表将逻辑电路写入可编程逻辑设备,以及验证实际的可编程逻辑设备。

    Liquid-type fuel cell system and control circuit of the same
    3.
    发明申请
    Liquid-type fuel cell system and control circuit of the same 审中-公开
    液态燃料电池系统及其控制电路相同

    公开(公告)号:US20060269805A1

    公开(公告)日:2006-11-30

    申请号:US11417244

    申请日:2006-05-04

    IPC分类号: H01M8/04 H01M16/00

    摘要: A system includes a liquid-type fuel electromotive unit which outputs a first power, a fuel supply unit which supplies liquid fuel to this liquid-type fuel electromotive unit, an auxiliary power supply unit which is charged with the first power output from the liquid-type fuel electromotive unit and which outputs a charged second power, and a control circuit which controls the supply of the fuel. Moreover, this control circuit monitors a charged state of the auxiliary power supply unit, and controls the supply of the liquid fuel from the fuel supply unit to the liquid-type fuel electromotive unit based on the monitoring result.

    摘要翻译: 一种系统,包括输出第一功率的液体型燃料电动单元,向该液体型燃料电动单元供给液体燃料的燃料供给单元,从液体燃料电动机输出的第一功率输出的辅助电力供给单元, 型燃料电动单元,其输出充电的第二电力;以及控制电路,其控制燃料的供给。 此外,该控制电路监视辅助电源单元的充电状态,并且基于监视结果来控制从燃料供给单元向液体型燃料电动单元的液体燃料的供给。

    Safety interlock device for a plant
    4.
    发明授权
    Safety interlock device for a plant 有权
    工厂安全联锁装置

    公开(公告)号:US09256223B2

    公开(公告)日:2016-02-09

    申请号:US13582202

    申请日:2011-03-04

    IPC分类号: G05B19/18 G05B23/02 G21D3/00

    摘要: A control device includes: an input portion for inputting a process signal transmitted from a plant; a numerical processing part for outputting a Boolean value evaluating normal/abnormal of the process signal by a numerical processing based on a program; and a logical processing part for a logical processing of the Boolean value based on a logic circuit and then outputting a control signal related a safety protection operation of the plant.

    摘要翻译: 控制装置包括:用于输入从工厂传送的处理信号的输入部分; 数字处理部,其通过基于程序的数值处理来输出评价处理信号的正常/异常的布尔值; 以及逻辑处理部分,用于基于逻辑电路的布尔值的逻辑处理,然后输出与工厂的安全保护操作相关的控制信号。

    DIGITAL CONTROL DEVICE AND EXECUTION METHOD THEREOF
    5.
    发明申请
    DIGITAL CONTROL DEVICE AND EXECUTION METHOD THEREOF 审中-公开
    数字控制装置及其执行方法

    公开(公告)号:US20130305031A1

    公开(公告)日:2013-11-14

    申请号:US13980361

    申请日:2012-01-31

    IPC分类号: G06F9/44

    摘要: In a digital control device, when a normal mode for carrying out a normal process is selected by a mode switch, a computation unit transfers base process code and APL process code which controls the normal process from a code storage device to a main memory, loads the base process code and the APL process code which are transferred to the main memory, and carries out the normal process. When a test mode for carrying out a test process is selected by the mode switch, the computation unit transfers the base process code and test process code which controls the test process from the code storage device to the main memory, loads the base process code and the test process code which are transferred to the main memory, and carries out the test process.

    摘要翻译: 在数字控制装置中,当通过模式切换选择用于执行正常处理的正常模式时,计算单元将基本处理代码和控制正常处理的APL处理代码从代码存储装置传送到主存储器,加载 基本进程代码和APL进程代码传送到主存储器,并执行正常进程。 当通过模式切换器选择用于执行测试过程的测试模式时,计算单元将控制测试过程的基本过程代码和测试过程代码从代码存储设备传送到主存储器,加载基本过程代码和 测试过程代码被传送到主存储器,并进行测试过程。

    NONAQUEOUS ELECTROLYTE SECONDARY CELL
    7.
    发明申请
    NONAQUEOUS ELECTROLYTE SECONDARY CELL 有权
    非电解电解质二次电池

    公开(公告)号:US20080138702A1

    公开(公告)日:2008-06-12

    申请号:US11836038

    申请日:2007-08-08

    IPC分类号: H01M10/40 H01M2/02

    摘要: A nonaqueous electrolyte secondary cell includes an electrode body including a positive electrode, a negative electrode, and a separator, the positive electrode and the negative electrode being arranged to oppose each other with the separator therebetween, and being rolled or stacked; a nonaqueous electrolyte solution; and an exterior package for accommodating the electrode body and the nonaqueous electrolyte solution. A polymeric support is provided between the separator and at least one of the positive electrode and the negative electrode, and the ratio (MO/MA) of the amount (MO) of the nonaqueous electrolyte solution present between the electrode body and the exterior package to the amount (MA) of the nonaqueous electrolyte solution present in the exterior package is 0.04 or less.

    摘要翻译: 非水电解质二次电池包括具有正极,负极和隔膜的电极体,所述正极和所述负极通过隔板相互对置地配置,并且被卷绕或堆叠; 非水电解液; 以及用于容纳电极体和非水电解质溶液的外包装。 在隔板与正电极和负电极中的至少一个之间提供聚合物支撑体,以及存在于电极体和外包装之间的非水电解液的量(MO)与MOX之比(MO / MA)与 存在于外包装中的非水电解液的量(MA)为0.04以下。

    Laser Processing Deivce
    8.
    发明申请
    Laser Processing Deivce 失效
    激光加工设备

    公开(公告)号:US20080031298A1

    公开(公告)日:2008-02-07

    申请号:US11576792

    申请日:2005-10-06

    IPC分类号: H01S3/22

    摘要: A laser processing device in which even a short nozzle provided with a follower roller (35) can prevent disturbance of a laser beam and contamination of protective glass and in which shield gas can act effectively. The laser processing device comprises a head section (11) from which a laser beam that is condensed by a condenser lens (16) provided inside the device is irradiated through a nozzle section (13); a gas delivery means (28) opened in a processing direction X, in the vicinity of the focal point of laser beam, and jetting a shield gas from the opening; a primary air delivery means (31) directed in the processing direction X, above the focal point F of the laser beam, and jetting primary air A1 substantially in the horizontal direction to form a first air curtain; and secondary air delivery means (18, 13, 19) directed to the focal point from the vicinity of the condenser lens and jetting secondary air A2 to form a second air curtain.

    摘要翻译: 一种激光加工装置,其中即使设有从动辊(35)的短喷嘴也可以防止激光束的干扰和保护玻璃的污染,并且其中保护气体可以有效地起作用。 激光加工装置包括头部(11),通过设置在装置内部的聚光透镜(16)聚光的激光束通过喷嘴部分(13)被照射; 在处理方向X上在激光束焦点附近开口的气体输送装置(28),并从开口喷出保护气体; 沿着处理方向X指向激光束的焦点F上方的一次空气传送装置(31),并且基本上沿水平方向喷射一次空气A 1以形成第一空气幕; 以及从聚光透镜附近指向焦点的二次空气输送装置(18,13,19),并且喷射二次空气A 2以形成第二气帘。

    Automobile control unit having different program modules
    9.
    发明授权
    Automobile control unit having different program modules 有权
    汽车控制单元具有不同的程序模块

    公开(公告)号:US06343249B1

    公开(公告)日:2002-01-29

    申请号:US09512460

    申请日:2000-02-24

    IPC分类号: B60Q100

    摘要: An ECU is provided with a microcomputer for performing arithmetic operation for controlling a control target by executing a program stored in a ROM and for performing the process to transmit the control data calculated by means of the arithmetic operation to a communication target. The program comprises independent program modules, that is, a program (application unit) for performing the arithmetic operation, a program (communication conversion unit) for extracting the control data to be transmitted from among the control data calculated by the application unit and for performing the process to convert the extracted control data to the communication data string corresponding to the communication protocol of the communication target, and a program (communication driver unit) for performing the process to transmit the data string according to the communication protocol.

    摘要翻译: ECU具有微型计算机,用于通过执行存储在ROM中的程序来执行用于控制控制目标的算术运算,并且执行将通过算术运算计算出的控制数据发送到通信目标的处理。 该程序包括独立的程序模块,即用于执行算术运算的程序(应用单元),用于从由应用单元计算出的控制数据中提取要发送的控制数据并执行的程序(通信转换单元) 将所提取的控制数据转换为与通信对象的通信协议相对应的通信数据串的处理,以及用于执行根据通信协议发送数据串的处理的程序(通信驱动单元)。

    CONTROL DEVICE
    10.
    发明申请
    CONTROL DEVICE 有权
    控制装置

    公开(公告)号:US20120323341A1

    公开(公告)日:2012-12-20

    申请号:US13582202

    申请日:2011-03-04

    IPC分类号: G05B19/18

    摘要: A control device includes: an input portion for inputting a process signal transmitted from a plant; a numerical processing part for outputting a Boolean value evaluating normal/abnormal of the process signal by a numerical processing based on a program; and a logical processing part for a logical processing of the Boolean value based on a logic circuit and then outputting a control signal related a safety protection operation of the plant.

    摘要翻译: 控制装置包括:用于输入从工厂传送的处理信号的输入部分; 数字处理部,其通过基于程序的数值处理来输出评价处理信号的正常/异常的布尔值; 以及逻辑处理部分,用于基于逻辑电路的布尔值的逻辑处理,然后输出与工厂的安全保护操作相关的控制信号。