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

1. 发明授权

US07684892B2 Process for generating control sequence of operations 有权
标题翻译：用于生成控制操作序列的过程
公开(公告)号：US07684892B2
公开(公告)日：2010-03-23
申请号：US11928542
申请日：2007-10-30
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
IPC分类号： G06F19/00 , G05B11/01 , G05B13/02 , G05B19/42 , G06F9/44
CPC分类号： G05B19/41835 , Y02P90/12
摘要： A method for generation of a control code set for a manufacturing process includes generating a list of sequences of operations with an automatic sequence of operations generator, selecting an optimized sequence of operations from the list of sequences of operations, and utilizing the optimized sequence of operations to generate the control code set.
摘要翻译：用于产生用于制造过程的控制代码集的方法包括利用自动序列生成器生成操作序列列表，从操作序列列表中选择优化的操作序列，以及利用优化的操作序列生成控制代码集。

2. 发明授权

US07809457B2 Framework for automatic generation of sequence of operations 有权
标题翻译：自动生成操作顺序的框架
公开(公告)号：US07809457B2
公开(公告)日：2010-10-05
申请号：US11928490
申请日：2007-10-30
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Magnus Johansson , Mikael Kjellgren , Richard C. Immers , Chieh-Yi Jerry Yen , Bengt Erik Lennartson , Martin Fabian , Knut Akesson , Petter Falkman
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Magnus Johansson , Mikael Kjellgren , Richard C. Immers , Chieh-Yi Jerry Yen , Bengt Erik Lennartson , Martin Fabian , Knut Akesson , Petter Falkman
IPC分类号： G06F19/00
CPC分类号： G05B19/41865 , G05B2219/32266 , G05B2219/32353 , Y02P90/20 , Y02P90/26
摘要： A method for generation of a sequence of operations for a manufacturing process including modeling the manufacturing process through a finite state machine to create a sequence of operations generator operative to generate a list of sequences of operations for the manufacturing process and utilizing the sequence of operations generator to input process information and automatically generate a list of sequences of operations.
摘要翻译：一种用于生成制造过程的操作序列的方法，包括通过有限状态机对制造过程进行建模，以创建一系列操作生成器，其操作以生成用于制造过程的操作序列列表，并利用操作生成器序列输入过程信息并自动生成一系列操作。

3. 发明申请

US20090112350A1 PROCESS FOR GENERATING CONTROL SEQUENCE OF OPERATIONS 有权
标题翻译：产生控制操作顺序的过程
公开(公告)号：US20090112350A1
公开(公告)日：2009-04-30
申请号：US11928542
申请日：2007-10-30
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
IPC分类号： G06F19/00
CPC分类号： G05B19/41835 , Y02P90/12
摘要： A method for generation of a control code set for a manufacturing process includes generating a list of sequences of operations with an automatic sequence of operations generator, selecting an optimized sequence of operations from said list of sequences of operations, and utilizing said optimized sequence of operations to generate said control code set.
摘要翻译：用于产生用于制造过程的控制代码集的方法包括利用自动序列生成器生成操作序列列表，从所述操作序列列表中选择优化的操作序列，以及利用所述优化的操作序列以产生所述控制代码集。

4. 发明授权

US08381173B2 Platform-independent method and system for deploying control logic programming 有权
标题翻译：用于部署控制逻辑编程的平台无关方法和系统
公开(公告)号：US08381173B2
公开(公告)日：2013-02-19
申请号：US12399090
申请日：2009-03-06
申请人： Chengyin Yuan , Stephan R. Biller , Chieh-Yi Jerry Yen , Fangming Gu
发明人： Chengyin Yuan , Stephan R. Biller , Chieh-Yi Jerry Yen , Fangming Gu
IPC分类号： G06F9/44
CPC分类号： G05B19/056 , G06F8/35 , G06F8/41
摘要： A system for generating platform-specific control logic implementation code for execution on a programmable logic controller (PLC) platform includes a plurality of processing layers. A first layer models generic control requirements as a unitary mathematical model (UMM). A second layer translates the UMM into generic control code describing a platform-independent set of generic control functions following an open structured language. A third layer automatically transforms the generic control functions into the platform-specific implementation code executable on different PLC platforms. A method of generating the implementation code includes modeling control requirements as a mathematical model, transforming the model into platform-independent control code describing a predetermined set of generic control functions using Extensible Markup Language (XML) schema, and automatically transforming the generic control functions into the implementation code.
摘要翻译：用于生成用于在可编程逻辑控制器（PLC）平台上执行的特定于平台的控制逻辑实现代码的系统包括多个处理层。第一层将通用控制要求模拟为单一数学模型（UMM）。第二层将UMM转换成描述与开放式结构化语言之后的与平台无关的一般控制功能集合的通用控制代码。第三层自动将通用控制功能转换为可在不同PLC平台上执行的平台特定的实现代码。生成实现代码的方法包括将控制需求建模为数学模型，将该模型转换成与平台无关的控制代码，其使用可扩展标记语言（XML）模式描述一组预定的通用控制功能，并将通用控制功能自动转换为执行代码。

5. 发明申请

US20100229151A1 PLATFORM-INDEPENDENT METHOD AND SYSTEM FOR DEPLOYING CONTROL LOGIC PROGRAMMING 有权
标题翻译：用于配置控制逻辑编程的平台独立方法和系统
公开(公告)号：US20100229151A1
公开(公告)日：2010-09-09
申请号：US12399090
申请日：2009-03-06
申请人： Chengyin Yuan , Stephan R. Biller , Chieh-Yi Jerry Yen , Fangming Gu
发明人： Chengyin Yuan , Stephan R. Biller , Chieh-Yi Jerry Yen , Fangming Gu
IPC分类号： G06F9/44
CPC分类号： G05B19/056 , G06F8/35 , G06F8/41
摘要： A system for generating platform-specific control logic implementation code for execution on a programmable logic controller (PLC) platform includes a plurality of processing layers. A first layer models generic control requirements as a unitary mathematical model (UMM). A second layer translates the UMM into generic control code describing a platform-independent set of generic control functions following an open structured language. A third layer automatically transforms the generic control functions into the platform-specific implementation code executable on different PLC platforms. A method of generating the implementation code includes modeling control requirements as a mathematical model, transforming the model into platform-independent control code describing a predetermined set of generic control functions using Extensible Markup Language (XML) schema, and automatically transforming the generic control functions into the implementation code.
摘要翻译：用于生成用于在可编程逻辑控制器（PLC）平台上执行的特定于平台的控制逻辑实现代码的系统包括多个处理层。第一层将通用控制要求模拟为单一数学模型（UMM）。第二层将UMM转换成描述与开放式结构化语言之后的与平台无关的一般控制功能集合的通用控制代码。第三层自动将通用控制功能转换为可在不同PLC平台上执行的平台特定的实现代码。生成实现代码的方法包括将控制需求建模为数学模型，将该模型转换成与平台无关的控制代码，其使用可扩展标记语言（XML）模式描述一组预定的通用控制功能，并将通用控制功能自动转换为执行代码。

6. 发明申请

US20090031181A1 Automated root cause identification of logic controller failure 有权
标题翻译：自动根本原因识别逻辑控制器故障
公开(公告)号：US20090031181A1
公开(公告)日：2009-01-29
申请号：US11829321
申请日：2007-07-27
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
IPC分类号： G06F11/26
CPC分类号： G06F11/25
摘要： A method, system, and computer program product for automated root cause identification of a failure of a logic controller have been provided. The method includes receiving logic controller failure information, receiving a logic model of logic code for the logic controller, and mapping the logic controller failure information to the logic model to identify a logic failure model state. The method further includes determining a potential trigger of the failure of the logic controller as a root cause via tracing through at least one path in the logic model to reach the logic failure model state. The method also includes identifying the root cause in the logic code via mapping the root cause from the logic model to the logic code, and outputting the logic code with the identified root cause of the failure of the logic controller.
摘要翻译：已经提供了用于自动根本原因识别逻辑控制器的故障的方法，系统和计算机程序产品。该方法包括接收逻辑控制器故障信息，接收用于逻辑控制器的逻辑代码的逻辑模型，以及将逻辑控制器故障信息映射到逻辑模型以识别逻辑故障模型状态。该方法还包括通过经由逻辑模型中的至少一个路径的跟踪来确定逻辑控制器的故障的潜在触发作为根本原因以达到逻辑故障模型状态。该方法还包括通过将逻辑模型的根本原因映射到逻辑代码来识别逻辑代码中的根本原因，以及逻辑控制器的故障识别的根本原因来输出逻辑代码。

7. 发明授权

US07761765B2 Automated root cause identification of logic controller failure 有权
标题翻译：自动根本原因识别逻辑控制器故障
公开(公告)号：US07761765B2
公开(公告)日：2010-07-20
申请号：US11829321
申请日：2007-07-27
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
IPC分类号： G06F11/00
CPC分类号： G06F11/25
摘要： A method, system, and computer program product for automated root cause identification of a failure of a logic controller have been provided. The method includes receiving logic controller failure information, receiving a logic model of logic code for the logic controller, and mapping the logic controller failure information to the logic model to identify a logic failure model state. The method further includes determining a potential trigger of the failure of the logic controller as a root cause via tracing through at least one path in the logic model to reach the logic failure model state. The method also includes identifying the root cause in the logic code via mapping the root cause from the logic model to the logic code, and outputting the logic code with the identified root cause of the failure of the logic controller.
摘要翻译：已经提供了用于自动根本原因识别逻辑控制器的故障的方法，系统和计算机程序产品。该方法包括接收逻辑控制器故障信息，接收用于逻辑控制器的逻辑代码的逻辑模型，以及将逻辑控制器故障信息映射到逻辑模型以识别逻辑故障模型状态。该方法还包括通过经由逻辑模型中的至少一个路径的跟踪来确定逻辑控制器的故障的潜在触发作为根本原因以达到逻辑故障模型状态。该方法还包括通过将逻辑模型的根本原因映射到逻辑代码来识别逻辑代码中的根本原因，以及逻辑控制器的故障识别的根本原因来输出逻辑代码。

8. 发明申请

US20100023534A1 Computer-aided safety logic certification 审中-公开
标题翻译：计算机辅助安全逻辑认证
公开(公告)号：US20100023534A1
公开(公告)日：2010-01-28
申请号：US12179640
申请日：2008-07-25
申请人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Jerome O. Schroeder , Richard C. Immers , Jeffrey J. Byrnes
发明人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Jerome O. Schroeder , Richard C. Immers , Jeffrey J. Byrnes
IPC分类号： G01R31/3177 , G06F11/25 , G06F17/30
CPC分类号： G01R31/3177
摘要： A method is provided for certifying safety logic code in a manufacturing automation system. A plurality of safety related test scenarios is provided for testing the safety logic code in the manufacturing automation system. A processing unit is configured for communication with the logic controller. The processing unit generates logic input signals in response to the plurality of safety related test scenarios and provides the logic input signals to the logic controller. Execution of the plurality of safety related test scenarios via the safety logic code is triggered in response to the processing unit providing the logic input signals to the logic controller. Response output signals are generated by the logic controller in response to the safety related test scenarios being executed by the safety logic code. Compliancy of the safety logic code is determined by evaluating response output signals and associated logic input signals to a predetermined standard.
摘要翻译：提供了一种用于在制造自动化系统中验证安全逻辑代码的方法。提供了多个安全相关的测试场景，用于测试制造自动化系统中的安全逻辑代码。处理单元被配置为与逻辑控制器通信。处理单元响应于多个安全相关的测试场景产生逻辑输入信号，并将逻辑输入信号提供给逻辑控制器。响应于处理单元向逻辑控制器提供逻辑输入信号，触发经由安全逻辑代码执行多个与安全相关的测试场景。响应输出信号由逻辑控制器响应于由安全逻辑代码执行的安全相关测试场景而产生。通过将响应输出信号和相关联的逻辑输入信号评估为预定标准来确定安全逻辑代码的兼容性。

9. 发明授权

US08949480B2 Method and system for testing safety automation logic of a manufacturing cell 有权
标题翻译：用于测试制造单元的安全自动化逻辑的方法和系统
公开(公告)号：US08949480B2
公开(公告)日：2015-02-03
申请号：US12463579
申请日：2009-05-11
申请人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Demet C. Wood , Daniel B. Aufderheide
发明人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Demet C. Wood , Daniel B. Aufderheide
IPC分类号： G06F3/00 , G05B9/02 , G06F11/26
CPC分类号： G05B9/02 , G06F11/261
摘要： A method for testing the safety automation logic used in a manufacturing cell includes recording control signals of a safety-related component such as an E-Stop, light curtain, gate lock, or a safety mat using a host machine, and then disconnecting the component from the host machine. The recorded test signals are transmitted to an automation controller in accordance with a test scenario from a test scenario generator module (TSGM) to emulate operation of the component. The automation logic may be certified using the playback of the recorded test signals. A system for testing the safety automation logic includes the controller, host machine, and TSGM. The host machine records the control signals and plays back the test signals on the controller to emulate operation of the component. The automation control logic may be certified using the test signals, e.g., by comparing these to the test specification or standard.
摘要翻译：用于测试在制造单元中使用的安全自动化逻辑的方法包括使用主机记录诸如E-Stop，光幕，门锁或安全垫的安全相关部件的控制信号，然后断开组件从主机。记录的测试信号根据测试场景发生器模块（TSGM）的测试场景传输到自动化控制器，以模拟组件的操作。可以使用记录的测试信号的重放来认证自动化逻辑。用于测试安全自动化逻辑的系统包括控制器，主机和TSGM。主机记录控制信号，并在控制器上回放测试信号，以模拟组件的运行。可以使用测试信号来认证自动化控制逻辑，例如通过将它们与测试规范或标准进行比较。

10. 发明授权

US07996113B2 Methods of integrating real and virtual world using virtual sensor/actuator 有权
标题翻译：使用虚拟传感器/执行器整合真实世界和虚拟世界的方法
公开(公告)号：US07996113B2
公开(公告)日：2011-08-09
申请号：US12237944
申请日：2008-09-25
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Leandro G. Barajas
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Leandro G. Barajas
IPC分类号： G05B15/00
CPC分类号： G05B19/41885 , G05B2219/31078 , G05B2219/39014 , G05B2219/40288 , Y02P90/083 , Y02P90/26
摘要： An integrated real and virtual manufacturing automation system that employs a programmable logic controller that controls part flow between a real machine in the real world part of the system and a virtual machine in the virtual world part of the system using virtually coupled sensors and actuators. A real world sensor senses the position of the real world machine and a real world actuator actuates the real world machine. Likewise, a virtual world sensor senses the position of the virtual world machine and a virtual world actuator actuates the virtual world machine. An interface device transfers signals between the virtual world part of the system and the real world part of the system, and an input/output device processes signals sent to the programmable logic controller and signals sent from the programmable logic controller.
摘要翻译：一个集成的真实和虚拟制造自动化系统，其使用可编程逻辑控制器来控制系统的真实世界中的真实机器之间的部分流程，以及使用虚拟耦合的传感器和执行器的虚拟世界中的虚拟机部分。一个现实世界的传感器感知现实世界的机器的位置，一个现实的执行器致动现实世界的机器。同样，虚拟世界传感器感测虚拟世界机器的位置，虚拟世界执行器致动虚拟世界机器。接口设备在系统的虚拟世界部分和系统的真实世界部分之间传送信号，并且输入/输出设备处理发送到可编程逻辑控制器的信号和从可编程逻辑控制器发送的信号。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式