银河机向量线性代数库的并行算法研究及优化

文中对YH-1标量线性代数库进行并行算法研究:改造串行算法,挖掘其中的向量成份,实行并行计算。根据并行机的特点采取有效的程序优化措施,设计出银河机向量线性代数库。该库采用各种直接解法的并行算法求解各类线性代数问题,精度好,运行速度快(当n=300时,向量库运行速度平均为标量库的13倍)。     

量子关联成像技术

作为一种新型的成像技术,关联成像受到了国内外学者的广泛关注。本文阐述了量子关联成像的基本原理,介绍了量子关联成像研究历史,对量子关联成像的特点及其可能的应用进行了简要介绍。     

计划中的时序偏好表示和非单调推理

针对行动序列计划中的时序偏好问题开展研究,重点关注时序偏好集合内部存在不一致性时完成行动计划的方法。论文的难点和创新点体现在两个方面。针对时序偏好的表示问题,建立了一种二元描述结构,能够实现对时序约束和时序偏好的归一化描述。使用计算辩论技术建立推理框架,用以排除约束/偏好集合中的冲突关系,获得具有最大一致性的约束/偏好子集。在此基础上建立了一种新的计划生成策略,通过映射的方法得到行动序列片段,组合这些片段后形成完整的行动序列计划。通过实例验证了方法的可行性。     

关节对中误差对机械臂末端定位精度影响

针对机械臂关节对中误差对机械臂末端定位精度影响进行研究。以6自由度机械臂为研究对象,利用D-H法建立了机械臂运动学模型,并建立对中误差传递数学模型。利用蒙特卡洛方法以MATLAB为平台进行了误差分布仿真实验,得出了由于对中误差引起的机械臂末端定位误差分布特点,以及在不同对中误差等级下,机械臂末端定位误差概率分布情况。为对中误差修正提供了参考基础,同时为机械臂定位精度评价提供了定量化依据。     

[AXB,GXH]=[C,D]对称最小二乘解及最佳逼近的极小残差法

构造迭代算法研究了矩阵方程[AXB,GXH] = [C,D] ,证明了该算法可经有限步得到方程的对称最小二乘解及其最佳逼近,并给出了相关性质.最后,通过数值例子表明该算法是有效的.     

美军信息体体系架构研究

分析了美军信息体体系架构提出的背景,从信体联合信息环境的总体构想、使命任务、能力视图、作战视图等4个方面介绍了美军信体信息体系架构的主要内容,提出了对未来信息服务体系建设的启示。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

美国海军正在发展的水下探测系统

本文介绍了目前美国海军正在发展的几种水下探测系统。主要包括：先进可展开系统（ADS）,商用现成技术固定式分布系统（FDS-C）,商用声学流行技术快速嵌入计划（A-RCI）,潜艇拖曳阵系统（TB-29A）和无人水下航行器(UUV)。     

水面舰艇现代化改装过程中的中线面校核

以某型导弹驱逐舰中修及现代化改装为例,较为深入地探讨了水面舰艇现代化改装或修理过程中中线面的校核方法.该方法在实际应用后起到了较为理想的效果.     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。