可信软件结构及代码的审查和综合评估及支持工具

随着中国软件产业和信息化建设的快速发展,软件产业呈现出多元化的趋势,各种软件产品的开发无一不迫切需要建立规范、有效的软件测试体系,以保证其软件产品的质量和开发效率。特别是对于我国正处于初创和发展阶段的大量中小型软件企业和组织,尤其迫切需要一套简明实用、价廉高效、     

关于建立检验检疫业务代码维护系统的研究

近年来,检验检疫行业不断加快信息化建设步伐,在全国推广应用的业务系统达30余个。系统的应用对提高检验检疫业务运作的效率和服务水平,加快口岸通关速度、服务外经贸发展等方面发挥了重要作用。但是,随着新的业务管理系统的不断开发和旧的业务管理系统的不断升级,出现了各自为阵、重复编码、错误编码、标准规则不统一等比较严重的现象,     

覆盖律解释与意向性解释

在社会科学的解释模型中，意向性解释诉诸人的信念、期望等目的性因素；覆盖律解释旨在寻找规律。本文通过辨析这两种不同主张的根源，试图说明意向性解释与覆盖律解释的不同源于对社会科学本质的不同理解，以逻辑经验主义的科学观为平台使得覆盖律解释的努力失败，弥合意向性解释和覆盖律解释的分歧的可能性来自于突破逻辑经验主义的局限，重新看待社会科学的本质。     

新型镁合金覆盖剂熔体物性的研究

本文研究了传统的RJ 2号熔剂及德国ElrasalB、ElrasalC三种配方的镁合金覆盖熔剂的物理性能 ,包括粘度、密度和表面张力。通过对这些物理性能的检测和分析 ,不断调整覆盖剂主要成分间的比例 ,同时加入了LiCl、CaCl2 和无机化合物等辅助成分 ,最终研制出一种新型的镁合金覆盖熔剂 ,更好地满足了镁合金熔炼的需求。     

留茬免耕秸秆全程覆盖耕作新技术

干旱严重地影响着农业的发展。黄土高原土层深厚,自然降水保蓄率高,这为水分的余缺调剂提供了可能。“留茬免耕秸秆全程覆盖耕作技术”把降水保蓄率提高到50％～65％,冬小麦增产58％,春玉米增产72．6％,苹果增值500元。在农业增收的同时,该项技术还具有优化农田生态、防止水土流失、沙尘暴,解决土壤肥力递减等功能。该技术现已解决了覆盖条件下品种选配、病虫杂草防治、施肥播种机具研制等问题,形成了一个较为成熟的防旱抗旱耕作栽培新技术。     

地面数字电视覆盖传播模型的探讨与实践

本文通过实例详细论述了地面数字电视覆盖模型的建立与设计,并通过实际的覆盖测试证实模型及插值近似方法的可行性,同时就数字地面电视的覆盖测试方法及测试数据的转换进行了探讨,为地面数字电视的覆盖规划和测试提供了可借鉴的方法。     

复合型灰场覆盖剂

复合型灰场覆盖剂是吉林省电力科学研究院博士工作站与大连海事大学环境科学与工程学院研究人员针对我国火电厂灰场普遍存在的扬尘污染难题，经过理论研究和工业性试验开发出的一种高科技产品。该产品于2001年获得国家发明专利授权（ZL 110300．8）。     

被绿色覆盖的日本

正鸟瞰日本国土就会发现,它好像被一大块碧绿色的布覆盖。据联合国2003年人均绿化面积公布显示,日本人均绿化面积达到了4000平方米。日本37.77万平方千米的土地,近七成竟被森林覆盖。自古以来,日本人拜森林为神。树木和森林对日本人精神价值观的形成有着深刻的影响,并     

科学解释与科学理解——重思亨普尔覆盖律模型

根据一种传统的观点,科学的目标是解释而非理解.然而,包括爱因斯坦和亨普尔在内的许多著名科学家和哲学家都认为科学的目标是理解.但一些人坚持认为,即使这些著名科学家和哲学家用到"理解"这个词,他们只是随便一说;"解释是科学的目标"才是他们严肃认真的看法,至少对于亨普尔是如此.本文反驳了这一观点,探讨了"科学的目标是理解"这...     

双膜覆盖精量播种机的中试与示范

承担单位：新疆科神农业装备科技开发有限公司主持人：王士国1科技成果转化的主要内容（1）对双膜覆盖精量播种机进行改进提高和系列化设计,优化产品结构,提高产品的作业性能和对不同土地条件的适应能力和工作可靠性,     

全膜覆盖双垄面集雨沟播技术

由甘肃省农业节水与土壤肥料管理总站实施的“半旱地区集雨节灌技术集成”项目,探索和创新了全膜覆盖双垄面集雨沟播栽培技术,该技术获甘肃农牧渔业丰收二等奖和省科技进步三等奖。     

空气调节系统的空气处理方案

通过回风式空调系统的空气处理方案研究，使空调系统的使用更加节能降耗。     

月球全球导航卫星系统星座分布的优化设计

本文讨论了类地行星全球导航定位星座空间构型设计的原则,初步对月球全球导航卫星系统星座的分布构型进行了分析设计。讨论了月球导航星座空间分布的卫星覆盖特性与导航定位性能,评估了最佳星座设计,本研究可以为将来建立月球导航卫星系统提供星座设计参考。     

整定计算系统多套定值方案研究

本文研究提出了一种基于运行方式的多套定值方案：将运行方式进行归类,把可以兼容的或者说定值变化较小的归为一套定值方案,在系统中提前计算多套定值方案,存储到保护装置的固定区域不同定值区中,当运行方式发生变化后相应的切换到对应的保护定值方案,通过故障信息系统实现定值的远程下放与定值区的在线切换。文中详细介绍了这一方案,并从系统目标、流程和功能方面介绍了实现方法。本系统已经在多个地区进行了实验验证,证明了该方案的可行性。     

英语口语计算机考试系统的设计与实现

英语口语计算机考试系统采用先进的B／S／S的J2EE电子商务架构和C／S相结合的开发模式设计实现。文章首先介绍了系统的设计背景及新颖的口语考试模式,接着阐述了系统的体系结构设计和功能设计,最后介绍了系统的技术特征和实施的意义。系统的应用提高了工作效率,加快了英语口语考试的改革与发展,取得了良好的社会效益和经济效益。     

HYOSS中计费系统的设计与实现

OSS(Operation SupportSystems,运营支撑系统)是电信业务开展和运营时所必须的支撑平台.而计费系统,则是OSS中最重要的系统之一,它的有效性和灵活性直接关系到运营商和客户的利益.     

宁煤集团太西热动力站接入系统方案研究

大容量冲击性负荷接入系统容易对电网稳定运行造成不利影响，本文针对宁煤集团太西热动力站的负荷性质，根据接入系统电压等级的不同，分别以11OkV、35kV和6kV与系统相连接的情况作为三种接入系统方案，并从短路电流水平，对电网及电气设备的影响等方面对三种方案进行了详细的对比分析，给出了本工程接入系统的合理方案。     

绩效评估方案在高校科研管理中的应用

科研水平的高低和实力强弱成为衡量一所高等学校办学水平的主要标志。本文从高校建设教学研究型大学的定位出发,通过分析我国高校科研管理的特点以及存在的部分问题,阐述科研绩效评估对科技人才的激励作用,以及推动学科建设的重要性,进一步证实高校科研绩效评估是提高高校科研质量和经费效益的重要手段。     

水文年鉴数据综合分析系统的设计及实现

摘要：水文年鉴中的数据是离散的,但各项目之间又有关联。本文介绍了根据水文测验、整编、刊印等规范、结合人工分析水文数据经验,运用计算机技术,采用正则表达式的全面模式匹配检查年鉴中的数据,利用字符串形式提取、编辑、替换或删除快速分析、检查所有水文数据,实现对水文年鉴中数据进行合理性综合分析的功能,提高水文年鉴数据质量。     

基于供应链的对虾可追溯系统的设计与实现

以对虾产品为研究对象,分析了对虾从养殖、加工、库存到运输、销售的供应链全过程,以条形码和RFID技术为标识,并结合GS1系统的EAN．UCC编码体系,同时采用B／S结构,利用Visual Studio．net面向对象的集成开发环境和SQL Server2000关系数据库技术,实现了基于．NET构架的对虾可追溯系统,建立了从养殖到销售的全程质量监控和追溯。