验证安全装置的方法和由相同方法验证的安全装置

    公开(公告)号:CN100454196C

    公开(公告)日:2009-01-21

    申请号:CN200610073974.8

    申请日:2006-02-28

    CPC classification number: G06F17/5027

    Abstract: 提供了一种用于验证安全装置的验证方法,该安全装置包括具有多个功能元件的可编程逻辑器件。该验证方法包括以下步骤:在实际的硬件上穷举地验证多个功能元件;使用预定的硬件描述语言,生成与在实际的装置上验证过的功能元件之一相同的功能元件;将每个生成的功能元件独立地逻辑综合为多个第一网表;使用预定的硬件描述语言生成功能元件之间的连接功能;将生成的连接功能逻辑综合为对应于该连接功能的第二网表;将第一网表和第二网表进行综合以生成第三网表;基于第三网表将逻辑电路写入可编程逻辑器件;以及验证实际的可编程逻辑器件。

    验证安全装置的方法和由相同方法验证的安全装置

    公开(公告)号:CN1900870A

    公开(公告)日:2007-01-24

    申请号:CN200610073974.8

    申请日:2006-02-28

    CPC classification number: G06F17/5027

    Abstract: 提供了一种用于验证安全装置的验证方法,该安全装置包括具有多个功能元件的可编程逻辑器件。该验证方法包括以下步骤:在实际的硬件上穷举地验证多个功能元件;使用预定的硬件描述语言,生成与在实际的装置上验证过的功能元件之一相同的功能元件;将每个生成的功能元件独立地逻辑综合为多个第一网表;使用预定的硬件描述语言生成功能元件之间的连接功能;将生成的连接功能逻辑综合为对应于该连接功能的第二网表;将第一网表和第二网表进行综合以生成第三网表;基于第三网表将逻辑电路写入可编程逻辑器件;以及验证实际的可编程逻辑器件。

    放射线监视器及其动作确认方法

    公开(公告)号:CN101784912A

    公开(公告)日:2010-07-21

    申请号:CN200880104032.9

    申请日:2008-08-22

    CPC classification number: G01T1/247 G01T1/17 G01T7/005

    Abstract: 以能够进行传感器部(2)的常时动作确认的方式在传感器部(2)设置对光和放射线敏感的检测元件(7),从与传感器部(2)连接的监视器模块部(3),对使用了来自发光元件(9)的光脉冲信号的传感器部(2)的传感器动作确认功能进行控制,在产生用于检测元件(7)的动作确认的光脉冲时,将传感器部(2)的输出从监视器模块部(3)的运算中去除,由此使其不受到基于光脉冲的动作确认的影响,并且跨传感器部(2)以及监视器模块部(3)的双方,设置在传感器部(2)的输出为高计数率的情况下停止传感器动作确认功能的构成。

    放射线监视器及其动作确认方法

    公开(公告)号:CN101784912B

    公开(公告)日:2013-01-23

    申请号:CN200880104032.9

    申请日:2008-08-22

    CPC classification number: G01T1/247 G01T1/17 G01T7/005

    Abstract: 以能够进行传感器部(2)的常时动作确认的方式在传感器部(2)设置对光和放射线敏感的检测元件(7),从与传感器部(2)连接的监视器模块部(3),对使用了来自发光元件(9)的光脉冲信号的传感器部(2)的传感器动作确认功能进行控制,在产生用于检测元件(7)的动作确认的光脉冲时,将传感器部(2)的输出从监视器模块部(3)的运算中去除,由此使其不受到基于光脉冲的动作确认的影响,并且跨传感器部(2)以及监视器模块部(3)的双方,设置在传感器部(2)的输出为高计数率的情况下停止传感器动作确认功能的构成。

    放射线监控系统、方法以及程序

    公开(公告)号:CN104977598A

    公开(公告)日:2015-10-14

    申请号:CN201510148025.0

    申请日:2015-03-31

    CPC classification number: G01T1/17 G01T1/185 G01T7/00

    Abstract: 本发明涉及放射线监控系统、方法以及程序。提供一种放射线监控技术,使网络上的控制器也实施位于系统的终端的各个放射线传感器输出的信号的处理,系统的扩展性以及维护性优异。放射线监控系统(10)具备:信号发送部(12),对基于检测到放射线的传感器(S)的输出的数据信号赋予该传感器的识别ID,并朝下位网络发送;运算处理部(14),将基于将识别ID作为密钥、经由下位网络(11)接收的数据信号进行运算而得到的各量,朝上位网络(13)发送;以及显示部(15),对将识别ID作为密钥、经由上位网络(13)接收的各量进行信息显示。

    放射线检测器
    6.
    发明授权

    公开(公告)号:CN101153915B

    公开(公告)日:2015-05-20

    申请号:CN200710142297.5

    申请日:2007-09-14

    Inventor: 酒井宏隆

    CPC classification number: G01T1/40

    Abstract: 一种放射线检测器包括:放射线检测单元,其包括检测放射线并且对光敏感的放射线传感器、信号放大器、脉冲高度鉴别器和计数器;光脉冲发射单元,其配置为发射用于确认放射线检测单元的操作完整性的光脉冲;发射控制单元,其配置为控制光脉冲发射单元的操作;以及光路,经过该光路将光从光脉冲发射单元引导到放射线传感器附近。发射控制单元包括用于调节光脉冲发射单元的发射时间特性的机构。

    放射线检测器
    7.
    发明公开

    公开(公告)号:CN101153915A

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

    申请号:CN200710142297.5

    申请日:2007-09-14

    Inventor: 酒井宏隆

    CPC classification number: G01T1/40

    Abstract: 一种放射线检测器包括:放射线检测单元,其包括检测对光敏感的放射线的放射线传感器、信号放大器、脉冲高度鉴别器和计数器;光脉冲发射单元,其配置为发射用于确认放射线检测单元的操作完整性的光脉冲;发射控制单元,其配置为控制光脉冲发射单元的操作;以及光路,经过该光路将光从光脉冲发射单元引导到放射线传感器附近。发射控制单元包括用于调节光脉冲发射单元的发射时间特性的机构。

Patent Agency Ranking