刻画

更新时间:-- | 阅读量: 106

推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系...

《逻辑研究专辑》 2001年00期 关键词: "认知逻辑"," 简单枚举法"," 有效性" 收藏

2011年在天津、上海访书期间,发现王维德的清代木版画像和著作《咽喉证治》,为研究王维德生平增加了新鲜史料。天津图书馆藏王维德《永宁通书》为清光绪十二年扫叶山房刻本。全书4册,各有作者的一幅木版画像。...

《中医文献杂志》 2012年04期 关键词: "王维德"," 画像"," 咽喉证治" 收藏

苦瓜的小说总是笼罩着一层阴冷潮湿的雾气，故事总有诡异的内核，张扬着黑色叙事暴力。他的小说用笔删繁就简，在极其简单的背景之中刻画人物，编造故事。他写的世俗故事充满拧巴和斗气的味道，洋溢着鬼气，作品比常人...

《岁月》 2015年8期 关键词: "情节的延宕","人物刻画","反差" 收藏

十月怀胎,一朝分娩。《经济动态与评论》终于面世了。中国改革开放三十多年来,经济发展日异月殊,经济生活日渐丰富与多元。同时,随着开放程度的加深,中国越来越深地融入了国际社会。《经济动态与评论》就力图反映...

《经济动态与评论》 2016年01期 关键词: 收藏

借助Sylow 2-子群阶数≤8的有限单群的分类,证明Ree群2G2（q）(q=33s,s≥1)的自同构群可被其阶分量刻画,简化文献（肖芳芳,曹洪平,陈贵云.数学学报,2013,56（4）:545-5...

《四川师范大学学报(自然科学版)》 2020年03期 关键词: "有限单群"," Sylow 2-子群"," 自同构群"," 阶分量" 收藏

随着渤海海域油气勘探程度的不断提高,亚相级别储层预测已难以满足当前精细勘探需求,古近系中深层储层预测精度逐步由亚相级别描述转向定量表征及微相刻画。以沙南凹陷曹妃甸18-1油田围区古近系东三段为例,通过...

《大庆石油地质与开发》 2020年01期 关键词: "沉积模式"," 砂体定量表征"," 沉积微相"," 地震属性"," 地层含砂率"," 多元线性回归" 收藏

与断层这类穿时构造不同,河道发育受层序控制而具有短时性,因此利用常规属性难以对河道进行精细刻画。本文以渤中凹陷东北部东营组末期河道为研究对象,首先通过对10种常用属性的对比分析,优选出方差、瞬时相位、...

《中国海上油气》 2020年01期 关键词: "地震属性综合分析"," 河道精细刻画"," 广义谱分解技术"," 分频混色技术" 收藏

图G的Resolvent Estrada指标是Estrada和Higham在2010年提出的用于检测复杂网络和分子结构中心度的一类重要的图的拓扑指标,其定义为REE■其中λ1,λ2,…,λn表示图G的...

《山东大学学报(理学版)》 2020年04期 关键词: "Resolvent Estrada指标"," Resolvent Estrada能量"," 邻接矩阵"," 特征值" 收藏

图的拓扑结构在化学分子结构中有重要的意义,并且图的各种矩阵都蕴含了图的拓扑结构信息.在本文中,我们根据距离谱的定义以及四类图形的构造特点,对四类双日冕图进行了距离谱的刻画,通过数学归纳法得到对应的距离...

《工程数学学报》 2020年02期 关键词: "日冕图"," 距离谱"," 双日冕图"," 超日冕距离矩阵" 收藏

设R是整环.众所周知,R是Prüfer整环当且仅当每个可除模是FP-内射模当且仅当每个h-可除模是FP-内射模.本文引进了一种新的Gorenstein FP-内射模,并且证明了R是Gorenstein...

《数学学报(中文版)》 2020年01期 关键词: "Gorenstein FP-内射模"," Gorenstein Prufer整环"," 可除模"," h-可除模" 收藏