基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究

基于GIS服务的特点和动态服务聚合的应用实际,提出了一种基于工作流的GIS服务动态聚合实现方法,该方法通过引入服务群的概念,有效适应了GIS服务的动态变化性;提出了基于工作流的GIS服务聚合技术体系,界定了GIS服务聚合的研究内容和层次关系,为GIS服务动态聚合关键技术的研究提供了总体框架和顶层指导;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,为开发聚合服务支撵平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型.给出了一个GIS服务聚合应用实例来说明工作的可行性和有效性.     

基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

关于军事通信系统顽存性及最低限度通信能力若干问题的研究

本文根据现代高技术战争信息动广泛的特点和规律,阐述了军事通信系统关键性系统特性的概念,重点探讨了系统顽存在,最低通信能力和最低限度通信能力的基本含义,在此基础上,围绕“打赢”和“三打三防”,分析了对军事通信系统生存能力的需求,最后提出了最低限度通信能力的评估方法。     

一类装甲车辆对不平路面的激励响应模型

研究内容为(轮式、履带)车辆在不平路面行驶和通过障碍时的平顺性问题。利用状态方程法建立了包括随机和确定路面轮廓、3维车体等较为通用的车辆行驶平顺性模型。并针对行驶振动中车轮与悬架的碰撞建立了专门模型。对某型装甲车辆进行了计算机仿真和验证,对模型的精度和有效性进行检验和评估。结果表明所建立的车辆-地面系统模型是有效的。该模型和建模采用的方法为装甲车辆的系统设计和动力学分析提供了一条途径。     

新型聚合物水泥砂浆的研制

为解决地下坑道、海港码头及建筑工程的防腐、防水、防盐碱等防护问题,通过对成品乳液进行改性,使乳液在水泥中极易分散,能有效地使聚合物与水泥水化产物及砂、石形成有机整体。以此保证聚合物水泥砂浆具有较高的抗渗性及粘结强度。其结果证明了这种方法的有效性和实用性。     

装备互用性若干问题研究

互用性是联合作战的基础,是装备系统构成体系的纽带或黏结剂,随着信息化的发展互用性问题已经成为制约部队联合作战能力的关键因素。尽管互用性是两个或两个以上装备之间的一个关系特性,但有互用关系的单个装备本身要具有互用的能力。实现互用性的模式基本上分为点对点的方式和以网络基础设施为基础的方式。互用性的论证分为两个层次的论证,一个是体系级的论证,一个是系统级论证,系统级互用性要求来自于体系级互用性要求。加强对装备互用性研究对于提高部队联合作战能力具有重要现实意义。     

边界扫描测试仪软件系统开发

边界扫描是一种正在被人们普遍接受的可测试性设计技术 ,在电子设备测试和故障诊断中发挥着越来越重要的作用。本文介绍了开发的边界扫描测试仪样机的工作原理 ,并着重论述了其软件开发的几个重要问题。