一种基于类数据流的软件测试技术

提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .

Pvm并行调试器DPD中的时序处理

针对并行调试器中传统排序模型的缺陷 ,提出了一套改进的时序处理机制 .该机制是在调试系统中加入一个全局记录器 ,被调试模块在需要事件记录时向全局记录器申请一个全局序号 ,这样并行模块的事件就被自然地串行化 ,从而实现了并行程序时序的完全排序 .该方法大大简化了排序过程 ,给记录

大学助理班主任的工作与思考

随着社会的迅猛发展，高校扩招步伐加快，高校新生人数逐年增加。从思想到生活，大学新生问题也越来越复杂，这无疑加重了新生班主任的工作负担和工作压力。在这样的情形下，高校助理班主任制度应运而生。作为助理班主任，教师在工作的同时，能力得到了提升，更重要的是思想有了进步。文章从三方面加以阐述。

MIS的概念和开发

讨论了MIS的概念和开发方法,强调在开发过程中用软件工程的科学方法指导MIS开发的全过程,指出开发过程中出现的各种错误认识以提高MIS开发的成功率。

绥德县1996年-2008年布鲁菌病监测分析

通过对绥德县1996年-2008年畜间布鲁菌病血检情况的分析,得出绥德县从1996年暴发人畜间布病后,经过12年的艰苦防治,取得了一定成绩,畜间布鲁菌病阳性率明显下降。并结合人间布鲁菌病发病情况,提出今后布鲁菌病综合防控的建议。

高速小振动气体压缩机技术探讨

叙述了高转速对称平衡活塞式气体压缩机在设计、制造过程中需要采取的技术措施和对问题的解决途径。

浅谈山西省物联网发展现状及未来

物联网作为一次新的革命,具有不可估量的多重价值。它是互联网的延伸与扩展,是建立在网络基础上,通过相关技术和设备把物与物、物与人连接起来进行信息交互。结合我国物联网的发展现状,立足山西,通过对政府、企业、高校的探讨,阐述了物联网产业的发展现状和前景,旨在促进山西省加快经济转型,实现发展目标。

探索和研究CAD对机械设计的影响

随着社会生产力的快速发展,经济水平的迅速提升,CAD在机械设计过程中起到了不可忽视的巨大作用,现今CAD已被机械设计领域得到广泛的认可和应用。很大程度上解决了传统机械设计中难以解决的问题,从而大大的提高了机械设计的效率以及准确性。文章针对CAD在机械设计领域的优缺点进行分析,并对CAD在机械设计领域中的未来发展方向进行探索和研究。

石油机械连杆类零件的三维有限元分析

通过对石油机械连杆类零件有限元模型的分析，认为原来把连杆模型简化成平面应力问题进行计算有一定误差。指出在目前普遍使用３８６、４８６微机的情况下，应从三维角度考虑石油机械连杆类零件的有限元分析。以ＬＧＷＣ—２０／２５０空压机车用空压机连杆为实例，对连杆小端进行三维有限元分析计算结果表明，连杆在拉伸工况下，Ｘ向仲长，ｙ向缩短；在压缩工况下，Ｘ向缩短，ｙ向伸长；应力沿截面的分布是不均匀的，沿连杆厚度方向的应力σｚ、τｚｘ、τｚｙ，与平面应力σｘ、σｙ、τｘｙ数值都在同一数量级内，σｚ最大值高达１６．０７和－２３．１６ＭＰａ，显然是不可忽略的。

青海省被动式太阳能采暖方式调查

青藏高原是一个多民族聚居的地区,属于典型的高原大陆性气候,具有干燥、少雨、多风、寒冷、日照时数长等特征。被动式太阳能供暖是太阳能利用领域中比较简单实用、行之有效并且在经济上能与常规能源相竞争的一种应用技术。在民居建设中推广应用太阳能,对节约能源,保护大气环境,改善广大农牧民生活水平具有十分重要的现实意义。本文通过对部分太阳能应用实例的调查与分析,探讨适合高原藏区民居建筑的太阳能应用方式。

石油空压机车的压缩机气缸三维有限元分析

对试制的ＬＧＷＣ—２０／２５０型空气压缩机车的空压机气缸进行了三维有限元分析，得出了该空压机气缸的应力分布、危险截面及其对应的最大应力值，绘制了应力沿各典型截面边界的变化规律曲线，最后对该气缸设计作了综合评价。建议对高压气缸的安全系数应考虑稍大些，对现有阀座处的结构适当改进或在台肩根部采用圆弧过渡，以减轻应力集中程度。

青海省农村能源庭院生态模式技术应用

农村能源建设是农村环境保护和持续发展的重要工作内容,同时也是农村社会经济发展的物质基础和北方“两高一优”农业与“菜篮子工程”的重要措施之一。本文根据青海省的地域和气候特点,阐述和分析了青海省农村能源庭院生态模式的分类、应用、特点及建造技术加。

自适应约束下的双边全变差正则化超分辨率重建

在经典的双边全变差(BTV)超分辨率重建中,加权系数和正则化参数的恒定性导致重建结果边缘保持能力受限。为此,提出了一种自适应约束的BTV正则化先验模型。算法首先定义了图像的局部邻域残差均值以区分当前像素属于平坦区域还是边缘区域;然后针对加权系数的不变性导致边缘削弱的问题,利用边缘方向和垂直边缘方向扩散性的不同,设计自适应权重矩阵;最后根据代价函数的极值问题推导出迭代公式,从而进行图像的超分辨率重建,重建过程中采用自适应的方法确定正则化参数,以便求得代价函数的全局最优解,提高了算法的鲁棒性。实验结果表明:与双三次线性插值法和经典BTV算法相比,该算法取得了更好的视觉效果和更高的峰值信噪比,更多地保留了图像的边缘细节信息。

主焦煤矿顺层钻孔全长下筛管护孔技术试验研究

安阳鑫龙煤业主焦煤矿2302工作面为了提高瓦斯抽采率问题,在2302上顺槽施工顺层瓦斯抽放钻孔时采取了顺层钻孔全长下筛管护孔技术,预抽2302工作面区域内煤层瓦斯,提高瓦斯抽采钻孔的有效抽采时间和抽采浓度,达到了较好的抽采效果,为2302工作面安全回采奠定了基础。

地下长期蓄热太阳能蔬菜温室

地下长期蓄热太阳能蔬菜温室是不用任何辅助热源，完全依靠太阳能资源，采用太阳能供热的一种新型太阳能蔬菜温室。利用温室深层土壤在夏、秋季将太阳能蓄存，到冬季再向温室浅层土壤补充供热，提高温室浅层地温，改善温室中蔬菜作物的生长环境。地下蓄热增温是解决高寒地区冬季温室地温不足的有力途径。蓄热增温温室适于各类蔬菜的早春育苗，从而可以实现全年育苗和种植。

地下长期蓄热太阳能蔬菜温室

地下长期蓄热太阳能蔬菜温室党建国，凌栋宝０引言土壤中的温度分布是作物生长的环境要素之一。土壤温度可影响根系的生长发育和土壤中微生物的活动。在高寒地区作物越冬，除了要有适宜的空气温度外，还要有适宜的土壤温度。适宜的空气温度可通过构筑温室来实现，而适宜的...