首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   434篇
  免费   4篇
  国内免费   12篇
教育   352篇
科学研究   49篇
体育   2篇
综合类   20篇
信息传播   27篇
  2023年   3篇
  2022年   3篇
  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篇
排序方式: 共有450条查询结果,搜索用时 203 毫秒
441.
熊伟 《编辑之友》2015,(8):84-88
为保证鉴审稿件的质量,各类学报编辑部都致力于将编辑审稿工作规范化,明确指标限额与确立评审标准成为规范化努力的重要产品.然而,在实际审稿活动中,编辑遵奉“资历至上”原则,主要依据投稿人资历资格而非稿件质量来确定鉴审结果,这也成为编辑部不成文的“规范”或“惯例”.编辑部对编辑审稿工作的规范化引发了编辑审稿形式化发展趋势.为稳定和提高稿件质量,多元化的审查方式逐渐取代传统的编辑审稿负责制,多元鉴审主体介入审稿事务,强调鉴审与监察的紧密结合,审稿逐渐走向审查,并由此构建出纵横交织的稿件信息流通监管网络.  相似文献   
442.
数学本质是数学的灵魂,是数学教育追求的核心目标,是《课程标准》所倡导的"课程基本理念"中的重要内容,当然也是高考所追求的主要考查目标.传统数学考试注重对知识的单纯形式化记忆的考查,过分地着眼于形式和机械化的操作,很大程度上弱化了学生对数学本质的理解.如何体现数学本质的考查,使学生既能熟练、准确地用形式化语  相似文献   
443.
形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.  相似文献   
444.
基于XML的SWF动画效果自动阅卷研究   总被引:1,自引:0,他引:1  
技能测评是计算机辅助测评领域的研究重点.笔者提出了根据Flash发布格式SWF动画文件进行动画效果自动阅卷的设想,给出了基于XML的SWF动画效果自动阅卷方案,就是将SWF动画自动解析生成XML文档,采用逻辑形式化方法进行阅卷描述并实现自动阅卷.本文重点阐述了两个关键技术环节:SWF to XML阶段的解析工具的选择和XML文档生成以及逻辑形式化阅卷阶段的设计流程和实现效果.通过实例分析表明:基于XML的SWF动画效果自动阅卷技术非常适合开放性动画设计试题的阅卷.  相似文献   
445.
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。  相似文献   
446.
介绍了一些影响计算机的信息系统研制的主要问题。部分地讨论了有关研制计算化信息系统适当方法的主要思想并预示了未来的发展方向  相似文献   
447.
机器思维及一种新的思维方式分类法   总被引:3,自引:0,他引:3  
屠德雍 《科技通报》1998,14(3):213-216
机器思维问题是人工智能的基本问题之一⒚本文从思维方式这一层次上讨论了人(大脑)的思维与机器思维的关系及差别⒚提出了一种新的思维方式分类法,得出一些有意义的结论⒚  相似文献   
448.
为方便卸载指定环境中不必要执行或根本不可能执行的子界程,提高内存的利用效率,在CARDELLI和GORDON提出的界程演算基础上,提出带del操作的界程演算,给出了其语法、语义和归约关系的定义,最后应用带del操作的界程演算建模英文语句,能够通过模型的演绎来识别句子的句型,建模简单易行。  相似文献   
449.
450.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号