一个采用量化语句的推理方法

在建造一个知识系统时,为了组合证据,常要处理一些含糊语言的问题,本文讨论了采用量化语句来形式化含糊语言的基本原理,在此基础上,着重讨论了采用量化语句来进行不精确推理的方法。     

量化核证逻辑QLP概观

QLP是第一个量化核证逻辑,它允许对证明项的量化。菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性。迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析。QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展。     

集值优化问题严有效元的标量化刻画

在Hausdorff局部凸拓扑线性空间中考虑约束集值优化问题(VP)在严有效性意义下的标量化问题，给出了VP在严有效性意义下的一种等价刻画。     

JPEG量化器的模糊逻辑控制

ＪＰＥＧ是一个通用国际标准＾［１］，但其不适用于需要恒定输出比特速率的应用，为弥补这个缺陷，采用模糊逻辑算法来控制ＪＰＥＧ编码器的量经步长，从而得到稳定输出比特流。     

周角坐标系量化图形的全圆组合形式设计

以周角坐标系的全圆坐标网形式为例，阐明周角坐标系量化图形的六种组合功能，创新和丰富了全圆坐标网的构图功能，进一步地增加了图形的信息量，为开发和利用周角坐标系全圆坐标网的组合功能奠定了理论基础     

编辑学量化研究进展探讨

为了使读者较全面了解国内关于编辑学量化研究工作的进展,本文在综观了近年来其若干方面工作情形下,对其进展特征,尚待探讨的问题等进行了分析和讨论.     

模糊集合论及其处理的狭义模糊性问题

C.Elkan博士在1993年提出“模糊逻辑是似是而非的成功”问题引起了人工智能界和模糊界的极大关注。本文在[1]和[2]的基础上，进一步讨论模糊集合论及其处理的模糊性现象，提出模糊集合论的产生是科学技术发展的趋势。是人对客观事物的认知的思维反映。它可以分为狭义性、一般模糊性、广义模糊性和泛模糊性。而狭义模糊性是处理狭义模糊性现象的数学方法。模糊集合论是一种经典数学方法，模糊集合不能处理所有模糊性现象，具有一定的局限性。     

对普通高校男生铅球量化教学的探讨

运用逐步回归和正交设计等数学方法,对高等师范专科学校男生铅球教学进行改革实验,为今后的铅球教学提供了可靠的手段和方法。     

一种可行的量化逻辑自然演绎系统

提出了一种较为可行的量化逻辑自然演绎系统,其中间接证明是这一系统的主要证明方法,而量词消去和置换规则是这一系统的基本演绎规则.     

量化考核的数学模型及其实用

本文应用模糊数学的原理，提出了量化考核的数学模型及算法，给出了应用实例及程序框图。     

不确定性的定量度量和定性度量

分析了用定量方法度量不确定性的局限性，并通过对定量度量方法的讨论，得出了在定性的意义下度量不确定性的一般原则。     

浅谈《高等数学》中基本概念及其矛盾概念的教学

谓词逻辑中的两个量词是理解高等数学中极限、收敛等基本概念及其矛盾概念的基础，运用这两个量词的关系是指导教学的关键。     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

Meta-sided exchange环及其扩张

讨论了meta-sided exchange环的性质。证明了如果R是Abelian meta-sided exchange环,则对R的任意素理想P,都有R/P是局部环;如果R是Abelian环,(S,≤)是严格序幺半群且对任意s∈S,都有0≤s,则广义幂级数环[[RS,≤]]是meta-sided exchange环当且仅当R是meta-si-ded exchange环。     

芬太尼类新精神活性物质及其检验方法进展

毒品犯罪已成为世界各国重点关注的突出问题。在全球治理的非传统安全领域中,其已被定性为对国际安全构成挑战的威胁客体。芬太尼类新精神活性物质作为一种新型毒品,在全球范围内的制造、走私和滥用问题越来越突出。基于此,从芬太尼类新精神活性物质药理毒理学性质、体内代谢情况、检测方法、前处理方法4个方面展开了综述,并对芬太尼类新精神活性物质的检测等技术发展方面做了简要展望。     

政府引导基金政策的文本量化研究以京津冀地区为例

系统梳理了2006～2019年京津冀地区颁布的政府引导基金政策,并对政策文本的总体演进进行了分析,在此基础上,从政策文本年度数量、政策发文的主体、政策文本类型、政策关键词等方面对政府引导基金政策进行了文本量化研究.研究发现,京津冀联合发文较少,3省(市)政府引导基金政策协同机制尚未建立,3省(市)规章条例类别较少,引导基金政策在法律制度方面不够完善.针对引导基金分布不均匀等问题,有针对性地提出了相应建议.此研究认为:京津冀地区是北方经济版图的核心区域,政府引导基金对促进地区大发展、地区创新创业以及养老服务等多个方面起着较大的促进作用.     

7/5小波滤波器簇及其图像压缩性能研究

构造了包括BT7/5滤波器(Brislawn-Treiber)在内的7/5小波滤波器簇,依据欧几里得算法给出了7/5小波基提升格式的构造过程和提升实现算法.根据7/5小波基优化条件的要求,证明了7/5小波基的、提升系数α为0.08时的图像压缩性能最佳,该小波基为JPEG2000标准第二部分推荐使用的BT7/5小波滤波器组.BT7/5小波的系数为有理数,与无理系数的CDF9/7小波滤波器相比,具有计算复杂度低和便于VLSI硬件实现等优点.实验结果表明,若压缩比在100∶1以内,采用BT7/5小波滤波器的重构图像峰值信噪比只比CDF9/7低0.1dB,而比LT5/3(LeGall-Tabatabai)高1.2dB.因此,在JPEG2000图像压缩系统中,BT7/5是LT5/3和CDF9/7的理想替代者.     

双模压缩算符和双模压缩态的新形式表示及其性质

在质心坐标系下引入了双粒子坐标本征态和动量本征态，得到双模压缩算符和双模压缩态在坐标表象和动量表象中的新形式表示．证明了双模压缩态也是准粒子空间的双模相干态，它可以对应两类不同的位移宗量．导出了双模压缩态与质心系下坐标本征态和动量本征态之间的转换关系，并讨论了双模压缩态的若干性质．     

竞技健美操运动员表现力的培养和提高

现在竞技健美操水平的发展快速比较快,无论是在音乐的选材上、成套动作的编排上、以及运动员的技术水平和表现力方面,对从事专业健美操的运动员和教练员提出了更高的要求,尤其是作为一个专业的竞技健美操的运动员,要出色的完成一套竞技健美操,并且能获得优异的比赛成绩,其在运动中的表现力起着越来越关键的作用.     

数学方法与物理解题

讨论了数学方法与物理学研究的关系 ,并进一步归纳了在物理解题中常用的数学方法