论文部分内容阅读
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F（S）的一个分划。
Gainse-Rescher系统基于子代数的广义重言式
【摘 要】
：
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2015年19期
【基金项目】
：
国家自然科学基金（No.11471007）,陕西省自然科学基金（No.2014JM1020）,陕西省科技计划社发攻关项目（No.2014ks15-03.07）,延安大学自然科学专项基金（No.YDQ2014-45）.
其他文献
传感器网络中大多数传统定位方法主要研究接收信号强度(RSS)之间的匹配关系,而未充分考虑物理环境和利用离线训练数据库信息。针对上述问题提出一种基于RSSI深相似域高斯拟合的定位方法。该方法在离线阶段建立RSS与距离之间的映射关系,并利用待测定位节点与其逻辑最近邻周边深相似域内的物理近邻点的信息,同时使用贝叶斯算法和高斯曲线拟合来获取参考节点RSS的测量值,最终提高指纹定位方法的准确性。实验结果表明
本文通过实例介绍以Ftp平台为基础,用Delphi编程进行文件夹遍历形成SQL数据库,实现资源的Web展示,并进一步建成体感更佳的电子资源共享生态系统的过程与方法。
以广西民族师范学院图书馆为例,通过了解馆藏电子资源的使用现状,分析其存在的问题,结合实际寻找相应的对策,以期为今后的图书馆馆藏工作提供决策上的支持。
针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到
当目标对象与背景的纹理较多或两者纹理较接近时,基于多尺度图谱和局部谱的目标提取算法不能很好地提取目标,主要由于在计算相似度度量时,金字塔多尺度图谱算法特征选取较简单。针对算法不足,提出基于改进的金字塔多尺度图谱和局部谱相结合的目标提取算法,主要通过改进多尺度图谱中干涉轮廓权重构造方法,原算法中是基于拉普拉斯边缘图和梯度图,改进后是基于多尺度边缘概率检测算子和方向分水岭算法产生的边缘强度图。多尺度边
本文利用1980年1月1日~2016年1月1日乌海市近36年来气象自动站历史观测数据和MERRA-2卫星遥感再分析天气报告统计分析与大数据计算模型,计算描述乌海市平均年度气候天气要素