公开(公告)号：US09256223B2

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

申请号：US13582202

申请日：2011-03-04

申请人： Toshifumi Hayashi ,  Atsushi Kojima ,  Hirotaka Sakai

发明人： Toshifumi Hayashi ,  Atsushi Kojima ,  Hirotaka Sakai

IPC分类号： G05B19/18 ,  G05B23/02 ,  G21D3/00

CPC分类号： G05B23/0235 ,  G05B9/02 ,  G05B2219/24042 ,  G21D3/001 ,  Y02E30/40

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

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

公开(公告)号：US20130305031A1

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

申请号：US13980361

申请日：2012-01-31

申请人： Yoshiyuki Nitta ,  Yukitaka Yoshida ,  Hirotaka Sakai ,  Tomonari Ishizaka ,  Susumu Yoshizawa ,  Yoshito Sameda ,  Atsushi Kojima ,  Mamoru Kato ,  Toshifumi Hayashi

发明人： Yoshiyuki Nitta ,  Yukitaka Yoshida ,  Hirotaka Sakai ,  Tomonari Ishizaka ,  Susumu Yoshizawa ,  Yoshito Sameda ,  Atsushi Kojima ,  Mamoru Kato ,  Toshifumi Hayashi

IPC分类号： G06F9/44

CPC分类号： G06F9/441 ,  G05B19/042 ,  G05B2219/23311 ,  G06F11/26

摘要： 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进程代码传送到主存储器，并执行正常进程。 当通过模式切换器选择用于执行测试过程的测试模式时，计算单元将控制测试过程的基本过程代码和测试过程代码从代码存储设备传送到主存储器，加载基本过程代码和 测试过程代码被传送到主存储器，并进行测试过程。

公开(公告)号：US20120323341A1

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

申请号：US13582202

申请日：2011-03-04

申请人： Toshifumi Hayashi ,  Atsushi Kojima ,  Hirotaka Sakai

发明人： Toshifumi Hayashi ,  Atsushi Kojima ,  Hirotaka Sakai

IPC分类号： G05B19/18

CPC分类号： G05B23/0235 ,  G05B9/02 ,  G05B2219/24042 ,  G21D3/001 ,  Y02E30/40

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

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

公开(公告)号：US07512917B2

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

申请号：US11360617

申请日：2006-02-24

申请人： Mikio Izumi ,  Toshifumi Hayashi ,  Shigeru Odanaka ,  Hirotaka Sakai ,  Naotaka Oda ,  Toshifumi Sato ,  Toshiaki Ito

发明人： Mikio Izumi ,  Toshifumi Hayashi ,  Shigeru Odanaka ,  Hirotaka Sakai ,  Naotaka Oda ,  Toshifumi Sato ,  Toshiaki Ito

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.

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

公开(公告)号：US20090055784A1

公开(公告)日：2009-02-26

申请号：US11360617

申请日：2006-02-24

申请人： Mikio Izumi ,  Toshifumi Hayashi ,  Shigeru Odanaka ,  Hirotaka Sakai ,  Naotaka Oda ,  Toshifumi Sato ,  Toshiaki Ito

发明人： Mikio Izumi ,  Toshifumi Hayashi ,  Shigeru Odanaka ,  Hirotaka Sakai ,  Naotaka Oda ,  Toshifumi Sato ,  Toshiaki Ito

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.

公开(公告)号：US20090164955A1

公开(公告)日：2009-06-25

申请号：US12372518

申请日：2009-02-17

申请人： Mikio Izumi ,  Toshifumi Hayashi ,  Shigeru Odanaka ,  Hirotaka Sakai ,  Naotaka Oda ,  Toshifumi Sato ,  Toshiaki Ito

发明人： Mikio Izumi ,  Toshifumi Hayashi ,  Shigeru Odanaka ,  Hirotaka Sakai ,  Naotaka Oda ,  Toshifumi Sato ,  Toshiaki Ito

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.

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

公开(公告)号：US20080070070A1

公开(公告)日：2008-03-20

申请号：US11936911

申请日：2007-11-08

申请人： Hirotaka Sakai ,  Nobuo Shibuya ,  Hiroyuki Hasebe ,  Norihiro Tomimatsu ,  Hiroyasu Sumino ,  Hirohisa Miyamoto ,  Masato Akita

发明人： Hirotaka Sakai ,  Nobuo Shibuya ,  Hiroyuki Hasebe ,  Norihiro Tomimatsu ,  Hiroyasu Sumino ,  Hirohisa Miyamoto ,  Masato Akita

IPC分类号： H01M8/00 ,  H01M2/00

CPC分类号： H01M8/04208 ,  H01M8/04186 ,  H01M8/04298 ,  H01M8/04559 ,  H01M8/04589 ,  H01M8/04753 ,  H01M8/04947 ,  H01M8/1011 ,  Y02E60/523

摘要： A fuel cartridge to be connected to a direct methanol fuel cell power generating device includes a spare fuel tank which stores a liquid fuel and is to be connected to the direct methanol fuel cell power generating device and a harmful substance trap member. The spare fuel tank stores a liquid fuel and is to be connected to the direct methanol fuel cell power generating device. The harmful substance trap member is fixed to the spare fuel tank and is to be connected to the direct methanol fuel cell power generating device. The harmful substance trap member contains a harmful substance trap material which traps gaseous harmful substances exhausted from the direct methanol fuel cell power generating device.

摘要翻译： 要连接到直接甲醇燃料电池发电装置的燃料盒包括存储液体燃料并将连接到直接甲醇燃料电池发电装置和有害物质捕集部件的备用燃料箱。 备用燃料箱储存液体燃料，并连接到直接甲醇燃料电池发电装置。 有害物质捕获部件固定在备用燃料箱上，并连接到直接甲醇燃料电池发电装置。 有害物质捕集部件含有捕集直接甲醇燃料电池发生装置排出的气态有害物质的有害物质捕集材料。

公开(公告)号：US20060269805A1

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

申请号：US11417244

申请日：2006-05-04

申请人： Hirotaka Sakai ,  Hiroyuki Hasebe

发明人： Hirotaka Sakai ,  Hiroyuki Hasebe

IPC分类号： H01M8/04 ,  H01M16/00

CPC分类号： H01M16/006 ,  H01M8/04186 ,  H01M8/04313 ,  H01M8/04559 ,  H01M8/04567 ,  H01M8/04597 ,  H01M8/04753 ,  H01M8/04955 ,  H01M8/1011 ,  Y02E60/523

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

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

公开(公告)号：US20090186257A1

公开(公告)日：2009-07-23

申请号：US12407838

申请日：2009-03-20

申请人： Hirotaka Sakai ,  Nobuo Shibuya ,  Hiroyuki HASEBE ,  Norihiro TOMIMATSU ,  Hiroyasu SUMINO ,  Hirohisa MIYAMOTO ,  Masato AKITA

发明人： Hirotaka Sakai ,  Nobuo Shibuya ,  Hiroyuki HASEBE ,  Norihiro TOMIMATSU ,  Hiroyasu SUMINO ,  Hirohisa MIYAMOTO ,  Masato AKITA

IPC分类号： H01M2/02

CPC分类号： H01M8/04208 ,  H01M8/04186 ,  H01M8/04298 ,  H01M8/04559 ,  H01M8/04589 ,  H01M8/04753 ,  H01M8/04947 ,  H01M8/1011 ,  Y02E60/523

摘要： A fuel cartridge to be connected to a direct methanol fuel cell power generating device includes a spare fuel tank which stores a liquid fuel and is to be connected to the direct methanol fuel cell power generating device and a harmful substance trap member. The spare fuel tank stores a liquid fuel and is to be connected to the direct methanol fuel cell power generating device. The harmful substance trap member is fixed to the spare fuel tank and is to be connected to the direct methanol fuel cell power generating device. The harmful substance trap member contains a harmful substance trap material which traps gaseous harmful substances exhausted from the direct methanol fuel cell power generating device.

摘要翻译： 要连接到直接甲醇燃料电池发电装置的燃料盒包括存储液体燃料并将连接到直接甲醇燃料电池发电装置和有害物质捕集部件的备用燃料箱。 备用燃料箱储存液体燃料，并连接到直接甲醇燃料电池发电装置。 有害物质捕获部件固定在备用燃料箱上，并连接到直接甲醇燃料电池发电装置。 有害物质捕集部件含有捕集直接甲醇燃料电池发生装置排出的气态有害物质的有害物质捕集材料。

公开(公告)号：US20080138702A1

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

申请号：US11836038

申请日：2007-08-08

申请人： Tomoyuki Nakamura ,  Yuji Uchida ,  Takehiko Suwa ,  Hirotaka Sakai ,  Takahiro Endo

发明人： Tomoyuki Nakamura ,  Yuji Uchida ,  Takehiko Suwa ,  Hirotaka Sakai ,  Takahiro Endo

IPC分类号： H01M10/40 ,  H01M2/02

CPC分类号： H01M10/0436 ,  H01M2/0287 ,  H01M10/0431 ,  H01M10/0525 ,  H01M10/0569 ,  H01M10/0585 ,  H01M10/0587 ,  H01M10/4235 ,  H01M2300/0025

摘要： 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以下。