Ad Hoc网络MRP移动模型的研究

移动模型是Ad Hoc网络中各类协议和应用的基础,而移动节点的空间概率分布则是研究移动模型时关注的最重要参数。MRP模型是一种具有记忆特性的移动模型;与Ad Hoc网络其它移动模型相比,它在节点移动的稳定性和真实性方面具有显著优势。对MRP模型移动节点的空间概率分布进行了研究,给出了一维区域上的节点空间概率分布以及节点的相邻概率,并进一步讨论了节点的初始距离和转移步数对相邻概率的影响。最后对MRP模型二雏区域上的节点移动情况进行了简要分析。研究结果对基于该模型的Ad Hoc网络仿真具有实践指导意义。     

二维电磁场数值计算中的延拓有限元技术

本文考虑了二维电磁场的数值计算问题,给出了二维电磁场数值计算中的延拓有限元技术。其特点在于:利用单元外部邻近节点信息构造单元内近似函数,从而在不增加场域离散网格的单元及节点数目的条件下,亦即在与以往有限元分析基本相同的内存容量及CPU运算时间的条件下,改善场变量的数值计算精度。     

一类Petri网调度问题的符号求解技术

讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解.     

离散事件动态系统的Petri网模型实现

事件与状态为表征离散事件系统的两个特征量。事件与状态的变化可直观，方便地表示为状态转移图。本文给出了从状态转移图到Ｐｅｔｒｉ网模型的离散事件系统实现方法。     

单连杆弹性机械手的最优控制

对于重载下高速、高精度工作的机械手有必要考虑结构弹性对系统性能的影响。本文采用模态展开法导出了单连杆弹性机械手的动力学模型,并考虑了最优控制问题。     

基于OBDD的描述逻辑ALCIO判定算法

给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。     

基于混杂Petri网的柔性制造系统免疫调度算法

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。     

一类离散事件系统的建模与分析研究

柔性制造系统为一类重要的离散事件系统。本文首先给出了该系统在任意排序、有限缓存器容量和多托盘配置下的极大代数模型;并由此给出了保证系统最佳运行效率前提下选择最少托盘数目、缓存器容量的启发式分析算法。文中给出了仿真算例。