张仁远
- 作品数：7 被引量：21H指数：2
- 供职机构：西安交通大学更多>>
- 相关领域：自动化与计算机技术更多>>
- 离散事件系统拟同余关系的改进算法被引量：2
- 2012年
- 针对离散事件系统,本文主要研究计算最优拟同余关系时减少时间复杂度的算法.基于Paige&Tarjan提出且Fernandez修改的、可有效计算最粗粒度划分问题的算法,本文给出一种时间复杂度为O(mlogn)的计算最优拟同余关系的算法.该算法适用于离散事件系统比较复杂,尤其是可观事件很少的情况.与Ramadge和Wonham提出的时间复杂度为O(mn)的算法相比,该算法计算过程耗时较短.本文还讨论了计算拟同余关系的边界情况的改进方法.仿真结果表明所提出算法的有效性.
- 张仁远甘永梅晁武杰王兆安
- 关键词：离散事件系统
- 一种存在通信延时的离散事件系统分布式监督控制方法
- 本发明公开了一种存在通信延时的离散事件系统分布式监督控制方法，包括以下步骤：1)构建离散事件系统中各个组件模型的自动机模型，根据各组件模型得到所述离散事件系统的整体模型G；2)获取通信延时为零时各组件模型的分布式控制器L...
- 甘永梅张仁远
- 文献传递
- ActiveX动态创建技术在人机界面组态软件开发中的应用被引量：1
- 2011年
- 在组态软件的开发过程中,ActiveX控件已被开发者们接受并广泛使用。但是,ActiveX控件通常的使用方式是在应用程序设计阶段就被固定地嵌入到应用程序中,而在组态软件中,用户在编辑画面时对ActiveX控件的引用是随机的、未知的,因此需要在画面中动态地创建ActiveX控件。描述了在组态软件开发中ActiveX控件的动态创建方法,并讨论了由运行时许可密钥产生的问题。
- 张建新甘永梅张仁远
- 关键词：组态软件ACTIVEX控件
- 基于事件控制函数的离散事件系统监控器及其控制方法
- 一种基于事件控制函数的离散事件系统监督控制器及控制方法，包括控制装置，所述控制装置包括若干个控制单元，一个管理单元，一个事件选择单元和一个系统状态跟踪单元；所述系统状态跟踪单元组合出整个系统当前时刻的状态，并且输出给各个...
- 甘永梅晁武杰张仁远焦亭
- 文献传递
- 基于工业PC的软PLC的设计与实现被引量：18
- 2009年
- 选取软PLC作为研究对象,在理解软PLC系统的功能、组成和编程方法基础上,基于IEC61131-3国际标准的编程规则,采用面向对象的思想,设计出了一套完整易用的数据结构,给出了一种基于工业PC的软PLC设计方案并在VC6.0环境下实现。最后,通过实验室被控对象验证了方案的可行性。
- 陈佳刘林林熊伟张仁远甘永梅郑明
- 关键词：软PLCIEC控制系统
- 一种存在通信延时的离散事件系统分布式监督控制方法
- 本发明公开了一种存在通信延时的离散事件系统分布式监督控制方法，包括以下步骤：1)构建离散事件系统中各个组件模型的自动机模型，根据各组件模型得到所述离散事件系统的整体模型G；2)获取通信延时为零时各组件模型的分布式控制器L...
- 甘永梅张仁远
- 文献传递
- 基于事件控制函数的离散事件系统监控器及其控制方法
- 一种基于事件控制函数的离散事件系统监督控制器及控制方法，包括控制装置，所述控制装置包括若干个控制单元，一个管理单元，一个事件选择单元和一个系统状态跟踪单元；所述系统状态跟踪单元组合出整个系统当前时刻的状态，并且输出给各个...
- 甘永梅晁武杰张仁远焦亭
- 文献传递
