首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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条查询结果,搜索用时 0 毫秒
441.
当今社会,科学技术迅猛发展,新媒体力量层出不穷,逐渐步入了以网络媒体为代表的新媒体时代,给传统媒体带来了极大的挑战,尤其给以纸媒、电视、广播等传统媒体宣传方式为主流的消防宣传工作者提出了新的机遇和新的挑战。因此,本文首先分析了我国现阶段消防宣传的现状,然后从发挥政府的消防教育宣传活动的主导地位、将消防宣传入社区、进学校开展网格化宣传,走田间进地头农村消防宣传教育务实不务虚、借用多媒体拓宽消防宣传方式等几个方面对新媒体时代消防宣传工作的多形式化进行了一系列探讨,以期能够更好地发挥新媒体时代的宣传特点,利用新媒体时代的宣传优势为消防宣传教育工作的发展拓宽新渠道。  相似文献   
442.
根据非形式化方法,构造了AI引擎的软件体系结构模型.AI引擎模型由物理视图、进程视图、开发视图和逻辑视图组成,重点描述了逻辑视图中的4个层次:核心层、服务层、业务层与工具层,最后对模型进行性能测试与评估.  相似文献   
443.
形式化是数学的基本特征之一,简单而言,形式化是指内容的抽象化、表述的符号化和操作的程序化.过度形式化会掩盖数学内容的本质,使数学脱离现实性.因此,我们应该把握适度的形式化表达,促进学生建立数学本质与形式之间的有机联系,  相似文献   
444.
给出了应用于不同系统的不变式的概述, 分析了彼此之间的关系, 进行了分类, 并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义, 可用于协议认证和秘密性的证明, 从而成为许多协议形式化分析工具和技术的核心  相似文献   
445.
给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统.重要的结构如消息、事件、协议规则等都通过语义编码方式定义.  相似文献   
446.
介绍了一些影响计算机的信息系统研制的主要问题。部分地讨论了有关研制计算化信息系统适当方法的主要思想并预示了未来的发展方向  相似文献   
447.
机器思维及一种新的思维方式分类法   总被引:3,自引:0,他引:3  
屠德雍 《科技通报》1998,14(3):213-216
机器思维问题是人工智能的基本问题之一⒚本文从思维方式这一层次上讨论了人(大脑)的思维与机器思维的关系及差别⒚提出了一种新的思维方式分类法,得出一些有意义的结论⒚  相似文献   
448.
为方便卸载指定环境中不必要执行或根本不可能执行的子界程,提高内存的利用效率,在CARDELLI和GORDON提出的界程演算基础上,提出带del操作的界程演算,给出了其语法、语义和归约关系的定义,最后应用带del操作的界程演算建模英文语句,能够通过模型的演绎来识别句子的句型,建模简单易行。  相似文献   
449.
450.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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