完全定义时序机的状态化简算法

在矩阵模型的基础上，担子同求映射矩阵Ｂ（Ｘ）和输出矩阵Ａ（Ｘ）的方法，进而求出Ｋ阶输出矩阵与ＰＫ划分，在此基础上，得到了求完全定义时序机状态化简的算法。该算法基于矩阵运算，便于计算机的并行实现。     

基于不完全封闭顺序时序机的动态故障精确定位

不完全封闭顺序时序机的工作模式识别，特别地动态故障精确定位是重大难题。本在样本状态表，样本状态差表，样本自状态差表的基础上，提出了一系列定义，导出了一系列重要定理，性质及规律，建立了状态差理论及自状态差法。可直观地识别不完全封闭顺序时序机的全部工作模式，精确实时定位动态故障。理论及方法的重大贡献在于对数字集成系统的设计测试起重大推动作用。     

一类非完全定义时序机的状态化简

应用矩阵模型,提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件,根据状态相容坏 出Ｐｋ划分,从而得到了该类时序机状态化简的算法。     

时序机串行全分解中的 NS 全分解

基于时序机全分解理论研究，文章给出了时序机串行全分解中ＮＳ型全分解的实现和优化过程     

完全覆盖与局部可加集族的一点注记

本文给出下列两引理等价性的证明。引理１如果是［ａ，ｂ］的闭子区问组成的局部的、可加的集族，则［ａ，ｂ］属于。引理２若是［ａ，ｂ］的一个完全覆盖，则包含了［ａ，ｂ］的一个分割。     

基于时序NDVI的三峡库区植被覆盖时空变化特征分析

基于250 m 分辨率的MODIS-NDVI数据,从时间变化和空间变化两方面分析2000年～2015年三峡库区植被变化特征,运用一元线性回归趋势分析方法和F检验方法对三峡库区NDVI的变化趋势进行了定量研究.结果表明：16 a 来三峡库区NDVI总体上趋于波动增长,年均增长率为0.17%,但在时间和空间上有不同的变化特点.从季节差异上看,春季NDVI增长最快,其次是秋季和冬季,夏季NDVI变化趋势较平缓.从NDVI的空间变化格局上看,NDVI呈显著增加趋势的面积占整个库区面积的14.47%,轻微增加占55.77%,增加区主要分布在库区的北部、东北部、东部及东南部.库区20个县(区)NDVI 呈显著增加的面积均大于显著减少面积,其中巫溪、兴山、宜昌、巴东4县的增减面积均在800 km2以上,植被覆盖提升明显;忠县、重庆市区、渝北、长寿4县(区)的增减面积差均低于30 km2,植被覆盖增加相对较慢.库区各类型植被的NDVI均呈上升态势,其中草地NDVI增长最快,阔叶林NDVI显著增加面积占其总面积的比例最高,灌丛NDVI显著增加面积在所有植被类型中最大,退耕还林还草和农业生产模式转型也促使农作物NDVI缓慢增长.     

不完全覆盖的模糊多状态系统可靠性计算方法

针对实际工程中多状态系统的性能及其概率分布无法准确获得和不完全覆盖的问题,提出了一种可靠性计算方法.该方法利用模糊发生函数来分析多状态系统,根据分解定理,用截集的形式来表示元件的性能.对于计算系统处于各状态的概率分布和并发执行结构的性能,结合扩张原理,采用模糊数排序准则采比较元件的状态与运算冗余结构,以及串行结构的性能,解决了已有算法的计算结果只能得到近似值的问题.采用将不完全覆盖与系统模型分离的方法,使得模糊发生函数能够分析不完全覆盖的模糊多状态系统,既解决了未覆盖失效带来的元件相关性,也降低了分析的复杂性,从而为计算机编程提供了方便.     

基于SOR的有效集算法求解支持向量机

利用有效集求解的SVM策略,采用SOR方法求解相应的子问题,使得改进算法能有效处理大规模非线性可分的问题,证明了改进算法的有限终止性。提出了可将此改进算法应用到增量学习SVM中。     

有限集合的相容关系与完全覆盖

非空有限集合A的完全覆盖S={A1,A2,…,An}决定了A上的相容关系R=∪ni=1(Ai×Ai).研究了R的最大相容类集合和完全覆盖S之间的关系,给出相容的完全覆盖、极大相容完全覆盖、极小相容完全覆盖和恰当完全覆盖的定义,证明了相容的完全覆盖其成员均为R的最大相容类,而极大相容完全覆盖恰为R的最大相容类的全体,并给出这几种完全覆盖之间的关系.     

基于有向图的最小完全覆盖互操作测试序列生成算法

互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.     

复指数多项式在Hardy空间中的完备性

对复指数多项式在Bamch空间Hpa(1≤ρ≤2)中的完备性给出了充要条件,其中Hρa为开半带形Ia={z=x iy:x＞0,│y│＜a}(a＞0)中的Hardy空间.     

复指数多项式在半带形中的完备性

对复指数多项式在Banach空间Hα中的完备性给出了充分必要条件,其中Hα为在半带形Iα={z=x iy: x≥0,|y|≤α} (α>0)中连续, 在Iα的内部解析且当x→∞时,f(x iy)在Iα中关于y一致地趋向0的函数f(x iy)全体, 其范数为上确界范数.     

根子空间的完备性

文中考虑Ｂａｍａｃｈ空间Ｘ上一类离散谱算子Ａ根子空间的扰动问题，给出了σ∞＝（Ｓ）｛０），ｓｐ（Ｓ）＝Ｘ的一些扰动结果。     

统筹图中求关键路线的一个算法

给出了１个求统筹图中关键路线的多项式算法，证明了该算法的理论依据，分析了它的复杂性为Ｏ（ｎ＾３）。     

Ekeland原理的推广及空间的完备性特征

本文把Ekeland变分原理推广到拓扑空间,给出了更一般的Petal定理及Drop定理,得到了拓扑空间内的几个不动点定理,并讨论了空间的完备性特征(与不动点的存在性等价).     

关于Fuzzy度量空间的完备性

定义了Ｆｕｚｚｙ向量间的Ｆｕｚｚｙ距离，证明了它的一些基本性质，并在此基础上讨论了Ｆｕｚｚｙ向量空间的完备性。     

武夷山常绿地被植物调查

在调查的基础之上,列出了武夷山国家级自然保护区内常见的常绿地被植物,同时指出这些常绿地被植物在园林中的用途。     

竹材展开机框架的优化设计

<正>本文用序列无约束极小化方法(SUMT)中的外点罚函数方法对竹材展开机框架进行优化设计。这种框架不仅能满足强度、刚度及几何尺寸的要求,而且可得到良好的经济效益,为使用微机提高框架设计水平提供了新的途径。     

完全分配格范畴的完备性与余完备性

证明了完全分配格范畴是完备的和余完备的格范畴。