逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

TRIZ理论与KANO模型的集成研究

在简单介绍TRIZ理论和KANO模型的基础上，建立了TRLZ理论与KANO模型的集成模型，给出了集成后的工作流程。讨论了基本质量与预期失效分析、工作质量与经典TRLZ工具、兴趣质量与直接进化理论之间的相互关系，以及三种工具与三种类型的质量进行集成的具体方法。     

绿色质量功能展开及其应用研究

为了满足顾客对质量、成本和环保的综合要求，需要在产品概念设计阶段充分考虑这三个因素。为此，本文在传统质量功能展开的基础上，将环境因素集成到质量功能展开，形成绿色质量功能展开方法学，并将其分为产品概念分析和最佳产品概念选择两个阶段。随后，给出了它的体系结构和功能展开的详细步骤。最后，以办公桌的质量功能展开为例，对其进行了验证。     

基于P2P网络的动态QoS多源多播模型

针对服务质量(QoS)约束的覆盖网络多播问题,提出了一个适合有多个数据源的多播模型。该模型中每个数据源不必维护一个以它为根的多播树,每个节点只需维护局部状态信息,多播信息以类似洪泛的方式传输。通过控制,信息的传输路径形成树型结构,多播树可动态调整来适应以不同源节点发起的满足QoS要求的多播应用。实验结果表明,该模型的节点多播覆盖率高,通过控制节点的子节点数,可使多播树的调整代价达到最低。     

关于半线性波动方程全局吸引子的存在性

讨论微分方程中半线性波动方程解的性质。给出了半线性波动方程的存在性,建立Ｃ°──半群,运用Ｈａｌｅ的可收缩理论,证明该半群存在全局吸引子。     

企业产品质量管理系统

为解决企业产品质量管理工作中存在的问题,更高效、便捷的执行产品质量管理制度,介绍了一套企业产品质量管理的信息化实施方案。采用面向对象的分析和设计方法,运用统一建模语言中的常用概念和视图建模,重点描述使用用例图、类图和时序图的开发过程,最后使用基于B/S的结构实现该系统。     

初等不等式的可读证明的自动生成

结合不等式的证明及可渎证明的自功生成这两个问题，以初等不等式及部分三角形不等式为研究对象，运用人工智能的技术，对目标不等式、条件及证明方法分类模型化的方法，实现了一个基于规则的逆向演绎系统，它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程，该系统可以移植到智能教育软件中。     

一种基于对等网络的云资源多属性区间查询算法

设计了n元属性组来描述云资源, 并为属性组中的每个属性都划分区间。为解决云资源的多关键字高效查找问题, 对不同属性的不同区间的任意组合都建立索引。针对云资源属性变动时导致索引更新时网络开销太大的缺点, 提出依据索引中属性的个数对全部索引进行归类存储。仿真实验表明, 在云资源的属性发生变动时, 该算法在更新索引时在网络中产生的信息个数是一个常数n, 数目远远小于其他的多关键字区间查询算法, 查找资源时网络开销不仅小而且稳定。     

基于结构化对等网络的云资源查询算法

为实现云计算中云资源的快速查询,针对资源查找过程中查询效率较低以及网络维护成本较高等问题,提出一种基于结构化对等网络的云资源查询算法,实现对待查询云资源进行快速有效定位。首先设计一种新型超级节点拓扑结构,对网络拓扑中各节点进行唯一性编码,构造二元组路由信息索引列表,并设计相应的路由算法;然后给出了分层象限超级节点算法的查询效率与稳定性分析。仿真实验结果表明,分层象限超级节点算法查询效率较高,且随着网络规模增加,查询路径长度趋于稳定,同时对于超级节点失效带来的网络维护成本较低。     

凸轮轴磨削误差及补偿分析

提出了凸轮轴磨削误差产生的原因,以及凸轮轴磨削误差的变化规律,从数学模型和软件仿真2个方面分析了凸轮轴磨削中误差的变化规律,提出了误差补偿的方法。通过该方法,可获得理想的凸轮轮廓和较高的表面质量。