【摘 要】
:
在格蕴涵代数中研究α-化子的一些特殊性质,重点研究乘积格蕴涵代数中α-化子的性质.证明B1×B2是L1×L2的子集则(B1×B2)(α1)×B2(α2).
【基金项目】
:
国家自然科学基金资助项目(60875034)
论文部分内容阅读
在格蕴涵代数中研究α-化子的一些特殊性质,重点研究乘积格蕴涵代数中α-化子的性质.证明B1×B2是L1×L2的子集则(B1×B2)(α1)×B2(α2).
其他文献
近年来,随着"两网"改造的深入和电网运行水平的提高,大量采用远方集中监视、控制等变电站综合自动化系统,既提高了劳动生产率,又减少了人为误操作的可能。采用变电站综合自动化
邓艾是一个信奉孔、孟民本思想的实干家。他顾全大局、反对结党营私,得到部下广泛支持;他身体力行、任劳任怨、甘当表率。陈寿在《三国志》中着重凸显出他在这方面与当时多数平
分析分布式异构数据同步特征,设计一种基于面向服务架构(SOA)的分布异构数据同步模型(WLDSS),提出基于可用度测算的异构数据同步通信稳定控制策略解决方案,并对其系统性能加以分析。实验数据表明该模型所采用的策略能够主动适应各种系统性能特点,有效提高分布式异构数据同步效率。
多侧面覆盖算法对海量高维数据的分类采用分而治之的思想,依据分量差的绝对值和,选取部分属性构建不同样本子集的覆盖,降低了学习的复杂度,但初始属性集的选择依据经验或实验获得。为降低初始属性集选择的主观性和属性集调整的复杂性,利用Relief特征选择方法确定适合不同数据集的最优特征子集,构建了分层递阶的覆盖网络,并对实际数据集进行实验。实验结果表明,该算法具有较高的精度和效率,可以有效地实现复杂问题的分
欧洲航天局2010年12月25日发表公报说,欧航局将从“荧光探测卫星”和“碳卫星”两个方案中选择一个,研制新型对地观测卫星,作为未来研究气候和环境变化的重要工具。
随着经济的发展,环境突发事件日益增多,由于突发事件具有突发性、不可预测性、所以常规的实验室检测手段已经满足不了形势的需要,用便携式仪器在事故现场监测,可以保证得到第一手数据,准确度高、精密度好的便携式仪器越来越受到社会各界重视,本文以几款环境监测仪器为例,简要叙述。
针对多sink的大规模WSN,提出一种新的三层网络拓扑架构,以解决现有平面型和两层分簇型拓扑架构与大规模WSN环境不相适应的问题;在分析各层数据通信策略的基础上,重点研究了基于瓶颈sink节点的关键层拓扑控制算法,为核心层数据通信提供可靠性支持。仿真实验表明,所提出的大规模WSN三层拓扑控制结构和拓扑控制算法有助于平衡全局通信负载,控制关键通信层能量消耗,提高网络监测的鲁棒性。
文学接受活动是一个系统的过程,至少包括接受主体、接受客体和接受语境三个必不可少的要素,它是作为主体的接受者在特定语境中对作为客体的文学文本的具体接受。杜甫“熟精《文
放射治疗是一个包括多环节,有复杂内容的完整过程.必须有医师、技术员、物理师和护士等密切配合及积极参与.临床上对放射线的选择应尽量符合放疗剂量学原则,即:①照射肿瘤的
会计是一种应用型、技能型人才。会计实训教学是会计专业教学中的重要实践环节,对职业教育起着非常重要的作用。因此,加强会计实训教学就显得尤为重要。本文针对中等职业学校