论文部分内容阅读
利用赋值集的随机化方法，在三值逻辑G3中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DG3-相似度与伪距离的概念，并建立了DG3-逻辑度量空间，证明了此空间没有孤立点。
三值逻辑系统G3中的随机化研究
【摘 要】
：
利用赋值集的随机化方法，在三值逻辑G3中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DG3-相似度与伪距离的概念，并建立了DG3-逻辑度
【机 构】
：
聊城大学数学科学学院
【出 处】
：
山东大学学报：理学版
【发表日期】
：
2008年2期
【基金项目】
：
教育部科学技术研究重点基金资助项目（106089）
其他文献
任何一种艺术样式，都有其建立在基本的独特的规律和规则，掌握和了解了这些基本性的规则就能有所取舍灵活运用。无论是专业的还是业余作者，在戏剧剧本的创作构思过程中，其“基本性
对于线性脉冲调宽控制系统给出了更一般的HDS(混合动态系统)的模型,在采样时间间隔为时变的情况下给出了系统的稳态稳定性的定义和证明.
按照访问兴趣对用户进行聚类分析是Web挖掘的一项重要内容．在用户访问兴趣度量中综合考虑网页内容和浏览路径因素；在聚类分析中，依据访问兴趣定义提出新的相似度计算方法．利用传
我国制造业经过多年的发展,产业链较为完整,具有较强的综合国际竞争力。但也要看到,在产业基础能力方面,制造业还存在一些薄弱环节,需要采取有针对性的措施加以解决。一是要
依据S-粗集，给出f-迁移知识，F-迁移知识，知识过滤度和知识过滤属性f-迁移依赖的概念，提出知识过滤属性f-迁移依赖定理，给出知识过滤属性f-迁移依赖在知识识别中的应用，揭露了知识过
研究了二维污染运移方程,这种方程由平流项,扩散项和吸收项组成.假设为平衡吸收,且吸收项为Freundli-ch等温项,在此情形下,饱和度方程是非线性的,并且当饱和度接近零时非Lips
给出了矩阵半张量积的（T，S，2）-逆的反序律成立的充要条件。并证明了等式（A⊙B）MP^＋=（A MN^＋（A⊙B））NP^＋（（A⊙B）（BNP^＋×IP））MN^＋.
研究了一个判定WN-空间可膨胀的条件.即在正规空间中,若X是WN-空间且其WN-函数满足条件：如果y∈g（n,x）,那么g（n,y）∈g（n,x）,则X是可膨胀的.
对移动数据库环境下2种缓存一致性维护策略进行了比较，比较了单个方法的有效性，以及它们结合执行时的性能。分析表明每一种方法在一定程度上都能够提高性能，但若将其有效结合起