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

1. 发明申请

US20050107890A1 Method and device of generating logic control units for railroad station-based vital computer apparatuses 有权
标题翻译：为基于火车站的重要计算机设备生成逻辑控制单元的方法和装置
公开(公告)号：US20050107890A1
公开(公告)日：2005-05-19
申请号：US10505366
申请日：2003-02-18
申请人： Cydney Minkowitz , Francesco Tramontana
发明人： Cydney Minkowitz , Francesco Tramontana
IPC分类号： B61L21/00 , G05B11/01 , G05B19/42
CPC分类号： B61L27/0061 , B61L21/00
摘要： A method of generating logic control units for railroad station-based vital computer apparatuses, i.e. in railroad station system control units comprising at least one vital computer which, on the basis of a control program operating in combination with a logic unit, sends state switching controls to yard elements and receives state feedback and/or diagnostic signals from the yard elements. The logic unit is generated automatically by a program, based on the surrounding conditions as defined by the station diagram and by a state table, the logic unit being a network of circuits with components operating according to Boolean logic functions and appropriate structure in compliance with the station diagram and with the state table. The logic control unit may be a program which includes algorithms composed of Boolean logic functions, which operate like networks of Boolean logic circuits. A step for checking the correctness of the automatically generated logic unit is provided, which includes a plurality of steps to check for structural differences.
摘要翻译：一种生成用于基于铁路站的重要计算机装置的逻辑控制单元的方法，即在包括至少一个重要计算机的火车站系统控制单元中，该计算机根据与逻辑单元结合操作的控制程序，发送状态切换控制接收码元，并接收来自码元的状态反馈和/或诊断信号。逻辑单元由程序自动生成，基于由工作站图定义的周围条件和状态表，逻辑单元是具有根据布尔逻辑功能操作的组件的电路网络，并且符合车站图和状态表。逻辑控制单元可以是包括由布尔逻辑函数组成的算法的程序，其类似于布尔逻辑电路的网络。提供了用于检查自动生成的逻辑单元的正确性的步骤，其包括检查结构差异的多个步骤。

2. 发明授权

US07522978B2 Method and device of generating logic control units for railroad station-based vital computer apparatuses 有权
标题翻译：为基于火车站的重要计算机设备生成逻辑控制单元的方法和装置
公开(公告)号：US07522978B2
公开(公告)日：2009-04-21
申请号：US10505366
申请日：2003-02-18
申请人： Cydney Minkowitz , Francesco Tramontana
发明人： Cydney Minkowitz , Francesco Tramontana
IPC分类号： G06F9/00
CPC分类号： B61L27/0061 , B61L21/00
摘要： A method of generating logic control units for railroad station-based vital computer apparatuses, i.e. in railroad station system control units comprising at least one vital computer which, on the basis of a control program operating in combination with a logic unit, sends state switching controls to yard elements and receives state feedback and/or diagnostic signals from the yard elements. The logic unit is generated automatically by a program, based on the surrounding conditions as defined by the station diagram and by a state table, the logic unit being a network of circuits with components operating according to Boolean logic functions and appropriate structure in compliance with the station diagram and with the state table. The logic control unit may be a program which includes algorithms composed of Boolean logic functions, which operate like networks of Boolean logic circuits. A plurality of steps to check for structural differences.
摘要翻译：一种生成用于基于铁路站的重要计算机装置的逻辑控制单元的方法，即在包括至少一个重要计算机的火车站系统控制单元中，该计算机根据与逻辑单元结合操作的控制程序，发送状态切换控制接收码元，并接收来自码元的状态反馈和/或诊断信号。逻辑单元由程序自动生成，基于由工作站图定义的周围条件和状态表，逻辑单元是具有根据布尔逻辑功能操作的组件的电路网络，并且符合车站图和状态表。逻辑控制单元可以是包括由布尔逻辑函数组成的算法的程序，其类似于布尔逻辑电路的网络。检查结构差异的多个步骤。

3. 发明授权

US07484695B2 Switch machine for railway and tramway switches or the like 有权
标题翻译：铁路和电车开关等的开关机
公开(公告)号：US07484695B2
公开(公告)日：2009-02-03
申请号：US10545544
申请日：2004-02-02
申请人： Silvano Cavalli
发明人： Silvano Cavalli
IPC分类号： E01B7/00 , B61L5/00
CPC分类号： B61L5/10 , B61L5/065
摘要： A switch machine for railway and tramway switches or the like, having an enclosure for its operating units of the same size as a tie and adapted to be used like a tie, characterized in that the switch machine has a modular construction.
摘要翻译：一种用于铁路和电车轨道交换机等的开关机，具有用于其操作单元的外壳，其尺寸与领带相同，并且适于被用作领带，其特征在于，所述开关机具有模块化结构。

4. 发明申请

US20080189689A1 Method for Preparing and Checking Application Data 审中-公开
标题翻译：准备和检查申请资料的方法
公开(公告)号：US20080189689A1
公开(公告)日：2008-08-07
申请号：US11910527
申请日：2006-04-05
申请人： Francesco Tramontana , Cydney Minkowitz
发明人： Francesco Tramontana , Cydney Minkowitz
IPC分类号： G06F9/45
CPC分类号： B61L21/04 , B61L27/0055 , G06F9/44589
摘要： Method for preparing and checking software means to be executed by programmable control devices or plants for carrying out processes, in which: a) a programming language for expressing the software means is provided, which language is based on an abstract syntax, particularly an object oriented syntax; b) the said programming language being generated from both the source code language and the object code language; c) expressing the control program in the said programming language; d) deriving the source code format and/or the object code format of the control program by translation of the said control program expressed in the language based on the abstract syntax into the language of the source code format and/or of the object code format of the abstract syntax.
摘要翻译：用于准备和检查软件的方法意味着由用于执行处理的可编程控制装置或工厂执行，其中：a）提供用于表达软件装置的编程语言，哪种语言基于抽象语法，特别是面向对象句法; b）所述编程语言是从源代码语言和目标代码语言生成的; c）以所述编程语言表达所述控制程序; d）通过将基于抽象语法的语言表达的所述控制程序转换为源代码格式和/或目标代码格式的语言来得出控制程序的源代码格式和/或目标代码格式的抽象语法。

5. 发明授权

US07328369B2 Inherently fail safe processing or control apparatus 有权
标题翻译：固有的故障安全处理或控制装置
公开(公告)号：US07328369B2
公开(公告)日：2008-02-05
申请号：US10513353
申请日：2003-04-29
申请人： Vittorio Manoni
发明人： Vittorio Manoni
IPC分类号： G06F11/00
CPC分类号： G06F11/2038 , B61L17/00 , G06F11/0739 , G06F11/0748 , G06F11/0796 , G06F11/1637 , G06F11/2007 , G06F11/2017 , G06F11/2294 , G06F2201/835
摘要： A processing/control apparatus has a first processing unit with a first data processor/controller; an input port for input data received from a remote unit; an output port for output data to be transmitted to a remote unit. The first unit comprising device for generating an unique code for functional control of the processing/receiving/transmitting steps being performed and a port for transmission of generated checkwords. A functional checker/protection unit comprises a second processing unit, a program for checking functional steps of the first unit and a program for checking the correctness of functional control codes and time sequence thereof. The functional unit communicates with the first unit and generates signals for enabling it when checkwords are correct and for disabling the first unit and/or for forcing transmission of predetermined output data for fail-safe remote unit control, or generates predetermined output data for fail-safe remote unit control and/or enables/disables vital functions of the remote unit and/or of the first unit.
摘要翻译：处理/控制装置具有带有第一数据处理器/控制器的第一处理单元; 用于从远程单元接收的用于输入数据的输入端口; 用于输出数据的输出端口被发送到远程单元。第一单元包括用于生成用于正在执行的处理/接收/发送步骤的功能控制的唯一代码的设备和用于传输生成的检查词的端口。功能检查器/保护单元包括第二处理单元，用于检查第一单元的功能步骤的程序和用于检查功能控制代码的正确性的程序及其时间顺序。功能单元与第一单元通信，并且当检查词正确并且用于禁用第一单元和/或强制传输用于故障安全远程单元控制的预定输出数据时产生信号，或者产生用于故障安全远程单元控制的预定输出数据，安全远程单元控制和/或启用/禁用远程单元和/或第一单元的重要功能。

6. 发明授权

US11267495B2 Switch lock device for railway switching actuators 有权
公开(公告)号：US11267495B2
公开(公告)日：2022-03-08
申请号：US16400410
申请日：2019-05-01
申请人： ALSTOM Ferroviaria S.p.A.
发明人： Stefano Bittoni , Andrea Borromei-Colozzi
IPC分类号： B61L5/10 , E01B7/20
摘要： Disclosed is switch lock device of a railway switching actuator connected to a switching slide and a tie bar/locking slide of the actuator, the switching slide and a tie bar/locking slide being slidable one over the other to lock a blade of a railway switch in a closed position, the switch lock including an oscillating catch unit oscillating between two positions, engaging either a stationary step of a casing of the actuator or a head surface of the switching slide. The oscillating catch unit links to the end of the tie bar by a spring actuated mechanism blocking oscillation of the oscillating catch unit in an unlocked position corresponding to the engagement of the switching slide. During switching, the tie bar compresses the spring actuated mechanism, and the oscillating catch unit is free to oscillate towards a locking position, engaging the step of the casing of the actuator.

7. 发明授权

US08387925B2 Track circuit 有权
标题翻译：轨道电路
公开(公告)号：US08387925B2
公开(公告)日：2013-03-05
申请号：US12968681
申请日：2010-12-15
申请人： Pier Alessandro Aisa , Andrea Giovannucci
发明人： Pier Alessandro Aisa , Andrea Giovannucci
IPC分类号： B61L25/02
CPC分类号： B61L1/187 , B61L1/188 , B61L3/243 , B61L3/246
摘要： A track circuit for railway systems or the like includes a track segment of predetermined length electrically insulated from an adjacent track segment by an electric joint, which includes a conductor and forms two loops arranged in a longitudinal S-shape within the space between the rails. Units are provided that transmit and receive electric signals and that are operatively coupled with the electric joints. The transmitting/receiving units include a unit transmitting and receiving a high-frequency signal to detect a train on the a track segment, and a unit transmitting and receiving a low-frequency signal which provides the carrier encoded with information to be transmitted to a train-based receiving unit. Units are further provided that enable/disable the high-frequency signal transmitting/receiving units, and units that enable/disable the low-frequency signal transmitting/receiving units, which are alternately actuated. The electric joint includes an internal impedance disposed between the two loops.
摘要翻译：用于铁路系统等的轨道电路包括通过电接头与相邻轨道段电绝缘的预定长度的轨道段，其包括导体并形成在轨道之间的空间内以纵向S形布置的两个环。提供了发送和接收电信号并且与电接头可操作耦合的单元。发送/接收单元包括发送和接收高频信号以检测轨道段上的列车的单元，以及发送和接收低频信号的单元，所述低频信号向编码的信息编码将被发送到列车的接收单元。进一步提供启用/禁用高频信号发送/接收单元的单元，以及启用/禁用交替致动的低频信号发送/接收单元的单元。电接头包括设置在两个环之间的内部阻抗。

8. 发明授权

US07725303B2 Device and method for checking railway logical software engines for commanding plants, particularly station plants 有权
标题翻译：用于检查铁路逻辑软件引擎的装置和方法，用于指挥工厂，特别是站点设备
公开(公告)号：US07725303B2
公开(公告)日：2010-05-25
申请号：US10531960
申请日：2003-10-16
申请人： Francesco Tramontana
发明人： Francesco Tramontana
IPC分类号： G06F17/50 , G06G7/62
CPC分类号： B61L27/0055
摘要： Method and device for checking logical software engines for commanding railway plants, particularly station plants, include at least a computer with at least a central processing unit and at least a memory for loading and executing programs, a logical engine for commanding a plant, particularly a station plant, being loaded or loadable in said memory for its execution, which plant comprises a plurality of operating units for actuating and/or detection and/or measurement and/or signalling, so-called wayside equipments, which units are provided for receiving command signals and for transmitting control signals about the operating condition, and which logical software engine reads control signals given by the operating units for actuating and/or detection and/or measurement and/or signalling and its processes command signals of said operating units based on an operation protocol of the plant itself. According to the invention, in the computer memory there is loaded or loadable and is executable by the computer a software simulation program of the plant that must be controlled and commanded by the control and command logical program, which simulation program reproduces faithfully the plant structure and the operating modes of the operating units provided in said plant.
摘要翻译：用于检查用于指挥铁路工厂，特别是车站工厂的逻辑软件引擎的方法和装置至少包括具有至少一个中央处理单元和至少一个用于加载和执行程序的存储器的计算机，用于命令工厂的逻辑引擎，特别是站装置，在所述存储器中被加载或加载以供执行，该装置包括用于致动和/或检测和/或测量和/或发信号的多个操作单元，所谓的路边设备，这些单元被提供用于接收命令信号和用于发送关于操作条件的控制信号，以及哪个逻辑软件引擎读取由操作单元给出的用于致动和/或检测和/或测量和/或信令的控制信号及其处理所述操作单元的指令信号，基于工厂本身的操作协议。根据本发明，在计算机存储器中，加载或可加载，并且可由计算机执行必须由控制和命令逻辑程序控制和命令的工厂的软件仿真程序，该仿真程序忠实地再现植物结构和所述设备中提供的操作单元的操作模式。

9. 发明申请

US20060161416A1 Device and method for checking railway logical software engines for commanding plants, particularyl station plants 有权
标题翻译：用于检查铁路逻辑软件引擎的装置和方法，用于指挥工厂，特殊工位站
公开(公告)号：US20060161416A1
公开(公告)日：2006-07-20
申请号：US10531960
申请日：2003-10-16
申请人： Francesco Tramontana
发明人： Francesco Tramontana
IPC分类号： G06F9/45
CPC分类号： B61L27/0055
摘要： Method and device for checking logical software engines for commanding railway plants, particularly station plants, comprising at least a computer with at least a central processing unit and at least a memory for loading and executing programs: a logical engine for commanding a plant, particularly a station plant, being loaded or loadable in said memory for its execution, which plant comprises a plurality of operating units for actuating and/or detection and/or measurement and/or signalling, so-called wayside equipments, which units are provided for receiving command signals and for transmitting control signals about the operating condition, and which logical software engine reads control signals given by the operating units for actuating and/or detection and/or measurement and/or signalling and its processes command signals of said operating units basing on an operation protocol of the plant itself. According to the invention, in the computer memory is loaded or loadable and is executable by the computer itself a software simulation program of the plant that must be controlled and commanded by the control and command logical program and which simultation program reproduces faithfully the plant structure and the operating modes of the operating units provided in said plant.
摘要翻译：用于检查逻辑软件引擎的方法和装置，用于指挥铁路工厂，特别是站点设备，其至少包括具有至少中央处理单元的计算机和用于加载和执行程序的至少一个存储器：用于命令设备的逻辑引擎，特别是站装置，在所述存储器中被加载或加载以供执行，该装置包括用于致动和/或检测和/或测量和/或发信号的多个操作单元，所谓的路边设备，这些单元被提供用于接收命令信号和用于发送关于操作条件的控制信号，以及哪个逻辑软件引擎读取由操作单元给出的用于致动和/或检测和/或测量和/或信令的控制信号及其处理基于所述操作单元的所述操作单元的命令信号工厂本身的操作协议。根据本发明，在计算机存储器中加载或可加载，并且可由计算机本身执行工厂的软件仿真程序，该程序必须由控制和命令逻辑程序控制和命令，并且该合并程序忠实地再现植物结构和所述设备中提供的操作单元的操作模式。

10. 发明申请

US20050149795A1 Inherently fail safe processing or control apparatus 有权
标题翻译：固有的故障安全处理或控制装置
公开(公告)号：US20050149795A1
公开(公告)日：2005-07-07
申请号：US10513353
申请日：2003-04-29
申请人： Vittorio Manoni
发明人： Vittorio Manoni
IPC分类号： B61L17/00 , G01R31/28 , G06F11/00 , G06F11/16 , G06F11/273
CPC分类号： G06F11/2038 , B61L17/00 , G06F11/0739 , G06F11/0748 , G06F11/0796 , G06F11/1637 , G06F11/2007 , G06F11/2017 , G06F11/2294 , G06F2201/835
摘要： A processing/control apparatus has a first processing unit with a first data processor/controller; an input port for input data received from a remote unit; an output port for output data to be transmitted to a remote unit. The first unit comprising device for generating an unique code for functional control of the processing/receiving/transmitting steps being performed and a port for transmission of generated checkwords. A functional checker/protection unit comprises a second processing unit, a program for checking functional steps of the first unit and a program for checking the correctness of functional control codes and time sequence thereof. The functional unit communicates with the first unit and generates signals for enabling it when checkwords are correct and for disabling the first unit and/or for forcing transmission of predetermined output data for fail-safe remote unit control, or generates predetermined output data for fail-safe remote unit control and/or enables/disables vital functions of the remote unit and/or of the first unit.
摘要翻译：处理/控制装置具有带有第一数据处理器/控制器的第一处理单元; 用于从远程单元接收的用于输入数据的输入端口; 用于输出数据的输出端口被发送到远程单元。第一单元包括用于生成用于正在执行的处理/接收/发送步骤的功能控制的唯一代码的设备和用于传输生成的检查词的端口。功能检查器/保护单元包括第二处理单元，用于检查第一单元的功能步骤的程序和用于检查功能控制代码的正确性的程序及其时间顺序。功能单元与第一单元通信，并且当检查词正确并且用于禁用第一单元和/或强制传输用于故障安全远程单元控制的预定输出数据时产生信号，或者产生用于故障安全远程单元控制的预定输出数据，安全远程单元控制和/或启用/禁用远程单元和/或第一单元的重要功能。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式