期刊文献+
共找到152篇文章
< 1 2 8 >
每页显示 20 50 100
反例结合微视频教学在护生心肺复苏实训中的应用 被引量:23
1
作者 吴琼 赵光红 《护理学杂志》 CSCD 北大核心 2019年第7期56-58,共3页
目的探讨反例结合微视频教学在护生心肺复苏实训中的应用效果。方法抽取2016级大专护理学生40人,随机分成对照组和观察组各20人,对照组实施常规教学,观察组在此基础上开展反例结合微视频教学。实训结束后评价教学效果。结果观察组心肺... 目的探讨反例结合微视频教学在护生心肺复苏实训中的应用效果。方法抽取2016级大专护理学生40人,随机分成对照组和观察组各20人,对照组实施常规教学,观察组在此基础上开展反例结合微视频教学。实训结束后评价教学效果。结果观察组心肺复苏技能考核成绩、模拟抢救成功率以及对教学效果的评价显著优于对照组(P<0.05,P<0.01),操作易错点发生率显著低于对照组(P<0.05,P<0.01)。结论反例结合微视频教学能有效提高护生心肺复苏操作质量,培养评判性思维,激发学习动机。 展开更多
关键词 护理学生 心肺复苏 实训教学 反例 微视频 操作考核
下载PDF
谓词抽象技术研究? 被引量:17
2
作者 屈婉霞 李暾 +1 位作者 郭阳 杨晓东 《软件学报》 EI CSCD 北大核心 2008年第1期27-38,共12页
随着软、硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.谓词抽象是解决状态空间爆炸的最有效方法之一,近年来得到迅速发展.介绍了谓词抽象的基本算法并比较了不同的... 随着软、硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.谓词抽象是解决状态空间爆炸的最有效方法之一,近年来得到迅速发展.介绍了谓词抽象的基本算法并比较了不同的求解支持工具;重点分析了反例指导的抽象求精和基于插值的抽象求精原理;分析了产生新谓词的各种方法的优、缺点;最后指出了谓词抽象技术进一步发展所面临的挑战和发展方向. 展开更多
关键词 模型检验 谓词抽象 抽象求精 反例 插值
下载PDF
“反例”小角色大作用——反例教学的重要性 被引量:11
3
作者 曾春燕 姚静 《首都师范大学学报(自然科学版)》 2017年第4期18-23,共6页
反例是数学学习中的重要内容,通过反例的辨析可以深刻理解相关的数学概念,分析问题解决中的问题,更好地掌握数学定理、公式,并灵活应用于新情境.本文通过理论分析和案例研究,探讨了反例在高考和竞赛中的应用、反例在课标中的地位及心理... 反例是数学学习中的重要内容,通过反例的辨析可以深刻理解相关的数学概念,分析问题解决中的问题,更好地掌握数学定理、公式,并灵活应用于新情境.本文通过理论分析和案例研究,探讨了反例在高考和竞赛中的应用、反例在课标中的地位及心理学的意义和反例在实际教学中的应用. 展开更多
关键词 反例 反例教学 高考 竞赛
下载PDF
On Performance Characteristics of a Nonparametric Subset Selection Procedure with a Small Randomized Block Experimental Design
4
作者 Gary C. McDonald Sajidah Alsaeed 《Applied Mathematics》 2024年第9期630-650,共21页
This article addresses the issue of computing the constant required to implement a specific nonparametric subset selection procedure based on ranks of data arising in a statistical randomized block experimental design... This article addresses the issue of computing the constant required to implement a specific nonparametric subset selection procedure based on ranks of data arising in a statistical randomized block experimental design. A model of three populations and two blocks is used to compute the probability distribution of the relevant statistic, the maximum of the population rank sums minus the rank sum of the “best” population. Calculations are done for populations following a normal distribution, and for populations following a bi-uniform distribution. The least favorable configuration in these cases is shown to arise when all three populations follow identical distributions. The bi-uniform distribution leads to an asymptotic counterexample to the conjecture that the least favorable configuration, i.e., that configuration minimizing the probability of a correct selection, occurs when all populations are identically distributed. These results are consistent with other large-scale simulation studies. All relevant computational R-codes are provided in appendices. 展开更多
关键词 Rank Statistics Least Favorable Configuration Probability of Correct Selection Slippage Configuration Equal Spaced Configuration counterexample Configuration
下载PDF
伪MTL-代数(WPBL-代数)的正规滤子 被引量:8
5
作者 张小红 刘三阳 刘用麟 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第5期829-832,共4页
给出伪MTL-代数(WPBL-代数)的一些新性质,通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)... 给出伪MTL-代数(WPBL-代数)的一些新性质,通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)的商代数结构。 展开更多
关键词 非可换模糊逻辑 伪MTL-代数 WPBL-代数 正规滤子 反例 商代数
下载PDF
模型检测基于概率时间自动机的反例产生研究 被引量:6
6
作者 张君华 黄志球 曹子宁 《计算机研究与发展》 EI CSCD 北大核心 2008年第10期1638-1645,共8页
模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上... 模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上寻找概率之和恰好大于λ的k条最大概率的路径,并根据这些路径和原PTA构造原PTA的一个子图,从而快速找到违背性质的具有较少证据的反例.然后精化此结果——通过逐条加入上述各条最大概率的路径来精确地计算已加入路径所构成的PTA子图的最大概率.由于考虑到符号状态交集对概率系统的影响,可以得到证据更少的反例. 展开更多
关键词 模型检测 反例 基于概率时间自动机 符号状态交集 不确定性
下载PDF
实变函数反例研究(Ⅰ) 被引量:7
7
作者 范洪福 范子杰 《大学数学》 2018年第6期52-55,共4页
在一般测度积分(非Lebesgue测度与积分)的框架下构造了实变函数中的多个反例.它们说明不同概念之间的区别,以及一些常用结论在缺乏相应的条件之后不再成立.这有力地补充了教材[1].
关键词 代数与σ代数 测度空间 LEBESGUE定理 RIESZ定理 反例
下载PDF
高等代数中的几类数学思想方法 被引量:6
8
作者 姚裕丰 《高师理科学刊》 2016年第5期62-65,共4页
数学思想方法是数学知识的精髓和核心,研究数学思想方法对培养学生的数学能力的积极促进作用.结合高等代数的教学实践,介绍了高等代数中类比、举反例、几何、变换及构造等几种数学思想与数学方法,通过具体的实例说明了这些思想方法在高... 数学思想方法是数学知识的精髓和核心,研究数学思想方法对培养学生的数学能力的积极促进作用.结合高等代数的教学实践,介绍了高等代数中类比、举反例、几何、变换及构造等几种数学思想与数学方法,通过具体的实例说明了这些思想方法在高等代数中的应用. 展开更多
关键词 高等代数 类比 举反例 几何 变换 构造
下载PDF
反例等在实变函数教学中的应用 被引量:2
9
作者 苏先锋 李晓萌 《淮北师范大学学报(自然科学版)》 CAS 2023年第2期83-87,共5页
实变函数是数学类专业最重要的专业课程之一。为提高该课程教学效果,充分发挥其育人功能,针对实变函数教学中普遍存在学生对基础知识理解不透彻、课程内涵建设不深入、学习途径单一等问题开展教学应用探索。首先,对实变函数中的反例进... 实变函数是数学类专业最重要的专业课程之一。为提高该课程教学效果,充分发挥其育人功能,针对实变函数教学中普遍存在学生对基础知识理解不透彻、课程内涵建设不深入、学习途径单一等问题开展教学应用探索。首先,对实变函数中的反例进行分类,帮助学生更加深刻地理解基础知识。其次,增强实变函数课程的内涵建设,发挥其在提升学生数学素养和综合素养中的积极作用。最后,探索移动学习在实变函数教学中的应用,使其成为课程学习的新途径之一。教学实践表明,反例、内涵建设和移动学习在实变函数教学中发挥重要作用,取得良好的教育教学效果。 展开更多
关键词 实变函数 反例 LEBESGUE积分 移动学习
下载PDF
完全k叉树的离散数和完整度 被引量:6
10
作者 李银奎 段宝荣 陈忠 《纯粹数学与应用数学》 CSCD 2011年第3期I0002-I0002,285-291,共8页
图的离散数和完整度是比较理想的刻画网络抗毁性的度量参数,而完全k叉树作为重要的网络结构被广泛地应用在通信网和嵌入式系统芯片的优化设计方面.通过界定了完全k叉树的离散数和完整度,从某种程度刻画了网络的抗毁性,为网络设计提供理... 图的离散数和完整度是比较理想的刻画网络抗毁性的度量参数,而完全k叉树作为重要的网络结构被广泛地应用在通信网和嵌入式系统芯片的优化设计方面.通过界定了完全k叉树的离散数和完整度,从某种程度刻画了网络的抗毁性,为网络设计提供理论依据,同时修正了相关文献的错误. 展开更多
关键词 离散数 完整度 完全k叉树 反例
下载PDF
关于最大平面图着色的探讨——希伍德的反例是4-色的 被引量:6
11
作者 董德周 《科技通报》 北大核心 2002年第4期304-309,共6页
通过最大平面图和四色猜想的介绍及对最大平面图着色的分析 ,揭示了最大平面图着色是四色定理普遍证明的核心 .应用证明五色定理的方法 (肯普链 ) ,证明了希伍德的反例是 4 -色的 .阐明了“希伍德的反例从 5 -色的到 4 -色的”
关键词 最大平面图 着色 希伍德反例 不可约图 四色猜想 球面地图
下载PDF
关于群组决策特征根法的注记 被引量:5
12
作者 王明文 谭玮 《江西师范大学学报(自然科学版)》 CAS 1999年第3期219-222,共4页
邱苑华教授提出了一个群组决策的特征根法GEM(Groupeigenvaluemethod),为决策支持系统中的专家选择开辟了新路,但文中主要定理所需要的条件是不满足的.本文作者给出了反例,并提出了使用特征根法时的一个准则.
关键词 群组决策 理想专家 评分夹角 反例 特征根法
下载PDF
实变函数课程教学中的反例应用 被引量:5
13
作者 冯淑霞 《高等数学研究》 2015年第1期112-114,共3页
通过构造反例,辅助说明一致收敛和几乎处处收敛、依测度收敛和几乎处处收敛、可测函数和连续函数等概念间的关系,以加深学生对相关知识的理解.
关键词 一致收敛 几乎处处收敛 依测度收敛 可测函数 反例
下载PDF
模型检验中抽象技术研究综述 被引量:4
14
作者 屈婉霞 李暾 +1 位作者 郭阳 杨晓东 《计算机工程与应用》 CSCD 北大核心 2006年第33期15-19,共5页
在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论... 在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向。 展开更多
关键词 模型检验 谓词抽象 抽象精化 反例 插值
下载PDF
关于常微分方程奇解判别的注记 被引量:5
15
作者 何永葱 《内江师范学院学报》 2000年第2期1-2,共2页
本文给出了教材 [1
关键词 常微分方程 奇解 充分条件 反例 判别式
下载PDF
实变函数反例研究(Ⅱ) 被引量:4
16
作者 范洪福 范子杰 《大学数学》 2017年第4期116-119,共4页
列举了实变函数中的多个反例.这些反例说明,在条件改变之后一些重要结论不再成立.这可增强人们对实变函数内容的深刻认识.文中的测度与积分都不是Lebesgue测度与积分.
关键词 测度空间 EropoB定理 LEVI定理 LEBESGUE控制收敛定理 反例
下载PDF
Cantor集的性质及应用 被引量:4
17
作者 李翠香 石凌 刘丽霞 《大学数学》 2011年第2期156-158,共3页
Cantor集是实函数论中一类重要的集合.本文从定义、性质及应用三方面研究了Cantor集.目的是帮助初学者对Cantor集有一个较全面的认识.
关键词 CANTOR集 Cantor函数 反例
下载PDF
Comments on "Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems" 被引量:1
18
作者 Sukhveer SINGH Harish GARG 《Frontiers of Computer Science》 SCIE EI CSCD 2018年第2期396-400,共5页
In this article, we have pointed out that some propositions corresponding to the distance measure between the type-2 fuzzy sets (T2FSs) as provided by Singh (Frontiers of Computer Science, 2014, 8(5), 741-752), ... In this article, we have pointed out that some propositions corresponding to the distance measure between the type-2 fuzzy sets (T2FSs) as provided by Singh (Frontiers of Computer Science, 2014, 8(5), 741-752), are incorrect by a counterexample. Further, these propositions have been corrected in the present manuscript by giving a correct relation between the T2FSs and validating it with a numerical example. 展开更多
关键词 type-2 fuzzy set distance measure incorrect assertion counterexample
原文传递
A COUNTEREXAMPLE TO THE ARTICLE "GLOBALLY ASYMPTOTIC STABILITY OF A RECURRENCE SEQUENCE 被引量:1
19
作者 张德存 时宝 杨树杰 《Annals of Differential Equations》 2002年第3期315-316,共2页
In this paper, we give a counterexample to the article 'Globally asymptotic stability of a recurrence sequence', Ann. of Diff. Eqs., 17:1(2001), 82-85.
关键词 counterexample solutions with period 2 difference equations
原文传递
关于一道竞赛题的注记 被引量:3
20
作者 廖俊俊 吴洁 黄永忠 《大学数学》 2017年第6期106-109,共4页
由2014年第六届全国大学生数学竞赛预赛(非数学类)第六题引出一个条件弱化的猜想,针对这一猜想给出一个反例.
关键词 定积分 反例 数学竞赛
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部