公开(公告)号：CN1950911B

公开(公告)日：2010-12-22

申请号：CN200580014317.X

申请日：2005-03-04

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  垂水辉次 ,  小田中滋 ,  小田直敬 ,  伊藤敏明 ,  佐藤俊文 ,  北园秀亨 ,  前川立行

IPC: G21C17/00 ,  G01R31/28 ,  G21C17/108

CPC classification number: G21D3/04 ,  G21C17/00 ,  Y02E30/39

Abstract: 在用数字逻辑构筑的核反应堆的安全保护仪表系统中，通过预先验证相对输入的全部逻辑模式的输出逻辑模式的功能单元、及组合上述功能单元而构成的功能模块，来构成数字逻辑部分。

公开(公告)号：CN100454196C

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

申请号：CN200610073974.8

申请日：2006-02-28

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  小田中滋 ,  酒井宏隆 ,  小田直敬 ,  佐藤俊文 ,  伊藤敏明

IPC: G05B23/00

CPC classification number: G06F17/5027

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

公开(公告)号：CN101681687A

公开(公告)日：2010-03-24

申请号：CN200880019715.4

申请日：2008-04-11

Applicant: 株式会社东芝

Inventor： 熊埜御堂宏德 ,  小田直敬 ,  常盘丰 ,  植田精

IPC: G21C17/06

CPC classification number: G21C17/063 ,  G21Y2002/201 ,  G21Y2002/204 ,  G21Y2004/30 ,  G21Y2004/40

Abstract: 在上述燃料集合体(1)的轴向上以规定间隔设置用于检测放射线的上检测器(2)和下检测器(3)，该上检测器(2)和下检测器(3)与在原子反应堆中照射了中子的燃料集合体(1)的至少一个侧面(A)对置，一边使燃料集合体与上检测器和下检测器沿着该燃料集合体的轴向相对移动，一边利用上检测器和下检测器测定放射线信号的分布，通过将由这些上检测器和下检测器多重地测定了燃料集合体的轴向的同一部分的放射线信号分布进行比较，在每次测定中判定上检测器和下检测器测定出的放射线信号的健全性，之后，使用测定出的放射线信号计算出相对燃烧度从而测定燃烧度相对分布。根据本发明，能够确保测定结果的可靠性地测定燃料集合体的燃烧度相对分布。

公开(公告)号：CN1950911A

公开(公告)日：2007-04-18

申请号：CN200580014317.X

申请日：2005-03-04

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  垂水辉次 ,  小田中滋 ,  小田直敬 ,  伊藤敏明 ,  佐藤俊文 ,  北园秀亨 ,  前川立行

IPC: G21C17/00 ,  G01R31/28 ,  G21C17/108

CPC classification number: G21D3/04 ,  G21C17/00 ,  Y02E30/39

Abstract: 在用数字逻辑构筑的核反应堆的安全保护仪表系统中，通过预先验证相对输入的全部逻辑模式的输出逻辑模式的功能单元、及组合上述功能单元而构成的功能模块，来构成数字逻辑部分。

公开(公告)号：CN101681687B

公开(公告)日：2012-07-25

申请号：CN200880019715.4

申请日：2008-04-11

Applicant: 株式会社东芝

Inventor： 熊埜御堂宏德 ,  小田直敬 ,  常盘丰 ,  植田精

IPC: G21C17/06

CPC classification number: G21C17/063 ,  G21Y2002/201 ,  G21Y2002/204 ,  G21Y2004/30 ,  G21Y2004/40

Abstract: 在上述燃料集合体(1)的轴向上以规定间隔设置用于检测放射线的上检测器(2)和下检测器(3)，该上检测器(2)和下检测器(3)与在原子反应堆中照射了中子的燃料集合体(1)的至少一个侧面(A)对置，一边使燃料集合体与上检测器和下检测器沿着该燃料集合体的轴向相对移动，一边利用上检测器和下检测器测定放射线信号的分布，通过将由这些上检测器和下检测器多重地测定了燃料集合体的轴向的同一部分的放射线信号分布进行比较，在每次测定中判定上检测器和下检测器测定出的放射线信号的健全性，之后，使用测定出的放射线信号计算出相对燃烧度从而测定燃烧度相对分布。根据本发明，能够确保测定结果的可靠性地测定燃料集合体的燃烧度相对分布。

公开(公告)号：CN1900870A

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

申请号：CN200610073974.8

申请日：2006-02-28

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  小田中滋 ,  酒井宏隆 ,  小田直敬 ,  佐藤俊文 ,  伊藤敏明

IPC: G05B23/00

CPC classification number: G06F17/5027

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