会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • Method for verifying redundancy of secure systems
    • 验证安全系统冗余的方法
    • US20070067674A1
    • 2007-03-22
    • US11521827
    • 2006-09-15
    • Didier EssamePhilippe ForinBenoit Fumery
    • Didier EssamePhilippe ForinBenoit Fumery
    • G06F11/00
    • G06F11/1633G06F11/0796G06F11/1654
    • A secure system has two computers that are intrinsically safe and implements a method for verifying the redundancy for the outputs where a very high level of safety is required. The method makes it possible to handle inconsistencies in the outputs of the two computers when they are working in redundant mode. Each computer receives the output states determined by the other computer and compares them to states calculated. A state of divergent operation is detected if the computers have determined two different states for a single output. If a divergence is detected for at least one output, the state of that output is determined by preventing any transition from a restrictive state to a permissive state.
    • 安全系统具有本质安全的两台计算机,并且实现了在需要非常高的安全级别的情况下验证输出的冗余的方法。 该方法可以在冗余模式下处理两台计算机的输出端的不一致。 每个计算机接收由另一台计算机确定的输出状态,并将其与计算的状态进行比较。 如果计算机为单个输出确定了两种不同的状态,则检测到发散状态。 如果对于至少一个输出检测到发散,则通过防止从限制状态到允许状态的任何转变来确定该输出的状态。
    • 4. 发明授权
    • Method and apparatus for measuring a relative movement between two
elements
    • 用于测量两个元件之间的相对运动的方法和装置
    • US5541732A
    • 1996-07-30
    • US394035
    • 1995-02-24
    • Philippe Forin
    • Philippe Forin
    • G01P3/80G01B9/02G01P3/36
    • G01P3/806
    • For measuring an amount of relative movement between two elements, such as a vehicle and a track, which are mutually movable, two successive pulses of coherent light are directed from the vehicle to the track under a same incidence angle. From a same location of the vehicle, two images of the interference patterns due to the short pulses are formed. The two pulses are offset from each other in the direction of movement by a distance d approximately corresponding to the amount of relative movement between the two pulses. The actual amount of movement is computed as being the movement which provides the best coincidence between the two images. The comparison can be made by cross-correlation.
    • 为了测量可相互移动的两个元件(例如车辆和轨道)之间的相对移动量,相干光的两个连续脉冲以相同的入射角从车辆引导到轨道。 从车辆的相同位置,形成由于短脉冲引起的干涉图形的两个图像。 两个脉冲在运动方向上彼此偏移大约对应于两个脉冲之间的相对移动量的距离d。 实际的运动量被计算为提供两个图像之间最佳重合的运动。 可以通过互相关来进行比较。
    • 6. 发明授权
    • Method for verifying redundancy of secure systems
    • 验证安全系统冗余的方法
    • US07721149B2
    • 2010-05-18
    • US11521827
    • 2006-09-15
    • Didier EssamePhilippe ForinBenoit Fumery
    • Didier EssamePhilippe ForinBenoit Fumery
    • G06F11/00
    • G06F11/1633G06F11/0796G06F11/1654
    • A secure system has two computers that are intrinsically safe and implements a method for verifying the redundancy for the outputs where a very high level of safety is required. The method makes it possible to handle inconsistencies in the outputs of the two computers when they are working in redundant mode. Each computer receives the output states determined by the other computer and compares them to states calculated. A state of divergent operation is detected if the computers have determined two different states for a single output. If a divergence is detected for at least one output, the state of that output is determined by preventing any transition from a restrictive state to a permissive state.
    • 安全系统具有本质安全的两台计算机,并且实现了在需要非常高的安全级别的情况下验证输出的冗余的方法。 该方法可以在冗余模式下处理两台计算机的输出中的不一致。 每个计算机接收由另一台计算机确定的输出状态,并将其与计算的状态进行比较。 如果计算机为单个输出确定了两种不同的状态,则检测到发散状态。 如果对于至少一个输出检测到发散,则通过防止从限制状态到允许状态的任何转变来确定该输出的状态。