装配序列规划问题的Benchmark生成算法

装配序列规划本质上是一个NP组合优化问题,由于缺乏Benchmark,使得研究者在提出装配序列规划算法时难以对算法的优劣进行衡量.针对该问题,借鉴索玛立方体中将若干单位立方块组合成不同几何体的思想,在主要由连接矩阵和干涉矩阵构成的装配体模型表示法的基础上,设计了自动生成装配体和提取其模型数据的算法,并通过实验证明了算法的正确性.最后利用Matlab编程开发了该Benchmark自动生成系统,可以为装配序列规划算法提供有效的输入数据,进而对算法进行评价.     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

基于ALC的事例库结构及检索研究

为了提高基于ALC的事例检索的效率,通过概念距离及LCS推理给出了索引节点密度大且带权重的事例库层次结构,实现了事例更细致的分类及统一概念距离的语义。根据该结构的组织方式、LCS概念及概念距离给出了事例筛选及相似性度量算法,证明了通过事例筛选得到的候选事例集明显减小,采用相似性度量算法能得到合理的候选事例序列,从而提高了基于ALC的事例检索的效率。     

一类具有“开端”结构的安全协议分析方法研究

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法.     

“知识表示与知识推理”知识体的教学设计

知识表示与知识推理是智能信息处理的基础,在计算机科学和人工智能的众多领域有着广泛应用。知识表示与知识推理的教学,在CC2001和CS2008给出的计算机科学知识体中占据了两个知识单元的位置,但在国内尚未得到足够重视。本文首先阐述将知识表示与知识推理作为一门课程进行教学的必要性;接下来以CC2001和CS2008为参照,给出一个32课时的"知识表示与知识推理"教学知识体;最后对教学实践中遇到的主要问题进行分析,并针对这些问题提出相应解决对策。     

离散数学教学中的计算思维培养

作为一项重要的教育理念,计算思维得到了国内外科学界和教育界的广泛关注,相应地对计算机专业的人才培养提出了新的要求。本文分析了计算思维培养与离散数学教学之间的内在关系,在此基础上分别从课程引入和课程教学两个阶段探讨如何将离散数学教学与计算思维培养有机地结合起来。通过案例,着重论述了如何将抽象和自动化这两个核心思想贯穿于整个教学过程,以及如何根据所讲授的知识点适时地引入计算思维中其他基本概念和思维方法。     

“离散数学”中的OBDD案例教学研究

"离散数学"是计算机专业的核心课程,是研究计算机科学的数学理论基础。有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描述布尔函数的一种新的有效的数据结构。文章提出在课本知识的讲授过程中,引入OBDD来解析离散数学在计算机专业其他学科中的具体应用,加深学生对所学知识点的理解,并激发学生的学习兴趣和创新能力,从而引导学生充分认识离散数学在计算机专业中的重要作用。这对于提高"离散数学"课程的教学水平和质量,以及学生对后续课程的学习和今后进一步的科学研究均具有现实意义。     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

两层和三层Client/Server结构的分析

介绍两层和三层客户／服务器结构，分析它们各自的优缺点，以及对重用的难易程度和开发阶段进行了比较，以便对给定的项目进行结构的适当选择。     

基于免疫算法的装配序列规划问题求解

针对装配序列规划问题提出了一种模拟生物免疫系统的免疫算法,并给出了亲和力计算、抗体生成、免疫选择、记忆细胞更新等的具体实现方法.实例仿真结果表明,免疫算法在装配序列规划问题的求解中充分体现了免疫系统的多样性、免疫自我调节、免疫记忆和分布式并行等特点.免疫算法较遗传算法具有更强的全局搜索能力和更快的收敛速度,有效地改善了全局收敛性能和收敛速度.