专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

WO2016079297A1 SEISMIC SENSOR UNIT AND ACCORDING EMERGENCY SHUTDOWN SYSTEM OF A NUCLEAR POWER PLANT 审中-公开
标题翻译：地震传感器单元和核电厂的紧急关闭系统
公开(公告)号：WO2016079297A1
公开(公告)日：2016-05-26
申请号：PCT/EP2015/077218
申请日：2015-11-20
申请人： AREVA NP SAS
发明人： WEBER, Johannes , EINZMANN, Klaus
IPC分类号： G01V1/18
CPC分类号： G01V1/184
摘要： The invention relates to a seismic sensor unit (4) for an emergency shutdown system (2) of a nuclear power plant, comprising - at least one accelerometer (6) for at least one axis, - a trigger module (8) which processes a signal derived from a measured signal of said accelerometer (6) and generates an output signal from which a trip signal is derived. It is an objective of the present invention to provide a reliable, robust, and non- complex seismic sensor unit (4) of such a type. The proposed solution according to the invention is characterized in that said trigger module (8) comprises an analog peak-hold-circuit (18) processing an input signal (X) and generating an output signal (Y) with the following properties: - if the input signal (X) is rising and the level of the output signal (Y) is below the level of the input signal (X), the output signal (Y) increases almost in- stantly with the input signal (X), - if the level of the input signal (X) is below the level of the output signal (Y), the output signal (Y) essentially keeps the current level unless a reset condition is reached.
摘要翻译：本发明涉及一种用于核电站的紧急停机系统（2）的地震传感器单元（4），包括：用于至少一个轴线的至少一个加速度计（6）; - 触发模块（8），其处理来自所述加速度计（6）的测量信号的信号，并且产生一个从中导出跳闸信号的输出信号。本发明的目的是提供一种这种类型的可靠，稳健且非复杂的地震传感器单元（4）。根据本发明的所提出的解决方案的特征在于，所述触发模块（8）包括处理输入信号（X）并产生具有以下特性的输出信号（Y）的模拟峰值保持电路（18）： - 如果输入信号（X）上升，输出信号（Y）的电平低于输入信号（X）的电平，输出信号（Y）的输入信号（X）几乎增加，如果输入信号（X）的电平低于输出信号（Y）的电平，则输出信号（Y）基本上保持当前电平，除非达到复位条件。

2. 发明申请

WO2016026823A1 CIRCUIT ARRANGEMENT FOR A SAFETY I&C SYSTEM 审中-公开
标题翻译：安全I＆C系统的电路安装
公开(公告)号：WO2016026823A1
公开(公告)日：2016-02-25
申请号：PCT/EP2015/068873
申请日：2015-08-17
申请人： AREVA NP SAS
发明人： AUER, Günther , WEBER, Johannes
IPC分类号： H03K19/177 , G21D3/00 , G11C7/00
CPC分类号： H03K19/17768 , G21D3/00 , H03K19/17728 , H03K19/17764 , Y02E30/39
摘要： A circuit arrangement, in particular for a safety I&C system (4) of a nuclear power plant (6), is to keep the proven diagram-centric project-specific engineering approach known from CPU-based systems while reaping the benefits of FPGA technology. To this end, the circuit arrangement according to the invention comprises: • a generic FPGA (18) with a number of logic blocks (20), and • at least one dedicated PLD (22) which operates as an application-specific switch-matrix for said logic blocks (20).
摘要翻译：特别是对于核电厂（6）的安全I＆C系统（4）的电路布置，是为了在获得FPGA技术的优势的同时，保持以CPU为基础的系统已知的以图为中心的项目特定工程方法。为此，根据本发明的电路装置包括：•具有多个逻辑块（20）的通用FPGA（18），以及至少一个专用的PLD（22），其作为应用特定的开关矩阵对于所述逻辑块（20）。

3. 发明申请

WO2016174132A1 METHOD FOR CHECKING EQUIVALENCE OF CODE 审中-公开
标题翻译：检查代码等同性的方法
公开(公告)号：WO2016174132A1
公开(公告)日：2016-11-03
申请号：PCT/EP2016/059479
申请日：2016-04-28
申请人： AREVA NP SAS
发明人： KRECKEL, Richard , KÜNZEL, Andreas
IPC分类号： G06F11/36 , G06F17/50
CPC分类号： G06F11/36 , G05B9/02 , G06F8/427 , G06F8/433 , G06F8/71 , G21D3/04
摘要： A method for checking the functional equivalence of two pieces of software for control systems, in particular control systems based on programmable logic controllers, engineered from function block diagrams (120, 196) with a plurality of interconnected function blocks, the method comprising the following steps: a) generating a first instance of compilable source code from a first plurality of function block diagrams (70, 74, 78) by virtue of a first code generator obeying to a first set of sequentialization rules; b) parsing said first instance of source code and identifying the set of all function block I/O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow; c) using the information from step b) to reconstruct a first data flow graph (86) of said first instance of source code in the upstream direction; d) generating a second instance of compilable source code from a second plurality of function block diagrams (90, 94, 98) by virtue of the same or a second code generator obeying a second set of sequentialization rules; e) parsing said second instance of source code and identifying the set of all function block I/O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow; f) using the information from step e) to reconstruct a second data flow graph (106) of said second instance of source code in the upstream direction; g) comparing said first identified data flow graph (86) and said second identified data flow graph (106) with each other, node by node, and thereby checking if the transitive closure of input up to that node in said second instance of source code is the same as in said first instance of source code.
摘要翻译：一种用于检查用于控制系统的两个软件的功能等同的方法，特别是基于可编程逻辑控制器的控制系统，其由具有多个互连的功能块的功能框图（120,196）设计，所述方法包括以下步骤：a）凭借符合第一组顺序规则的第一代码生成器，从第一多个功能块图（70,74,78）生成可编译源代码的第一实例; b）解析所述源代码的第一实例并且识别所述数据流的所有功能块I / O端口和连接点（节点）以及它们之间的所有连接的集合的集合; c）使用来自步骤b）的信息来重建所述上游方向上的所述第一源代码实例的第一数据流图（86）; d）借助于遵循第二组顺序规则的相同或第二代码生成器，从第二多个功能块图（90,94,98）生成可编译源代码的第二实例; e）解析所述源代码的第二实例并且识别所述数据流的所有功能块I / O端口和连接点（节点）和它们之间的所有连接的集合的集合; f）使用来自步骤e）的信息来重构所述上游方向上所述源代码第二实例的第二数据流图（106）; g）逐节点将所述第一识别数据流图（86）和所述第二识别数据流图（106）进行比较，从而检查所述第二个源代码中直到该节点的输入的传递闭包与源代码的第一个实例相同。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式