A local construction of the Smith normal form of a matrix polynomial

We present an algorithm for computing a Smith form with multipliers of a regular matrix polynomial over a field. This algorithm differs from previous ones in that it computes a local Smith form for each irreducible factor in the determinant separately and then combines them into a global Smith form, whereas other algorithms apply a sequence of unimodular row and column operations to the original matrix. The performance of the algorithm in exact arithmetic is reported for several test cases.     

一种联盟博弈频谱感知机制

为了在主用户具有异构性且认知用户处于多路径衰减、阴影效应等低感知性能的认知环境中,使认知用户公平有效地进行频谱感知,提出一种联盟博弈频谱感知机制,将频谱感知问题建模为效用不可转移的联盟博弈。首先,将认知用户划分成多个子联盟,根据头结点选取原则选出各个子联盟的头结点;其次,根据规则进行子联盟合并或分裂;最后,子联盟头结点利用“OR”规则进行数据融合,得到最终感知结果并广播给子联盟内的所有认知用户。仿真实现和性能评价结果表明,该机制具有好的性能。     

Dynamic normal forms and dynamic characteristic polynomial

We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case, our algorithm supports rank-one updates in O(n²logn) randomized time and queries in constant time, whereas in the general case the algorithm works in O(n²klogn) randomized time, where k is the number of invariant factors of the matrix. The algorithm is based on the first dynamic algorithm for computing normal forms of a matrix such as the Frobenius normal form or the tridiagonal symmetric form. The algorithm can be extended to solve the matrix eigenproblem with relative error 2^−b in additional O(nlog²nlogb) time. Furthermore, it can be used to dynamically maintain the singular value decomposition (SVD) of a generic matrix. Together with the algorithm, the hardness of the problem is studied. For the symmetric case, we present an Ω(n²) lower bound for rank-one updates and an Ω(n) lower bound for element updates.     

多种查询功能的设计与实现

在数据库管理系统中,查询扮演着重要的角色。该文打破了查询设计的一贯思路,利用 Ｏｒａｃｌｅ＊Ｆｏｒｍｓ实现了多种查询功能。这些查询功能不仅能够完成多表相关数据之间的联合查询,同时实现了细表对主表的查询,保证了各表之间的一致性。     

基于主从表的动态查询技术

信息查询是数据库应用系统最重要的工作之一。在涉及多表联接查询时,有多种解决方案。本文在Query静态主从表技术的基础上,采用Query主从表的动态联接技术,便捷、高效地实现多表联接的动态查询。     

链式系统轨迹跟踪控制:一种新方案

研究了链式系统的轨迹跟踪控制问题,提出了一种新的跟踪方案,设计出能实现全避轨迹跟踪的静态控制器。它克服了用动态反馈线性化方法设计出控制器的两个缺点;控制器维数高和闭环系统有奇异点,将其用于一类轮式机器人的控制中,仿真结果表明了所提出方法的有效性。     

卡通玩具的悦情功能与形象魅力塑造的设计探讨

"悦情"是新时代特征赋予现代玩具的一大主要功能,这一功能对于现代卡通玩具形象设计的标准和方法又提出了新的要求。本文以现代玩具中增长最为迅速的领域——静态卡通玩具形象设计为探讨内容,通过现代卡通玩具的"形象魅力"能给人们带来"悦情"的功能特点,从而提出了现代卡通玩具"形象魅力"塑造的原则——"形神兼备"的观点。并从"表情"、"性格魅力"与"肢体动态"等三个方面来阐述如何达到卡通玩具"形神兼备"的艺术造诣。     

实例分析关系模式的规范化与反规范化

规范化是减少数据冗余、设计合理的数据库的重要手段,是数据库课程的重点。由于涉及到关系数学理论,仅做理论讲解,很难使学生理解,尤其是高职层次的学生。本文通过一个关系模式不断分解、规范化的实例,采用逐步深入的方法解决数据库设计中存在的问题,使学生既掌握数据库设计的技能,也加深对函数依赖、规范化理论的理解。     

激光制导武器的发展现状与趋势

本文简要讨论了激光制导的原理及工作方式,对典型激光制导武器进行了详细介绍,通过分析激光制导武器的特点,重点描述了中外各国激光制导武器的发展现状,对激光武器的攻防战略及其发展趋势也作出了一定阐述。