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

1. 发明申请

US20160103431A1 SYSTEM AND METHOD FOR POINT BY POINT HOT CUTOVER OF CONTROLLERS AND IOS 审中-公开
标题翻译：控制器点火点切换系统及方法
公开(公告)号：US20160103431A1
公开(公告)日：2016-04-14
申请号：US14514129
申请日：2014-10-14
申请人： Honeywell International, Inc.
发明人： Ramakrishnan Ganapathi , Ananthapadmanabha Krishnamurthy , Mandar Gajanan Bagade , Rajani Keerthiveetil
IPC分类号： G05B11/01 , G05B15/02
CPC分类号： G05B11/011 , G05B15/02 , G05B19/0426 , G05B2219/13019 , G05B2219/25204
摘要： A method includes translating at least one control strategy associated with a first controller into an equivalent translated control strategy compatible with a second controller, where the first and second controllers represent controllers in an industrial process control and automation system. The method also includes selecting one or more spare locations on the second controller to configure one or more corresponding points. The method further includes loading the at least one translated control strategy into a control environment associated with the second controller. In addition, the method includes moving a slot configuration of each of the one or more points from the first controller to the second controller.
摘要翻译：一种方法包括将与第一控制器相关联的至少一个控制策略转换为与第二控制器兼容的等效翻译控制策略，其中第一和第二控制器表示工业过程控制和自动化系统中的控制器。该方法还包括在第二控制器上选择一个或多个备用位置以配置一个或多个对应点。该方法还包括将至少一个转换的控制策略加载到与第二控制器相关联的控制环境中。此外，该方法包括将一个或多个点中的每一个的槽配置从第一控制器移动到第二控制器。

2. 发明申请

US20190008845A1 PROGRAM RANDOMIZATION FOR CYBER-ATTACK RESILIENT CONTROL IN PROGRAMMABLE LOGIC CONTROLLERS 审中-公开
公开(公告)号：US20190008845A1
公开(公告)日：2019-01-10
申请号：US16067058
申请日：2016-12-13
申请人： Sharon ANAVI-GOFFER
发明人： Arquimedes Martinez Canedo
IPC分类号： A61K31/4535 , A61K31/085 , A61K31/225 , A61K31/352 , A61K31/16 , A61K31/047 , A61K31/09 , A61K47/14 , A61K47/44 , A61K47/10 , A61K47/26 , A61K47/24 , A61K47/22 , A61K9/00 , C12Q1/6876 , A61K31/4709 , A61K31/138 , A61K31/454
CPC分类号： A61K31/4535 , A61K9/0019 , A61K9/0085 , A61K31/047 , A61K31/085 , A61K31/09 , A61K31/138 , A61K31/16 , A61K31/225 , A61K31/352 , A61K31/454 , A61K31/4709 , A61K47/10 , A61K47/14 , A61K47/22 , A61K47/24 , A61K47/26 , A61K47/44 , C12Q1/6876 , C12Q2600/106 , G05B19/056 , G05B2219/13019 , G05B2219/13022 , G06F21/14 , G06F21/76
摘要： The present invention provides a method of treatment of a neuropsychiatric disorder characterized by repetitive phenotype, comprising administering to a human or non-human subject in need thereof a therapeutically effective dose of a pharmaceutical composition comprising at least one active agent selected from a group of active agents comprising CB2 receptor inverse agonists and mixed CB2/SERM ligands. The present invention further provides pharmaceutical compositions comprising 4′-0-methylhonokiol, raloxifene, and their derivatives, HU-308 and/or BCP.

3. 发明授权

US07343593B2 Method and device for porting software programs to a target platform by way of an electronic data processing system 失效
标题翻译：通过电子数据处理系统将软件程序移植到目标平台的方法和装置
公开(公告)号：US07343593B2
公开(公告)日：2008-03-11
申请号：US10452228
申请日：2003-06-03
申请人： Hans-Dieter Humpert , Dieter Kleyer
发明人： Hans-Dieter Humpert , Dieter Kleyer
IPC分类号： G06F9/44
CPC分类号： G06F8/51 , G05B19/056 , G05B2219/13019 , G05B2219/13022 , G05B2219/13028
摘要： A first functional plan is created from a platform-independent, technological functional plan and a second functional plan, which is adapted to specific requirements of the target platform, is generated from the latter in a subsequent step. Finally, a software program for the target platform is generated essentially automatically, by way of the second functional plan. A corresponding device includes a read-in unit for reading in the first functional plan, and a memory device with a rule base for transferring at least one platform-independent port and/or parameter and/or functional module of the first functional plan into at least one further port and/or further parameter and/or further functional module of the second functional plan. The second functional plan is generated by a processing unit, by way of the rule base and the first functional plan.
摘要翻译：第一个功能计划是从独立于平台的技术功能计划和第二个功能计划创建的，该计划适用于目标平台的特定要求，在后续步骤中由后者生成。最后，通过第二个功能计划，基本上自动生成目标平台的软件程序。相应的设备包括用于读取第一功能计划的读入单元和具有用于将第一功能计划的至少一个独立于平台的端口和/或参数和/或功能模块的至少一个传输到第一功能计划的规则库的存储设备第二功能计划的至少一个另外的端口和/或其他参数和/或另外的功能模块。第二功能计划由处理单元通过规则库和第一功能计划生成。

4. 发明授权

US09983573B2 Programmable controller 有权
公开(公告)号：US09983573B2
公开(公告)日：2018-05-29
申请号：US13812574
申请日：2010-10-15
申请人： Yasuhiko Chiba
发明人： Yasuhiko Chiba
IPC分类号： G05B19/418 , G05B19/05
CPC分类号： G05B19/41845 , G05B19/05 , G05B2219/13019
摘要： To decode a file name set to a PLC to the same name even if a plurality of external devices using different character-code sets are connected to the PLC, the PLC includes a system unit that actuates the control file using a multilingual character-code set A, a character-code conversion table that associates character codes relating to a plurality of character-code sets with one another for every character, and a character-code management unit that converts description of the name of the control file between the description relating to the multilingual character-code set A and that relating to the local character-code set A using the character-code conversion table when the name of the access-target control file is transferred between the external device using the local character-code set A and the system unit.

5. 发明授权

US4730258A Method of and apparatus for controlling automated devices 失效
标题翻译：用于控制自动化设备的方法和设备
公开(公告)号：US4730258A
公开(公告)日：1988-03-08
申请号：US793229
申请日：1985-10-31
申请人： Kenji Takeda , Shunji Mohri , Kichie Matsuzaki , Seiji Hata , Kenji Suzuki
发明人： Kenji Takeda , Shunji Mohri , Kichie Matsuzaki , Seiji Hata , Kenji Suzuki
IPC分类号： G05B15/02 , B25J9/16 , G05B19/4093 , G05B19/418 , G06F1/00 , G06F15/46
CPC分类号： G05B19/41845 , G05B19/40936 , G05B19/4185 , G05B2219/13019 , G05B2219/13022 , G05B2219/36016 , Y02P90/16 , Y02P90/18 , Y02P90/265
摘要： A system for carrying out a cooperative control operation for a plurality of automated devices connected together in which the individual operations of the automated device can be controlled individually in accordance with a program. In the control method in this system, the controlling of various automated devices is practiced by inputting a program described in a language which has a unified system, and translating this program in accordance with the combination of the automated devices.
摘要翻译：一种用于对连接在一起的多个自动化装置进行协同控制操作的系统，其中可以根据程序单独地控制自动装置的各个操作。在该系统的控制方法中，通过输入以具有统一系统的语言描述的程序，并根据自动化装置的组合来翻译该程序来实现各种自动化装置的控制。

6. 发明申请

US20130131842A1 PROGRAMMABLE CONTROLLER 有权
标题翻译：可编程控制器
公开(公告)号：US20130131842A1
公开(公告)日：2013-05-23
申请号：US13812574
申请日：2010-10-15
申请人： Yasuhiko Chiba
发明人： Yasuhiko Chiba
IPC分类号： G05B19/418
CPC分类号： G05B19/41845 , G05B19/05 , G05B2219/13019
摘要： To decode a file name set to a PLC to the same name even if a plurality of external devices using different character-code sets are connected to the PLC, the PLC includes a system unit that actuates the control file using a multilingual character-code set A, a character-code conversion table that associates character codes relating to a plurality of character-code sets with one another for every character, and a character-code management unit that converts description of the name of the control file between the description relating to the multilingual character-code set A and that relating to the local character-code set A using the character-code conversion table when the name of the access-target control file is transferred between the external device using the local character-code set A and the system unit.
摘要翻译：即使将多个使用不同字符代码集的外部设备连接到PLC，将设置为PLC的文件名解码为同一名称，PLC包括使用多语言字符代码集来启动控制文件的系统单元 A是将与多个字符代码组相关联的字符代码与每个字符相互关联的字符代码转换表，以及字符代码管理单元，其将关于控制文件的描述的描述转换为当使用本地字符代码集合A在外部设备之间传送访问目标控制文件的名称时，使用字符代码转换表与本地字符代码集合A相关的多语言字符代码集合A和系统单元。

7. 发明申请

US20040111712A1 Method and device for porting software programs to a target platform by way of an electronic data processing system 失效
标题翻译：通过电子数据处理系统将软件程序移植到目标平台的方法和装置
公开(公告)号：US20040111712A1
公开(公告)日：2004-06-10
申请号：US10452228
申请日：2003-06-03
发明人： Hans-Dieter Humpert , Dieter Kleyer
IPC分类号： G06F009/44
CPC分类号： G06F8/51 , G05B19/056 , G05B2219/13019 , G05B2219/13022 , G05B2219/13028
摘要： A first functional plan is created from a platform-independent, technological functional plan and a second functional plan, which is adapted to specific requirements of the target platform, is generated from the latter in a subsequent step. Finally, a software program for the target platform is generated essentially automatically, by way of the second functional plan. A corresponding device includes a read-in unit for reading in the first functional plan, and a memory device with a rule base for transferring at least one platform-independent port and/or parameter and/or functional module of the first functional plan into at least one further port and/or further parameter and/or further functional module of the second functional plan. The second functional plan is generated by a processing unit, by way of the rule base and the first functional plan.
摘要翻译：第一个功能计划是从独立于平台的技术功能计划和第二个功能计划创建的，该计划适用于目标平台的特定要求，在后续步骤中由后者生成。最后，通过第二个功能计划，基本上自动生成目标平台的软件程序。相应的设备包括用于读取第一功能计划的读入单元和具有用于将第一功能计划的至少一个独立于平台的端口和/或参数和/或功能模块的至少一个传输到第一功能计划的规则库的存储设备第二功能计划的至少一个另外的端口和/或其他参数和/或另外的功能模块。第二功能计划由处理单元通过规则库和第一功能计划生成。

8. 发明授权

US5142469A Method for converting a programmable logic controller hardware configuration and corresponding control program for use on a first programmable logic controller to use on a second programmable logic controller 失效
标题翻译：用于转换可编程逻辑控制器硬件配置和相关控制程序的方法，用于第一个可编程逻辑控制器用于第二个可编程逻辑控制器
公开(公告)号：US5142469A
公开(公告)日：1992-08-25
申请号：US501612
申请日：1990-03-29
申请人： Gerald M. Weisenborn
发明人： Gerald M. Weisenborn
IPC分类号： G05B19/05 , G06F9/06 , G06F9/45
CPC分类号： G05B19/056 , G05B2219/13019 , Y10S706/919
摘要： A method is provided for converting a hardware configuration and corresponding control logic program for use on a first programmable logic controller (PLC) to an equivalent hardware configuration and control logic program for use on a second PLC. A graphic representation of hardware modules which are usable with the first PLC are displayed for the user's consideration. The user selects those modules which are actually employed in a particular hardware configuration for the first PLC and a first hardware configuration file is created therefrom. A determination is then made of those second PLC hardware modules which are equivalent to the first PLC hardware modules contained in the first hardware configuration file. This determination is made by referencing a first data base which includes information as to which hardware modules for use on the second PLC are equivalent to corresponding hardware modules for use on the first PLC. A mapping of I/O points from the first PLC to I/O points of the second PLC is then generated. These determining and generating a mapping steps define the second hardware configuration of the second PLC. The method further includes generating a second control program for use with the second PLC from the statements of the first PLC and the mapping of I/O points. This is accomplished by checking each statement of the first control program with a second data base to determine an equivalent statement for the second control program.
摘要翻译：提供了一种用于将用于第一可编程逻辑控制器（PLC）的硬件配置和相应的控制逻辑程序转换为在第二PLC上使用的等效硬件配置和控制逻辑程序的方法。显示可用于第一个PLC的硬件模块的图形表示供用户考虑。用户选择在第一PLC的特定硬件配置中实际使用的那些模块，并从其中创建第一硬件配置文件。然后，确定与第一硬件配置文件中包含的第一PLC硬件模块相当的那些第二PLC硬件模块。通过参考包括关于在第二PLC上使用的哪个硬件模块等同于在第一PLC上使用的相应硬件模块的信息的第一数据库来进行该确定。然后生成从第一个PLC到第二个PLC的I / O点的I / O点的映射。这些确定和产生映射步骤定义了第二个PLC的第二个硬件配置。该方法还包括从第一PLC的语句和I / O点的映射生成与第二PLC一起使用的第二控制程序。这通过用第二数据库检查第一控制程序的每个语句来确定第二控制程序的等效语句来实现。

9. 发明授权

US11906943B2 Method for automatic translation of ladder logic to a SMT-based model checker in a network 有权
公开(公告)号：US11906943B2
公开(公告)日：2024-02-20
申请号：US17400947
申请日：2021-08-12
申请人： Nozomi Networks Sagl
发明人： Roberto Bruttomesso , Alessandro Di Pinto , Moreno Carullo , Andrea Carcano
IPC分类号： G05B19/05
CPC分类号： G05B19/054 , G05B19/056 , G05B2219/1164 , G05B2219/13018 , G05B2219/13019 , G05B2219/15023
摘要： The present invention relates to a method for automatic translation of ladder logic to a SMT-based model checker in a network comprising defining (10) the topology of the network as an enriched network topology based on packets exchanged in the network, extracting (20) a program from the packets relating to a PLC in the network and identifying inputs, outputs, variables and a ladder diagram of the PLC, translating (30) the inputs, outputs, variables and ladder diagram into a predefined formal model, wherein the predefined formal model is a circuit-like SMT-based model checker, and wherein the translating (30) comprises translating the set of data types of the program according to a predefined model set of data types of the circuit-like SMT-based model checker, translating the inputs of the PLC as model inputs of the circuit-like SMT-based model checker of the same type, translating the outputs of the PLC as model output latches of the circuit-like SMT-based model checker of the same type, translating the variables of the PLC as model variable latches of the circuit-like SMT-based model checker of the same type, translating comparators and arithmetic operators of the ladder diagram into a plurality of predefined model functions of the circuit-like SMT-based model checker, translating contacts and coils of the ladder diagram according to predefined model recursive procedures relating to the predefined model set of data types, the model inputs, the model output latches, the model variable latches and the plurality of predefined model functions, wherein the contacts are switches that can block or allow the flow of the current in a connection and each of the contacts is controlled by a Boolean input or variable, and wherein the coils are assignments to Boolean variables.

10. 发明授权

US08903520B2 Method for executing sequential function charts as function blocks in a control system 有权
标题翻译：在控制系统中执行顺序功能图作为功能块的方法
公开(公告)号：US08903520B2
公开(公告)日：2014-12-02
申请号：US12423756
申请日：2009-04-14
申请人： John Michael Karaffa
发明人： John Michael Karaffa
IPC分类号： G05B19/42 , G05B11/01 , G06F9/44 , G06F9/45 , G05B19/05
CPC分类号： G05B19/056 , G05B2219/13019 , G05B2219/13108
摘要： Systems and methods are provided for converting Sequential Function Chart (SFC) logic to function block logic for execution by a programmable controller. In one embodiment, a method includes receiving Sequential Function Chart (SFC) logic comprising Steps and Transition on a physical computing device, converting the Steps and Transitions of the Sequential Function Chart logic to function block logic on the physical computing device, and uploading the function block logic from the physical computing device to a controller.
摘要翻译：提供了系统和方法，用于将顺序功能图（SFC）逻辑转换为功能块逻辑，以供可编程控制器执行。在一个实施例中，一种方法包括在物理计算设备上接收包括步骤和转换的顺序功能图（SFC）逻辑，将顺序功能图逻辑的步骤和转换转换为物理计算设备上的功能块逻辑，以及上传功能从物理计算设备到控制器的逻辑块。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式