基于一阶混杂Petri网的柔性制造系统粗糙控制

研究基于一阶混杂Petri网模型的柔性制造系统粗糙控制.为构造正确的一阶混杂Petri网模型行为演变图,提出了确定改变Macro状态事件的新方法;进而给出了柔性制造系统优化与控制算法,并基于粗糙集合理论和所给出的算法,提出了柔性制造系统的粗糙控制方法.最后通过一个实例验证了该方法的有效性.

     

基于拓扑子图与编辑距离的距离测量方法

图结构数据搜索的核心是为图的匹配寻找一个好的相似性测量方法.图编辑距离法和最大公共子图法是现有的两种较成熟的测量方法.图编辑距离法善于描述细小的距离差距,但缺乏结构上的描述;最大公共子图法与之相反,在结构描述上很有优势,但是在细节的描述上很弱.鉴于这种情况,将最大拓扑公共子图法与编辑距离测量法相结合,提出了一种新的相似性测量方法.这种方法先用拓扑公共子图进行结构性描述,然后利用编辑距离的细节描述能力对最大拓扑公共子图内部的相似性距离进行调整,从而有效地发挥了最大公共子图法和编辑距离法各自的优点,使得图之间的相似性衡量更加有效、精确;同时在图的相似性搜索、图像检索、对象识别等领域也更有相容力和理解力.     

基于GSPN模型的Ad Hoc网络可生存性分析

Ad Hoc网络的可生存性分析方法主要集中在利用马尔可夫链,分析考虑故障的一跳路由可生存性或者不考虑故障的多跳路由可生存性.经过分析Ad Hoc网络在考虑故障情况下多跳路由的可生存性,提出了可以表示网络中任意两个节点之间动态数据传输关系,及网络受故障影响情况的广义随机Petri网(GSPN)模型.在此基础上,通过计算两个节点连通的概率,利用节点传输范围、节点平均邻居数目和故障频率这些参数,对网络的可生存性进行了分析,其分析结果对选取适当的节点传输范围或节点平均邻居数目有参考价值.     

基于带权无向连接图的子装配体识别方法研究

子装配体识别是解决大规模装配序列规划问题的有效方法之一.为了高效、自动地识别子装配体,根据零件联接类型,建立了装配体的带权无向连接图模型.通过边权值的设定,使得装配体的带权无向连接图能够提供Ⅰ型和Ⅱ型子装配体识别所需的联接信息.将带权无向连接图与装配体的干涉矩阵和支撑矩阵相结合,设计并实现了Ⅰ型和Ⅱ型子装配体的识别算法.与有向连接图模型中子装配体识别算法相比,能够有效消除识别过程中对两种类型子装配体的冗余判断.实验结果表明,识别算法能够有效的进行两种类型子装配体的识别.     

合作学习理论在“协议工程”教学中的实践研究

合作式学习是当今最有影响的教学方式之一,已经被众多实践证实在培养学生的综合素质和能力、提高学生学习效率和兴趣方面有明显作用.根据研究生有较好的知识储备和社交技能,适合采用合作式教学的特点,提出"小先生"制的合作式教学实施策略,并在承担的研究生"协议工程"教学中进行了实践探索.结果表明:"小学生"制合作教学模式能较好促进研究生的探索激情,激发创新思维,提升研究生研究交流与合作能力.     

Kailar逻辑缺陷的进一步讨论

责任性是电子商务安全性的基本要求之一,它要求交易各方对自己的行为负责。Kailar逻辑是专门针对电子商务责任性进行分析的逻辑。然而Kailar逻辑也存在不足。该文讨论了Kailar逻辑的一种缺陷——发生重放攻击时,Kailar逻辑不能正确分析各方的责任性,并分析了出现这种缺陷的原因,提出了改进方案。     

基于Petri网的协议分析技术及工具

研究基于 Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计 ,进而阐述该工具主要功能模块实现的思路和算法 ,并将其应用于对 AB通讯协议的描述和性能测试分析 ,表明所开发的工具的有效性     

基于OBDD的装配序列自动推理技术研究

根据从CAD系统中直接获得的产品装配模型的数据，来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证，实现了可行装配序列推理的自动化。通过对例子的分析，表明基于OBDD的装配序列自动推理技术是可行和正确的，它为装配体的装配序列的推理提供了一种切实可行的新方法。     

二部图最大权匹配的符号ADD算法

利用代数决策图ADD数据结构，在KM算法基础上，提出了一种二部图最大权匹配的符号ADD算法。该算法引入优先函数概念，将传统的匹配选择转化成布尔运算，“并行”地搜索匹配集合。实验结果表明：与传统算法相比，该算法可以改善问题的状态空间复杂度。