• 基于语言的软件可信性度量理论及其应用

    基于语言的软件可信性度量理论及其应用

    论文摘要软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究...
  • 神经网络的敏感性分析及在特征选取中的应用

    神经网络的敏感性分析及在特征选取中的应用

    论文摘要神经网络对各个自变量的敏感性分析一直是神经网络研究的热点之一。本文主要是把神经网络的各个输入变量看作自变量,定义了一种新的敏感性定义。首先,在概率测度空间上,利用依概率...
  • MV-代数上的概率和期望及相关性质的研究

    MV-代数上的概率和期望及相关性质的研究

    论文摘要MV-代数是一种逻辑代数,它是国际著名模型论专家C.C.Chang提出的代数体系,其目的在于提供无限值Lukasiewicz逻辑完备性定理的证明,这种逻辑完备性可以归纳...