国外推进剂与材料相容性试验方法标准概况

推进剂与材料的相容性是液体推进剂研究的重要内容之一。介绍了国际标准化组织(ISO)、美国材料试验协会(ASTM)、美国国家航空航天局(NASA)、欧洲航天标准化合作组织(ECSS)等机构的材料相容性试验方法标准。     

基于《绿色建筑评价标准》(GB/T 50378-2014)的出台,浅析绿色建筑发展的新趋势

随着绿色建筑的飞速发展,原有的绿色建筑评价标准已远远不能适用于当前的发展需求,《绿色建筑评价标准》(GB/T50378—2014)应运而生。《绿色建筑评价标准》(GB/T50378—2014)不仅对于绿色建筑评价的内容、方式、范围等做了修订,同时也明确地反映出了未来绿色建筑发展的要求和必然趋势。论文通过分析《绿色建筑评价标准》(GB/T 50378—2014)的亮点和创新,与《绿色建筑评价标准》(GB/T50378—2006)的改进和不同,分析我国新形势下绿色建筑发展的主要目标和必然趋势。     

一种新的二水平多因素系统两两组合覆盖测试数据生成算法

作者系统地研究了使用已有方法对二水平多因素系统（以下简称SM2）生成的两两组合覆盖的测试数据,针对已有方法对该具体问题效果并不理想的情况,利用组合分析方法,给出了一种新的SM2测试数据生成算法,与几种现有的方法相比,生成的测试数据具有数量少、效率高的优点.将其应用于Linux的一些源代码测试以及软件配置测试的测试方案设计,结果表明生成的测试数据具有较高的代码覆盖率和错误检测能力.     

一种基于程序可达图的并发程序依赖性分析方法

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.     

信息技术专业方向特点及其相关专业方向的比较

随着计算机软硬件及通信技术的发展,计算的概念发生了巨大的变化,已经拓展到难以用一个学科来定义的境地。教育部计算机教学指导委员会在回顾历史、分析现实、广泛调研和充分借鉴国际上计算机办学检验的基础上,提出了以“培养规格分类”为核心思想的计算机专业发展思路,从两个不同层面将计算机专业划分为四个独立的专业方向,即计算机科学(研究型)、计算机工程(工程型)、软件工程(工程型)和信息技术(应用型)。提倡各个学校应根据各自的情况和社会需求为学生提供不同类型(研究型、工程型、应用型)的教学计划和培养方案。人们一般对于计算机科…     

空气净化器净化性能测试方法综述

近年来,室内空气质量引起人们的广泛重视,空气净化器作为去除室内空气污染物的有效产品,逐渐进入万众家庭,而产品对污染空气的净化能力,成为消费者普遍关注的热点问题.本文调研了中国、美国、日本、韩国、加拿大等国家发布的空气净化器性能测试方法标准或技术文件,梳理总结出净化性能相关的测试方法,对评价内容和评价参数进行了比对.从科...     

基于CoFe2O4@C锂空气电池正极催化剂的研究

锂空气电池因其具有超高的能量密度从而引起了研究者们的广泛关注,但其研究处于初级阶段。其中找到合适的锂空气电池正极催化剂是目前研究的主要方向之一。通过溶胶-凝胶联合原位水热合成法成功实现了适用于锂空气电池正极的催化剂铁酸钴@科琴黑（CFO@KB）复合材料的制备。通过调整铁酸钴与科琴黑的质量比（1∶1、3∶1、5∶1、7∶1）,得到不同性能的CFO@KB复合物,并利用XRD表征其结构,发现本研究合成的铁酸钴为尖晶石型,且CFO@KB复合物仍然呈现其特征峰。当容量限制在180 mA·h/g（以电极材料计）、铁酸钴与科琴黑质量比为1∶1时,其复合物在锂空气电池中呈现出最好的限容循环稳定性和较高的放电截止电压。其充电电压和放电电压之间的电压差为0.2 V,小于现有相关文献中报道的值。     

ADA前途如何?——TRI-Ada''''96大会印象记

一、一般情况 TRI-Ada是由美国政府、学术界、产业界三方联合召开的、一年一度的学术大会。TRI-Ada’96于1996年12月3日-7日在美国东部费城召开。这次大会的主题是:“有纪律的Ada软件开发”(DisciplinedSoftware Development in Ada)。大会程序委员会主席A.Gargaro说:选定这个主题是因为整个世界都在关心着可靠而安全的程序设计。当年推动设计Ada语言的这个目标已经被其它语言所接受,商业界和工业界象政府一样,面临着软件的复杂性、可维护性和可靠性的类似问题。出席这次大会的有来自世界各国(大部分是美国)的Ada同行约600人。安排有大会特邀报告、技术报告和分会场报告。大会的三个特邀报告是:     

Ada分别编译及其实现

为了辨明并解决Ada语言分别编译所要解决的问题,我们实现了一个Ada分别编译模型,根据该模型,本文分析了Ada分别编译所需支撑设施,提出了一种实际可行的实现方案。