可变系统结构建模

可变系统结构建模肖人彬，罗云峰，王雪，费奇（武汉华中理工大学，武汉４３００７４）ＳｔｒｕｃｔｕｒａｌＭｏｄｅｌｉｎｇｆｏｒＣｈａｎｇｅａｂｌｅＳｙｓｔｅｍｓＸｉａｏＲｅｎｂｉｎＬｕｏＹｕｎｆｅｎｇＷａｎｇＸｕｅＦｅｉＱｉ（ＨｕａｚｈｏｎｇＵｎｉｖｅｒ...     

EDGE RECONSTRUCTION OF PLANAR GRAPHS WITH MINIMUM DEGREE AT LEAST THREE-(Ⅱ)

ＥＤＧＥＲＥＣＯＮＳＴＲＵＣＴＩＯＮＯＦＰＬＡＮＡＲＧＲＡＰＨＳＷＩＴＨＭＩＮＩＭＵＭＤＥＧＲＥＥＡＴＬＥＡＳＴＴＨＲＥＥ－（Ⅱ）￥ＦＡＮＨｏｎｇｂｉｎｇ（ＤｅｐｏｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｊｉｎａ...     

一类新图的奇优美性的研究

设L为简单无向图G的一个顶点标号,L称为图G的奇优美标号,若L满足以下两条:(1)L为G的顶点集V到{0,1,…,2 ︱E︱-1}的一个单射;(2)由L′(e)=︳L(u)-L(v)︳(其中e=uv)决定的边标号L′是从G的边集E到{1,3,…,2 ︱E︱-1}的一个双射.本文给出了一类特殊简单图G*的奇优美标号,并给出了相应的标号算法及相关的一些证明.     

泛延拓矩阵的极分解与扰动界

用矩阵分解和广义逆的相关性质给出泛延拓矩阵的极分解、广义逆和扰动界的若干计算公式.数值实例结果表明,该方法在数值精度不变的情况下可极大降低计算量与存储量.     

线性矩阵方程的解空间维数问题

目的给出AX XB=0,X AXB=0型矩阵方程的解空间维数。方法运用分块矩阵和Jordan标准形对解空间维数进行讨论。结果得到了解空间维数的一般表达式。结论利用分块矩阵和Jordan标准形可以讨论与此相关的问题。     

有向图谱半径的上界

本文利用矩阵理论, 给出了用图的出度序列表示的简单有向图的谱半径的可达上界, 同时还刻画了达到上界的极图.     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

嵌入式系统VxWorks下应用软件中文输入的实现

汉字输入是中文应用软件进行人机交互的重要组成部分。在嵌入式系统Vxworks下只提供了西文信息的输入输出功能，不支持中文信息处理功能。详细介绍了汉字输入的基本原理和开发技术，并在嵌入式系统Vxworks下实现了应用软件的中文输入功能，为嵌入式系统Vxworks下中文应用软件的开发提供了一个很有价值的实用工具。     

基于属性蕴含的Q矩阵理论

认知诊断(CD)是认知心理学与心理和教育测量学相结合的前沿研究领域.在属性间约束关系的Q矩阵理论中,其认知模型仅考虑了属性集与属性间的层级关系,忽略了属性间可能存在非层级关系的蕴含关系.该文探讨基于属性蕴含的Q矩阵生成,以及属性蕴含关系的挖掘.研究成果扩充了现有Q矩阵理论,完善认知诊断的理论、方法和应用.     

双圈图的优美性

针对双圈图, 设计一种图的优美性判定算法, 并对17个点内的所有双圈图进行优美性验证, 得到了该范围内所有的优美图和非优美图. 结果表明, 在17个顶点范围内, 除∞ 型双圈图C_(m,n)外, 其余所有双圈图都是优美的, 其中(m+n)(mod 4)={1,2}. 最后给出该类图的非优美证明, 并进一步猜测当顶点数大于17时, 该结论仍成立.