导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限,则该点必连续,若无极限则该点两侧或单侧必振荡;（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导,我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时,则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0）,或至少有一个单侧极限为无穷时,函数在该点不可导,（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时,函数在该点可能可导。     

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。     

基于Petri网的指挥流程建模与优化

鉴于Petri网在企业业务流程优化与重组方面的成功运用,遂将Petri网原理应用于作战指挥流程的建模与优化,以期获得最优作战指挥流程.文中首先阐述Petri网基本原理,然后介绍指挥流程建模的Petri网模型,最后给出指挥流程优化的原则及基本模型,并利用Petri网对指挥流程进行建模和优化,结果表明Petri网理论能够明显优化作战指挥流程.提高作战指挥效率.     

防空组网雷达“四抗”能力综合评估

为正确评估防空组网雷达"四抗"能力,结合雷达组网的因素分析,建立了组网雷达系统层次结构模型,并利用层次分析法确定了各因素的权重,用最优指标法得出指标层的得分值,提出了组网雷达"四抗"综合能力量化评估方法.其评估结果在一定程度上为组网雷达性能优化提供了决策依据.     

一种基于KNN-SVR的基因表达缺失值的估计方法

为了消除不相似基因对基因表达谱中缺失值估计的影响,提出了一种基于KNN SVR的缺失值估计方法.该方法先通过最近邻法选出与目标基因表达最相似的一组完全基因,再用这些基因通过支持向量回归对缺失值进行估计.还提出了用标准化偏差的方差来度量算法的稳定性和估计值的可信度.该方法通过对基因的过滤提高了缺失值估计的有效性.实验结果表明,KNN SVR法具有较高的估计精度和稳定性.     

基于四元数体上的几个矩阵不等式

四元数矩阵的特征值与奇异值在四元数矩阵理论的应用中起着重要作用.借助于分块矩阵及相关恒等式,给出了关于四元数矩阵特征值与奇异值的几个新的不等式,推广了实或复数域上矩阵特征值与奇异值不等式的相应结果,它们可望有助于推动四元数代数在量子力学、机器人技术等学科中的进一步应用.     

C~4ISR系统任务实时性的评价方法

提出一种定量评价C4ISR(Command Control Communication Computer Intelligence Surveillance and Reconnaissance)系统任务实时性方法--时序着色模糊时间Petri网(TCFTPN)方法.用时序逻辑公式来限制着色Petri网的变迁引发行为,用模糊时间来表示各工作过程的时延特性和降级工作问题.通过估计在规定的时间内标识从任务开始状态到达任务完成状态的概率来确定C4ISR系统的任务实时性.     

岛屿封锁作战炮兵目标价值排序的优化模型

通过对炮兵目标价值分析与排序的指标体系进行系统分析,在岛屿封锁这一特定的作战样式中选取了六种属性作为目标价值排序的准则,然后根据对各属性的评分,在权重未知的情况下从最优化角度出发,以各方案与理想方案的距离为目标函数建立了目标价值排序的优化模型,并采用拉格朗日乘数法对模型进行求解,得到最终的目标打击顺序.     

战术数据链网络设计优化方法

网络设计优化问题直接关系到战术数据链系统效能的发挥。在分析数据链系统中不同消息类别有不同系统响应时间要求的基础上,提出了一种新的网络设计优化方法。通过建立模型讨论了单个数据链轮询网络的轮询周期、网络成员容量、每个轮询周期内各成员的点名次数等因素间的数学关系。并以Link-11为例进行分析计算。结果表明,该分析方法有效可行,为解决战术数据链网络设计及优化问题提供了一种思路。     

毛泽东诗词的核心价值取向

毛泽东的诗词通过革命现实主义与革命浪漫主义的有机结合,表现出鲜明的核心价值取向,昭示人们：人生的价值应以远大的抱负为指归,应在战胜艰难的喜悦中品味,而不能以一己的荣辱得失来评断。这些诗篇,既是中国现当代文库中不可多得的艺术精品,也不失为当代革命军人核心价值观教育的好教材。