广义非阿基米德概率度量空间中一个不动点定理

本文给出广义非阿基米德概率度量空间中一个新的不动点定理,推进了Achari在文[1]中的结果。     

三值R0命题逻辑系统的条件真度理论

文章在三值命题逻辑系统中随机真度，随机度量空间的基础上，引入了命题的条件随机真度、条件相似度和条件伪距离的概念，研究了其性质，建立了条件随机度量空间。     

气动烧蚀物体表面粗糙度处理方法的研究

本文系统地阐述了度量烧蚀表面粗糙度的各种量的定义和计算方法,并讨论了它们的一些优点与不足。为了更精确地反映出烧蚀表面的轮廓曲线和粗糙程度,本文探讨了用谱分析的方法研究这种粗糙度的可能性。并通过几种典型波形的频谱分析证明了在谱空间里作粗糙度的分析能给出更可靠、更精确的结果。烧蚀表面粗糙度的度量是随航天技术发展而产生的新课题,本文的工作对它的研究作出了初步的有价值的探索。     

有效推理的真度关系与度量空间的近似推理

在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。     

基于信息流电路可测试性的度量

准确地度量电路的可测试性是数字系统测试的重要问题之一。本文提出了一种基于信息流度量电路可测试性的方法,它表明可以将一个数字电路看成是一个信息处理系统。因此,电路的可测试性的度量值定义为电路输出的平均信息量与输入的平均信息量的最大值之比。文中给出了如何应用逻辑模拟软件来计算电路可测试性的度量值。对于由模块组成的电路,可以通过模块之间的一些特殊操作求得整个电路可测试性的度量值,本文也给出了方法及实例。文中还给出了应用本文提出的方法进行电路可测试性度量的实例,并与文[1,5]的方法得到的结果进行了比较,从而说明了本文方法的特点。     

基于多态性的UML时序图度量研究

目前对于时序图度量的研究没有考虑到面向对象软件的多态性特点,度量不够准确。本文结合面向对象多态性的特点和UML(Unified mode ling language)类图、时序图,运用图论的方法构建了有向无环图,并在此基础上提出了相适应的度量集,最后通过实例分析说明时序图的多态性扩展和度量集的有效性。同时,本文的研究也为软件测试用例的设计提供了指导。     

基于全知熵的模式集成不确定性度量模型

不确定性是模式集成的一个固有性质,不确定性度量对模式集成具有重大影响。本文提出一种度量模型,在该模型中模式对象及其属性清洗模块使该模型免受规模影响。根据模式集成多属性分阶段决策的特点,本文基于粗糙集理论的全知熵不确定率进行各阶段的不确定性度量,并把过程模型的不确定性度量引入到总体不确定性的度量中,最后给出了合成多不确定率的方法。实例分析证实所设计模型是可行、有效的。     

FC-空间内的极小极大定理

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了数值函数与向量值函数的极小极大定理,推广了近期文献中的一些相关的结果.     

基于全卷积孪生神经网络的复杂监控场景下前景提取方法

由于光照变化、相机抖动和动态背景等因素影响,现有基于传统图像处理方法的前景提取算法并不能在复杂场景下获得良好的分割效果。针对此类问题,本文提出了一种基于全卷积孪生神经网络的前景提取算法,仅需任意2帧图像即可准确提取运动前景。将输入的2帧图像分为背景图像与待提取图像,将其输入全卷积孪生神经网络得到二者的相似性度量图,该相似性度量图中包含待提取图像相对于背景图像的各像素变化情况信息;接着将相似性度量图与待提取图像融合,利用编解码网络以实现端到端的前景提取。在CDnet2014数据集上进行综合评估与测试,结果均证明了该方法的有效性。     

三维五向矩形编织复合材料的细观结构模型

分析了三维五向矩形编织工艺携纱器的运动规律,基于映射思想研究了纱线的空间走向及规律.经分析内部区域编织纱及轴纱的空间挤压交织关系,建立了能有效反映其纱线空间构型特征的三维实体细观结构模型.根据3单胞划分思想,提出了平行于材料边界方向的单胞几何模型,建立了编织工艺参数和模型宏细现结构参数的关系.模型数值结果与试件实测数据基本吻合,证明了该模型合理、有效.