Fibonacci数列及其算法分析

讨论了方程x^k=x^k-1＋x^k-2＋……＋x＋1的性质根，并利用其给出了k阶Fibonacci数列的通项公式及其性质，最后，给出了该数列的一些算法，并对这些算法做了简要分析。     

广义Fibonacci数列的通项及性质

著名的Fibonacci数列有许多通项表达式和性质。利用数学归纳法和特征方程求根的方法对广义Fibonacci数列Rn 1=uRn vRn-1,R0=a,R1=b进行研究,得到了两个通项表达式和一个性质.     

k-k型广义Fibonacci数列的通项、性质及求和

研究了k-k型广义Fibonacci数列{Rn}:Rn+1=kRn+kRn-1,R0=R1=1,利用它的递推关系和特征方程得到了它的两个通项表达式,同时还运用{Rn}的递推性质,采用初等方法获得了{Rn}的与Fibonacci数列相似的两个性质和5个求和公式,推广了2-2型广义Fibonacci数列的相关结论。     

平面曲线的法向式Ⅱ型积分

提出了平面曲线的另一种Ⅱ型积分——法向式积分,讨论了其性质,以及它与传统的始终点式Ⅱ型积分的关系,最后给出了这种积分形式下的格式公式。     

一类极小能控制与广义样条函数

本文讨论由一般微分方程确定的时不变线性系统的一类极小能控制问题。首先,通过引入降阶逆向系统揭示了原系统的输入与输出是由某个积分-微分算子联系着的,并利用该算子建立了极小能控制与广义样条的联系;然后在对于输出端的一类较广泛的约束条件下,导出了其输出空间与文[1]的输出空间具有类似的构造性质,从而建立了与文[1]类似的投影公式与递推公式。     

信号相位匹配法检测正弦信号的高阶统计量方法

为了能对提高高斯色噪声中正弦信号的检测能力,提出了二阶自相关和四阶累积量预处理的信号相位匹配检测法.仿真结果表明,高斯色噪声中四阶累积量预处理的信号相位匹配检测法的检测性能接近于高斯白噪声下匹配滤波器,优于二阶自相关的信号相位匹配检测法的检测性能,更优于的信号相位匹配的最小二乘检测器.     

四阶累积量的MIMO雷达角度估计算法

针对色噪声环境下的MIMO雷达目标角度估计问题,提出一种新的参数估计算法.通过计算MIMO雷达接收数据的四阶累积量,并对构造出的累积量矩阵进行特征分解,结合MUSIC算法和ESPRIT算法实现了雷达目标的角度估计.在保证阵元扩展能力和目标分辨力的基础上进行了低复杂度改进,去掉了冗余信息,实现了目标参数的有效估计;同时由于采用四阶累积量,提高了算法抑制高斯噪声的能力,更利于工程应用.最后计算机仿真结果证实了算法的有效性和可行性.     

GM(1,1)模型用于目标方位数据预处理

基于估计理论这一数学基础的纯方位目标运动分析,由于其本质上的非线性,导致估计性能严重依赖观测精度,在大噪声背景下,收敛慢,甚至发散.针对此,提出一种基于灰色系统GM(1,1)模型的数据预处理算法.该算法不需要数据的概率分布、一二阶矩等统计先验知识,而是通过生成具有较强规律的数列,揭示数据的内在规律.仿真结果表明,该模型能有效地滤除背景噪声;经过预处理后的数据用于目标运动状态求取,解算结果理想.     

基于四阶累积量的双基地MIMO雷达收发角度估计

提出了一种基于四阶累积量的双基地MIMO雷达收发角度估计算法。在接收端,通过分别构造单阵元和双阵元的四阶累积量矩阵,采用基于四阶累积量的MUSIC算法和ESPRIT算法分别估计出目标的离开方向(DOD)和波达方向(DOA),并且DOD和DOA自动配对。该算法将二维参数的估计问题转化为两个一维形式,不需要二维谱峰搜索,在保证二维方位角估计性能的基础上,降低了运算量。利用四阶累积量有效地扩展了阵列孔径,并且适用于任意加性高斯噪声环境。仿真结果验证了算法的有效性。     

非线性边值问题的一种高精度计算模型

讨论非线性边值问题的一种高精度计算模型 .利用积分值将边值问题转化为形式初值问题 ,构造了一类四阶精度的计算格式 ,证明了收敛性 .通过算例表明该方法收敛速度高 ,计算量小 .     

机枪枪架稳定性计算统一公式及其应用

通过对现役机枪枪架射击稳定性的分析,归纳出了目前存在的三种稳定性基本形式,导出了机枪稳定性分析计算的通用公式,并实际应用于新研制机枪的稳定性分析计算中。     

对第四代战斗机综合航电系统的构想

通过对战斗机综合航电系统的回顾,分析了第四代战斗机及其航电系统的主要特征和关键技术,并对我国新一代综合航电系统的能力、功能等进行了展望.为提高我国航空电子技术的水平,要充分研究国外先进技术,对第四代战斗机综合航电系统进行分析和预先研究.     

A note on allocating jobs to two machines

A recent article in this journal by Mehta, Chandrasekaran, and Emmons [1] described a dynamic programming algorithm for assigning jobs to two identical parallel processors in a way that minimizes the average delay of these jobs. Their problem has a constraint on the sequence of the jobs such that any group of jobs assigned to a processor must be processed in the order of the sequence. This note has two purposes. First, we wish to point out a relationship between this work and some prior work [2]. Second, we wish to point out that Mehta, Chandrasekaran, and Emmons formulation, slightly generalized, can be used to find the optimum assignment of jobs to two machines in a more general class of problems than they considered including a subclass in which the jobs are not constrained to be processed in a given sequence.     

一类抛物方程初边值问题解的渐近性与振荡性

本文考虑一类二阶及四阶线性和半线性抛物方程初边值问题的解的渐近性与振荡性。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于竞赛图的海上编队协同作战冲突排序方法

海上编队协同作战中的冲突消解顺序问题能影响编队作战效能。为了确定冲突消解的顺序问题,采用基于综合集成权重的竞赛图方法来表示多种冲突的有序关系,定量化给出了各冲突严重程度的排序结论,不仅为指挥员的决策提供了依据,而且提出了一种有序替代具体数值的定量化分析方法。结果证明,该方法简单、有效。     

软件随机黑盒测试的快速覆盖技术

本文提出了求多个测试序列极大距离的算法,该算法对数字电路的测试和软件测试技术是通用的。理论上看,该方法可以弥补随机测试和伪随机测试的缺陷。