GF(q)上的[d,k]—自控序列

本文将R.A.Rueppel文[1]中GF(2)上的[d,k]——自控序列模型推广到一般有限域GF(q)上。讨论了GF(g)上任意n级M序列或n级收缩M序列的[d,k]——自控序列的平移等价性和周期特点。     

单复变解析函数第n项系数在Mobius变换前后差的估计

本文讨论并给出了单复变解析函数第n项系数在Mobius变换前后差的估计,部分地推广了文[1]的结果.     

一类带扰动时变系统的运动稳定性

本文引进矩阵测度概念,讨论了一类带扰动的线性与非线性时变系统的运动稳定性,所得到的渐近稳定性条件改进了文[1]的结果,并去掉了文[4]中要求系统的线性部分为李雅普诺夫可化组的限制条件。     

二维离散余弦变换与二维离散Fourier变换的快速算法

文中提出N×M2D—DCT(Ⅱ)的一种快速算法,其需实运算量为:M_u=1/2NMlog_2N+1/4MNlog_2M,A_d=3/2NMlog_2NM—3MN—1/2M~2+M+N(其中N、M为2的幂)。当N=M时,与文[5]的结果一样、这是目前最好的结果。但文[5]算法不稳定,容易产生较大的误差。本文克服了这一缺点。并利用此2D—FCT(Ⅱ)导出了2D—DCT.2D—DST和2D—DCST的快速算法及2D—DFT的一种快速算法。2D—DFT快速算法的运算量与文[1]中用FPT计算2D—DFT相近。     

用斜消法变换求解最大公因式

<正>受文[1]中构思的矩阵斜消法变换的启发,笔者再作推广,用之可简捷地求解n个—元多项式的最大公因式.其思路单纯,易于操作.本文所需工具和理论依据如下:1.矩阵的行初等变换p_ii、D(c)及T_ii((?)(X))(可参见文[2])2.推广了的矩阵斜消变换定义:     

S形回归模型重新参数化的探讨：兼评桂占吉《S形回归模型及其应用》

本文依据非线性回归模型的理论方法,对文[1]提供的四组医学数据进行重新计算,给出正确结果,指出文[1]中错误,并讨论了S形回归模型的重新参数化问题.     

具有最佳汉明相关性能的跳频序列族

在非正交跳频扩展频谱多址通信系统中用作跳频图样的P~k进制序列族要求具有小的汉明互相关。文[1]中得到了给定长度和字母表大小的序列的异相自相关及互相关的下限,并构造了具有最佳汉明相关性能的序列族。本文中提出一种更一般的构造方法,文[1]的构造是它的一个特例。构造出的序列族具有最佳汉明相关性能,并且可部分解决Hop—and—Stay问题。     

一类集值映射的高阶微分

在文[1]中,H.T.Banks 与M.Q.Jacobs 讨论了集映Ω:R~m→(?)(R~n)的一阶微分,分别给出了Ω可微的充分条件与必要条件。本文改进了文[1]的工作,证明了[1]中条件(3.2)的限制是不必要的,从而得到了Ω可微的充分必要条件,及较为简洁的Ω微分解析表达式。在文中也讨论了Ω的k 阶微分,得到了Ωk 阶可微的充分必要条件及k 阶微分的解析表达式。     

几类微分方程解的有界性

本文研究了几类二阶微分方程解的有界性,建立了它们的一切解有界的若干充分条件,所得结论,拓广了文[1]—[3]的部分结果.     

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

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

线性代数中一个向量等式的新应用

本文利用向量等式：对线性代数中的两个重要结论作出新的证明。本文给出的证明，不但方法上具有新意，而且其解决过程也会使我们对问题本身有新的认识和理解。     

m序列二相编码雷达灵巧噪声干扰研究

针对前沿复制干扰能量利用效率低的问题,提出了利用前沿波形,通过预测,超前获取雷达信号完整波形,进而实施灵巧噪声干扰的思路。对于采用由n级移位寄存器产生的m序列的二相编码雷达,给出了利用获得的前2n个码元,通过解n元线性方程组,预测获得完整m序列的方法。进一步,针对该线性方程组的生成特点,提出了一种快速算法。利用该快速算法,可以将预测的计算工作量平均分配到从获得m序列的第n＋1个码元到获得第2n个码元的各个节拍中去,使得一旦获得m序列的第2n个码元,就能够立刻得到m序列的所有反馈系数,获取雷达的当前发射信号的完整波形,并以最短的延迟实施针对性的灵巧噪声干扰。     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

A note on first passage times in birth and death and nonnegative diffusion processes

Consider a birth and death process starting in state 0. Keilson has shown by analytical arguments that the time of first passage into state n has an increasing failure rate (IFR) distribution. We present a probabilistic proof for this. In addition, our proof shows that for a nonnegative diffusion process, the first passage time from state 0 to any state x is IFR.     

二相编码雷达前沿复制干扰的能量效率分析

针对提高干扰的能量利用效率提供一些理论和技术问题,介绍了前沿复制干扰的产生背景。对二相编码雷达、灵巧噪声干扰和前沿复制干扰的基本成分通过匹配滤波器后的输出信号脉冲峰值进行了分析。以在匹配滤波器输出端产生相同数量和相同幅度大小的脉冲为能量利用效率比较基准,给出了这两种干扰方式各自所需的干扰信号能量的计算公式,并进行了典型条件下,这两种干扰方式所需干扰信号能量的数值计算;在一般情况下,对这两种干扰方式的能量利用效率进行了比较。指出若前沿波形宽度为雷达发射信号宽度的1/n,则前沿复制干扰所需能量为灵巧噪声干扰所需能量的n倍,前沿复制干扰的能量利用效率仅为灵巧噪声干扰的能量利用效率的1/n。     

Extensions and reductions in the von neumann model of an expanding economy

This paper introduces an extension of the v. Neumann model of an expanding economy. In addition to the conventional nonnegative input and output matrices A₁, B₁ representing technology, two matrices A₂, B₂ represent socio-political evaluations and show that there exist solutions to the 4-matrix model. The proof is based on an extension of a constructive proof given by O. Morgenstern and G. L. Thompson. It is shown that this proof is valid only under an additional assumption. The transformation of v. Neumann models (taking consumption into account) into 1 or 2 games is shown and adds an additional condition to M. Morishima's model to guarantee a solution. The equivalence of the v. Neumann model to a maximization problem under a (efficiency) constraint is presented. It is shown that E. Malinvaud's maximality and efficiency criterion - if based on the same assumptions (model) - are equivalent and specify the assumptions which will make the MT-model efficient. The economic evaluation is considered to be of utmost importance.     

判断实对称矩阵为正定、半正定、负定、半负定或不定的一个算法

给出判别实对称矩阵为正定、半正定、负定、半负定或不定的一个算法;采用选最大对角元的方法,可使数值计算稳定性好。讨论了该算法的运算量,得到乘除法和加减法总次数分别至多为ｎ（ｎ－１）（ｎ＋４）／６和ｎ（ｎ－１）（ｎ＋１）／６的结论。最后给出运行该算法的数值例子。     

基于证据理论的自适应协同方法在打击目标排序中的应用

针对指挥员在选择及对打击目标排序时会产生不同结果,采用证据理论进行了协同。以各指挥员的判断作为证据理论的识别框架,采用证据加权法及对各证据的合成,确定了证据的基本可信度分配,降低了各证据间的冲突,筛选出肯定的证据,达成指挥员决策的自适应协同,实现对打击目标更为合理的排序。     

加权主成分TOPSIS法的防空导弹型号论证决策

针对防空导弹型号论证决策问题,讨论了影响型号论证的主要因素,建立了基于加权主成分TOPSIS法的防空导弹型号论证决策模型,实现了对新研制型号方案的综合评价和分析.在此基础上,通过实例验证了方法的实用性与有效性.论文的研究成果为防空导弹型号论证提供了辅助决策方法和智力支持.     

考虑仿真可信度的舰炮虚拟校射

为利用仿真模型在有限校射样本的条件下对校射补偿量进行合理估计,对考虑仿真可信度的舰炮虚拟校射方法进行了研究。对自适应加权贝叶斯估计方法进行了研究,一方面对仿真先验可信度的计算方法进行了分析,另一方面对考虑先验可信度的自适应加权贝叶斯估计算法进行了研究。在此基础上,结合舰炮虚拟校射的原理和需求,建立了舰炮虚拟校射诸元误差自适应加权贝叶斯估计模型。仿真验证表明:自适应加权贝叶斯估计方法能够利用试验数据对仿真模型的可信度进行有效验证并进一步实现对目标分布的有效估计;所设计的校射方法能够综合利用仿真模型和校射样本的优势,实现对诸元误差的合理估计,达到有效提高校射精度的目的。