专利快速检索-快速检索全球专利，免费商用专利数据库-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. 发明申请

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）通过将基于抽象语法的语言表达的所述控制程序转换为源代码格式和/或目标代码格式的语言来得出控制程序的源代码格式和/或目标代码格式的抽象语法。

3. 发明授权

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.
摘要翻译：用于检查用于指挥铁路工厂，特别是车站工厂的逻辑软件引擎的方法和装置至少包括具有至少一个中央处理单元和至少一个用于加载和执行程序的存储器的计算机，用于命令工厂的逻辑引擎，特别是站装置，在所述存储器中被加载或加载以供执行，该装置包括用于致动和/或检测和/或测量和/或发信号的多个操作单元，所谓的路边设备，这些单元被提供用于接收命令信号和用于发送关于操作条件的控制信号，以及哪个逻辑软件引擎读取由操作单元给出的用于致动和/或检测和/或测量和/或信令的控制信号及其处理所述操作单元的指令信号，基于工厂本身的操作协议。根据本发明，在计算机存储器中，加载或可加载，并且可由计算机执行必须由控制和命令逻辑程序控制和命令的工厂的软件仿真程序，该仿真程序忠实地再现植物结构和所述设备中提供的操作单元的操作模式。

4. 发明申请

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.
摘要翻译：用于检查逻辑软件引擎的方法和装置，用于指挥铁路工厂，特别是站点设备，其至少包括具有至少中央处理单元的计算机和用于加载和执行程序的至少一个存储器：用于命令设备的逻辑引擎，特别是站装置，在所述存储器中被加载或加载以供执行，该装置包括用于致动和/或检测和/或测量和/或发信号的多个操作单元，所谓的路边设备，这些单元被提供用于接收命令信号和用于发送关于操作条件的控制信号，以及哪个逻辑软件引擎读取由操作单元给出的用于致动和/或检测和/或测量和/或信令的控制信号及其处理基于所述操作单元的所述操作单元的命令信号工厂本身的操作协议。根据本发明，在计算机存储器中加载或可加载，并且可由计算机本身执行工厂的软件仿真程序，该程序必须由控制和命令逻辑程序控制和命令，并且该合并程序忠实地再现植物结构和所述设备中提供的操作单元的操作模式。

5. 发明授权

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.
摘要翻译：一种生成用于基于铁路站的重要计算机装置的逻辑控制单元的方法，即在包括至少一个重要计算机的火车站系统控制单元中，该计算机根据与逻辑单元结合操作的控制程序，发送状态切换控制接收码元，并接收来自码元的状态反馈和/或诊断信号。逻辑单元由程序自动生成，基于由工作站图定义的周围条件和状态表，逻辑单元是具有根据布尔逻辑功能操作的组件的电路网络，并且符合车站图和状态表。逻辑控制单元可以是包括由布尔逻辑函数组成的算法的程序，其类似于布尔逻辑电路的网络。检查结构差异的多个步骤。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式