一种非均匀概率空间下二值命题逻辑中命题的真度理论

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.     

■ukasiewicz n值命题逻辑中公式的α-随机真度理论

给出■ukasiewicz n值命题逻辑中公式的α-随机真度的概念和性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。     

n值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架.     

三值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.     

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.     

n值乘积命题逻辑系统的真度研究

对n值Goguen命题逻辑系统进行公理化扩张记为Goguen～,△.在该系统中添加了新的连接词～,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质.     

二值命题逻辑中基于前提信息的随机真度

由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据.     

Frank三角范数的三值模糊逻辑系统的真度理论

本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

匕ukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在匕ukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。     

计算机辅助测糖溶液浓度

介绍一种用计算机辅助测糖溶液浓度的方法。用计算机采集数据输出图形,测量结果与公认值的误差在测量范围内。与旋光仪测量相比,其实验过程清晰、直观、易读数。     

试论矿岩爆破块度的研究与发展

矿岩的破碎程度是评价爆破效果的重要指标。本文对描述爆破破碎程度的几种方法进行了分析对比;在对国内外研究成果总结的基础上,对下一步的研究工作提出了建议。     

某些有限单群的一个新的数量刻画

用有限群的阶和不可约特征标的次数的素因子的个数来刻画某些有限单群。     

关于约束和自由度的深入分析

明确了分析力学中体系的概念,分析了一般教材确定体系自由度方法的不足之处,由此提出了一种简捷清晰的确定自由的方法,并论述了非完整系中约束与自由度的关系。     

新型高聚合度聚磷酸铵阻燃材料的合成

对高聚合度聚磷酸铵的聚合条件进行了优化实验,制备了平均聚合度为600的聚磷酸铵．研究了磷酸铵、组分配比、反应温度、反应气氛、反应时间和处理温度、处理时间、处理气氛对平均聚合度的影响．结果表明高聚合度APP的生产工艺条件为：1：1：0．3（摩尔比）的（NH4）2HPO4,P2O5和尿素混合均匀后,于干燥氨气氛下280-300℃充分搅拌进行聚合反应,聚合反应时间为20min以上,聚合反应完全后于同样气氛下,250-280℃热处理100～120min,即得粉末状的APP聚合物,通过端基滴定法测定聚合度,其平均聚合度大于600．     

关于一些多项式时间度对的连续性

本文的主要结果是:对任何度,存在使并且对任何度。     

基于程序执行轨迹与动态切片的错误定位研究

为解决程序调试过程中的错误定位问题, 将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句, 影响错误定位的准确度。在执行轨迹的基础上, 通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型, 使用该模型计算每条语句的怀疑度, 并根据怀疑度对每条语句进行排序, 给出查错的推荐方案。通过实验对比其他算法, 证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。     

基于数据挖掘的网页个性化推荐系统分析

通过分析和提取数据库服务器上的网站描述文件和网站日志文件,获得浏览用户的浏览行为模式,分析了网页间的相关性,从而构建模拟网页个性化推荐系统,使网站的页面设计更具个性化,节省搜索网页的时间。     

四元超图的模型及其性质

提出了一种基于复杂网络理论的四元超图的模型。定义了基本的网络衡量值,研究了四元超图中顶点的度分布及额外度的分布,构建了随机四元超图的模型,并且探讨了巨大分支在四元超图中存在的条件。本研究可用于分析研究社会网络中一些大规模的复杂超网络的结构及其拓扑性质。