汉口中山大道沿线更新改造规划

本文结合新时期旧城更新改造的工作重点，对汉口中山大道旧城更新改造中存在的问题进行了评述，对中山大道沿线武胜路至江汉路地段未来的发展进行了规划预测和经济分析．并针对现状存在的问题提出相应的政策建议。     

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

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

一种基于对等网络的云资源定位算法

提出用分布式哈希表(DHT)为每台云服务器产生一个唯一的节点编号,该编号作为网络拓扑结构、检索信息存储和信息查询共同的标志符,从而形成一个适合分布式计算的结构化P2P覆盖网.设计了新的拓扑和路由协议来解决云资源的常数跳定位问题.仿真实验表明,经典的P2P算法平均查找跳数与网络规模成正相关,无法依据云计算的实际需要人为地控制查找跳数;该算法的平均查找跳数与网络规模无关,随着网络规模的增大而趋向于设定值,可以解决云资源的常数跳定位问题.     

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

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

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

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

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

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

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

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

企业产品质量管理系统

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

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

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

我国加入WTO后先进制造技术发展的形势和应对策略

对先进制造技术(AMT)的概念和重要性进行了介绍和讨论。针对加入世界贸易组织(WTO)后我国先进制造技术所面临的机遇和挑战，提出了应对策略。