度量空间的非标准特征(I)

本文首先引进度量空间非标准包的定义,然后将讨论非标准包的许多性质。在此基础上,用非标准方法来刻划度量空间中的各种紧性。最后应用这些结果,将证明ＡｒｚｅｌａＡｓｃｏｌｉ定理,并在较弱的条件下,得到Ｂａｎａｃｈ不动点定理。     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

关于战术电台的通信距离及其抗干扰问题

本文根据电波传播及通信的理论,利用了现有的实测参数图表,分析并估算了×××电台进行数据传输的实际能力,即最大有效数传距离和抗噪声干扰性能.所得的数值及结论与实际条件下的通信实验结果相当接近.对一般战术电台都有适用意义.文章探讨了跳频工作的抗干扰性,有助于人们认清跳频抗干扰的实质,以减少一些盲目性,并能更合理地运用不同工作方式完成通信任务.     

真实感地貌生成算法的研究与实现

介绍一个可生成有真实感三维地貌图的生成算法。该算法通过采用线性插值方法计算地貌各点的高度,引入一适当的观察模型进行视见变换,并采用改进了的浮动水平线算法,依据地形数据信息生成逼真的三维地貌,并用C语言在微机上实现。     

交互式管理信息系统生成工具的设计与构造

本文根据作者近年来研制交互式管理信息系统(MIS)生成工具的实践,阐述了一个人机界面友好的交互式MIS生成工具的设计与实现。这个工具本身是交互式系统,生成的MIS也是交互式系统。它是根据交互式系统的一般结构,采用控制结构上悬挂模板的方式来构造和组装(MIS)软件产品。     

关于图的距离Irredundance数

G=(V,E)是简单连通图,用G—v表示从G中删除v以及与v相关联的边所得到的图,ir_n(G)表示G的n—irredundance数,证明了下列不等式: ir_n(G—v)≥(ir_n(G) 1)/2这个结果推广了Favaron的相应结论。     

Laplace分布的均值被半序约束时的极大似然估计

讨论了Laplaoe分布中,方差已知的情况下,均值θ在简单半序约束下的最小L_1保序回归(ML_1IR),就最小L_1保序回归的唯一性以及一些其它性质予以了讨论,并且给出了计算方法。     

克服多路径效应的自适应偏轴跟踪方法

在已有的偏轴跟踪方法的基础上,利用海情、目标距离、正交分量的误差电压及其变化,自适应地进行偏轴跟踪,以达到用普通单脉冲雷达精确地跟踪超低空飞行海上目标的目的.     

基于Vague集的目标优先级求解方法

针对地面防空武器系统中目标优先级排序问题,建立了基于Vague集的目标优先级的模型。首先分析并量化了优先级影响因素中的定性指标和定量指标,建立了基于Vague集目标优先级决策矩阵;其次,针对传统基于Vague集目标优先级求解问题中影响因素权重难以确定问题,提出了基于Vague值距离测度最大化原理的权重确定方法,该方法有效地避免了权重选择的主观性;最后根据综合贴近度进行优先级的排序。算例仿真验证了该方法的可行性和有效性。