基于UML状态图的C/S模式软件系统的一致性测试例生成

C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难.使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例.该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本.     

矿井地基支护的防护与质量控制

矿井的地基及其支护的防护,对于整个矿井的安全防护而言,是最为关键的。而在矿井建成后的质量控制,也是非常重要的。为了加强矿井的安全,对于地基支护的防护以及质量控制无疑成为了首要问题。本文主要阐述了如何进行矿井地基的支护防护以及质量控制。     

谈运用工程经济分析方案降低施工成本

本文论述了运用工程经济分析进行施工成本控制的方法, 为降低施工成本提供了真实、准确、全面的依据.     

面向边远地区内容分发的DTN密钥管理方案

边远地区内容分发系统由卫星及便携终端混合网络组成,针对其中的特殊DTN环境,以及现有密钥管理方案不适用的问题,提出了一种新的密钥管理方案。利用系统中卫星网络接收服务器为用户颁发数字身份证,用户产生密钥对并将其与数字身份证绑定产生盲数字身份证,从而进行身份验证及公钥获取。在验证数据中加入密钥生存期,实现了用户密钥定期更新并且可以防止对公钥获取进行的重放攻击。分析了该方案的安全性并与其他方案进行了对比,分析表明该方案达到了安全性需求并适用于卫星及便携终端混合网络内容分发的DTN。     

纸蜂窝复合外墙板热工性能及节点构造研究

以阻燃纸蜂窝板为芯材,以发泡陶瓷保温板和硅酸钙板为复合保温层,以彩色压型钢板或铝板为面层材料开发了新型纸蜂窝复合墙板,其最大传热系数为0.44 W/(m2·K),满足寒冷地区节能65％的要求.结合纸蜂窝复合外墙板特点,提出“凹槽卡口式”、“斜边企口式”等节点构造,这些构造可操作性好,并且满足外墙节点安全、保温、防水等功能要求.     

分布式远程教育资源网的设计及通信机制

远程教育是互联网中的重要应用,分布式的资源组织模式与大范围的教育受众覆盖是部署实施的关键。该文通过分布式资源网以实现资源共享,给出资源发布的通信过程和方法,研究了提高资源同步效率的端系统组播机制,设计了兼容IPv4和IPv6的 IPDVB传输系统,用来满足向卫星接收终端用户递送资源的需求。     

浅谈我国住区规划的演变及发展趋势

本文通过对我国住区规划的演变和发展趋势,提出了现在对于住区规划要着重策划,规模上应有小型倾向,同时要注意道路交通组织等问题.     

从日韩乡村建设中看新农村建设的文化生态保护

在可持续发展框架下充分理解文化生态保护的现实意义是加快乡村建设的重要问题。本文从日本和韩国的成功中获取启示，分析日本乡村特色建筑的营造和韩国村民文化教育，结合新农村建设中存在的问题，提出相应的建议，促进新农村建设发展。     

基于小波变换与自回归模型的网络流量预测

本文提出一种基于小波变换与自回归模型的网络流量预测方法，将流量数据构成的原始序列进行小波分解，并将分解得到的近似部分和各细节部分分别单支重构到原级别上；对各个重构后的序列建立自回归模型，由所拟合的模型分别进行预测；结合各个重构后序列的预测结果，可以得到对原始序列的预测结果。实验结果表明，这种方法比传统的几种网络流量预测方法具有更高的预测准确度。     

浅谈现代化城市的生态环境建设

在快速发展的现代化、工业化过程中，城市化水平在不断提高，人们对城市生活环境的质量也提出了更高的要求。要求我们具有生态的意识观念，并将其贯穿到科学的规划设计中。现代化的城市建设必须为人们创造优化宜人的生存环境，一切都要从环境及其相关问题来思考，一切都要为人、为社会服务。本具体从三个方面探讨了城市生态环境建设的规划设计，并提出了应该注意的问题。‘