复Banach空间的凸性及 Hp 鞅

本文系统地讨论了复Ｂａｎａｃｈ空间的各种凸性,以及取值于复Ｂａｎａｃｈ空间的Ｈｐ鞅,得到了关于凸性及Ｈｐ鞅之间的各种等价性命题。     

加权残值有限条法

本文基于微分方程的加权残数解法的基本思想,推导出小挠度受弯薄板在各种边界条件下的加权残数表达式的弱列式,并对于二边简支二边自由薄板受弯问题选取与有限条法相同的位移试函数代入弱列式,给出了加权残数有限条法的刚度矩阵和力矩阵,用例子说明子它的可行性与优越性。     

一类生态捕食模型的局部稳定性

文献3讨论了系统(1)在两个平衡点时平衡点的豫定性,分界线环的存在性等性质,本文则讨论系统(1)在两个平衡点时的局部稳定性。     

非线性系统的鲁棒镇定:Volterra级数法

基于Ｖｏｌｔｅｒｒａ 级数理论,针对一类非线性系统,首先给出了此类系统可镇定的充分条件,接着讨论了非线性系统鲁棒镇定性的问题,并给出了系统鲁棒可镇定的条件;最后,用实例仿真来验证其有效性     

机载动目标显示雷达自适应阵列

阐述了机载动目标显示（ＡＭＴＩ）雷达自适应控制角度和多普勒响应的方法。这种ＡＭＴＩ技术能为杂波对消提供自适应载机运动的补偿,为天线附近飞机机体的散射提供补偿,并能自适应地使外部干扰源无效。产生控制角度与多普勒响应的自适应加权有三种方法,对这三种方法作了阐述并进行了比较。     

截尾序贯验后加权检验截尾点的优化设计

选取截尾点是截尾序贯验后加权检验很关键的一步,目前理论上尚无有效的选取方法。本文用优化技术确定截尾点Ｃ,克服了实践中确定停时Ｎ和截尾点Ｃ遇到的计算困难,避免了一般取Ｃ＝１的盲目性,使截尾点Ｃ的选取有了理论根据。优选的截尾点不仅使双方承担的风险之和最小,而且使双方承担的风险值相对合理,易于接受。     

马氏综合权重距离判别法在中小型滑坡灾害评估中的应用

我国西南地区滑坡灾害具有点多面广、规模小、危害大的特点,群测群防是目前中小型滑坡灾害最为有效的预防手段。针对这种现状,为进一步完善群测群防体系,在马氏距离判别法和加权马氏距离判别法的基础上对权重值进行了修正改进,提出了一种新的判别分析方法——马氏综合权重距离判别法。该方法不仅保留了加权马氏距离判别中区分每一个指标重要性差异的优势,并且结合德尔菲法对权重值进一步修正,弥补了原来加权马氏距离法在判别过程中距离函数出现负值的不足。从本质上来说,这种方法是把由样本驱动的权重值和实际工程经验的权重值相结合,使权重值的取值更加符合实际。以该方法为基础,在一定的历史资料背景下,从滑坡致灾因素和孕灾因素考虑,选取适当的判别因子,建立判别模型,对未知潜在滑坡灾害进行判别归类,并且与马氏距离判别法和Fisher判别法比较。研究发现,马氏综合权重距离判别法具有更高的可靠度和判别精度,适于在群测群防体系中进一步推广使用。     

浅析马岛战争中英军联合海上封锁作战的经验教训

马岛战争期间,英军对阿军实施了长时间、大范围的联合海上封锁作战,为最终夺取战争胜利奠定了坚实的基础,取得了封锁作战的丰富经验,也暴露出一些问题,主要有5点:正确的战略决策和灵活的封锁策略,是联合海上封锁作战取得胜利的关键;实施高度集中的统一指挥,保持指挥体系的畅通、高效;封锁兵力运用得当,注重发挥整体作战威力;充分发挥先进武器装备的主导作用,以此直接影响战争的进程和结局;英国海军的建设方针有误,致使远洋作战能力不足,防空、反潜能力较弱,战争中遭受了不必要的损失。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。