全文获取类型
收费全文 | 435篇 |
免费 | 4篇 |
国内免费 | 12篇 |
专业分类
教育 | 352篇 |
科学研究 | 49篇 |
体育 | 3篇 |
综合类 | 20篇 |
信息传播 | 27篇 |
出版年
2023年 | 3篇 |
2022年 | 4篇 |
2021年 | 4篇 |
2020年 | 5篇 |
2019年 | 5篇 |
2018年 | 4篇 |
2017年 | 10篇 |
2016年 | 13篇 |
2015年 | 14篇 |
2014年 | 20篇 |
2013年 | 41篇 |
2012年 | 40篇 |
2011年 | 32篇 |
2010年 | 24篇 |
2009年 | 31篇 |
2008年 | 48篇 |
2007年 | 33篇 |
2006年 | 15篇 |
2005年 | 31篇 |
2004年 | 14篇 |
2003年 | 15篇 |
2002年 | 17篇 |
2001年 | 10篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1995年 | 3篇 |
1994年 | 1篇 |
1992年 | 1篇 |
排序方式: 共有451条查询结果,搜索用时 62 毫秒
431.
许柯 《中国科教创新导刊》2008,(26)
高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个方面入手,研究了当前主流的验证方法,分析各种方法的优点和存在的缺陷,并给出了建议性的解决方法。 相似文献
432.
433.
用字母代替数字,是中学生最先接触到的数学思想,也是初等代数以至整个数学领域最重要的、最基础的数学思想之一。在数学中,由字母代数、各种量、量的变化以及量与量之间进行推理与演算都是以符号形式来表示的,即进行着一整套的形式化的数学语言,这里的符号形式包括数字、字母、图形和图 相似文献
434.
如何立足于21世纪发展的高度,审时度势,与时俱进地改革人才培养模式,把好教育质量生命线,已经成为高等学校共同关注的重要课题.但近年来,我国本科教育确实出现了一些不容忽视的问题,一是母语教育边缘化,二是教育实习形式化,三是大四教学自由化.要根治这些顽疾,除提倡大学精神,转变目前的教育思想和观念,创建管理新机制,无第二良药. 相似文献
435.
钟正凤 《外语教学理论与实践》2016,(1)
汉语中究竟有没有关系从句?怎么样的语言形式是汉语关系从句的表现?如何形式化地定义汉语的关系从句?如何将汉语纳入到普通语言学的大框架内,与不同类型的语言一同讨论?如何使传统的汉语语法与当代语言学理论相结合,为汉语研究提供新的研究话题及方法?本文将以汉语中关系从句的地位确认、句法辨析及定义重设为例,在普通语言学视角下对汉语的语言现象进行重新审视;同时,希望通过当代语言学理论为汉语中一些看似难以归入语言普遍性的句法结构提供分析方法上的参照。 相似文献
436.
新《高中数学课程标准》要求教师在教学过程中 ,应努力把形式化数学的学术形态适当地改造为学生易于接受的教育形态 ,张奠宙教授把这一过程形象地称为由“冰冷”向“火热”的转化过程 .笔者认为 ,要形成学生“火热的思考” ,关键是教师在处理教材时 ,应从学生发展的心理逻辑、兴趣、需要出发 ,以促使学生动情、动口、动脑 ,动手和互动为目的 ,寻求知识的活性化 .1 设计需求情境 ,激发学生学习数学热情生活中我们都有这样的体会 ,在饥渴状态下吃东西特别香 .学习也是如此 ,当学生求知欲望很迫切时 ,感官系统处于亢奋状态 ,必然会产生迫切的… 相似文献
437.
438.
学校课程整合的应然追求是让每位儿童成"人"。从儿童成"人"的个人和社会维度的基本意蕴出发,指向儿童成"人"的学校课程整合是通过学校层面的课程设计以实现个人、社会和知识的整合,在师生的参与中作出自下而上的课程决策。反观学校层面课程整合的现状,形式化的课程整合和儿童的客体化、功利化的课程整合和儿童的工具化是其迷失的具体表现。学校课程整合的理性回归需要校内外共同努力,具体而言:校内应从理想的儿童形象出发进行课程整合的整体设计并赋权师生,校外应为学校课程整合提供前瞻性的政策指引和理性的地方支持。 相似文献
439.
440.
《江西蓝天学院学报》2014,(3):53-57
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。 相似文献