乓乒球规则中几个概念性问题的分析与判定

乓乒球规则中几个概念性问题的分析与判定山东工程学院孙岚云１“中断回合”与“中断比赛”在乒乓球比赛中，球处于比赛状态的一段时间为一个“回合”。即当球从发球员不执拍手被抛起前静止状态的最后一刻起，直到一方失分或双方均不失分而重发球为止的这一段时间为一个“...

中国当代文学的“性质”判定问题

对中国当代文学＂性质＂问题的梳理,这并不代表我们要追问中国当代文学的性质,也不代表我们对中国当代文学＂性质＂本身的兴趣,而是因为我们需要考察这样一种现象,为什么在研究唐诗、宋词、元曲的时候,我们不会刻意追问唐代文学、宋代文学、元代文学的＂性质＂？同时也没有让人们感觉到任何不自然？

判定三角形全等的几个探究性问题

全等三角形的四个基本判定(SAS、AAS、ASA、SSS)和一个特殊的判定(HL)从形式上来看,比较简洁易懂,在学习每个定理时,学生都能很快接受并熟练应用,但是在综合考查时,若设计几道全等条件似是而非的题目,却往往失分率又较高.究其原因,还是未能从本质上认识全等的条件,而是仅凭直观感觉作出主观臆断.为此,笔者在复习三角形全等的判定时,设计了4个问题,与学生一起探究,以求能够帮助学生理解判定三角形全等的条件.

一类无穷积分收敛性的判定定理及其应用

给出一类无穷积分收敛性的判定定理,即将复杂的∫a+∞f(x)dx收敛性的判定问题归结为较简单的∫+a∞g(x)dx的收敛性判定,其中g(x)=∫f(xx)dx.

建设用地地质灾害危险性评估中几个问题的思考

结合工作实践,就建设用地地质灾害危险性评估及其成果审查工作中经常遇到的5个问题———评估灾害类型的确定原则,评估区环境条件分析深度的把握,现状、预测及综合地质灾害危险性评估内容的侧重点,土地适宜性评价的依据以及优秀评估成果的判定标准,提出了个人的理解和认识。供从事类似工作的同志参考。

钢材质量判定工作中的相关问题

通过对热轧材质量问题的研究 ,阐述了质量缺陷对使用性能的影响 ,分析了适用性判定与标准性判定的关系 ,提出了技术管理也是生产力的科学命题 ,并站在《金属学》的前沿理论高度上 ,做出较为深刻的理性讨论。

关于考研中线性无关性的判定方法探究

考研中关于向量的线性相关无关性的判定是考察的重点也是难点,该文对此通过利用行列式、方程组的解、线性相关的相关定理等总结了4中主要的判定方法来解决考研中线性相关无关性的判定问题,为同学们在解决此题型上提供一种重要的解题思路。

例谈中考数学中几何图形存在性问题

几何图形存在性问题是中考中常见题型,是根据题目中提供的条件,探究是否存在构成特殊图形(角、三角形、四边形)的点的问题.这类问题的本质是图形的判定,因此解决该问题首先要追根溯源,找到特殊角、三角形、四边形的判定方法,再通过全等、相似、三角函数、勾股定理等手段转化为线段的数量关系,最后转化为要求的点的坐标问题.

动态描述逻辑的Tableau判定算法

动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法.

基于角色访问控制管理模型的安全性分析

在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被有效解决,给出了满足NP-完全问题的可能性安全查询的条件,而一般的可能性安全查询是不可判定的.

矿井通风系统稳定性的模糊综合评价

针对影响矿井通风系统稳定性的因素具有模糊性的特点 ,应用模糊综合评价法对矿井通风系统稳定性这一内涵明确、外延模糊的问题进行综合判定 ,给出了判定模型和解算方法 ,并举出了实例。

关于部分K值逻辑中的单纯可离函数集性质的一些结果

在多值逻辑函数结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关,而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定出了其中的所有准完备集(共七类),但其中的Sheffer函数之判定与构造问题尚未彻底解决。本文对第三类准完备集———单纯可离函数集的性质进行了研究。

论科学结论的不完备性

对于任何一个受了人的认识能力是无限的这种思想影响的人 ,当他面对 2 0世纪的许多科学结论时 ,都不可避免地陷入一种尴尬的境地。这些限制性成果中最著名的大概要数哥德尔不完备性定理。它告诉我们 ,没有一个演绎推理系统能够回答所有的利用该系统的语言所描述的问题。我们以为 ,数学的不完备性之根源于人类心智与理性的不完备性。科学上的否定性结论并不具有许多人所坚持的本体论意义 ,而只具有认识论的意义。我们反对把科学结论看作是对真实世界的终极反映。人类的不完备性正是通过自己的不完备的创造物得以显现 。

Exogenous量子马尔可夫链及其可达性分析

为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它们的可判定性问题.作为应用,实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性,进而通过检测量子公式可满足性来判定程序的终止问题.

辅助输入环境下的确定性公钥加密方案

针对辅助输入环境下确定性公钥加密方案较难构造的问题,基于d-判定性Diffie-Hellman(d-DDH)问题,应用矩阵加密、矩阵d-DDH以及有限域上的Goldreich-Levin定理,构造一个辅助输入环境下的确定性公钥加密方案,并在标准模型下证明该方案具有强不可区分私密安全性。该方案所基于的d-DDH问题比判定性Diffie-Hellman问题更难,且可以根据应用需要选择不同d值,提供不同的安全级别。

政府绩效计量问题探讨

政府绩效的计量在绩效审计工作中占据重要地位,在政府职能转变的背景下,加强和实行绩效计量已经是我国必须要经历的一项改革,只有建立一套合理科学的计量体系,才能有效地对政府行为的经济性、效率性、效果性进行评价和判定。但目前国内对这一领域还未形成系统的观点。基于上述,本文对这一问题进行研究与探讨。

直线与椭圆位置关系的判定定理

文介绍了仿射变换的相关性质及其在解椭圆问题中的应用，受其启发，本文依据仿射变换不改变图形的同素性与接合性，推出一个直接判定直线与椭圆位置关系的实用定理，简捷明快地解答几道高考试题，供大家参考．