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

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

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

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

一类三次微分系统的定性分析

本文对三次微分系统ｘ＝－ｙ＋δｘ＋ａ２ｘｙ＋ａ７ｘ＾３,ｙ＝ｘ进行了全面定性分析,得出了完整的分析结果。     

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

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

一类三次系统的极限环存在唯一性研究

研究了一类平面三次系统ｘ＝－ｙ＋δｘ＋ａｘ＾３＋ｂｙ＾３ ｙ＝ｘ的极限环的存在唯一性,完整地讨论了参数空间,在全平面得到了无环和极限环存在的参数区域,证明了只含一个奇点的极限环的唯一性。     

工程机械与地面最大附着力计算方法

本文从工程机械与地面间的相互作用过程,推导出工程机械与地面间的最大附着力的通用表达式：Ｆｍ＝（１－Ｋτ）·Ｇ·μ＋Ｋτ·Ｇ·ｔｇφ＋Ｓτ·Ａ·Ｃ;地面所能提供的最大附着力表达式：Ｆｇ＝Ｇ·ｔｇφ＋Ａ·Ｃ。并指出履带式工程机械的最大附着力近似等于地面所能提供的最大附着力,而轮式工程机械最大附着力的计算必须用公式Ｆｗｍ＝Ｆμ＋Ｆτ来计算。     

Hilbert 空间中半线性随机发展方程的 Mild 解的一个存在性定理

讨论如下的Ｈｉｌｂｅｒｔ空间中半线性随机发展方程的Ｃａｕｃｈｙ问题：ｄｙ（ｔ）＝［Ａｙ（ｔ）＋ｆ（ｔ,ｙ（ｔ））］ｄｔ＋Ｇ（ｔ,ｙ（ｔ））ｄＷ（ｔ）;ｙ（０）＝ｙ０．｛在并不要求系数ｆ、Ｇ满足Ｌｉｐｓｃｈｉｔｚ条件的情况下,对上述Ｃａｕｃｈｙ问题的Ｍｉｌｄ解建立了一个局部存在性定理．     

以FPGA 重构方式实现的高速采集处理系统

ＦＰＧＡ是８０年代发展起来的先进的ＡＳＩＣ技术。由于其具有现场可编程特性,故特别适用于现场动态改变结构的多任务系统。本文利用这一特点实现了一个高速采集、处理多任务的系统。在系统中用ＦＰＧＡ实现了动态总线结构,结构随系统任务的要求,在线改变存储器数据总线、地址总线组织方式,节省了硬件资源,减小了体积,提高了系统的灵活性和可靠性。     

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源,我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中,并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现;并行化编译器;ＰＯＣ程序设计语言;面向对象网络文件Ｉ／Ｏ和虚拟ＯＯＬＧＤＦＭ机     

采用PLD技术加快数字电路的设计速度

以Ａｌｔｅｒａ公司的ＰＬＤ系列器件为例,介绍了有关ＦＰＧＡ和ＣＰＬＤ可编程逻辑器件的基本特点和应用。同时结合ＭＡＸ＋ＰＬＵＳＩＩ开发系统,介绍了开发ＰＬＤ器件的一般过程,指出采用ＰＬＤ器件可以提高数字电路设计的速度和质量,是ＥＤＡ技术发展的必然趋势。     

带限信号的最大熵正则外推算法

基于最大熵正则化构造了一种新的稳定的带限信号正则外推算法。当噪声δ（t）∈L~2[—T.T],其误差能量为δ,而且当δ→0时,所求得的正则化解将在（- ∞,∞）内一致收敛于问题的精确解。     

Ku波段FET介质振荡器的研究

本文从介质谐振器谐振频率计算入手,分析了谐振器品质因素Ｑ值与耦合系数β的关系,并对提高振荡器频率温度稳定性进行了研究。最后给出研究结果：振荡频率１５ＧＨｚ,输出功率＋１０ｄＢｍ,长期频率稳定度２×１０＾－５／日,在－２５＋５５℃温度范围内,频率温度稳定性±１．２ｐｐｍ／℃,功率温度稳定性０．０２ｄＢ／℃,偏离载频１０ＫＨｚ处相位噪声－８９ｄＢｃ／Ｈｚ,振荡器腔体体积为３６×４０×２２（ｍｍ）。     

δ星座的分析与设计

卫星星座的选择与设计是航天任务实现中的一项重要环节。如何有效地进行δ星座的设计是本文着重探讨的问题。本文首先从集合的角度探讨了任一时刻多颗卫星对地面给定区域覆盖情况的分析方法，利用仿真计算，对δ星座进行分析，提出δ星座的设计方法，并给出了相应的仿真设计结果。     

关于(1,f)-奇——复盖图

设ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）的顶点集Ｖ（Ｇ）上的一个奇数整函数。图Ｇ的一个（１,ｆ）－奇－因子是Ｇ的一个支搅揶图Ｆ使对任意的Ｘ∈Ｖ（Ｇ）有ｄｐ（ｘ）∈∪「１,３,ｆ（ｘ）」。图Ｇ是一个（１,ｆ）－奇－复盖图是对Ｇ的任一边ｅ,Ｇ都有一个（ｆ）－奇－因子含ｅ。本文给出Ｇ是（１,ｆ）－奇－复盖图的一个充要条件。     

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。     

电抗元件网络的优化设计方法

以信息与编码技术为主要理论依据,应用微计算机技术,提出了电抗元件网络的优化设计方法:采用二进制编码对网络进行控制,以网络分辩率δ与2~((?))的乘积δ·2~((?))作为权电阻的阻值。对该种网络的有关特性作了分析。     

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

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

FUZZY ALGORITHM FOR RADAR SIGNAL PROCESSING

ＦＵＺＺＹＡＬＧＯＲＩＴＨＭＦＯＲＲＡＤＡＲＳＩＧＮＡＬＰＲＯＣＥＳＳＩＮＧＺｈｕａｎｇＺｈａｏｗｅｎ;ＧｕｏＧｕｉｒｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,４１００７３）Ａｂｓｔｒａｃ...     

TWS 雷达中的机动目标跟踪问题

采用非零均值相关加速度模型建立ｋａｌｍａｎ滤波器,以解决ＴＷＳ雷达中的机动目标跟踪问题。建立在载准线直角坐标系的机动检测器根据残差的变化可自动调整机动加速度方差以保证非机动目标的跟踪精度和跟踪器对机动目标的跟踪。仿真表明了本文方法的有效性。     

关于图的(g,f)-因子分解的一些结论和进展

设Ｇ是一个有限无向简单图,ｇ和ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）上的两上整数值函数,且ｇ≤ｆ。图Ｇ的一个（ｇ,ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的Ｘ∈Ｖ（Ｆ）有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）。若图Ｇ的边集能划分为ｍ个边不交的（ｇ,ｆ）－因子Ｆ１,…,Ｆｍ,则称＾－Ｆ＝｛Ｆ１,…,Ｆｍ｝是Ｇ的一个（ｇ,ｆ）－因子分解。设Ｈ是Ｇ的ｍ条件的子图＾－Ｆ的Ｇ是一个（ｇｆ）－因子分解,若对每个１≤ｉ≤ｍ都有│