-
题名高中向量教学中数学思想的渗透
被引量：10
- 1
-
-
作者
吕松涛
曹广福
-
机构
广州大学数学与信息科学学院
商丘师范学院数学与统计学院
-
出处
《数学教育学报》
CSSCI
北大核心
2021年第4期19-24,共6页
-
基金
2020年度河南省教师教育课程改革研究项目——“互联网+”数学师范生教学技能培养模式研究与实践(2020-JSJYYB-064)
国家应用数学中学粤港澳大亚湾应用数学中心资助项目——问题驱动的中小学数学教育研究(2020B1515310020)。
-
文摘
针对中学向量教学重知识、轻思想的现状,以中学向量教学中渗透数学思想为导向展开讨论.分析中学数学教材中向量内容的编排思路,阐明中学向量教学渗透向量思想的必要性;从数学史中追溯向量概念产生的动因及形成过程,探讨向量对数学发展的影响,明确向量在数学中的价值,揭示向量丰富的数学内涵;分别从宏观和微观两个层面对中学向量内容进行分析,并做出教学思考;最后基于学生的认知能力提出让学生理解向量本质、领悟向量思想的课堂教学策略.
-
关键词
向量教学
教育目的
数学思想
教学策略
-
Keywords
vector teaching
educational aim
mathematical thought
teaching strategy
-
分类号
G632
[文化科学—教育学]
-
-
题名基于模糊数学模型的舰船红外成像目标智能识别方法
被引量：6
- 2
-
-
作者
荆天
-
机构
商丘师范学院数学与统计学院
-
出处
《舰船科学技术》
北大核心
2019年第4期181-183,共3页
-
文摘
利用传统基于SVM和基于神经网络的方法对舰船红外成像目标进行智能识别,识别距离较短,导致识别范围受限。针对上述问题,提出基于模糊数学模型的舰船红外成像目标智能识别方法。该方法分为3步:1)对舰船红外图像进行预处理,包括图像滤波、图像增强、图像分割;2)利用基于几何特性方法提取处理后的图像特征;3)以图像特征作为模糊数学模型特征因子,构建模糊集合,并利用贴近度原则对被识别对象进行归属判决,完成目标识别。结果表明:与基于SVM和基于神经网络的方法相比,利用本方法进行舰船红外成像目标智能识别,识别距离延长10 m和20 m,识别范围扩大。
-
关键词
模糊数学模型
红外成像
目标识别
-
Keywords
fuzzy mathematical model
infrared imaging
target recognition
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
O159
[理学—基础数学]
-
-
题名具有模糊时态的广义可能性线性时序逻辑的模型检测
被引量：10
- 3
-
-
作者
梁常建
李永明
-
机构
陕西师范大学数学与信息科学学院
商丘师范学院数学与统计学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2017年第12期2971-2977,共7页
-
基金
国家自然科学基金(No.11271237
No.11671244
+2 种基金
No.11401363
No.11501345)
高等学校博士学科点专项科研基金项目(No.20130202110001)
-
文摘
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.
-
关键词
模糊时态
可能性性质
线性时序逻辑
时间复杂度
阈值模型检测
-
Keywords
fuzzy time temporal
possibility property
linear temporal logic
time complexity
threshold modelchecking
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名广义可能性计算树逻辑的模型检测问题
被引量：7
- 4
-
-
作者
梁常建
李永明
-
机构
陕西师范大学数学与信息科学学院
商丘师范学院数学与统计学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2017年第11期2641-2648,共8页
-
基金
国家自然科学基金(No.11271237
No.11671244
+2 种基金
No.11401363
No.11501345)
高等学校博士学科点专项科研基金(No.20130202110001)
-
文摘
本文首先分别给出了"约束可达","总是可达"这两个公式在广义可能性计算树逻辑(GPo CTL)中的另外两种等价形式;其次讨论了基于广义可能性测度的计算树逻辑的模型检测问题,将GPo CTL的模型检测问题规约为经典的CTL模型检测问题,利用截集的方法,给出了计算GPo CTL的模型检测问题的算法及其复杂度,并通过实例分析说明了这种算法的可行性;最后,研究了具有公平性假设的GPo CTL模型检测问题的计算复杂度,得到了与上面相似的结论.
-
关键词
可能性理论
计算树逻辑
模型检测
时间复杂性
规约
-
Keywords
possibility theory
computation tree logic
model checking
time complexity
reduction
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
