异构网络环境下的并行程序可达性测试算法

针对不确定性并行程序难于测试的问题,分析了并行程序消息传递行为与网格环境中网络性能约束之间的关系,在经典可达性测试算法的基础上,提出了新的限定性可达性测试算法,称为基于网络性能约束的可达性测试算法。本算法在考虑网络性能约束的基础上,只对发生频率高的执行路径进行测试,缩减了待测试路径的数量,提高测试效率,在此基础上尽可能保证测试的完全性。     

CuxS(x=1,2)纳米薄膜的异步脉冲超声喷雾热解法制备

采用改进的异步脉冲超声喷雾热解技术在玻璃衬底上成功地制备了CuxS(x =1,2 )纳米薄膜 .研究发现 ,所制备的CuxS薄膜为多晶态 ;薄膜的晶相结构依赖于CuCl2 ·2H2 O和硫脲的摩尔比及衬底温度 .XRD和XPS分析表明 :样品为纯CuxS(CuS ,Cu2 S) ,拉曼谱研究表明其峰位分别在 472cm- 1 (Cu2 S)和 474cm- 1 (CuS)处 .     

提高火星漫游车采样返回操作性能的技术开发与测试

本文阐述了在未来十年内，JPL为了支持火星采样返回计划所进行的一些研究工作。在介绍2003年/2005年的任务概要之后，评述了由远距离科学漫游车（LASR），采样返回漫游车（SRR）以及FIDO漫游车等三个配套研究项目所涉及的新技术，研究表明，小型漫游车在类似火星环境下所进行的操作试验中，改进了路径规划，导航，状态估计，测量以及遥操作等功能。     

积分时间和工作电压对焦平面探测器性能的影响

测试了采用某CTIA型读出电路的128元InSb焦平面探测器在不同积分时间和工作电压情况下的特性,分析了实验中遇到的一些现象,得到了使焦平面探测器综合性能较高的积分时间和工作电压的取值区间,为设计CTIA型读出电路提供了参考依据。     

基于XML的电子政务数据访问控制框架研究

为适应基于XML的电子政务数据访问控制，充分利用XML自身优势和特点，提出角色，操作和内容三为一体的访问控制模式并设计和模拟了该系统，对应用XML在电子政务乃至更广泛的应用领域提供安全有效的数据访问控制进行了一定的研究。     

CeO2空心微球的制备与表征

以PSA-A乳胶粒为模板,通过硫酸高铈和尿素的水解反应得到PSA/水合CeO2的核/壳结构的复合微球,通过煅烧除去乳胶粒模板得到立方相CeO2空心微球.CeO2空心微球平均粒径为450 nm～500 nm,由11.76 nm的小粒子堆积而成.考察了Ce4+、尿素、PVP的浓度,反应温度,PSA-A乳胶粒的加入量等实验条件对包覆效果的影响,通过FT-IR、XRD、TEM、SEM对样品进行了表征.     

模块化自重机器人控制

介绍了一种履带式模块化自重构机器人系统的构成,提出了分层分布式的控制系统结构,分析了控制软件的结构及功能。通过解析一个典型动作序列展示了自重构机器人系统功能扩展的特点。     

浅议数字档案载体

档案载体是档案信息存储的介质，它是随着社会文化的进步而不断进化的。探讨了数字档案载体在进化的过程中表现出信息容量和存储密度更大而寿命更短的趋势以及数字档案载体的保护。     

基于T-S模糊系统的鲁棒容错控制器的设计

研究了部分执行器可能失效的T-S模糊系统鲁棒容错控制问题。对于所给系统,给出了鲁棒容错控制器存在的一个新的稳定条件。在此条件下所设计的控制器,可使闭环系统渐近稳定。通过矩阵分解把系统的非严格矩阵不等式约束转化为严格矩阵不等式,可以直接使用LMI工具箱求解器,仿真例子说明了所给方法的可行性和有效性。     

惯性技术研究现状及发展趋势

基于惯性系统的运动信息动态精确测量技术是现代各类运载体制导与控制的基础,惯性技术是在各种复杂环境条件下自主地建立运动载体的方位、姿态基准的唯一有效手段. 本文介绍了惯性技术的发展历程和近年来国内外惯性技术发展与应用现状,阐述了惯性技术在主要领域的技术研究及应用成果,分析了我国惯性技术与国际先进水平的差距,展望了未来惯性技术的发展趋势.