检索结果-南通市图书馆

修正的Gdel逻辑系统中三类无限子代数及其F(S)的分划

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模糊系统与数学 2010年第6期24卷 42-47页

作者：李修清林亮桂林航天工业高等专科学校计算机系广西桂林541004 桂林理工大学数理系广西桂林541004

将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在■的三类子代数中分别给出F(S)关于同余的一个分划。

关键词： Godel逻辑系统广义重言式子代数分划

在线全文

学校读者我要写书评

暂无评论

命题公式的随机真度与推理规则

计算机工程与应用 2015年第19期51卷 66-70页

作者：李修清桂林航天工业学院理学部广西桂林541004

在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。

关键词：命题逻辑随机真度推理规则

在线全文

学校读者我要写书评

暂无评论

关于广义迹函数的陈道琦不等式

南昌大学学报（理科版） 2005年第4期29卷 342-344页

作者：李修清桂林航天工业高等专科学校计算机系广西桂林541004

设G≤Sn,f∈CG,广义迹函数Tf:Mn(C)→C定义为Tf(A)=∑σ∈Gf(σ)∑ni=1aiσ(i)。1988年陈道琦先生给出了半正定Herm ite矩阵乘积迹的一个著名不等式(1)。将这个不等式推广到了广义迹函数的情形,证明了不等式(2)。从而使不等式(1)成为不... 详细信息

设G≤Sn,f∈CG,广义迹函数Tf:Mn(C)→C定义为Tf(A)=∑σ∈Gf(σ)∑ni=1aiσ(i)。1988年陈道琦先生给出了半正定Herm ite矩阵乘积迹的一个著名不等式(1)。将这个不等式推广到了广义迹函数的情形,证明了不等式(2)。从而使不等式(1)成为不等式(2)的一个特例。

关键词：迹广义迹函数群代数不等式

植物景观设计在城市风景园林建设中的应用研究

在线全文

学校读者我要写书评

暂无评论

现代城市研究 2022年第4期37卷 131-132页

作者：李修清信阳农林学院规划与设计学院

在城市规划建设中,风景园林建设通常是必不可少的组成部分,也是影响城市整体形象、满足人民群众精神需求的重要因素。当前,随着我国城市化水平的不断提升风景园林建设的水准也得到显著提升,并且取得了良好的发展成果,造就出一批高品质... 详细信息

在城市规划建设中,风景园林建设通常是必不可少的组成部分,也是影响城市整体形象、满足人民群众精神需求的重要因素。当前,随着我国城市化水平的不断提升风景园林建设的水准也得到显著提升,并且取得了良好的发展成果,造就出一批高品质的城市生态园林景观。

关键词：城市整体形象植物景观设计城市风景园林风景园林建设生态园林景观城市规划建设城市化水平高品质

以水果为主题的河南省田园综合体发展模式分析

在线全文

学校读者我要写书评

暂无评论

中国果树 2021年第5期 86-89,99页

作者：李修清葛晖信阳农林学院河南464000

以水果元素为主题,结合田园综合体建设,构建以果业、旅游、社区为一体的特色水果生产产业链是实现精准扶贫和乡村振兴的重要抓手。结合乡村振兴的时代要求,系统论述田园综合体的基本内涵、结构特征及以水果元素为主题的田园综合体的基... 详细信息

以水果元素为主题,结合田园综合体建设,构建以果业、旅游、社区为一体的特色水果生产产业链是实现精准扶贫和乡村振兴的重要抓手。结合乡村振兴的时代要求,系统论述田园综合体的基本内涵、结构特征及以水果元素为主题的田园综合体的基本特征,以河南省为例从水果元素主题田园综合体中的规划路径总结出田园综合体的发展模式,包括特色产业带动模式、旅游开发带动模式以及新媒体视域下的田园综合体发展模式。

关键词：水果元素田园综合体果旅融合乡村振兴发展模式