Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

边防部队贯彻新《纲要》应强化“三种意识”

新修改的《军队基层建设纲要》(以下简称《纲要》),是新时期军队基层建设的基本准则和依据。边防部队与其他部队相比具有鲜明的工作特点:既要完成战备执勤中心任务,又要立足“强边固防”根本要求,提高快速反应和应突作战能力;既要做好部队自身安全稳定工作,又要协助地方维护边防一线的安全和稳定。工作任务的多重性、履行职能的广泛性、部署地域的分散性,客观上决定了边防部队贯彻新《纲要》,必须结合工作特点,从工作实际和需要出发,拿出具体措施和办法。概括讲,就是要强化“三种意识”。一、强化中心意识,切实在提高战备执勤能力上下工夫》…     

基于谱测度的地域通信网节点重要性评估

针对已有测度无法准确评价网络抗毁度和节点重要性的问题,提出了一种基于网络邻接矩阵谱特征的抗毁测度。抗毁测度的值越大,网络中替代路径就越多,网络的抗毁能力越强。在此基础上,给出了一种节点重要性评估方法,如果节点失效后网络抗毁测度下降越多,则该节点在网络中的重要性越大。     

“落实”其实并不难

"一打纲领不如一步行动","不干半点马列都没有"——充分说明了落实的重要性和必要性。但是,当前一些人提到落实,总会先把一个个困难摆在面前,还未开始行动,先给自己敲起"退堂鼓",似乎"落实"受各种客观条件限制,总会磕磕绊绊,难上加难。其实,我们多从主观上找找原因,"只要一心一意,总有千方百计",落实其实并不难。认识上要提升起来。没有落实,     

ATS:一种基于通告时间戳的BGP收敛性改进机制

研究BGP收敛性改进问题,考虑网络运行状况,提出一种新的机制,称为通告时间戳机制ATS(advertisement time stamp)。在该机制中,BGP路由器在向对等体发送路由通告报文时,将相应的路由前缀打上时间戳。当通告报文准备好时,通过查看相应前缀的时间戳来判断报文是否可以立即发送还是应该等待。该机制充分融合了每对等体每目的网络速率限制定时器和每对等体速率限制定时器各自的优点,克服各自缺点。分析表明,该机制可以较大地减少Tup、Tlong及Tshort事件的收敛延迟。     

未来十种全新作战大预测（六）：失能武器战

公元21世纪30年代,人类社会文明程度空前提高,一部新的国际性<战争法>问世.这部各国必须遵循的法规,对战争的原则、手段和方法等方面作出明确限制.其中特别规定:"战争中,禁止使用可能会造成人员大量死亡、设施大规模破坏以及环境严重污染的作战手段和方法".     

变分自编码器结合聚类算法在空战态势评估问题上的应用

针对传统态势评估方法确定权值的主观性强、处理大数据能力弱、特征提取能力不足等问题,提出基于改进变分自编码器和聚类算法的无监督空战态势评估方法。根据态势变化连续性特点,提出基于时间段的空战态势分类方法,将敌我双方态势划分为四类。在变分自编码器的基础上,提出了VAE-WRBM-MDN特征提取模型,即使用混合密度网络优化变分自编码器的特征提取能力和生成数据的相似度,使用权值不确定限制玻尔兹曼机优化网络的初始权值。将提取的特征分别输入到两种典型的聚类算法中进行聚类,并结合态势函数和实际战场情况修正聚类结果,形成正确的态势分类标准。在实验部分,分别进行了最优参数调整、关键特征提取、聚类以及修正实验。实验结果表明,模型态势分类正确率和运行时间均满足应用需求,实例评估结果与客观态势一致性强,所提方法具有实际应用价值。     

基于Floyd算法的常规导弹连续波次作战运输规划

为提高常规导弹连续波次作战效能,对常规导弹连续波次作战运输规划问题进行研究。以Floyd算法为基础,首先生成了作战机动区域的交通网络最短路径、距离矩阵;其次将常规导弹连续波次作战运输过程分解为不同阶段,以运输过程中的整体暴露时间最短为目标,构建了初始规划方案0-1整数规划模型;然后考虑道路通行量及地域容量限制,对初始规划方案中存在的地域容量超过限制及单行道路中会车、超车情况进行逐步循环优化,以得到最佳运输规划方案;最后选择了一个作战案例想定,通过Matlab编程对案例进行了求解,得到了针对此案例的最佳运输规划方案,验证了模型的正确性和算法的有效性。     

单硬件限制下的电磁环境加速绘制

单硬件实现的高效电磁环境绘制适用范围更广;但是,并行光线投射绘制电磁环境时,其效率受硬件性能制约。在研究硬件限制并行光线投射效率的基础上,提出一种面向硬件制约的像素插值方法。当硬件限制并行光线投射绘制不能实时完成时,减少并行投射的光线数量,即部分图像像素由光线投射生成,其余像素插值生成。像素插值以图像质量换取执行效率,当图像更新停顿时重新使用光线投射生成插值获得的像素,以恢复图像内容。实验结果表明,低硬件配置条件下,像素插值能够大幅度提高绘制图像的生成效率。同时,对比多个体数据的绘制效果和误差统计得出:电磁环境数据场最适合使用像素插值方法。