潜射弹道导弹主战系统效能评估模型研究

界定了潜射弹道导弹主战系统的范围,给出了其结构模型;基于扩展ADC效能评估方法,建立了系统可用度、可信度的计算模型以及潜射弹道导弹主战系统效能指标体系,给出了其能力量化矩阵的构建方法。通过该评估模型的研究,能为潜射弹道导弹武器系统的改进和作战使用等提供决策依据。     

联合作战的远程火力战法动态分析方法*

用定量动态分析方法开发远程火力战法是联合作战规划中必须解决的重要问题。借助仿真和博弈分析的混合方法,在对博弈效用函数计算的基础上,构建基于识别真目标、假目标以及火力命中目标概率的二人非零和(TPNZS)非合作博弈模型来开发远程火力战法动态分析方法,对两个典型的联合作战远程火力打击战法性能的初步动态分析表明:战场势态的动态变化直接影响定量规划最优战法的结果。     

基于Web Service的网上超市的设计

近年来形成的Internet技术———WebService技术已被称为下一代电子商务的核心。首先讨论WebSer vice及关键技术,然后阐述了WebService技术的网上超市应用框架及实现。     

一类半参数可靠性回归模型估计的强相合性

对半参数回归模型Yi=xiβ+g(ti)+εi,i=1,2,…,n定义了参数β与回归函数g(·)的估计,并证明了 它们的强相合性。     

器材保障资源管理中GIS技术应用研究

针对我军器材保障资源管理的特点和要求,并以现有的器材保障资源数据库为基础,结合GIS技术应用,探讨了器材保障资源管理中GIS技术的应用途径和方式,提出了应用GIS技术的器材保障资源管理系统的实现方法。     

分布式小卫星SAR回波仿真快速算法

回波信号仿真是研究分布式小卫星SAR系统的基础,对于系统总体设计具有重要意义。大范围自然场景回波仿真导致巨大的计算量。快速算法基于FFT实现,首先在时域利用脉冲序列近似表征场景在慢时刻的响应,然后利用FFT在频域实现线性时不变滤波以产生场景回波,算法能够有效减小运算量。对仿真的回波进行成像和干涉处理,结果验证了算法的有效性。     

基于大规模贝叶斯网络的安全性分析算法

贝叶斯网络计算量随着节点数增多呈指数增长,限制了大规模贝叶斯网络在安全性分析中的应用。为此,利用独立性条件分解整个网络,压缩推理时显式表达的项数,给出了计算顶事件发生概率及割集的算法,并分析了算法复杂性。在满足工程需要情况下,将提出算法与基于BDD算法相比,该算法表现出占用内存少、运行速度快的良好性能。     

基于用户意愿的文件访问控制策略

访问控制是保护计算机上文件安全的重要技术手段。针对文件攻击,提出一种量化的评估方法,对主流访问控制策略进行了量化评估,指出主流访问控制策略的脆弱性在于赋予了程序访问用户能够访问的文件集合的权利。提出一种基于用户意愿的访问控制策略,其风险远远小于主流访问控制策略,能够防御未知文件攻击,证明了策略的安全性质,并讨论了其实现方案。     

基于贝叶斯方法的退化失效型产品实时可靠性评估

通过传统可靠性方法得到的失效分布反映了相同受试环境下同一类产品的平均特征,并不能直接应用于系统实时定量可靠性分析。为此,针对有历史试验数据的退化失效型产品,依据局部更新的思想,利用贝叶斯方法最大可能地采用现场测试数据,并将之及时反映到实时可靠性模型中去。结果表明,随着融合现场数据的增多,产品的实时可靠性模型也逐渐全面反映出产品的个性特征。     

纯方位系统目标折线运动定位与跟踪原理

提出了纯方位系统目标折线运动定位与跟踪问题;根据目标转向已知与未知两种情况,给出了在目标作n次折线运动时全部参数可解的量测次数的必要条件;当目标转向时间未知时,需要纳入识别-滤波-控制原理的研究框架。