用太阳能加工果蔬技术获突破

农业部规划设计研究院承担的科研项目“混联式太阳能多功能果蔬干燥成套设备”和“生产型高效太阳能集热厢式果蔬干燥房”通过了专家鉴定。专家认为．这两项成果符合我国节能减排战略的要求．适应了农产品加工业发展的迫切需要：在技术上属于国内首创。达到国际先进水平。     

虚拟车间动态重构模型的研究

阐述了敏捷制造模式下，车间的功能除了具有常规的生产管理和控制功能外，还具有实现单元动态重构的功能和通过网络对外合作的功能。在分析了虚拟车间动态重构的系统的关键技术的基础上，提出了基于多代理机的虚拟车间动态重构模型，讨论了Ａｇｅｎｔ之间的协商机制。     

物联网通信技术课程建设研究

针对物联网工程专业通信与计算机网络教学领域存在的问题,分析建设物联网通信技术课程的必要性和课程特色,阐述课程知识体系,介绍课堂教学环节和实践环节的规划。     

AnyQuery:网格环境下基于服务的分布式查询处理系统

AnyQuery是一种适用于网格环境、基于服务的分布式查询处理系统，使用统一的数据格式（可扩展标记语言）来表示和传输数据，所有组成模块以网格服务的形式实现，网格服务之间通过标准的接口进行通信．这种接口和实现分离技术屏蔽了不同数据库及其运行节点的差异，为用户提供一致的虚拟关系数据视图和分布式数据查询支持．在分析和研究已有的并行数据库和分布式数据库查询技术的基础上，AnyQuery提出和实现了一种适用于动态网格环境的分布式查询计划生成和执行算法，该算法能够根据网格环境中各节点及其连接网络的实际情况确定查询计划，支持跨数据库的连接查询．基于Globus 3．0开发了AnyQuery的原型系统，性能测试表明该系统具有较好的可扩展性，尤其适合计算密集型的复杂查询．     

ASCruiser：一个P2P实时流媒体服务监控系统

监控是P2P系统的一个重要组成部分。本文设计了一个用于实时流媒体服务的监控系统，它采用邻近原则构建一个控制层次树对监控数据进行分散采集、逐层汇总，具有扩展性能好、网络开销小等特点，并实现了对Anysee＋＋系统的监控。     

基于SAML的图书资源联合身份访问控制机制

针对目前图书馆电子资源传统访问控制机制存在的缺陷，本文提出一种基于SAML规范的联合身份访问控制机制。该机制能够实现单点登录、保障身份认证的强度和保护用户的隐私，从而能够满足用户、管理员、分布资源和服务提供者的要求。     

敏捷制造单元动态重构研究

重构是实现敏捷制造单元的关键技术之一。本文首先给出了敏捷制造单元的定义 ,然后明确了敏捷制造单元重构的必要性 ,接着对敏捷制造单元重构问题进行了深入的分析 ,明确了重构问题的实质是制造资源的选择和组织问题 ,在此基础上提出了一种基于整数规划和排序聚类的重构算法 ,最后 ,用实例对算法加以验证     

一种改性HTPB固体推进剂的流变特性及其3D打印成型

快速发展的增材制造技术为固体推进剂传统浇注成型的柔性化、适应性差等问的解决题提供了有效途径。传统热固性固体推进剂的流平性好，无法逐层沉积成型。因而，为实现热固性固体推进剂的3D打印成型，本研究对其液相组分进行了改性，通过添加少量定型助剂共混改性端羟基聚丁二烯（HTPB），制备得到改性HTPB固体推进剂，并对其的流变特性进行了研究。结果表明，共混改性使黏合剂黏度、表观黏流活化能升高；改性HTPB固体推进剂流变特性符合Herschel-Bulkley方程，且流动性随温度升高而提高；同时，改性HTPB固体推进剂在室温下具有较高储能模量（＞10⁴ Pa）以及较小的损耗角正切（ω＜10 rad·s^-1，G″/G′＜0.5），整体不呈现流动性，且少量定型助剂对推进剂的热分解行为没有产生显著影响，实现了改性HTPB固体推进剂的3D打印成型。     

基于UML的嵌入式系统模型验证机制的研究

随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。