一类非线性问题的数值分析

利用Ｌａｐｌａｃｅ方程的基本解,将变系数非齐次Ｈｅｌｍｈｏｌｔｚ偏微分方程的边值问题化为积分方程问题。再用边界无法进行离散,并对区域结点及边界结点的方程耦合求解。文末算例表明本文方法能够达到较高精度。     

奇摄动椭圆方程边值问题的边界元法及一致敛速估计

利用边界元方法,讨论了三维奇摄动椭圆方程边值问题,得到了关于ε的一致的误差的最优估计。     

计算机磁信息安全理论探究

由于计算机磁信息复制容易且不留任何痕迹,以及存在残留信息的复现问题,使得计算机磁信息安全问题更加突出。通过对磁介质存储与抹除的原理研究,从理论上探讨磁信息安全的保密与保护措施。     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

模糊格中的有补元

模糊格概括了模糊集理论的运算规律,随着计算机等学科的发展,越来越需要对该学科进行完善。有补元是模糊格中的一种特殊元素;首先,给出了有补元在模糊格中的四个重要性质;第二,给出了有补元与模糊格分明元的关系定理;第三,通过有补元,建立了模糊格“分支”的两个刻划定理。     

极大等浓度点型二维COLLINS模型系统的固液相变

本文将Ｋａｗａｍｕｒａ和杜宜瑾等人的结果推广到二维三元系统,研究了极大等浓度点型的固液相变,所得相图与三维真实的合金相图相似。     

矩形带簇的推广

本文将矩形带簇的概念扩张到了广义矩形带簇,讨论了广义矩形带簇的若干性质.     

边界润滑膜的微观分析

利用X—射线光电子能谱、扫描电镜等手段对新研制的含S、O、Mo油溶性化合物作为极压剂所形成的边界润滑膜进行了微观分析。结果表明:该极压剂的极压抗磨作用除了与极压剂在摩擦表面上分解,生成具有良好润滑性能的MoS_2、MoO_3、MoO_2等化合物有关外,还与极压剂对摩擦表面有化学抛光作用有关。     

基于活动的C4ISR系统作战需求综合建模方法

在综合分析DoDAF作战视图产品的基础上,对基于活动、以信息为中心的C4ISR系统作战需求综合建模方法进行了研究.首先利用UML的扩展机制(包括构造型、标记值和约束),建立了作战需求综合建模的元模型;其次,通过面向对象方法确定了最小核心要素集模型,并深入分析各个核心要素及其相互之间关系;最后,在上述基础上,明确提出了C4ISR系统作战需求综合建模的开发框架,为作战需求综合建模的过程提供指导.     

防空导弹对目标拦截的模糊二元对比排序

确定对空袭兵器的拦截次序是防空导弹火力分配的重要内容.定性分析和定量计算相结合,利用模糊数学中的模糊二元对比排序法确定防空导弹对多个目标拦截的优先次序,先对模型进行描述,给出模糊相似关系矩阵及相应的计算方法,再以4种空袭兵器为作战对象,运用模型进行计算,得出直观的目标拦截排序结果,变模糊的、复杂的问题为直观的结论.为指挥员科学分配防空火力,最大限度地发挥防空导弹的制空效能奠定基础.