可以三角化的矩阵

令σ是数域 F 上 n 维向量空间 V 的一个线性变换,则σ可以对角化的充分必要条件是:(i)σ的特征多项式的根都在 F 内;(ii)对于σ的特征多项式的每一根λ,特征子空间 V_λ的维数等于λ的重数那么条件(i)意味着什么呢?本文将证明它正是σ可以三角化(即存在 V 的一组基,使得σ在该基下的矩阵是三角形矩阵)的充分必要条件。为此先证明     

并行仿真软件支撑环境PARSIM通过鉴定

国防科技大学计算机系自行研制成功的“并行仿真支撑环境PARSIM于今年四月在北京通过了技术鉴定。 PARSIM是一种基于同构型多机结构并行仿真计算机的仿真软件开发环境。该系统为用户提供了一个类似于Turbo系列软件的多窗口、菜单式的集成式程序开发工具。所采用的面向方程的高级仿真语言PCSL与目前国际上流行的连续系统仿真语言CSSL—Ⅳ兼容,且有所扩充。与一般的仿真语言相比较,该系统成功之处在于,PARSIM的多任务产生器能够自动地将一个传统单机上串行执行的仿真程序转化为一个在多机上并发执行的并行仿真程序,并获得理想的加速比。在这一过程中,用户仿真程序中的并行性识别、多任务划分、处理机调度与分配、机间同步与通讯的处理等全由多任务产生器自动完成,无需用户干预。     

Ju亚科三种鱼银染核型的比较研究

本文报道了棒花鱼、铜鱼、江西的银染核型。棒花鱼２ｎ＝５０，间期核最高银染点数为４，中期分裂相中最高为３，以２个的频率最高，位于Ｓｍ组第６号染色体的短臂末端。铜鱼的银染点数为４，位于Ｓｍ组第２．８号染色短臂末端，江西的银染点数目为２，位于Ｓｍ组第３号染色体短臂上，比较三种鱼的银染核型及其进化关系，我们认为，在Ｊｕ亚科的进化过程中银染点的数目趋于减少。     

新疆五种芫菁血淋巴蛋白质谱带的比较研究

本文报道了用聚丙烯酰胺凝胶电泳法分析比较了新疆常见五种芫菁血淋巴蛋白质的谱带.研究结果表明,血淋巴蛋白质谱带具有明显种属特异性,属间差异明显大于种间差异.     

高师化学实验教学整体改革的研究与实践

介绍了“高师化学实验教学整体改革的研究与实践”课题研究的理论基础、研究内容、实施效果情况。     

不确定离散广义系统的H∞保成本控制

利用Riccati不等式,给出了H∞保成本离散广义系统和H∞保成本控制的定义,设计状态反馈H∞保成本控制器,使得闭环系统不仅对于容许的参数不确性保持正则、稳定、因果,而且使相应的闭环系统的二次性能指标具有上界及给定的H∞性能γ.基于线性矩阵不等式(LMI)给出了H∞保成本控制器的表达式。最后用数值例子说明设计方法的有效性和可行性。     

数据融合中的残差建模分析与融合算法

多传感器数据融合系统中,传感器之间存在着难以精确建模的系统误差。即便经过校准,仍然会存在残差。残差的量级与随机观测噪声相当,不同的是,残差是一种随时间慢变的系统误差。目前文献中缺乏有效的残差分析建模手段,从而难以提高融合精度。针对上述问题,建立了残差的数学模型,进而提出了残差补偿航迹融合算法。算法将残差增广至目标状态向量,在状态估计的同时完成残差补偿。仿真结果表明,残差补偿算法极大地提高了目标状态估计的精度,显著改善了机动目标的跟踪性能。最后使用雷达实测数据对算法进行仿真,验证了算法可应用于实际工程系统。     

植物群落性状不定等规律与联系数学

栽培植物群体构成栽培植物群落.群体性状集合成群落性状.由于群体的相辅性状和相克性状以及结构等原因,群落的性状不一定等于其群体性状之和,数学模型为:w(∧∨)Σx1.应用联系数学的理论和方法证明栽培植物群落性状不定等规律,调控群落性状和评判群落优劣,具有重要的理论和实际的意义.表1,参6.     

一种高效的连续属性离散化算法

分析了基于熵的离散化标准的切点特性,提出并证明了一种基于边界点属性值合并和不一致度检验的离散化算法。与传统离散化算法相比,此算法只对边界点属性值进行合并,切点个数无需设定,自动生成,且合并规则简单易行,大大减小了计算量,适用于处理大规模高维数据库的离散化。同时由于采用了不一致度对备选切点集合进行调整,使本算法具有全局性。试验表明,该算法有效提高了分类规则的简明性和预测精度。