基于CSM面向对象程序测试用例的自动生成

为了保证程序测试的质量和降低测试费用 ,基于规格的测试方法越来越受到重视。在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法 ,同时引入动态域归约原理实现测试用例的自动生成     

动态协议转换器的构造算法

协议转换器能够解决异构、分布式计算机网络之间的通信问题。而当前的转换器在协议转换过程中都是被动的 ,也就是说它不能主动地发送一个信息来初始化一个转换。通过研究基于计时 Petri网的协议转换器的构造技术 ,提出动态协议转换器的具体构造算法。     

嵌入式实时数据库系统及其相关问题

嵌入式实时数据库系统（ＥＲＴＤＢＳ）的特性、与传统数据库系统的区别，并对今后值得重视和研究的问题进行了探讨。     

基于模型检验集成规划系统的机械装配序列规划

为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程.实验结果表明,该系统可以正确、有效地实施机械装配序列规划.     

快速解密且私钥定长的密文策略属性基加密方案

在保证密文策略属性基加密(CP-ABE)算法安全性的前提下,尽可能地提升其工作效率一直是密码学领域的研究热点。该文从作为CP-ABE效率核心的访问结构着手,首次提出基于简化有序二叉决策图(ROBDD)的访问结构,给出了相应的策略表示方法、用户可满足性判定;基于简化有序二叉决策图(ROBDD)访问结构设计了在算法时间复杂度、存储空间占用量等方面都具有较好表现的CP-ABE方案;在安全性方面,该方案能够抵抗用户间的合谋攻击和选择明文攻击。对比分析表明,ROBDD访问结构具有更强的表达能力和更高的表达效率;新的CP-ABE方案包含时间复杂度为常数阶的密钥生成算法、解密算法,能够为用户生成定长私钥并实现快速解密。     

云制造中策略可更新的去中心化访问控制机制

针对传统访问控制难以高效应对云制造因实体规模大、种类多引发的安全问题,提出一种基于属性基加密的访问控制机制。借助于通用属性和数据加密,该机制能够实现对大规模用户及潜在未知用户的批量访问控制。在该机制中,通过部署功能相同且协作支撑的多个授权机构,实现了具备可靠、稳定、高效等特点的去中心化系统框架;基于二叉决策图构造了功能完善的访问结构,以此为基础提出了具备快速解密、策略更新等功能的属性基加密方案,并进一步设计实现了相应的细粒度访问控制系统。理论分析表明,上述机制在安全性、功能实现及算法效率等方面表现理想。     

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

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

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

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

装配序列规划的一种改进蚁群算法

在当前的基于蚁群算法的装配／拆卸序列规划研究中,装配／拆卸序列都是在假设整个产品中 各个零件处于失重的情况下生成的,没有考虑零件稳定性,导致生成的序列不能完全反映工程情况。针 对这个问题,提出了使用扩展支撑矩阵来判断稳定性的思想;对蚁群算法的转移概率表达式、成本函数 及信息素更新表达式进行了相应的改进,建立了装配序列规划问题一种改进蚁群算法。实例仿真实验结 果表明:改进蚁群算法较之于已有的蚁群算法和遗传算法更为高效,所得到的解更具有工程意义。