二值命题逻辑中伪距离的真度表示及其应用 被引量：10

1

作者 王廷明 王爱青 《青岛理工大学学报》 CAS 2008年第3期87-90,共4页

在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于... 在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于ε结论在逻辑运算下的基本性质. 展开更多

关键词 二值命题逻辑 真度 有限理论 伪距离 近似推理

在线阅读 下载PDF 职称材料

专业课程教学平台上的科研训练模式之探索与实践 被引量：7

2

作者 王廷明 段春生 +1 位作者 徐熙君 王树德 《青岛大学师范学院学报》 2007年第2期116-119,共4页

在高校学生本科教育阶段实施科研训练计划,是提升学生科研素质和创新能力的主要手段,也受到国内外众多高校的广泛关注。探索并实践基于专业课程教学平台上的"教学渗透、问题探究、科研实践、考核评价"科研训练模式,对培养学... 在高校学生本科教育阶段实施科研训练计划,是提升学生科研素质和创新能力的主要手段,也受到国内外众多高校的广泛关注。探索并实践基于专业课程教学平台上的"教学渗透、问题探究、科研实践、考核评价"科研训练模式,对培养学生的科研意识、科研能力和创新精神具有重要的现实意义。 展开更多

关键词 科研训练 科研实践 专业素质 创新能力

在线阅读 下载PDF 职称材料

二值命题逻辑中基于前提信息的Г-真度理论 被引量：2

3

作者 王廷明 王爱青 《青岛理工大学学报》 CAS 2008年第4期114-116,132,共4页

公式真度是反映其真确度的基本数值特征,由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量.以基本真度为基础,给出二值命题逻辑系统中公式基于前提信息的Γ-真度概念,由此定义公式的Γ-相似度和Γ-伪距离;并给出Γ-伪距离的真... 公式真度是反映其真确度的基本数值特征,由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量.以基本真度为基础,给出二值命题逻辑系统中公式基于前提信息的Γ-真度概念,由此定义公式的Γ-相似度和Γ-伪距离;并给出Γ-伪距离的真度表示式,以此为基础讨论了理论的基于前提信息Γ的误差不大于ε的结论在逻辑运算下的基本性质,为研究基于前提信息的近似推理问题提供数值化工具和方法. 展开更多

关键词 二值命题逻辑 前提信息 Г-真度 Г-相似度 Г-伪距离

在线阅读 下载PDF 职称材料

二值命题逻辑中基于前提信息的随机真度 被引量：2

4

作者 王廷明 《兰州理工大学学报》 CAS 北大核心 2009年第3期159-162,共4页

由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为... 由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据. 展开更多

关键词 二值命题逻辑 D-随机真度 前提信息 Γ-随机相似度 Γ-随机伪距离

在线阅读 下载PDF 职称材料

关于主范式中极小项和极大项的下标算法 被引量：2

5

作者 王廷明 《青岛理工大学学报》 CAS 2006年第2期118-121,共4页

通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.

关键词 极小项 极大项 主范式

在线阅读 下载PDF 职称材料

二值命题逻辑中的伪距离不等式与近似推理

6

作者 王廷明 王爱青 《青岛理工大学学报》 CAS 2009年第3期137-140,共4页

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪... 伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法. 展开更多

关键词 二值命题逻辑 真度 有限理论 伪距离 近似推理

在线阅读 下载PDF 职称材料

《高等代数》课程“点—面结构”教学模式探讨

7

作者 王廷明 徐熙君 《青岛大学师范学院学报》 2002年第1期70-72,共3页

本文针对《高等代数》课程以突出基础性和应用性特色为主线的教学内容体系的改革 ,对该课程实施“点—面结构”教学模式及优化教学过程和学习活动结构的实践进行了探讨和总结。

关键词 高等代数 “点-面结构”教学 高等师范院校 教学内容 教学过程 优化

在线阅读 下载PDF 职称材料

欧氏空间中正交问题的矩阵描述 被引量：1

8

作者 王爱青 王廷明 王岩 《青岛理工大学学报》 CAS 2007年第1期96-98,共3页

主要建立了一些有限维欧氏空间的子空间的正交问题的矩阵判别定理;给出欧氏空间V的有限个子空间的交与和的关于子空间正交补的对偶等式;对子空间的正交补及向量在子空间上的正射影等问题进行了矩阵描述,得到了一些较为简捷的结果.

关键词 正交 子空间 线性变换 矩阵

在线阅读 下载PDF 职称材料

关于主范式的下标集合及其应用 被引量：1

9

作者 亓正坤 王廷明 《青岛理工大学学报》 CAS 2009年第4期205-208,共4页

极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并... 极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论. 展开更多

关键词 主范式 极小项 极大项 下标

在线阅读 下载PDF 职称材料

数学专业学生考研专业基础课程教学方案的设计 被引量：1

10

作者 张培恒 王廷明 袁璐 《青岛大学师范学院学报》 2002年第1期67-69,共3页

关键词 数学专业 学生 专业基础课程 教学方案 研究生考试 教学设计 教学质量

在线阅读 下载PDF 职称材料

有限集合上关系的矩阵描述 被引量：3

11

作者 王爱青 王廷明 王岩 《青岛建筑工程学院学报》 2005年第1期84-86,共3页

利用关系矩阵给出有限集合X上二元关系的运算及性质的矩阵描述,讨论了X上特殊关 系的矩阵条件.

关键词 矩阵 关系 等价关系 偏序关系

在线阅读 下载PDF 职称材料

多项式丢番图方程解问题的矩阵描述

12

作者 徐熙君 王廷明 《青岛科技大学学报（自然科学版）》 CAS 2004年第4期374-376,共3页

给出了多项式丢番图方程解存在性判定的矩阵秩的条件 ;

关键词 多项式 矩阵 秩

在线阅读 下载PDF 职称材料

数学课堂也应充满诗情画意

13

作者 于世章 王廷明 《中国数学教育（高中版）》 2010年第12期18-20,共3页

生活中本不缺少美，而是缺少发现美的眼睛．以抽象思维培育为主的数学课，本来不缺少诗情画意，只是缺少激发的方法．通过有趣的开篇语、数学史、精彩的小结以及美妙的诗歌，让数学课堂充满诗情画意．

关键词 诗情画意 理性精神 同课异构 数学课堂

在线阅读 下载PDF 职称材料

关于多项式的复合及不可约问题

14

作者 王廷明 《青岛大学师范学院学报》 1997年第2期16-19,共4页

本文引入了复合多项式的概念，利用矩阵给出了f（x）表示为某一首1多项式的复合多项式的充要条件，并讨论了复合多项式的不可约等问题。

关键词 复合 多项式 不可约

在线阅读 下载PDF 职称材料