制导工具系统误差估计的新方法

把制导工具系统误差与外弹道测量的系统误差一并考虑 ,建立了一个能同时估计制导工具系统误差和外弹道测量系统误差的数学模型 ;对环境函数的精确计算、制导工具系统误差模型对制导工具系统误差系数估计精度的影响进行了深入研究 ;最后用非线性回归模型的参数估计理论给出了制导工具系统误差系数与外弹道测量系统误差的估计及估计的精度评定 .     

传感器系统误差与目标航迹的分布式估计

精确估计传感器的系统误差, 对提高整个跟踪系统的性能具有十分重要的意义. 已有的研究方法一般是把系统误差加到状态向量中形成扩维状态向量, 利用Kalman滤波进行估计. 由于这种方法计算量很大, 许多工作致力于研究状态向量和系统误差的解耦问题, 但均未实现系统误差的分布式估计和解决计算量问题, 且无法真正实现分布式航迹融合. 考虑了传感器测量有系统误差时的多传感器分布式航迹融合问题, 实现了状态向量和系统误差的解耦、系统误差的分布式估计与分布式航迹融合. 仿真结果表明此方法能给出精度较高的系统误差和状态向量估计.     

弹道数据处理的融合算法

在多站定轨理论的基础上,从分析单个信源对定轨精度的影响出发,建立了偶发性系统误差辨识模型,提出了更好地融合多信源的有效信息,避免偶发性系统误差污染的方法原理。结合实际工程任务,将所研究的方法进行了应用,实际与仿真结果表明此方法可靠,有效,成功地诊断出在某些信源下的显著系统误差,大大地提高了飞行器定轨的精度。     

星敏感器高精度星点提取系统误差分析及补偿方法研究

星点质心位置提取系统误差是影响星敏感器姿态测量精度的重要因素, 从理论上提出这种误差的来源、大小和物理机制, 能够为进一步提高星敏感器精度提供有效的帮助.根据星点质心提取的物理过程, 分析误差的来源和大小, 利用频域分析方法, 从采样频率限制及采样窗口限制2 个角度出发对星点图像亚像元质心提取系统误差进行了理论分析, 导出了亚像元质心提取系统误差的解析表达式, 得到该系统误差与像点高斯半径、像点的真实位置及采样窗口像元数量的函数关系, 并在此基础上提出了以像点高斯半径为参数的误差补偿方法. 研究表明, 在进行了误差补偿后, 像点高斯半径在0.2~1.4 像元范围内, 3 像元窗口质心提取残余误差小于2×10^-3像元, 而5 像元窗口质心提取残余误差小于2×10^-4像元.     

吸气式空空导弹FADS系统设计

分析了吸气式空空导弹FADS系统设计面临的关键技术难点及设计流程.针对吸气式空空导弹大长细比布局、高机动、大攻角和低成本控制等特点,提出了一种高精度、多点故障诊断、容错和可抗大过载的FADS系统设计方法.主要包括基于压力模型、分层诊断和多模型重构容错策略的求解算法设计、系统误差模型设计、高精度和抗大过载压力测量模块设计、以及解算机模块设计等.针对某典型吸气式空空导弹外形设计了9个测压点布局、飞行马赫数2.0~4.5的FADS系统原理样机,在1.2 m×1.2 m超声速风洞完成原理样机的实时解算试验,试验结果表明:静压测量相对误差≤6.9%,马赫数测量误差0.1,攻角和侧滑角的测量误差均1°.重构模型的测量误差接近基准模型的误差;算法诊断故障点数≤3,故障诊断的范围是P1点的偏差≤-20%或≥40%,P2~P9点的偏差≤-30%或≥30%,算法具有≤2故障点的容错能力.系统的测量误差水平、故障诊断和容错能力均能满足工程要求.     

数据库技术在现代应用中的发展

随着现代应用领域的不断涌现，传统的数据库技术已不能满足现代应用的需求。本文给出了现代应用的一个范围，并分析了现代应用的复杂性，动态性，时间性，主动性，可靠性等特点，在此基础上讨论了数据库技术在现代应用中发展，最后，我们对面向现代应用的新型数据库做了简单的划分和介绍。     

基于新的树编码方式用免疫遗传算法解决DCMST问题

本文提出了一种新的树编码方式，可以方便地表达一棵树，简化了树在遗传算法中的编码表达。且新的树编码方式清楚地表达了边的信息，有利于疫苗的设计。此外，本文使用免疫遗传算法，有效地克服了传统遗传算法中解退化的现象。数值实验表明，解的振荡相对于传统遗传算法减小了，且收敛速度更快。     

神舟飞船空间交会自主控制技术与工程实践

针对交会对接近距离导引自主控制，分析了关键技术、飞行阶段划分和关键控制点的设置，研究了各飞行阶段的控制策略和相对测量方案，简述了人控交会对接方案，并给出了交会对接任务近距离导引的实施情况，验证了设计的正确性．     

基于对象的协同计算模型

提出了一个支持ＣＳＣＷ系统构造的协同计算模型，它将一个协同系统分为若干层次，每一层由相关构件对象组成，通过对象链接机制，连接多用户的相关对象，实现了应用独立的多层次协同。模型使系统获得了细粒度的协同感知和结构化的协同关系，提高了协同效率，方便了协同系统的开发。     

远程证明方法的研究综述

远程证明方法是可信计算理论中一个重要的组成部分，本文追踪该领域的最新发展方向，重点剖析了四大类远程证明模型，并就其优缺点做出了详细的分析，横向上对所有模型进行了比较，从而进一步得到了现有远程证明模型的不足，展望了其未来的发展方向，为该领域的研究奠定了很好的基础.     

我国土壤微生物学和生物固氮研究的回顾与展望

论文简述了土壤微生物在地球化学循环中的巨大推动力，以及在农林牧业持续发展和人类生活、健康中的重要作用；介绍了19世纪中期土壤微生物学诞生的时代背景及辉煌发展。新中国成立后，受党和国家的重视，在少数几位先驱者的推动下，迅速在全国范围开展了土壤微生物学教学和科学研究，取得很好成绩。文革期间，我们的工作停顿了，而此时的西方国家该学科正迅速发展，取得很好突破性成果。文革后国家给予了应有的支持，20多年来开展多方面研究，取得可喜的成绩，个别方面走在了国际该领域的前沿，但从整体看，差距明显，主要是力量薄弱，资金乐足和整体水平低。论文提出了学科发展的方向和建议。     

近现代中国农业科学技术发展回顾与展望

本文回顾了近现代中国农业科学院技术发展的历程，阐述了中国农业科学技术发展取得的成就，总结了半个世纪以来中国农业科技进步的主要特征，对21世纪中国农业发展前景进行了分析展望，作者认为，坚持共产党的领导，走社会主义道路，中国才结束了积贫积弱的历史，才实现中国历史上最广泛最深刻的社会，才使中国人民掌握了自己的命运，中国基本解决温饱问题，支撑现代化建设两步走战略目标的提前实现，一个很重要的因素就是科学技术取得长足的进步，对农业、农村发展做出了重要贡献，21世纪，中国农业担负的任务要比改革开放20年来解决温饱进入小康更为繁重，这是中国现代化进程中最艰巨的历史性任务，科学技术的跨越发展将为21世纪中国实现农业现代化发挥决定性的作用。     

串行生产线模型及面向拥塞的自适应路由算法

串行生产线，可描述成极大代数下的一个线性系统，这个模型也适用于ATM及其他基于速率的通信系统. 针对基于速率这一特点，采用周期输入作为系统的控制方法，讨论了系统的利用率、稳定条件和阻塞情况, 并以此为基础，设计了一个算法，把路由选择、资源分配和流量控制集合在一起构成一个闭环结构，真正地实现了自适应，从而解决了网络拥塞和资源利用不平衡的问题，并有效地控制了抖动.     

用P-adic数域上椭圆曲线构造密码的可能性

提出了基于ρ进数域上的椭圆曲线的有理点群的商群的密码系统，这种密码与基于有限域上的椭圆曲线密码相比，增加了新的加密参数，在倍乘运算等方面具有优越性，且有相同的安全强度，给出了密码群的生成元的选取方法，通过建立这种商群的元素与其坐标近似值的一一对映应关系，解决了ρ进数域的椭圆曲线商群元素有限表示问题，并且给出了在此近似表示下商群的运算方法。     

工程设备索赔的系统分析方法

文章对工程建设项目中因工程设备不能满足合同要求，业主向工程设备的供（施工）方提出索赔的原因和方法进行了研究，用系统分析中的层次分析法（AHP）对工程设备的价值进行了分析，提出了工程设备基本价值因素的概念，在此基础上指出了签订合同时应注意的事项，对索赔事件进行了分类并研究了它们的特点，给出了进行工程设备索赔工作的程序框架，为业主进行工程设备索赔提供了理论依据和分析方法。     

基于价格协调的供需链宏观水平调度问题

供需链作为整体参与市场竞争要求企业能够相互协调，以达到全局优化．研究了一种针对按订单生产的汇集型供需链的协调优化方案，提出了组合订单竞争策略，建立了宏观水平调度模型．该方案通过松弛企业之间的交货期约束把供需链按企业分解为独立的子问题，从而可以使企业在协调中心的指导下，按照局部信息进行分布式决策，从而对试探订单进行分配，对合同订单进行调度．方案中对偶问题的优化是关键的理论技术，定义了广义对偶函数和广义代理次梯度，提出了一种不依赖于任何先验知识的变直径广义代理次梯度投影算法，并给出了算法的收敛性和收敛效率的证明．仿真算例结果表明，价格实现了收敛，订单分配和优化是合理的．     

一种基于复杂系统观的效能分析新方法:单调指标空间分析方法

根据复杂系统的整体性、非线性、不确定性、开放性等特点，提出了一种新的效能分析方法：单调指标空间分析方法，并应用其于一反隐身防空信息系统的效能分析．论文首先提出了指标单调性公设，单调指标空间，单调指标需求轨迹，总单调指标需求轨迹，模糊单调指标需求轨迹等概念．然后提出了单调指标需求轨迹生成的一种并行数值算法．算法根据单调性公设，采取了超盒数值逼近的方法，快速逼近所求的系统单调指标需求轨迹，并通过模拟令牌环机制实现了算法的并行处理．此算法极大地缩减了搜索空间，很大程度上克服了依赖显式解析函数关系求单调指标需求轨迹的缺陷．然后，根据实际应用的需求，提出了具有各自优缺点以及适用范围的三种单调指标需求轨迹求交的方法，它们是：直接求交法，逼近法，优化蒙特卡罗方法．第三，在前面研究的基础上，提出了基于单调指标需求轨迹的系统分析模型，它们是系统的有效性评估模型，指标的灵敏度分析模型，模糊效能分析模型．最后，运用前述理论方法于一反隐身防空信息系统的分析，显示出了本方法具有良好的应用前景．     

美国防部85个优先项目成本增长650亿美元

五角大楼选择性采购报告11月15日进行了修改，该报告包括了85个项目的未来开发及采购成本，报告称，六月份到九月份，美国最大的武器项目预算成本增长了650亿美元，增加了4．4％。     

基于金融业务系统的功能测试基准库方法研究

软件自动化测试技术的出现，大大减轻了测试人员的压力，显著提高了测试的效率，但是回归测试中的用例复用是测试自动化所面临的又一难题。本文提出了一种基于金融业务系统的功能测试基准库方法，对回归测试进行有效的支持，力求解决大型业务系统分析资源的积累和测试用例的有效复用等问题。这种方法在一定程度上减轻了测试人员管理测试用例的压力，增强了用例的可复用性，从而有效地提高了自动化测试的效率。     

B样条曲线升阶的矩阵方法

提出了一个用（ｋ＋１）阶Ｂ样条函数表示ｋ阶Ｂ样条函数的方法，证明了相应的定理，提出了非均匀Ｂ样条曲线升阶的新方法，当用于一段均匀Ｂ样条曲线的升阶时，不 节点矢量中间插入任何节点，所增加的控制点数量少，此外，Ｂｅｚｉｅｒ曲线的升阶可以作为此方法的一个特例，还对传统的升阶理论进行了讨论，并且指出了其不足之处。