期刊文献+
共找到63篇文章
< 1 2 4 >
每页显示 20 50 100
谈信息技术在数学教学中的应用 被引量:3
1
作者 石国华 武瑾 杨玉娟 《教育与职业》 北大核心 2006年第8期97-98,共2页
随着中国教育乃至世界教育的不断发展,信息技术教育已经受到越来越多的人的重视,成为教育发展的新趋势。在信息技术条件下,数学课程发生了一些实质性的变化。信息技术在数学教学上的应用,使得教学手段、教学方法、教材观念与形式、... 随着中国教育乃至世界教育的不断发展,信息技术教育已经受到越来越多的人的重视,成为教育发展的新趋势。在信息技术条件下,数学课程发生了一些实质性的变化。信息技术在数学教学上的应用,使得教学手段、教学方法、教材观念与形式、课堂教学结构及教学思想与教学理论都发生了变革。 展开更多
关键词 信息技术 数学教学 课程整合 教学手段 教学方法 课程改革 中学
在线阅读 下载PDF
突出师范特色的数学教育方法探析 被引量:1
2
作者 李艳 《教育与职业》 北大核心 2008年第17期64-65,共2页
文章对师范数学教育方法进行了一些探讨,主要从革新高师数学教学模式、注重非智力因素的培养、合理选择教学方法、重视徽学新技术的应用、发展学生的数学能力和强调增加实践环节方面进行了阐述。
关键词 师范学生 数学 教育方法
在线阅读 下载PDF
Gdel逻辑系统中F(S)的一个分划及其应用 被引量:17
3
作者 吴洪博 阎满富 《工程数学学报》 CSCD 北大核心 2001年第4期61-68,共8页
将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法... 将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) |i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} ) 展开更多
关键词 模糊逻辑 语义 广义重言式 广义矛盾式 升级算法 分划 降级算法 Goedel逻辑系统
在线阅读 下载PDF
L~*系统中的模糊演绎定理 被引量:26
4
作者 吴洪博 文秋梅 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第1期17-22,共6页
研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,... 研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) . 展开更多
关键词 模糊逻辑 模糊命题演算 算子 模糊演绎定量 形式演绎系统 模糊推理 Kleene逻辑系统 推理规则
在线阅读 下载PDF
谈数学思维与物理教学 被引量:12
5
作者 周庆平 李伶利 《教育与职业》 北大核心 2006年第17期167-168,共2页
物理的实践验证观点经常被数学所运用。同理,数学的严谨推理和周密分析方法也应为物理所借鉴。寻找两门学科的联结点,进行跨学科点拔,对学生举一反三,提高学习效率至关重要。
关键词 数学思维 数学知识 物理教学 学习效率 中学 数理结合
在线阅读 下载PDF
TM遥感图像在城市绿地信息监测中的应用 被引量:3
6
作者 母景琴 詹胜 姚国清 《广东农业科学》 CAS CSCD 北大核心 2013年第5期195-198,F0004,共5页
城市绿地是生态系统的重要组成部分,在城市环境发展中起着至关重要的作用。介绍了TM遥感图像的特征,并阐述了其在城市绿地信息提取中的应用原理和利用TM影像提取绿地信息的一般过程。结合TM遥感图像在唐山市绿地分布中的应用实际,证明... 城市绿地是生态系统的重要组成部分,在城市环境发展中起着至关重要的作用。介绍了TM遥感图像的特征,并阐述了其在城市绿地信息提取中的应用原理和利用TM影像提取绿地信息的一般过程。结合TM遥感图像在唐山市绿地分布中的应用实际,证明了遥感技术在绿地信息提取中的高效性,直观性,和精确性。 展开更多
关键词 TM遥感图像 城市绿地 植被指数 信息监测
在线阅读 下载PDF
湿地生物多样性指标评价体系研究 被引量:11
7
作者 贾久满 郝晓辉 《湖北农业科学》 北大核心 2010年第8期1877-1879,共3页
以物种多样性、生态系统与景观多样性为基础,确定了物种多样性、湿地面积、保护物种、湿地类型、保护地类型、人类干扰等6项评价指标,建立了湿地生物多样性指标评价体系,并为各项评价指标确定了科学、准确的评分标准,为湿地生物多样性... 以物种多样性、生态系统与景观多样性为基础,确定了物种多样性、湿地面积、保护物种、湿地类型、保护地类型、人类干扰等6项评价指标,建立了湿地生物多样性指标评价体系,并为各项评价指标确定了科学、准确的评分标准,为湿地生物多样性评价提供了科学依据。 展开更多
关键词 湿地 生物多样性 评价体系
在线阅读 下载PDF
L~*系统的半对偶形式系统S“非汉字符号”~* 被引量:4
8
作者 吴洪博 陈景林 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第4期4-8,共5页
研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .
关键词 模糊命题演算 形式演绎系统T^* 半对偶形式演绎系统ST^-* 并推理规则 交推理规则 等价性
在线阅读 下载PDF
逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质 被引量:9
9
作者 吴洪博 文秋梅 《陕西师大学报(自然科学版)》 CSCD 北大核心 2000年第2期12-17,共6页
研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公... 研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k + 12 次升级算法即可得到重言式 . 展开更多
关键词 命题演算 可达α^+-重言式 升级算法 逻辑系统
在线阅读 下载PDF
唐山市植被动态变化遥感监测 被引量:2
10
作者 母景琴 詹胜 《国土资源遥感》 CSCD 北大核心 2013年第3期178-182,共5页
基于TM和ETM+遥感图像,分析唐山市绿地分布结构及变化趋势,对唐山市植被信息进行提取,为城市规划提供科学依据及技术支持。利用归一化差值植被指数(NDVI)计算植被信息图;设定合适的NDVI阈值参数和近红外波段的阈值参数,精确判定植被像元... 基于TM和ETM+遥感图像,分析唐山市绿地分布结构及变化趋势,对唐山市植被信息进行提取,为城市规划提供科学依据及技术支持。利用归一化差值植被指数(NDVI)计算植被信息图;设定合适的NDVI阈值参数和近红外波段的阈值参数,精确判定植被像元,并生成唐山市几个区域的植被信息结果图;利用1999—2009年3个时间段的植被信息图合成植被信息动态变化图,对植被信息动态变化图进行分析。结果表明,近10 a来,唐山市城区以公园为主的植被覆盖面积增加,城南南湖生态建设作用明显,唐山城区范围正在向外围扩展。 展开更多
关键词 遥感 城市植被 动态监测 植被指数
在线阅读 下载PDF
浅谈数学教学与多媒体技术 被引量:4
11
作者 杨云飞 孙晓毅 《教育与职业》 北大核心 2005年第32期68-69,共2页
利用多媒体技术辅助数学教学,改变了传统教学中单维的、抽象的、枯燥的教学模式,用形象、直观的教学方式为学生服务,优化了课堂结构.但它只能是辅助教学的一种手段,目的是要提高教学效率,绝不能为了用而用.
关键词 数学教学 多媒体技术 几何画板
在线阅读 下载PDF
数学教学中创造性思维的培养 被引量:4
12
作者 郭向荣 《教育与职业》 北大核心 2008年第23期90-91,共2页
数学教学重要的是培养学生的思维能力,而创造性思维是数学思维的品质。文章就如何在数学教学中培养学生的创造性思维能力,提出了一些见解。
关键词 数学教学 创造性思维 能力培养 思维过程 猜想能力
在线阅读 下载PDF
基于熵的高等院校研究生教学管理系统评价 被引量:1
13
作者 昝欣 宗鹏 吴祈宗 《科学技术与工程》 2006年第12期1666-1668,共3页
以熵理论为基础,分析了高等院校研究生教学管理机构对系统内信息流的影响.从信息流通时效性和准确性的角度,对管理机构的有序度进行评价。在建立对管理机构进行定量评价的时效质量模型的基础上,计算系统结构的有序度,并系统地阐述了计... 以熵理论为基础,分析了高等院校研究生教学管理机构对系统内信息流的影响.从信息流通时效性和准确性的角度,对管理机构的有序度进行评价。在建立对管理机构进行定量评价的时效质量模型的基础上,计算系统结构的有序度,并系统地阐述了计算时效质量有序度的方法。 展开更多
关键词 研究生教学管理 机构有序度 时效质量 熵模型
在线阅读 下载PDF
一阶逻辑推理系统F下量词的性质及运算规律 被引量:1
14
作者 孟令江 《河北大学学报(自然科学版)》 CAS 北大核心 2008年第1期18-21,共4页
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.
关键词 蕴涵式 解释 逻辑等价 量词
在线阅读 下载PDF
大系统优化的动态规划递阶算法改进
15
作者 董永权 汪忠志 徐付霞 《广西科学》 CAS 2003年第2期92-93,共2页
引入 1个拉格朗日乘子 ,将动态规划的最优性原则与大系统控制论中的分解协调的递阶算法结合起来 ,并考虑各子系统间的顺序直接作用 ,提出 1种以二次型为性能指标的离散线性系统优化算法 。
关键词 动态规划 拉格朗日乘子 递阶算法 大系统控制论 离散线性系统 优化控制
在线阅读 下载PDF
玉米大斑病菌不同致病小种StBCK1基因生物信息学分析
16
作者 周树功 张晓雅 张运峰 《西南农业学报》 CSCD 北大核心 2020年第8期1691-1695,共5页
【目的】为探索StBCK1基因功能的重要影响位点。【方法】通过CTAB法提取了玉米大斑病菌4个小种的基因组DNA,克隆StBCK1基因的关键序列,利用DNAMAN、MEGA和NetPhos2.0 Server比对了玉米大斑病菌不同小种间的遗传差异,并分析StBCK1的蛋白... 【目的】为探索StBCK1基因功能的重要影响位点。【方法】通过CTAB法提取了玉米大斑病菌4个小种的基因组DNA,克隆StBCK1基因的关键序列,利用DNAMAN、MEGA和NetPhos2.0 Server比对了玉米大斑病菌不同小种间的遗传差异,并分析StBCK1的蛋白质磷酸化位点。【结果】StBCK1的蛋白质激酶结构域位于DNA序列的4155~5016位,肽链的1385~1672位;在DNA序列比对中发现3个SNP位点;1个位点导致氨基酸由亮氨酸转变为苯丙氨酸,2个位点导致丝氨酸突变为异亮氨酸和天冬酰胺突变为异亮氨酸;3个位点差异均与蛋白质磷酸化位点相关。【结论】3个位点的多态性影响了蛋白质结构与功能,进而影响了玉米大斑病菌的致病性差异。 展开更多
关键词 玉米大斑病菌 StBCK1 生物信息学分析
在线阅读 下载PDF
自然推理系统P中的P∧Q■P
17
作者 孟令江 《河北大学学报(自然科学版)》 CAS 北大核心 2009年第3期238-240,共3页
逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰... 逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础. 展开更多
关键词 蕴含 推理系统 三段论 P∧Q■P规则
在线阅读 下载PDF
统筹方法中数学模型的建立
18
作者 张玲 《工业技术经济》 北大核心 2001年第4期58-60,共3页
关键词 统筹方法 数学模型 运筹学
在线阅读 下载PDF
新课标背景下数学核心素养的理论意蕴与实践要求 被引量:27
19
作者 武丽莎 朱立明 《天津师范大学学报(基础教育版)》 2018年第2期32-36,共5页
随着《普通高中数学课程标准(2017年版)》的正式颁布,数学核心素养再次成为数学教育领域研究的热点问题。数学核心素养是具有数学基本特征的思维品质、关键能力以及情感、态度与价值观的综合表现,决定数学课程目标的价值取向,制约数学... 随着《普通高中数学课程标准(2017年版)》的正式颁布,数学核心素养再次成为数学教育领域研究的热点问题。数学核心素养是具有数学基本特征的思维品质、关键能力以及情感、态度与价值观的综合表现,决定数学课程目标的价值取向,制约数学课程内容的结构设置,影响数学课程评价的测评方案。基于其理论意蕴,提出数学核心素养在教学中的实践要求——数学知识:从静态知识观走向动态知识观;数学技能:从机械训练走向学科任务驱动;数学交流:从学科内部交流走向跨学科交流;数学情感:从被动灌输走向积极体验;数学思维:从表层传授走向模式构建。 展开更多
关键词 普通高中数学课程标准 数学核心素养 理论意蕴 实践要求
在线阅读 下载PDF
传染病的logistic模型研究 被引量:9
20
作者 徐付霞 李秀敏 +1 位作者 徐红梅 董永权 《中国卫生统计》 CSCD 北大核心 2007年第2期168-170,共3页
关键词 LOGISTIC模型 传染病 最小二乘估计 流行规律 统计软件 二阶导数 传播过程
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部