聚类工具

0
网站首页网站地图
访问手机版
关于我们
注册
帮助 本站公告
全部文献 媒体文章 报刊论文 会议论文 学位论文 出版专著 研究报告 课题成果 特色专题
高级检索
您现在所在的位置：网站首页 > 知识中心 > 检索结果
全选 题录导出
排序：
期刊文章 让学生通过自己的思维学习数学——论数学教学中的思维教育
出处：课程．教材．教法 1988年第6期26-30,共5页
摘要： <正> 我们把在数学教学中启迪思维,培养思维能力和改善学生的思维品质的活动,称为思维教育。思维教... 显示全部
关键词： 数学教学 思维教育 学习数学 数学思维过程 数学知识 志向水平 数学学习 问题情境 形式化 思维能力
期刊文章 基于语义层软件理解的形式化格局识别技术
出处：计算机工程 2004年第23期 9-11,共3页
摘要：目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪... 显示全部
关键词： 语义层 软件 程序切片 反编译 依赖性分析 形式化 识别技术 理解方法 格局 水平
在线阅读 下载全文
期刊文章 校企合作运行机制评析
出处：职教论坛 2009年第7期 52-54,共3页
摘要：合理的运行机制是校企合作的重要前提。当前我国职业教育领域校企合作形式化的主要原因是，现行运行机制存... 显示全部
关键词： 校企合作 形式化 利益机制
在线阅读 下载全文
期刊文章 翻译句法学的一个理论框架
出处：现代外语 1995年第4期17-22,72共7页
摘要： <正> 本文旨在为翻译特别是口译提供一个形式化的解释性(explanatory)理论模型——翻译句法学(the s... 显示全部
关键词： 句法学 终端符号 结构成分 理论模型 内部结构 全等式 结构关系 形式化 直接成分 结构单位
期刊文章 Web环境下异构地理分析模型的标准化和形式化研究
出处：地球信息科学 2008年第3期 382-389,共8页
摘要：Web环境下分布着大量的地理分析模型资源，但模型的异构性限制了对现有地理分析模型的共享和重用。本文立足... 显示全部
关键词： 地理分析模型 模型元数据 知识本体 标准化 形式化
在线阅读 下载全文
期刊文章 基于时序逻辑的HTTP-NG协议分析
出处：计算机应用研究 2004年第11期 78-80,共3页
摘要：形式化方法由于其简练、无二义性,在协议工程中有着重要的地位.首先对下一代超文本传输协议(HTTP- NG)作了... 显示全部
关键词： 形式化 时序逻辑 下一代超文本传输协议 会话
期刊文章 语义Web的逻辑基础
出处：中国科学：E辑 2004年第10期1123-1138,共16页
摘要：分析了目前语义Web理论的研究现状和存在的问题，分析了用传统描述逻辑作为语义Web逻辑基础的不充分性，根... 显示全部
关键词： 语义 描述逻辑 知识表示 推理 动态 形式化 逻辑基础 存在 传统
期刊文章 软件体系结构的形式化与面向状态的形式化风格
出处：计算机科学 2003年第12期 144-146,149,共4页
摘要：1.引言 软件体系结构的重要性已被越来越多的软件人员所重视,体系结构从全局的、整体的角度去理解和分析整... 显示全部
关键词： 软件体系结构 形式化 形式化风格 软件工程 软件系统
在线阅读 下载全文
期刊文章 从逻辑哲学看模糊逻辑的形式化
出处：逻辑学研究 2008年第3期 66-78,共13页
摘要：从逻辑哲学观点看，在“符号化、公理化的模糊逻辑”与非形式化的“人脑使用的模糊逻辑”（苗东升的说法）... 显示全部
关键词： 逻辑哲学 模糊逻辑 经典逻辑 形式化 合经典的公式
在线阅读 下载全文
期刊文章 并行编译中的区域调度问题
出处：广西科学院学报 2004年第4期 220-224,共5页
摘要：介绍指令级并行性(ILP)中和指令级计算(EPIC)中区域的直观概念和这些概念的形式化工作，并简单介绍区域的几... 显示全部
关键词： 并行编译 区域调度 形式化 指令级计算 指令级并行性 并形计算机
在线阅读 下载全文
找到25条结果

联系方式

电 话：020-38800179

邮 箱：gdtheory@126.com

地 址：广州市天河区天河北路618号广东社会科学中心

邮 编：510635

友情链接

扫一扫 手机浏览

广东省社会科学院·广东省哲学社会科学数据库·广东智库 版权所有 Copyright©2012 gdtheory.cn All Rights Reserved.

违法和不良信息举报中心举报邮箱：jubao@cqvip.com 粤ICP备10080020号-3

`