利用微分几何参数研究小型阵列的布局

以微分几何为工具,分析和研究了小型阵列的阵列流形的微分几何参数与信号到达方向估计精度之间的关系,并在此基础上推导分析了小型阵列在各个方向上的测向性能与阵列几何布局之间的关系,最后给出小型阵列布局的设计思路。并以五元阵为例,对几种不同的几何布局进行仿真对比和分析,验证了设计思路的正确性。     

基于解释结构模型法的通用装备保障转型要素结构分析

通过运用解释结构模型法对我军通用装备保障转型的相关要素进行结构分析,旨在辅助研究人员深刻理解和合理判断各种因素之间的相互影响关系,通过结构化分析过程得到能正确反应保障需求的层次,从而为通用装备保障转型进一步分析打下良好理论基础．     

一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,讨论了一类多时滞泛函微分方程周期正解的存在性问题,并得到此类多时滞泛函微分方程周期正解存在的几个充分条件。     

重庆市近11年空气污染指数变化的小波变换分析

运用一维连续Morlet小波变换法分析重庆市近11年逐日空气污染指数的多尺度演变特征、主周期、突变点和变化因素。结果表明:重庆市空气污染指数在不同时间尺度有不同的变化规律,变化主周期为300 d左右;空气污染状况受地形和气象因素影响,呈"冬重夏轻"格局;春分、秋分前后是一年中空气污染轻重状况转换的突变点;2005年后重庆市空气污染逐渐减轻,但冬季有加重趋势。实践证明,小波变换法是研究空气污染指数时间序列变化的有效分析方法。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

一种基于双星导航系统的无源定位方法研究及其实现方案

为扩展双星导航定位系统的应用范围,针对双星导航系统双星定位时用户的有源问题提出了一种无源导航定位方法,用户不必发射导航定位请求信号,直接接收就可完成定位.同时,结合差分技术来提高用户导航的定位精度.通过理论分析和仿真,说明该方法是可行的.     

基于梯度迭代法的一类追逃对抗模型研究

针对一类追逃对抗问题,基于微分对策理论,建立了三维空间中的追逃对抗模型,进而得到了最优性条件和最优策略.运用梯度迭代法给出了模型的数值解,并做了实例分析.分析结果显示,该模型可以很好地应用于潜艇对潜艇、潜艇对水面舰艇等实际追逃对抗问题.     

Approximations and empirics for stochastic war equations

The article develops a theorem which shows that the Lanchester linear war equations are not in general equal to the Kolmogorov linear war equations. The latter are time‐consuming to solve, and speed is important when a large number of simulations must be run to examine a large parameter space. Run times are provided, where time is a scarce factor in warfare. Four time efficient approximations are presented in the form of ordinary differential equations for the expected sizes and variances of each group, and the covariance, accounting for reinforcement and withdrawal of forces. The approximations are compared with “exact” Monte Carlo simulations and empirics from the WWII Ardennes campaign. The band spanned out by plus versus minus the incremented standard deviations captures some of the scatter in the empirics, but not all. With stochastically varying combat effectiveness coefficients, a substantial part of the scatter in the empirics is contained. The model is used to forecast possible futures. The implications of increasing the combat effectiveness coefficient governing the size of the Allied force, and injecting reinforcement to the German force during the Campaign, are evaluated, with variance assessments. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

卫星差分码偏差对北斗三号双频精密单点定位的影响

为探讨北斗三号系统不同频点组合卫星差分码偏差(differential code bias, DCB)对精密单点定位(precise point positioning, PPP)的影响,推导北斗三号系统不同频点无电离层组合卫星端DCB改正模型,并基于MGEX跟踪站连续7天4站的观测数据按7种不同双频组合进行DCB改正实验。结果表明,DCB改正对PPP精度在最初的历元有明显提升,有助于滤波的收敛及提高单天解的均方根,但对于最终定位精度无明显提升。B2a/B3I及B2b/B3I组合定位精度及收敛速度明显低于其他组合,DCB改正后有所提升。其他5种组合改正后定位精度及收敛时间相当：静态PPP单天解均方根在E、N和U方向约为5.50 cm、2.50 cm和6.25 cm,较未改正前提升20%～65%;平均收敛时间为38 min,提升约6%;动态PPP平均收敛时间为59 min,提升约20%;最终定位精度水平方向优于5 cm,高程方向优于7 cm。