硅粉对混凝土绝热温升的影响

为探讨硅粉对混凝土绝热温升的影响,配制了15组不同水胶比、不同硅粉掺量的硅粉混凝土配比试样作半绝热温升值测量,并通过热补偿法获得绝热温升值。结果表明:硅粉能降低混凝土绝热温升量,其中掺5%硅粉降低绝热温升值1.8~7.3 ℃,掺10%硅粉降低绝热温升值3.3~10.2 ℃,绝热温升降低程度受水胶比的影响;硅粉能在要求相同强度情况下显著降低混凝土绝热温升值。基于硅粉混凝土绝热温升值结果,通过回归分析获得绝热温升值预测式,并绘制了硅粉混凝土绝热温升值设计图,可供从事混凝土温度控制的技术人员参考。     

高校开放式实验教学管理系统

实施开放式实验教学实践, 鼓励学生开展个性化学习、自主性学习, 有利于提升大学生的自学能力和探索能力。设计并实现了一个基于ASP.NET的高校开放式实验教学管理系统, 它以开源系统FrameWork为底层平台, 实现了实验预约管理、实验课程管理、实验室管理等上层应用功能, 设计了完善的预约时间约束检测和可视化预约工位的动态生成算法, 可满足开放式实验管理的复杂需求, 具有较高的实用价值。     

基于C#语言的程序合约动态抽取工具

文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程,包括变量轨迹的提取和动态检测思想.针对二元关系和三元关系的检测原理和实现过程进行了详细的描述.实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能.     

基于Java建模语言的不变量检测工具

结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用。分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程。阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题。