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

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

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

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(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结构的三层模型架构实现了该系统。