P2P仿真综述

随着P2P技术的飞速发展,出现了大量的P2P算法和协议,验证算法正确性和评价P2P系统性能的需求推动了P2P模拟器的发展.现详细介绍了几种常用的P2P模拟器,对其优缺点进行了评价.     

微机接口综合性实验教学内容研究

本文从哈尔滨工程大学计算机实验教学中心的实际建设情况出发，介绍了中心在硬件系列实验改革中的做法和探索，详细阐述了对于微机接口实验课程的具体改进和创新举措。     

启发优化平衡的网络拓扑模型

网络拓扑模型广泛地应用于网络研究中。幂法则提出以后,出现了一些符合幂法则的网络拓扑模型,但是这些模型没有充分考虑到底层节点的几何排列,针对这种情况,提出了一种改进的“启发式最优化平衡”网络拓扑模型,生成的拓扑图符合幂法则规律,且具有适当数量的叶子节点,更加接近互联网真实特征。     

框架结构平面局部开大洞的抗震性能分析

为保证结构的整体抗震性能,对某中学图书馆进行了结构抗震性能验算,并对结构的受力性能进行了有限元分析,提出了几点加强措施及注意事项,供同类工程设计参考.     

后压法双预应力混凝土梁施工工艺研究

双预应力混凝土结构又称为拉-压双作用预应力混凝土结构,是由预拉应力和预压应力混凝土结构组合而成的一种新型结构.由于工作性能上的优越性,目前越来越多应用于实际工程中.相对于普通预应力混凝土梁,双预应力混凝土梁的施工过程比较复杂,一些施工工艺尚在研究改进中.通过后压法双预应力混凝土试验梁的制作过程,对其施工工艺及注意事项进行研究.     

中国木结构建筑的发展现状及前景

该文简单介绍了木结构在我国的发展历史及目前国内外对于木结构建筑的应用情况,分析了木结构建筑的优势所在,同时结合国情说明了我国木结构建筑发展的巨大潜力并提出了一些木结构存在的问题及改进措施。     

三次采油用表面活性剂原料的生产和技术进展

现有的烷基苯生产中,符合生产三次采油用表面活性剂的烷基苯原料产量有限,难以满足三元复合驱大规模工业化推广的要求.综述了目前国内外烷基苯和高碳烯烃的生产和研究发展概况,介绍了国外工业上生产高碳烯烃所用的Gulf法、Ethyl法、SHOP法和Linde法等,指出这些工艺虽然比较成熟,可以用于生产符合三次采油用烷基苯的原料C14～18烯烃产品,但是生产的烯烃都存在一定的碳数分布规律,因此需要自主研发新型的生产方法或工艺.     

基于扩展Petri网的系统建模及形式化验证方法*

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。     

计算机专业硬件课程实践教学研究

本文深入分析了国内外几所典型大学计算机工程专业硬件课程设置情况,讨论了目前我国计算机专业硬件课程实践教学改革的方向和亟待解决的问题。     

C语言程序设计课程建设研究与实践

程序设计课程的目的在于提高学生的编程能力。为适应精英培养模式,培育创新性人才,提出进行C语言程序设计课程建设的一体化教学模式。一体化教学模式包含6个子系统:教师队伍建设、教材建设、教学网站建设、实验环节、网络助教建设和无纸化在线考试系统。利用计算机技术和网络技术搭建B/S结构的辅助教学平台,采用相似度匹配技术进行成绩评判。在长期的C语言课程教学活动实践中验证了一体化教学模式的优越性。