论文部分内容阅读
由线性系统的可控性矩阵得到一类分块Hankel矩阵，通过可控性分析讨论了它们的若干性质，得到了这一类分块Hankel矩阵的可逆条件，特别地可以得到卜循环分块矩阵和一般数值Hankel矩阵的相应性质，为这一类分块矩阵及其相关矩阵的研究提供了一种新的方法。
一类分块Hankel矩阵及其可逆性
【摘 要】
：
由线性系统的可控性矩阵得到一类分块Hankel矩阵，通过可控性分析讨论了它们的若干性质，得到了这一类分块Hankel矩阵的可逆条件，特别地可以得到卜循环分块矩阵和一般数值Hankel矩
【机 构】
：
武汉工业学院数理科学系
【出 处】
：
武汉工业学院学报
【发表日期】
：
2006年3期
【基金项目】
：
湖北省教育厅科研计划项目（D200618009）.
其他文献
学界有多种理论可以证明我国《宪法》第53条规定的守法义务，以奥斯丁为代表的法律制裁论是其中之一，也是被使用得最为频繁的理论。奥斯丁通过把制裁嵌入法律规则的途径来说明法
【摘 要】 作文教学在利用层级训练法时教师要在头脑中构建完善的教学框架，按照合理的方式逐层推进教学内容。首先可以从认知层面来培养学生对于语文写作的认识，随后可以透过丰富学生的生活体验来帮助学生积攒写作素材；最后可以透过对于学生思维和感悟能力的培养来展开感悟性作文教学。 【关键词】 初中 作文 层级训练 实践 思考 初中语文作文教学的展开中，层级训练是一种针对性强，效果显著的教学方法，能够层
基于多种模型检测方法组合的复合检测方式是当前软件模型检测领域开展研究的热点之一。在当前的研究中,提高检测的规模和检测的对象复杂程度的关键在于如何有效处理抽象的扩张和收缩。证明通过对程序模式或验证信息的利用可以加快状态空间的探索速度。面向有界模型检测(BMC)加速方法展开研究,使用程序中额外的信息和知识对其处理以协助检测器删除冗余和无效的状态。在对程序局部性进行定义的基础上,对其加速性进行讨论,提出
广义的代驾即为他人驾驶,指驾驶人与使用人主体分离,驾驶人部分或全部为了使用人利益驾驶的情形。通过对代驾侵权案例的实证分析可以发现,代驾存在多种类型,同时存在大量同案