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

1. 发明申请

US20090182442A1 FRAMEWORK FOR RESULTS INTERPRETATION AND GUIDED REFINEMENT OF SPECIFICATIONS FOR PLC LOGIC VERIFICATION 审中-公开
标题翻译：结果解释和指导对PLC逻辑验证规范的修订框架
公开(公告)号：US20090182442A1
公开(公告)日：2009-07-16
申请号：US12352988
申请日：2009-01-13
申请人： NAGARAJAN SETHURAMAN , Soumen De , Chengyin Yuan , Narahari K. Hunsur
发明人： NAGARAJAN SETHURAMAN , Soumen De , Chengyin Yuan , Narahari K. Hunsur
IPC分类号： G05B19/42 , G06F17/10
CPC分类号： G05B19/058 , G05B2219/13151 , G05B2219/13188
摘要： A system and method for interpreting formal verification results of PLC logic code used to control a manufacturing process, or other automated process, where the interpretation process does not require highly skilled technicians having significant experience in computer and mathematical algorithms. The verification process includes providing a verification results summary to check the compliance of the code with respect to the specifications. The verification results summary is analyzed and categorized to determine whether violations or errors are found in the results. The results can be depicted by assertion trees if a direct assertion between the PLC logic and the specifications can be provided. Alternatively, the results can be depicted by a reduced ladder logic if a direct assertion between the PLC logic and the specifications cannot be provided and a simulation is required. The specification refinement suggestions will be provided if the critical variable for violations is identified.
摘要翻译：用于解释用于控制制造过程或其他自动化过程的PLC逻辑代码的形式验证结果的系统和方法，其中解释过程不需要具有在计算机和数学算法方面具有丰富经验的高技能技术人员。验证过程包括提供验证结果摘要，以检查代码是否符合规范。对验证结果摘要进行分析和分类，以确定结果中是否发现违规或错误。如果可以提供PLC逻辑和规范之间的直接断言，则可以通过断言树来描述结果。或者，如果不能提供PLC逻辑和规范之间的直接断言并需要仿真，则结果可以通过减少的梯形逻辑来描述。如果确定违规的关键变量，将提供规范细化建议。

2. 发明申请

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网或二进制决策图; 安全逻辑验证器被配置用于自动地将安全逻辑形式模型与测试规范形式模型进行比较，以验证安全逻辑模型以证明安全逻辑。测试规范可能包括测试安全逻辑行为，包括达到安全状态，保持安全状态，无需重置，从安全状态恢复，并通过虚假警报检测保持活动状态。

3. 发明授权

US08831921B2 Fluid access and drainage assessment 有权
标题翻译：流体通道和排水评估
公开(公告)号：US08831921B2
公开(公告)日：2014-09-09
申请号：US13092181
申请日：2011-04-22
申请人： Robert Bruce Tilove , Narahari K. Hunsur
发明人： Robert Bruce Tilove , Narahari K. Hunsur
IPC分类号： G06G7/48 , G06G7/57 , G06F17/50
CPC分类号： G06F17/5095
摘要： A system includes a host application configured to receive a component model representing a vehicle component. The component model includes a body having a concave portion and/or a convex portion that defines a fluid retainer. A detection tool in communication with the host application is configured to determine a size and location of the fluid retainer. The detection tool is further configured to associate the size of the fluid retainer to a design rule and calculate a value representing a minimum hole size that will allow fluid to flow into or out of the fluid retainer in accordance with the design rule.
摘要翻译：系统包括被配置为接收表示车辆部件的部件模型的主机应用。部件模型包括具有限定流体保持器的凹部和/或凸部的主体。与主机应用程序通信的检测工具被配置为确定流体保持器的尺寸和位置。检测工具还被配置成将流体保持器的尺寸与设计规则相关联，并且根据设计规则计算表示允许流体流入或流出流体保持器的最小孔尺寸的值。

4. 发明申请

US20120271607A1 FLUID ACCESS AND DRAINAGE ASSESSMENT 有权
标题翻译：流体通行和排水评估
公开(公告)号：US20120271607A1
公开(公告)日：2012-10-25
申请号：US13092181
申请日：2011-04-22
申请人： Robert Bruce Tilove , Narahari K. Hunsur
发明人： Robert Bruce Tilove , Narahari K. Hunsur
IPC分类号： G06G7/48
CPC分类号： G06F17/5095
摘要： A system includes a host application configured to receive a component model representing a vehicle component. The component model includes a body having a concave portion and/or a convex portion that defines a fluid retainer. A detection tool in communication with the host application is configured to determine a size and location of the fluid retainer. The detection tool is further configured to associate the size of the fluid retainer to a design rule and calculate a value representing a minimum hole size that will allow fluid to flow into or out of the fluid retainer in accordance with the design rule.
摘要翻译：系统包括被配置为接收表示车辆部件的部件模型的主机应用。部件模型包括具有限定流体保持器的凹部和/或凸部的主体。与主机应用程序通信的检测工具被配置为确定流体保持器的尺寸和位置。检测工具还被配置成将流体保持器的尺寸与设计规则相关联，并且根据设计规则计算表示允许流体流入或流出流体保持器的最小孔尺寸的值。

5. 发明授权

US07974733B2 Automatic estimation of weldgun size using section geometry 有权
标题翻译：使用截面几何自动估计焊枪尺寸
公开(公告)号：US07974733B2
公开(公告)日：2011-07-05
申请号：US12363244
申请日：2009-01-30
申请人： Ashish Gupta , Gopalakrishna Shastry , Narahari K. Hunsur
发明人： Ashish Gupta , Gopalakrishna Shastry , Narahari K. Hunsur
IPC分类号： G06F19/00 , B23K9/12 , B23K33/00 , B23K35/30 , B23K9/00 , B23K9/28 , B23K13/01
CPC分类号： B23K11/314
摘要： A method for estimating a plurality of geometrical parameters defining the size of a weld gun that has particular application for automatically selecting a weld gun for a welding operation. The method includes iteratively estimating a plurality of geometric parameters based on part section curves corresponding to a direction of approach of the weld gun to weld point of the plurality of weld points. Thereafter, a set of valid weld gun sizes are calculated based on the estimated plurality of geometric parameters. Similarly all the valid weld gun sizes are calculated corresponding to each of the weld gun approach direction. Further, each set of the valid gun sizes are estimated for each of the weld point for the welding operation. Finally, a weld gun for performing the welding operation is selected based on the set of weld gun sizes corresponding to the welding operation.
摘要翻译：一种用于估计定义焊枪尺寸的多个几何参数的方法，其具有用于自动选择用于焊接操作的焊枪的特定应用。该方法包括基于与焊枪的接近方向对应于多个焊接点的焊接点的部分曲线迭代地估计多个几何参数。此后，基于估计的多个几何参数来计算一组有效的焊枪尺寸。类似地，所有有效的焊枪尺寸都对应于每个焊枪接近方向计算。此外，针对焊接操作的每个焊接点估计每组有效的枪尺寸。最后，基于与焊接操作相对应的一组焊枪尺寸来选择用于执行焊接操作的焊枪。

6. 发明授权

US08450633B2 Method and system for automated selection of a set of candidate weld guns including orientations of the selected guns 有权
标题翻译：用于自动选择一组候选焊枪的方法和系统，包括所选择的枪的取向
公开(公告)号：US08450633B2
公开(公告)日：2013-05-28
申请号：US12040192
申请日：2008-02-29
申请人： Robert Bruce Tilove , Gopalakrishna Shastry , Sandipan Bandyopadhyay , Ashish Gupta , Narahari K. Hunsur
发明人： Robert Bruce Tilove , Gopalakrishna Shastry , Sandipan Bandyopadhyay , Ashish Gupta , Narahari K. Hunsur
IPC分类号： B23K11/00
CPC分类号： B23K11/115 , B23K11/34
摘要： The disclosure relates to the automatic selection of a set of candidate weld guns and candidate orientations for the weld guns from a library of existing weld guns. Minimum values for weld points and test orientations are calculated. The calculated minimum values are added to the library. As each point is added to the library, the set of weld guns that are candidates for the weld point at the tested orientation may be efficiently retrieved, and a matrix of candidate weld guns and orientations is produced.
摘要翻译：本公开涉及从现有焊枪的库中自动选择一组候选焊枪和用于焊枪的候选方向。计算焊点和测试方向的最小值。计算的最小值将添加到库中。随着每个点被添加到库中，可以有效地检索作为测试取向处的焊点的候选者的焊枪组，并且产生候选焊枪和取向的矩阵。

7. 发明申请

US20090218329A1 METHOD AND SYSTEM FOR AUTOMATED SELECTION OF A SET OF CANDIDATE WELD GUNS INCLUDING ORIENTATIONS OF THE SELECTED GUNS 有权
标题翻译：一种用于自动选择一组候选焊枪的方法和系统，包括所选择的GUNS的方位
公开(公告)号：US20090218329A1
公开(公告)日：2009-09-03
申请号：US12040192
申请日：2008-02-29
申请人： Robert Bruce Tilove , Gopalakrishna Shastry , Sandipan Bandyopadhyay , Ashish Gupta , Narahari K. Hunsur
发明人： Robert Bruce Tilove , Gopalakrishna Shastry , Sandipan Bandyopadhyay , Ashish Gupta , Narahari K. Hunsur
IPC分类号： B23K31/02 , B23K9/00
CPC分类号： B23K11/115 , B23K11/34
摘要： The disclosure relates to the automatic selection of a set of candidate weld guns and candidate orientations for the weld guns from a library of existing weld guns. Minimum values for weld points and test orientations are calculated. The calculated minimum values are added to the library. As each point is added to the library, the set of weld guns that are candidates for the weld point at the tested orientation may be efficiently retrieved, and a matrix of candidate weld guns and orientations is produced.
摘要翻译：本公开涉及从现有焊枪的库中自动选择一组候选焊枪和用于焊枪的候选方向。计算焊点和测试方向的最小值。计算的最小值将添加到库中。随着每个点被添加到库中，可以有效地检索作为测试取向处的焊点的候选者的焊枪组，并且产生候选焊枪和取向的矩阵。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式