公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：US07394852B2

公开(公告)日：2008-07-01

申请号：US10937859

申请日：2004-09-10

申请人： Takeshi Chujoh ,  Yoshihiro Kikuchi ,  Akira Sakuma ,  Toshifumi Hayashi ,  Hiroyuki Kobayashi

发明人： Takeshi Chujoh ,  Yoshihiro Kikuchi ,  Akira Sakuma ,  Toshifumi Hayashi ,  Hiroyuki Kobayashi

IPC分类号： H04N7/12

CPC分类号： G06T7/254 ,  G06T2207/10016 ,  G06T2207/20021

摘要： An apparatus for detecting a moving object in motion video comprises a macro-block determining section for determining the background/non-background of each macro-block of a reconstructed video signal from a video decoder section which decodes encoded data obtained by compression-encoding a motion video signal, a moving object determining section for determining an area of the moving object from the result of the determination on the background/non-background, and a moving object combination display for displaying information indicating the area of the moving object on a display screen for the reconstructed video signal. The macro-block determining section determines if a macro-block represents a background area or a non-background area, based on mode information from the video decoder section and a cross correlation value between a present frame of the reconstructed video signal and a signal of a frame preceding the present frame by one frame, obtained by a first cross correlation calculator, and a cross correlation value between the present frame of the reconstructed video signal and a background video signal stored in a background memory, obtained by a second cross correlation calculator.

摘要翻译： 一种用于检测运动视频中的运动物体的装置，包括宏块确定部分，用于从视频解码器部分确定重构的视频信号的每个宏块的背景/非背景，该解码器部分对通过压缩编码获得的编码数据进行解码 运动视频信号，用于从背景/非背景上的确定结果确定运动对象的区域的移动对象确定部分以及用于在显示器上显示指示运动对象的区域的信息的运动对象组合显示 屏幕重建视频信号。 宏块确定部分基于来自视频解码器部分的模式信息以及重构视频信号的当前帧与当前帧之间的互相关值来确定宏块是否表示背景区域或非背景区域 由第一互相关计算器获得的当前帧前一帧，一帧前的帧和重构视频信号的当前帧与存储在后台存储器中的背景视频信号之间的互相关值，由第二互相关计算器 。

公开(公告)号：US20070185700A1

公开(公告)日：2007-08-09

申请号：US10591433

申请日：2005-03-04

申请人： Mikio Izumi ,  Toshifumi Hayashi ,  Teruji Tarumi ,  Shigeru Odanaka ,  Naotaka Oda ,  Toshiaki Ito ,  Toshifumi Sato ,  Hideyuki Kitazono ,  Tatsuyuki Maekawa

发明人： Mikio Izumi ,  Toshifumi Hayashi ,  Teruji Tarumi ,  Shigeru Odanaka ,  Naotaka Oda ,  Toshiaki Ito ,  Toshifumi Sato ,  Hideyuki Kitazono ,  Tatsuyuki Maekawa

IPC分类号： G06F17/50

CPC分类号： G21D3/04 ,  G21C17/00 ,  G21Y2002/50 ,  G21Y2004/30 ,  G21Y2004/40 ,  Y02E30/39

摘要： A safety protection instrumentation system for a nuclear reactor is constructed by using a digital logic, in which the digital logic includes functional units in which output logic patterns corresponding to all input logic patterns are verified in advance and a functional module formed by combining the functional units.

摘要翻译： 通过使用数字逻辑来构造核反应堆的安全保护仪表系统，其中数字逻辑包括其中预先对与所有输入逻辑模式相对应的输出逻辑模式的功能单元和通过组合功能单元形成的功能模块 。

公开(公告)号：US07292633B2

公开(公告)日：2007-11-06

申请号：US10937774

申请日：2004-09-10

申请人： Takeshi Chujoh ,  Yoshihiro Kikuchi ,  Akira Sakuma ,  Toshifumi Hayashi ,  Hiroyuki Kobayashi

发明人： Takeshi Chujoh ,  Yoshihiro Kikuchi ,  Akira Sakuma ,  Toshifumi Hayashi ,  Hiroyuki Kobayashi

IPC分类号： H04N7/12

CPC分类号： G06T7/254 ,  G06T2207/10016 ,  G06T2207/20021

摘要： An apparatus for detecting a moving object in motion video comprises a macro-block determining section for determining the background/non-background of each macro-block of a reconstructed video signal from a video decoder section which decodes encoded data obtained by compression-encoding a motion video signal, a moving object determining section for determining an area of the moving object from the result of the determination on the background/non-background, and a moving object combination display for displaying information indicating the area of the moving object on a display screen for the reconstructed video signal. The macro-block determining section determines if a macro-block represents a background area or a non-background area, based on mode information from the video decoder section and a cross correlation value between a present frame of the reconstructed video signal and a signal of a frame preceding the present frame by one frame, obtained by a first cross correlation calculator, and a cross correlation value between the present frame of the reconstructed video signal and a background video signal stored in a background memory, obtained by a second cross correlation calculator.

摘要翻译： 一种用于检测运动视频中的运动物体的装置，包括宏块确定部分，用于从视频解码器部分确定重构的视频信号的每个宏块的背景/非背景，该解码器部分对通过压缩编码获得的编码数据进行解码 运动视频信号，用于从背景/非背景上的确定结果确定运动对象的区域的移动对象确定部分以及用于在显示器上显示指示运动对象的区域的信息的运动对象组合显示 屏幕重建视频信号。 宏块确定部分基于来自视频解码器部分的模式信息以及重构视频信号的当前帧与当前帧之间的互相关值来确定宏块是否表示背景区域或非背景区域 由第一互相关计算器获得的当前帧前一帧，一帧前的帧和重构视频信号的当前帧与存储在后台存储器中的背景视频信号之间的互相关值，由第二互相关计算器 。

公开(公告)号：US06876701B1

公开(公告)日：2005-04-05

申请号：US09654871

申请日：2000-09-01

申请人： Takeshi Chujoh ,  Yoshihiro Kikuchi ,  Akira Sakuma ,  Toshifumi Hayashi ,  Hiroyuki Kobayashi

发明人： Takeshi Chujoh ,  Yoshihiro Kikuchi ,  Akira Sakuma ,  Toshifumi Hayashi ,  Hiroyuki Kobayashi

IPC分类号： G06T7/20 ,  H04N7/12 ,  H04N11/02 ,  H04N19/00 ,  H04N19/20 ,  H04N19/21 ,  H04N19/423 ,  H04N19/44 ,  H04N19/503 ,  H04N19/51 ,  H04N19/61 ,  H04N19/63 ,  H04N19/91

CPC分类号： G06T7/254 ,  G06T2207/10016 ,  G06T2207/20021

摘要： An apparatus for detecting a moving object in motion video comprises a macro-block determining section for determining the background/non-background of each macro-block of a reconstructed video signal from a video decoder section which decodes encoded data obtained by compression-encoding a motion video signal, a moving object determining section for determining an area of the moving object from the result of the determination on the background/non-background, and a moving object combination display for displaying information indicating the area of the moving object on a display screen for the reconstructed video signal. The macro-block determining section determines if a macro-block represents a background area or a non-background area, based on mode information from the video decoder section and a cross correlation value between a present frame of the reconstructed video signal and a signal of a frame preceding the present frame by one frame, obtained by a first cross correlation calculator, and a cross correlation value between the present frame of the reconstructed video signal and a background video signal stored in a background memory, obtained by a second cross correlation calculator.