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

1. 发明授权

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）模式描述一组预定的通用控制功能，并将通用控制功能自动转换为执行代码。

2. 发明申请

US20100286797A1 METHOD AND SYSTEM FOR TESTING SAFETY AUTOMATION LOGIC OF A MANUFACTURING CELL 有权
标题翻译：用于测试制造商的安全自动化逻辑的方法和系统
公开(公告)号：US20100286797A1
公开(公告)日：2010-11-11
申请号：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分类号： G05B9/02 , G06F11/00 , G06G7/66
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。主机记录控制信号，并在控制器上回放测试信号，以模拟组件的运行。可以使用测试信号来认证自动化控制逻辑，例如通过将它们与测试规范或标准进行比较。

3. 发明申请

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）模式描述一组预定的通用控制功能，并将通用控制功能自动转换为执行代码。

4. 发明申请

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.
摘要翻译：提供了一种用于在制造自动化系统中验证安全逻辑代码的方法。提供了多个安全相关的测试场景，用于测试制造自动化系统中的安全逻辑代码。处理单元被配置为与逻辑控制器通信。处理单元响应于多个安全相关的测试场景产生逻辑输入信号，并将逻辑输入信号提供给逻辑控制器。响应于处理单元向逻辑控制器提供逻辑输入信号，触发经由安全逻辑代码执行多个与安全相关的测试场景。响应输出信号由逻辑控制器响应于由安全逻辑代码执行的安全相关测试场景而产生。通过将响应输出信号和相关联的逻辑输入信号评估为预定标准来确定安全逻辑代码的兼容性。

5. 发明申请

US20090088884A1 MANUFACTURING AUTOMATION SYSTEM COMPONENTS COMPATIBILITY AND PERFORMANCE TESTING WITH INTEGRATED VIRTUAL AND REAL ENVIRONMENT 审中-公开
标题翻译：制造自动化系统组件与综合虚拟和实际环境的兼容性和性能测试
公开(公告)号：US20090088884A1
公开(公告)日：2009-04-02
申请号：US12237894
申请日：2008-09-25
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Leandro G. Barajas
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Leandro G. Barajas
IPC分类号： G06F17/00
CPC分类号： G05B19/41885 , G05B2219/31078 , G05B2219/39014 , G05B2219/40288 , Y02P90/083 , Y02P90/26
摘要： A system and method for providing an integrated virtual and real emulation environment for a manufacturing process to provide component compatibility testing and system performance prediction. In one embodiment, a real manufacturing system includes one or more real components that are controlled by a programmable logic controller. The real component can be replaced with a virtual component to determine whether it is compatible in the process, where the programmable controller sends signals to and receive signals from the virtual component as if it were the real component. For system performance prediction, a virtual manufacturing process is provided that includes virtual components where the virtual process is controlled by a programmable logic control as if it were a real process to determine the performance of a real system using the virtual process.
摘要翻译：一种用于为制造过程提供集成的虚拟和真实仿真环境以提供组件兼容性测试和系统性能预测的系统和方法。在一个实施例中，实际制造系统包括由可编程逻辑控制器控制的一个或多个实际部件。真实组件可以用虚拟组件替代，以确定它在过程中是否兼容，其中可编程控制器向虚拟组件发送信号并从虚拟组件接收信号，就像它是真实组件一样。对于系统性能预测，提供虚拟制造过程，其包括虚拟组件，其中虚拟过程由可编程逻辑控制来控制，就像它是确定使用虚拟过程的真实系统的性能的真实过程一样。

6. 发明申请

US20130268105A1 METHOD AND APPARATUS FOR MANAGING HEAT ENERGY IN A METAL CASTING PLANT 有权
标题翻译：管理金属铸造厂的热能的方法和装置
公开(公告)号：US20130268105A1
公开(公告)日：2013-10-10
申请号：US13440000
申请日：2012-04-05
申请人： Jorge F. Arinez , Alaa Elwany , Stephan R. Biller , Robert Baird, JR. , James Benjamin D'arcy
发明人： Jorge F. Arinez , Alaa Elwany , Stephan R. Biller , Robert Baird, JR. , James Benjamin D'arcy
IPC分类号： G06F19/00
CPC分类号： B22D46/00 , B22D47/00
摘要： A method for managing heat energy in a metal casting plant includes executing a local control optimization model to control mass of solid metal charges to each modular melting furnace. The local control optimization model is configured to achieve a commanded total mass of molten material and coincidentally minimize waste heat for each of the modular melting furnaces. The method for managing heat energy in the metal casting plant further includes executing a system control optimization model to manage operation of a heat energy recovery system. The system control optimization model is configured to manage the operation of the heat energy recovery system including transferring the waste heat from the modular melting furnaces to a plurality of heat demand centers while minimizing total loss of the waste heat in the metal casting plant.
摘要翻译：一种用于管理金属铸造设备中的热能的方法包括执行局部控制优化模型以控制每个模块化熔炉的固体金属电荷的质量。本地控制优化模型被配置为实现指定的熔融材料总质量，并且巧合地使每个模块化熔炉的废热最小化。用于管理金属铸造设备中的热能的方法还包括执行系统控制优化模型以管理热能回收系统的操作。系统控制优化模型被配置为管理热能回收系统的操作，包括将来自模块化熔炉的废热转移到多个热需求中心，同时最小化金属铸造设备中的废热的总损失。

7. 发明授权

US07974725B2 Integrated testing system and method for validation of a manufacturing automation system 有权
标题翻译：集成测试系统和验证制造自动化系统的方法
公开(公告)号：US07974725B2
公开(公告)日：2011-07-05
申请号：US12349217
申请日：2009-01-06
申请人： Fangming Gu , Chengyin Yuan , Stephan R. Biller
发明人： Fangming Gu , Chengyin Yuan , Stephan R. Biller
IPC分类号： G06F19/00 , G06F11/26 , G06F21/00 , G06F17/50 , G06F9/45 , G06G7/62 , G01N37/00
CPC分类号： G05B17/02
摘要： A method of testing a physical manufacturing automation system for manufactured work pieces is provided via a testing system and includes connecting a computer-simulated manufacturing automation system to a controller of the physical manufacturing automation system, wherein the computer-simulated manufacturing automation system is configured to represent a portion of the physical manufacturing automation system, including a simulated work piece. The method then includes concurrently running the physical manufacturing automation system and the computer-simulated manufacturing automation system via the controller, with the physical automation system running in the absence of the physical work pieces.
摘要翻译：通过测试系统提供测试制造的工件的物理制造自动化系统的方法，包括将计算机模拟的制造自动化系统连接到物理制造自动化系统的控制器，其中计算机模拟的制造自动化系统被配置为代表物理制造自动化系统的一部分，包括模拟工件。该方法然后包括通过控制器同时运行物理制造自动化系统和计算机模拟制造自动化系统，物理自动化系统在没有物理工件的情况下运行。

8. 发明申请

US20110125302A1 METHOD AND SYSTEM FOR FORMAL SAFETY VERIFICATION OF MANUFACTURING AUTOMATION SYSTEMS 审中-公开
标题翻译：制造自动化系统的正式安全验证方法与系统
公开(公告)号：US20110125302A1
公开(公告)日：2011-05-26
申请号：US12604449
申请日：2009-10-23
申请人： Nagarajan Sethuraman , Jerome O. Schroeder , Soumen De , Chengyin Yuan , Stephan R. Biller , Frank Gajor , Jeffrey J. Byrnes , Narahari K. Hunsur
发明人： Nagarajan Sethuraman , Jerome O. Schroeder , Soumen De , Chengyin Yuan , Stephan R. Biller , Frank Gajor , Jeffrey J. Byrnes , Narahari K. Hunsur
IPC分类号： G06F19/00 , G06F11/36 , G05B9/02
CPC分类号： G05B9/02 , G06F11/3604
摘要： A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.
摘要翻译：提供了一种用于验证和认证包括安全逻辑的制造自动化系统的安全逻辑的方法和系统，其中逻辑可以包括一个或多个安全模块，例程，程序和任务或其组合; 测试规范对应于安全逻辑; 适用于通过逻辑解析器将安全逻辑和测试规范自动转换成其各自的数学模型的一个或多个形式模型发生器，其格式化为例如Petri网或二进制决策图; 安全逻辑验证器被配置用于自动地将安全逻辑形式模型与测试规范形式模型进行比较，以验证安全逻辑模型以证明安全逻辑。测试规范可能包括测试安全逻辑行为，包括达到安全状态，保持安全状态，无需重置，从安全状态恢复，并通过虚假警报检测保持活动状态。

9. 发明授权

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.
摘要翻译：一种用于生成制造过程的操作序列的方法，包括通过有限状态机对制造过程进行建模，以创建一系列操作生成器，其操作以生成用于制造过程的操作序列列表，并利用操作生成器序列输入过程信息并自动生成一系列操作。

10. 发明申请

US20100174395A1 INTEGRATED TESTING SYSTEM AND METHOD FOR VALIDATION OF A MANUFACTURING AUTOMATION SYSTEM 有权
标题翻译：综合测试系统和制造自动化系统验证方法
公开(公告)号：US20100174395A1
公开(公告)日：2010-07-08
申请号：US12349217
申请日：2009-01-06
申请人： Fangming Gu , Chengyin Yuan , Stephan R. Biller
发明人： Fangming Gu , Chengyin Yuan , Stephan R. Biller
IPC分类号： G06F19/00 , G06F15/00 , G06G7/66
CPC分类号： G05B17/02
摘要： A method of testing a physical manufacturing automation system for manufactured work pieces is provided via a testing system and includes connecting a computer-simulated manufacturing automation system to a controller of the physical manufacturing automation system, wherein the computer-simulated manufacturing automation system is configured to represent a portion of the physical manufacturing automation system, including a simulated work piece. The method then includes concurrently running the physical manufacturing automation system and the computer-simulated manufacturing automation system via the controller, with the physical automation system running in the absence of the physical work pieces.
摘要翻译：通过测试系统提供测试制造的工件的物理制造自动化系统的方法，包括将计算机模拟的制造自动化系统连接到物理制造自动化系统的控制器，其中计算机模拟的制造自动化系统被配置为代表物理制造自动化系统的一部分，包括模拟工件。该方法然后包括通过控制器同时运行物理制造自动化系统和计算机模拟制造自动化系统，物理自动化系统在没有物理工件的情况下运行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式