一类两种群竞争离散系统的持久性

讨论了密度制约的两种群竞争离散系统{x（n＋1）=x（n）exp｜r1-a1x（n）-b1y（n）｜ y（n＋1）=y9n）exp｜r2-a2x（n）-b2y（n）｜的初值解的有界性及系统的持久性。通过适当构造解的最终有界区域，证明了当b1/b2〈r1/r2/〈a1/a2时，系统是强持续生存的。这里ri,ai，bi（i=1，2）均为正的常数。     

基于空频域信息的单站无源定位可观测分析

对利用空频域信息的单站无源定位方法进行可观测性分析。针对非线性系统的可观测性理论需要计算复杂的雅克比矩阵的问题,提出把观测方程先经过伪线性化处理,然后运用线性系统的可观测性分析的理论,对匀速、匀加速直线运动进行了具体分析,得出只要目标不朝观测站作径向运动都是可以对其进行观测的。实验结果也验证了分析结论的正确性。     

空域频域不确定条件下电磁探测卫星规划方法研究

电磁探测卫星对区域目标的覆盖搜索在反恐及海上搜救等领域发挥着重要作用.针对电磁探测卫星区域搜索任务中存在的空域频域不确定性,构建了电磁探测卫星区域搜索问题(EDSASP)中不确定因素的量化描述模型及决策要素模型,提出了基于贝叶斯决策的电磁卫星任务规划方法,并以信息探测收益和前端截获收益为优化目标,建立了空域频域不确定条...     

一种基于策略的配置管理思想

对更健壮和更有效配置管理工具的需求已成为企业网络管理领域的一个越来越迫切的问题.针对这种情况,提出了一种新的配置管理思想--基于策略的配置管理,给出了规则冲突的产生和解决策略.减少了因配置信息变化而对网络的重构时间,降低了网络的维护成本,使网络配置更易于进行.     

一种有效的UWB-SAR成像方法

在简要总结大处理角ＵＷＢ－ＳＡＲ成像处理有关难点后，本文提出将波数域成像算法（Ω－Ｋ算法）应用于ＵＷＢ－ＳＡＲ成像处理；然后介绍了Ω－Ｋ算法的原理并对其中存在的Ｓｔｏｌｔ插值等问题进行了详细分析和深入探讨；最后结合所建立的ＵＷＢ－ＳＡＲ回波模型对Ω－Ｋ算法进行了仿真，研究表明这种成像方法具有较好的聚焦效果。     

非结构动网格分区并行计算方法

针对包含运动边界的非定常流动问题,基于弹簧近似法设计了一套非结构动网格分区并行计算流程,引入了METIS软件进行非结构网格二次剖分,研究了对接边界通信类型及其处理方法,基于消息传递并行编程模式实现了非结构动网格求解器的并行化。测试结果表明:该求解器具有较高的并行效率,网格变形模块对非结构动网格并行计算性能具有重要影响。     

基于LMD频域近似熵频谱感知算法研究

针对现有频域近似熵频谱感知技术在低信噪比条件下抗噪声性能和检测性能有待提升的问题,提出了一种基于LMD频域近似熵的频谱感知算法。(1)算法筛选出3个PF分量累加求和,使得算法提取局部调频包络特征信息得到最优,进一步排除噪声不确定度的影响。(2)算法对累加PF分量进行频域变换后求其近似熵,增强算法对频域信息的嗅探能力,提升算法检测性能。Monte Carlo仿真结果表明,在噪声不确定度为0dB,采样点数为8 000的情况下,当信噪比大于-19 d B时,可以对2ASK信号达到100%的检测概率,与现有频域近似熵算法相比,检测性能约有17 d B的提升。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

时域电场积分方程中的奇异提取技术

介绍了一种基于奇异提取技术的时域积分方程中奇异积分的处理方法,在奇异提取过程中,电磁波传播的延迟效应对积分的贡献包含在内。数值实验表明该方法能够大幅提高自作用和近作用阻抗矩阵元素的计算精度。