2. 您的位置
3. 首页
4. 期刊论文
5. 命题公式集FS的基于修正的 G(o)del算子的十八类分划

命题公式集FS的基于修正的 G(o)del算子的十八类分划

来源 :四川大学学报：自然科学版 | 被引量 : 0次 | 上传用户：haijiehahaha

【摘 要】

：

本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于

【作 者】

：

李顺琴 王国俊 

【机 构】

：

延安大学数学与计算机科学学院,陕西师范大学数学研究所

【出 处】

：

四川大学学报：自然科学版

【发表日期】

：

2009年6期

【关键词】

：

命题公式 修正 del算子 based set characterization classification 运算 确定集 PARTITION 蕴涵算子 封闭 

【基金项目】

：

国家自然科学基金重点项目

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.Abstract：In this paper the characterization of formula's validation set are discussed by using revised G(o)delimplication operator in the propositiona

其他文献

基于排队理论的自适应负载均衡算法研究

负载均衡集群技术中的负载均衡算法是整个互联网络应用研究中一个重要问题．针对“需求快速变化”这一企业级管理软件开发中呈现的特点，以及各应用软件之间的互操作性差、应用集

期刊

负载均衡排队论性能load balance queue theory performance

草甘膦高效降解菌的筛选鉴定及降解特性研究

通过富集分离的方法，从受草甘膦污染的土壤中以草甘膦为唯一碳源进行筛选，共分离出7株对草甘膦具有降解能力的菌株．利用高效液相色谱法对菌株降解能力进行测定，发现QB-7菌株在草

期刊

草甘膦降解细菌HPLC筛选glyphosate degradation bacteria HPLC isolation

δ-KCLR：基于优化初始簇的聚类算法及其应用

本文从优化初始簇入手，提出了改进的聚类算法，提高了信贷风险识别效率及准确率．主要工作包括：（1）实现基于信贷特色的申贷数据集标准化算法；（2）提出δ-相似度度量概念；（3）提出基于δ-K mea

期刊

信贷风险聚类K均值δ-簇commercial loan clustering K-means δ-Cluster

网络办公自动化系统的设计与实现

在分析传统办公模式不足的基础上，提出建立功能强大的网络办公自动化系统，提高办公效率和信息决策，是各单位进行信息化建设的必由之路．重点介绍了系统开发的工具和关键技术，阐述了

期刊

OAB/SC/S工作流OA B/S C/S workflow

燃烧方程非均匀网格有限差分方法研究

作者根据燃烧方程解的特点,构造了一类全隐非均匀网格差分格式,证明了差分格式数值解的存在性和收敛性,并通过数值试验验证了理论分析的正确性,得到的数值解精度明显优于均匀

期刊

燃烧方程解非均匀网格有限差分方法研究Researchmesh差分格式NUMERICALsolutionNUMERICALexperimen

应用指数函数法求解广义Camassa-Holm方程

作者针对广义Camassa-Holm方程,借助指数函数法和Maple计算工具得到了许多新的、更一般的精确孤立波解,这些解包括kink-wave解和周期孤立波解,推广了已有的相关结果.Abstract

期刊

指数函数法求解广义CAMASSA-HOLM方程GENERALIZEDexactsolitarywavesolutions精确孤立波解GENE

基于UML和RUP的中小项目的设计和实现

近年来URUP（Unified Modeling Language and Rational Unified Process）已经被广泛应用于规范软件的开发过程中．随着软件的规模和复杂性不断加剧，软件危机已经变得越来越严重．解决

期刊

UMLRUP开发过程模型软件复用UMLRUP development process model software reuse

犊牛牛病毒性腹泻／粘膜病母源抗体研究

应用细胞中和试验分别对免疫和非免疫母牛所生犊牛的血清进行母源抗体的测定，结果显示两组（每组8头）犊牛血清中均含有滴度不同的母源抗体，母源抗体的变化呈马蹄形变化．1日龄最低，7～8

期刊

犊牛牛病毒性腹泻/粘膜病母源抗体细胞中和试验calf bovine viral diarrhea-mucosal disease （BVD/MD）

一种间歇性连通移动网络(ICMN)MAC协议的优化机制

间歇性连通移动网络(Intermittently Connected Mobile Networks, ICMN)是指在大多数时候不存在一条从数据源节点到目的节点的路径,即使存在路径,该路径也因网络环境或节点移

期刊

间歇性连通移动网络MAC协议优化连接时间intermittently connected mobile networksoptimized MAC p

导数在提取植物叶片锯齿特征上的应用

运用计算机图像处理和分析技术对植物叶片图像进行图像预处理并提取叶片的轮廓,通过分析轮廓曲线中离散像素点的导数值,获取叶形的犄角点,从而提取锯齿,为基于叶片外观特征的植物分类提供辅助.

期刊

植物分类叶片锯齿特征提取轮廓曲线导数Plant classification leaf sawteeth feature extraction