概念格在二值命题逻辑命题集约简中的应用

来源 :电子学报 | 被引量 : 0次 | 上传用户：koutoumonnokoro

【摘要】

：

概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;

【作者】

：

李立峰张东晓

【机构】

：

西安邮电学院应用数理系,集美大学理学院

【出处】

：

电子学报

【发表日期】

：

2007年8期

【关键词】

：

完备性定理形式背景 Γ约简概念格 completely theorem formal context Γ-reduction concept lattice

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法.

其他文献

大时滞网络拥塞控制器的设计

几乎现有的AQM算法都忽略了大时滞对网络拥塞控制系统稳定性的负面影响,以致稳定性、响应性和鲁棒性在大时滞网络中大大降低.如PI、REM等AQM算法在大时滞环境下表现出剧烈的

期刊

拥塞控制主动队列管理内模控制大时滞网络稳定性congestion controlactive queue managementintemal mo

可扩展路由器中SPT并行计算的实现

随着互联网的飞速发展,集群结构的下一代核心路由器已经成为研究的重点.在可扩展路由器中（clus- ter router）,并行路由算法是关键问题之一.对于广泛部署的OSPF协议,最短路径树（S

期刊

可扩展路由器路由节点最短路径树Divisional-Dijkstra并行算法cluster routermuting nodeShortest P

FLASH卡生产测试开发探析

FLASH卡是被广泛使用的一种移动存储介质。SD／MMC卡在移动存储领域占领了30％以上的份额，占有率最高．也是增长最快的卡片，随着消费类电子的进一步发展，前途不可限量。本文对FLASH卡

期刊

FLASH卡SD/MMC卡生产测试

一种基于高阶累积量的近场源四维参数联合估计算法

本文提出了一种新的多个近场窄带信源距离、频率及二维到达角四维参数联合估计算法.首先基于特定序号阵元输出计算的高阶累积量构造4个矩阵,接着结合这些矩阵的结构特点构造3

期刊

阵列信号处理近场源定位二维到达角高阶累积量array signal processingnear field sourcelocalization

基于Direct Show的视频叠加

本文介绍了视频采集和流媒体回放,着重研究了基于Direct Show架构的多路视频的混合叠加,并给出了使用VMR的解决方案。

期刊

COM组件技术DIRECTSHOWVMR

大学生就业心理调适策略探究

在日趋严峻的就业形势的重压下，大学生原有的心理平衡被打破，他们或迷茫、或恐慌、或自卑，出现了一系列的心理问题。因此，文章认为要加强在校生的心理指导和咨询，提高大学生自我心

期刊

大学生就业心理调适

一种数据驱动的可重构计算统一编程模型

可重构计算以其优异的性能和高度的灵活性,在国际国内研究领域逐渐引起广泛的关注.然而,在研的可重构计算系统架构多种多样,编程模型多与体系结构相关,使用和移植都非常困难.

期刊

可重构计算编程模型生产者-消费者通讯模型reconfigurable computingprogramming modelproducer-consu

IPv6隧道代理机制研究

IPv6隧道代理机制是一种重要的IPv4／IPv6过渡技术，但存在不足和不够完善的地方.首先，它不支持NAT（网络地址翻译）用户；其次，该机制没有为实现隧道服务器负载均衡提供一种具体的调度方

期刊

隧道代理IPV6过渡网络地址翻译负载均衡tunnel broker IPv6 transitionNAT load balancing

家族企业管理策略探析

中国是家文化最发达的国家，几千年家国天下的文化熏陶确立了家族观念在人们日常生活乃至国家政治经济生活中的指导地位．这也奠定了家族企业在我国的重要地位。家族企业根源于传

期刊

家族企业成功管理发展策略

远红外针织纱

河北—公司经过全面的技术攻关，利用纳米技术将远红外线陶瓷粉末同纺织纤维有机结合在一起，开发出具远红外功能的羊绒及羊绒混纺针织纱，填补了国内在此领域的空白。此纱线经中国

期刊

混纺针织纱远红外线中国纺织科学研究院纳米技术测试中心纺织纤维陶瓷粉末红外功能

概念格在二值命题逻辑命题集约简中的应用

与本文相关的学术论文