基于矩阵变换的软件可信性演化波及效应

软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.     

一个图类的研究

总结一类图的基本结论,研究图的代数性质.探讨了图的邻接谱与图的拉普拉斯谱,并分析了拉氏根的分布.     

邻接矩阵求带权图中最短通路

通过对带权邻接矩阵定义一种运算,计算n阶简单带权图中任意两点之间步长为1,2,…,n -1的最短通路长度,逐步比较,确定通路所过各边权值之和最小的即最短路径。在计算的过程中用矩阵记下最短路径所经过的所有结点,最后验证了其在无向和有向简单带权图中的有效性。     

染色数为4的图的最小特征值

设G是一个简单图,其特征值定义为它的邻接矩阵的特征值。本文确定了在给定阶数的图中,染色数为4的图的最小特征值取到极小的图。     

一种电子电路的小世界网络自动实现方法

以小世界网络理论为依据,介绍用Matlab程序计算电子电路的小世界网络特征参数及由邻接矩阵自动生成小世界网络图的方法,通过实例验证,获得满意的结果.     

用逆向蒙特卡罗法计算光的辐射强度组分

提出了一种新的数值方法,使得逆向蒙特卡罗法不但可以计算总辐射强度,还能计算直接强度和介质强度.在此方法的基础上,提出了一种改进的方法:光子分类法,该方法既能更详细地计算辐射强度组分,又能大大减少计算时间;然后比较了新方法和多射线法在计算辐射强度组分时的结果;最后将光子分类法应用于分析卫星遥感大气订正中的邻近效应问题.     

一种圆柱壳体圆孔切割机构变胞特性分析

提出了一种新型的变胞切割机构,应用于机械设备尤其是舰艇圆柱壳体表面的孔切割.通过变胞切割机构的拓扑结构的变化,使机构自由度发生改变,以适应在切割过程中切割圆孔直口、在所开孔上切割变角度坡口,以及在直口切割和坡口切割之间进行切割状态转化的要求.在对其进行机构原理和2个构态下的自由度分析的基础上,应用拓扑结构图论和邻接矩阵分析了变胞切割机构在2个构态下的各个构件间的连接状态.建立了变胞方程和变胞矩阵,用以分析和描述整个变胞过程.理论分析结果说明了该机构的有效性和实用性。     

有向图谱半径的上界

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

探讨利用速度瞬心法鉴别平面机构的虚约束

提出一种根据平面机构的构件和速度瞬心构造的图,利用这种图直观地对所求瞬心的唯一性进行判定,从而鉴别是否有可能出现虚约束;也可先将这种图转换为对应的邻接矩阵X,再利用该矩阵X的自乘幂X2进行判定。     

基于加权复杂网络的公路网等级结构划分

为划分公路网等级,引入复杂网络理论,采用对偶拓扑方法,将公路路线按照路名抽象为节点,考虑路段流量和贯穿度计算节点权重,并基于重力模型得到加权邻接矩阵,通过Matlab编程计算节点重要度指标、紧密度指标、介数指标,采用变异系数法计算节点综合指标权重,以规划年路网总里程为控制量筛选得到满足里程要求的节点;最后对所筛选出的节点采取模糊聚类,进行公路网等级划分.研究结果表明:应用复杂网络理论进行公路网等级划分,不仅能够得出各等级公路里程,并且能够得出各等级公路的空间分布情况,为未来公路网等级的提升提供参考.