关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

关于图的一个边重构性定理之证明

若图Ｇ存在一个次为δｐ＋ｋ的顶点至少和ｋ＋１个小次顶点相邻,则Ｇ是边可重构的（δｐ为某小次,ｋ≥０为整数）。文（１）并没有证明,本文给出其证明方法,且得到一个推论。     

用正则化方法对频谱有限信号进行外推的新算法

本文给出了频谱有限信号外推的一个新算法,首先考虑了问题的不适定性,然后用正则化方法构造一个稳定算法,因本文把噪音η(t)看成是L~2〔-T,T〕(T > 0)中的函数,且当integral from n=-T to T (|η(t)|~2dt→0时,外推在(-∞, ∞)上一致逼近准确信号,所以有较强的应用价值.最后还给出了外推的误差估计.     

一类平面系统极限环的存在唯一性

讨论了平面系统ｘ＝－６＋δｘ＋ψ（ｘ）「ａ＋ｂｈ（ｘ）」,ｙ＝ｘ＾２ｎ０－１（ｎ∈Ｎ）的极限环存在性,唯一性与不存在性。     

论舰炮反导火控系统采用的目标运动观测向量

本文论述了近程舰炮反导火控系统附加独立信息测量的必要性,并根据观测向量（ｒ,ｒ,ε,β,δｂ,δｅ,ωε,ωｒ,ωβ）,导出了运动目标的位置和速度观测方程。据此,可以确切理解速率火控系统的解算原理。     

奇型偏微分方程的柯西问题

定解条件给在奇线上的偏微分方程的各种定解问题早已有研究^[1～4],多数作者使用了特殊函数作工具。本文用能量不等式组来解决一类奇型双曲型方程的柯西问题。 本文主要讨论如下问题解尚存在唯一性： Lu≡[(t^a/2?_t-λ₁(x,t)?_x)(t^a/2?_t-λ₂(x,t) ?_x)+a(x,t)?_t+b(x,t)?_x+c(x,t)]u(x,t)=f(x,t) (x,t)∈R×(0,T] u∣_t=0=φ(x),limt^a/2u_t=ψ(x) 这是一个二阶偏微分方程,当 α>0时,?_t²的系数当t=O 时变为零,因而这是一个初始值给在奇线上的柯西问题。我们假定： (A) α为常数,0<α<1;所涉及的都是实函数; (B) α(x,t),b(x,t),c(x,t),λ_j(x,t)(j=1,2)∈C¹([0,T],C²(R)),且上述函数的所有可能的导数都有界; (C) φ(x),ψ(x)∈C₀⁴(R)); （D）f(x,t)∈C((0,T],C₀²(R)),且sup{t^a/2(∣f∣+∣f_x∣+∣f_xx∣}＜+∞（Ⅱ） (E)存在常数δ＞0,使当（x,t)∈R×[0,T]时,有：∣λ₁(x,t)-λ₂(x,t)∣≥δ条件（Ⅱ）中关于实函数的假设不是必要的,作此假设仅为方便。本文主要得到：定理1：在（Ⅱ）的假设下,（Ⅰ）存在唯一弱解u,并 u∈C([0,T),H¹(R))∩C¹((0,T),L₂(R)).为证明该定理作了一系列准备,关键是证得引理1,引理2和引理6。     

一类平面微分系统的定性分析

本文利用微分方程对称法、形式级数和旋转向量场理论,对平面微分系统ｄｘ／ｄｔ＝－ｙ＋δｘ＋ａｘｙ＋ｂｘ＾２Ｆ（ｘ）,ｄｙ／ｄｔ＝Ｇ（ｘ）进行了全面分析,得出了较完整的定性分析结果。     

美军打造单兵"顺风耳"

SWATS,乍一看这个缩写单词,许多军迷首先反映在脑海中的肯定是“特警部队（Special Weapons And Tactics,简称S．W．A．T．）,笔者也有同感：当使用网上搜索引擎时,50％以上的信息是关于“特警部队”的。     

神经网络的函数逼近理论

分析了将函数逼近理论与方法引入神经网络研究的必要性；从经典函数逼近与统计分析两方面详细地讨论了多层前馈网（ＭＬＰ）逼近能力分析的基本方法及结论；分析了正则理论观点下的径向基函数网络（ＲＢＦ）的逼近能力；讨论了ＲＢＦ网与多层前馈网在最佳逼近特性上的差异。文末指出了神经网络函数逼近的发展方向。     

河流复氧系数公式推导

氧传质理论因存在不确定的参数（象液膜厚度，旋涡在界面的停留时间，表面更新率等）而不能用来预测河流复氧系数。简要回顾了氧传质理论，从水力学的流速对数分布律出发，结合复氧机理推导了液膜厚度δ的表达式，用试验资料拟合了其中的比例系数。从而使含参数δ的传质理论模型能够用于实际中。     

二维带限信号代数正则外推算法

用代数正则化方法直接将连续的数学模型离散化,然后用Tikhonov正则化方法求解代数方程组,构造稳定的正则化算法,并进行数值仿真,结果是满意的。     

基于单片机的远程光纤通信在点对点安全验证系统上的应用

现有的点对点安全验证系统都是基于电缆连接实现系统信息传输的。电缆传输信号存在传输衰减大、抗干扰能力差、在雷暴天气易发生事故等缺点。通过将基于单片机89C2051的远程光纤通信应用到现有设备来改进控制信号的传输模式，将电信号转换为光信号，在数据传输中使用传输同步码加密、数据包CRC校验、串行数据编码以及光纤连通性定时自动监测等技术，可以从物理信号传输到数据接收处理的整个过程中保证系统的安全性和可靠性；同时，通过光纤通信方案，也能节省系统构建和维护的经费。     

基于Wigner-Ville分布及局部奇异值分解的磁记忆信号特征提取与识别

针对磁记忆检测中缺陷信号持续时间短且频率范围小的特点,为提取磁记忆信号的有效特征,根据矩阵奇异值的特点,提出一种基于Wigner-Ville分布及局部奇异值分解的磁记忆信号特征提取方法．通过将时频分布矩阵从时间轴和频率轴分别划分为不同局部矩阵,提取出各矩阵的奇异值来构造特征向量．然后,将构造的特征向量作为支持向量机的输入向量对不同检测区域的金属磁记忆信号进行识别．实验结果表明：基于Wigner—Ville分布及局部奇异值分解算法构造的特征向量能有效提取磁记忆信号的特征信息,提高支持向量机的识别精度．     

舰船水下静态电场深度换算的格林函数法

为从有限深度、有限范围内的舰船水下静态电场数据获知实际舰船更大深度上的场分布特征,在对深海环境中舰船静态电场满足的拉普拉斯方程进行求解的基础上,提出静态电场深度换算的格林函数法,推导出了换算公式的边界积分表达式,给出了实际应用中换算公式的近似计算方法。以舰船静态电场的基本模拟体——单个水平电偶极子的场为例,采用数值仿真的方法对换算公式进行了验证,并对近似计算方法进行了讨论。研究结果表明:该方法可直接通过对测量平面上离散场量进行二重求和来实现静态电场的各类深度换算;与文献中已有的换算方法相比,其换算过程更为快捷。     

脉冲压缩雷达系统分析与仿真研究

基于信号处理工作系统(SPW)仿真平台,对脉压雷达信号处理系统进行了建模与仿真技术研究。建立了脉压雷达信号处理系统的仿真模型,同时,利用仿真技术的优势,对脉压雷达信号处理系统的抗干扰(杂波、干扰和噪声)性能进行了仿真,仿真结果表明该雷达信号处理系统具有一定的抗干扰性能。上述工作为脉压雷达信号处理系统的工作过程描述、方案论证、性能评估和挖潜改造提供了仿真依据及技术支持。     

船用核反应堆提棒外推临界优化研究

因稳定时间受限,传统的倍增公式导出的外推临界公式计算结果大于实测值,偏危险;文中根据新的中子倍增公式导出了外推临界计算的新公式,实例计算表明,该公式比传统的外推临界公式精确且偏安全.     

采用PWPF调节器的再入飞行器最优控制分配方法

针对具有反作用控制系统(Reaction Control System,RCS)和气动舵两类控制机构的再入飞行器,提出一种基于脉宽脉频(Pulse-Width Pulse-Frequency,PWPF)调节器的最优控制分配方法。将RCS的输入信号转化为连续变化量,RCS与气动舵的控制分配问题被描述为二次规划问题,并采用有效集方法对其求解。采用离散法和PWPF调节器将优化结果转化为RCS的开关机状态。与混合整数规划问题相比,连续二次规划问题更容易求解,计算速度更快。通过对二次规划问题的重构,该算法能有效地应对故障情况。     

微陀螺仪检测平衡回路建立与验证

基于梳齿电容微结构,分析了电压驱动梳齿电容振动产生静电力的工作原理;针对微陀螺仪开环直接检测的不足,采用静电力平衡哥氏力的方法构建平衡回路,抑制哥氏振动。提取了微陀螺仪哥氏输出信号振动幅值;以哥氏振动幅值为控制量,设计了微陀螺仪检测平衡回路。仿真和实验表明构建的检测平衡回路能够有效地平衡哥氏力,抑制哥氏振动,使质量块回到平衡位置,微陀螺仪标度因数线性度和对称性有显著提高,测量范围、阈值和分辨率等性能均有不同程度改善。     

防空地监哨情报融合研究*

在得到防空地监哨直接观测信息的基础上,对目标可能航向进行二次外推,并利用效用函数综合评估法对目标相关性进行检验,完成对目标信息的融合,解决了地监哨情报数据的关联和航迹外推问题。仿真及试验结果表明该方法用于防空地监哨情报融合是可行的,其结果分析的应用能指导地监哨训练和战时地监哨的配置。     

对空观察哨情报融合

在得到对空观察哨直接观测信息的基础上,对目标可能航向进行二次外推,并利用效用函数综合评估法对目标相关性进行检验,完成对目标信息的融合,解决了观察哨情报数据关联和航迹外推问题.仿真及试验结果表明该方法用于防空观察哨情报融合是可行的,其结果分析的应用能指导观察哨训练和战时观察哨的配置.