运行状态下直接式太阳能系统集热性能测试方法

我国现有规范与标准中对太阳能集热性能的测试是在非正常运行状态的理想条件下进行的,以广州亚运会开幕期间投入使用的太阳能集热系统为监测对象,基于实测数据,针对运行状态下的直接式太阳能集热系统提出了集热性能的监测方法。     

广州亚运城媒体村生活热水管网系统数值模拟分析

针对广州亚运城媒体村复杂的低、高区供热水管网中的热量损失计算问题,在对亚运期间的部分运行监测数据深入分析的基础上,采用Aspen Hysys数值模拟软件的管网计算功能,模拟了媒体村供热水管网的热动力平衡过程,分析了不同入住率、不同环境温度等条件下管网的供水温度及压力的变化过程,可为相应的管网设计提供参考。     

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术

动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。     

涉密信息网络安全应用系统研究

针对网络化条件下涉密信息应用和管理中的保密需求,提出了一种涉密信息网络化集中应用模式,建立了相应的涉密信息网络安全应用系统框架,并对其体系结构进行了详细叙述,最后通过建立系统原型验证了该系统框架的可行性和实用性.     

水质分析与评价系统辅助准确把握水环境质量状况

本文首先阐述了水环境对人类的重要作用,然后简单介绍了水环境质量标准及其评价方法,最后重点讲述了水质分析与评价系统,以及部分评价方法的实现。     

水质分析与评价系统辅助准确把握水环境质量状况

本文首先阐述了水环境对人类的重要作用,然后简单介绍了水环境质量标准及其评价方法,最后重点讲述了水质分析与评价系统,以及部分评价方法的实现。     

浅谈多媒体在物理教学中的应用

正对八年级学生来说,物理是一门新学科,他们带着很强的好奇心和求知欲来上课。教师对此要精心设计,如果处理不好,就会使学生失去学习物理的兴趣。而学生在校学习的时间有限,又必须     

深切缅怀我国计算机网络的开拓者王行刚

王行刚同志是我国计算机网络的先行者,他不仅是我国第一台电子计算机(103机)等5台早期计算机的研制者,还是《中国计算机用户》的创始人之一。他的病逝,使我国计算机事业失去了一位领路人。同时,《中国计算机用户》也为失去这样一位良师益友而痛惜万分。在《中国计算机用户》创刊后的前10年间,王行刚与众多国内计算机界著名专家一道,组织了大量前沿技术报道,并以专题化的方式,及时、准确地反映了我国计算机领域的最新进展。尤其是在信息匮乏的年代,为推动我国计算机应用的发展,做出了卓越的贡献。王行刚先生曾任过《中国计算机用户》编委会副主任、编委会主任。今天,为了深切缅怀这位我国计算机界的老前辈,我们特约请曾经与王行刚先生一起工作和生活过的战友以及他的学生,撰写了一组《深切缅怀我国计算机网络的开拓者王行刚》的文章,以表达我们对他的敬意与缅怀。     

基于矢量化轮廓描述的海港区域船舶目标检测算法研究

一种好的轮廓信息的描述将有利于从包含舰船和码头在内的轮廓信息中直接区分码头和停靠舰船所形成的部分轮廓。在分析已有描述方式和应用需求的基础上,设计并实现了特定的矢量化轮廓的描述,进一步分析前后矢量的空间关系,可做出码头和舰船的判断。实验证明该方法对海港区域的舰船目标的检测是有效的。     

科学计算程序在FT64流处理器上的实现、优化和评测

流体系结构是一种适应VLSI工艺发展的新型体系结构,它是否对科学计算程序有效是一个广泛关注的问题。本文选取NASA并行测试程序集中的一个数据密集型程序MG,研究了 它在一个64位的面向科学计算设计的流处理器FT64上的实现和优化问题。在FT64上的实测表明,经过面向片上存储层次的优化,FT64能够达到与Itanium2处理器相当的性能。
。