关于正定厄米特矩阵的一个定理

本文证明了关于正定厄米特矩阵行列式的一个不等式 :若Ai,Bi,…… ,Ci(i =1,2 ,…… ,k)都是n阶正定厄米特矩阵 ,α ,β ,…… ,γ都是正实数 ,并且α +β +…… +γ =p≥ 1则 ki=1|Ai|α·|Bi|β…… |Ci|γ< ki=1 Ai α· ki=1 Bi β…… ki=1 Ci γ     

线性无阻尼半正定振动系统简明正定化方法

从线性无阻尼半正定振动系统运动微分方程出发,分析得出系统作自由振动时具有内部惯性力守恒、振动动量守恒以及质心守恒等3个基本物理属性.在此基础上,给出了简明的正定化方法,并证明了该方法的普适性,数值算例也验证了其正确性.与"物理约束"法相比,文中提出的正定化方法规则简单,计算量小,适用于理论推导、计算机编程和数值计算.     

基于四元数体上的几个矩阵不等式

四元数矩阵的特征值与奇异值在四元数矩阵理论的应用中起着重要作用.借助于分块矩阵及相关恒等式,给出了关于四元数矩阵特征值与奇异值的几个新的不等式,推广了实或复数域上矩阵特征值与奇异值不等式的相应结果,它们可望有助于推动四元数代数在量子力学、机器人技术等学科中的进一步应用.     

块三对角矩阵的修正型局部块分解预条件

利用块三对角阵分解因子构造了一类修正型不完全分解预条件子 ,分析了该预条件子的存在性及其若干性质。针对从二维Laplace算子离散得到的五点差分矩阵 ,给出了预条件后的实际条件数 ,结果表明 ,条件数与矩阵阶数的平方根成正比 ,并且比例因子随局部分解步长的增大而逐渐减小。具体实现时 ,考虑了其高效实现方案 ,并针对从二维Laplace算子与系数不连续的二维椭圆型算子离散得到的五点差分矩阵 ,在主频为 5 5 0MHz ,内存为 2 5 6MB的微机上作了大量实验 ,且与其他较有效的预条件方法进行了比较 ,结果表明该预条件方法效率优于其他测试预条件。     

实Hilbert空间中一类K-正定算子方程的可解性及其迭代构造

证明了Petryshyn关于K -正定算子方程可解性的一个定理在实Hilbert空间仍然成立 ,并给出解的迭代构造法     

采用自适应简化不确定性卡尔曼滤波算法的飞行器导航控制方案

针对飞行器绕本体轴高速旋转的飞行过程出现的严重耦合干扰问题和大角加速度和大角速度测量问题,提出了一种自适应简化不确定性卡尔曼滤波算法。该算法使用超球面分布采样点和线性转移等方法简化算法采样计算和采样点的权值计算,提高算法效率;利用模型噪声和线性方程,通过一步预测进行自适应设计,计算滤波值和误差方差矩阵;使用次优噪声估计器推算过程噪声;对过程噪声进行正定判定,防止算法发散。仿真结果表明,这一改进的自适应简化不确定性卡尔曼滤波算法能够有效减少滚转角解算误差和耦合干扰,提高飞行器着陆点的精度。     

多输入多输出雷达恒模稳健波形联合优化算法

针对目标冲激响应及杂波冲激响应分布特性先验知识不准确导致的多输入多输出雷达检测性能下降的问题,提出恒模稳健波形与接收机滤波器联合优化算法。将目标冲激响应及杂波冲激响应分布特性先验知识不准确时的优化问题建模为一个极大极小化问题。运用迭代优化算法将联合优化问题分解为两个子优化步骤:将波形固定时的接收机滤波器权值优化问题建模为广义瑞利商模型,求解得到相应的接收机滤波器权值矢量;利用半正定松弛技术对权值固定时的波形优化问题进行求解,获得对应的波形矩阵,并根据得到的波形矩阵,通过高斯随机化的方法获得所需的恒模波形。对所提算法的收敛性进行了证明,仿真结果表明所提算法有效。     

巨大的贡献辉煌的成就——人民解放军进军新疆58年历史回顾

新疆军区部队是一支具有光荣历史和优良传统的部队,其前身诞生于井冈山和鄂豫皖革命根据地,经历了新民主主义革命和社会主义建设的各个历史时期.     

关于篮球裁判员心理素质培养的浅析

由于现代篮球比赛复杂多变,紧张激烈,许多违反规则动作隐蔽性强.如果没有良好的裁判技能和判断能力,常常会出现误判、漏判、错判或偏判及裁判员移动不到位、手势不规范等现象,影响比赛的顺利进行.甚至形成裁判表演的局面.篮球裁判员要高质量地完成裁判任务,不仅要具备良好的体能和裁判技能,还应具有敏捷,迅速、准确的心理判断能力.……     

三次交通封锁与第一次柏林危机

第二次世界大战结束后,美、英、法、苏等盟国分割德国虽然是出于对付法西斯的需要,却在占领国美、英、法与苏联之间制造了新的矛盾.20世纪40年代末期,随着冷战的到来,美、英、法等国为加强中欧的地位,策划其在西德和西柏林的"联合占领区",并着手利用马歇尔计划复兴德国,宣布单方面实行币制改革.     

RS编码在短波和超短波数据通信中的应用

为短波数据通信设计了一种全新的信道编码,可以有效的提高短波数据通信的可靠性,采用了一种适应短波信道特点的RS码型,具有较高的实用价值.     

Optimal policy for a dynamic multi-echelon inventory model

A general multiperiod multi-echelon supply system consisting of n facilities each stocking a single product is studied. At the beginning of a period each facility may order stock from an exogenous source with no delivery lag and proportional ordering costs. During the period the (random) demands at the facilities are satisfied according to a given supply policy that determines to what extent stock may be redistributed from facilities with excess stock to those experiencing shortages. There are storage, shortage, and transportation costs. An ordering policy that minimizes expected costs is sought. If the initial stock is sufficiently small and certain other conditions are fulfilled, it is optimal to order up to a certain base stock level at each facility. The special supply policy in which each facility except facility 1 passes its shortages on to a given lower numbered facility called its direct supplier is examined in some detail. Bounds on the base stock levels are obtained. It is also shown that if the demand distribution at facility j is stochastically smaller (“spread” less) than that at another facility k having the same direct supplier and if certain other conditions are fulfilled, then the optimal base stock level (“virtual” stock out probability) at j is less than (greater than) or equal to that at facility k.     

路、Ti^＊广义θ-图的成分着色

设H是一个超图（图），对于它的一个k边着色c：E（H）→{1，2，∧k}，我们记f（H，c）是由k种颜色中，由同一色类导出的子超图（子图）中所含分枝数最少的子超图（子图）的分枝数。fk（H）表示H中所有k边着色中f（H，c）的最大值，即fk（H）=maxf（H，c）。本文主要研究了路、Ti’、广义θ-图的成分着色，并得到了fi（Pn）=（n-1/k,f（Ti^＊）=[i-1/k]＋1∫k（Gθ）=2     

海量电磁数据中雷达信号的高效分选方法

针对海量电磁数据中雷达信号难以进行快速准确分选的问题,提出一种新的聚类分选方法,即改进k-means算法的Map Reduce并行化实现方法。通过引入初始聚类中心个数k1、最大聚类中心个数kmax和距离门限rt3个参数,克服了k-means算法需要事先确定k值和易受孤立点影响的局限;基于Hadoop平台实现了对改进k-means算法的Map Reduce并行化,克服了k-means算法串行实现时间复杂度高的局限。最后,实验表明改进k-means算法取得了更高的分选准确率,Map Reduce并行化后具有良好的加速比和扩展性,能够很好地对海量电磁数据中雷达信号进行高效分选。     

一种离散描述器系统状态调节的反馈控制律

本文探讨了形如 Ex_(k+1)=Ax_k+Bu_k 的定常离散描述器系统的状态调节问题,得出了一个用至多 n 步使描述器从状态 x_0到达原点的闭环反馈控制律μ_k=Kx_k。     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。