全文获取类型
收费全文 | 601篇 |
免费 | 13篇 |
国内免费 | 18篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 2篇 |
2020年 | 12篇 |
2019年 | 4篇 |
2018年 | 2篇 |
2017年 | 5篇 |
2016年 | 6篇 |
2015年 | 4篇 |
2014年 | 41篇 |
2013年 | 41篇 |
2012年 | 43篇 |
2011年 | 45篇 |
2010年 | 27篇 |
2009年 | 44篇 |
2008年 | 37篇 |
2007年 | 50篇 |
2006年 | 39篇 |
2005年 | 37篇 |
2004年 | 20篇 |
2003年 | 15篇 |
2002年 | 42篇 |
2001年 | 55篇 |
2000年 | 8篇 |
1999年 | 9篇 |
1998年 | 3篇 |
1997年 | 5篇 |
1996年 | 6篇 |
1995年 | 6篇 |
1994年 | 8篇 |
1993年 | 1篇 |
1991年 | 1篇 |
1990年 | 3篇 |
1989年 | 1篇 |
排序方式: 共有632条查询结果,搜索用时 125 毫秒
1.
类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。 相似文献
3.
概述软件研制标准化的必要性,并结合“发动机应用软件集成环境”的研究探讨软件开发标准化工作的方法、特点和体会。 相似文献
4.
航母光电着舰引导系统 总被引:1,自引:0,他引:1
本文分析了航母光电着舰引导系统的基本要求,介绍了光电着舰引导系统的组成、工作原理及其发展,对航母光电着舰引导系统的发展前景进行了分析。 相似文献
5.
领导干部经济责任审计的政策性强,情况复杂,需要有规范的操作性强的审计程序。通过探索,本文在实践的基础上提出了审计程序规范“20步”。 相似文献
6.
7.
GJB 1854—93《军械装备型号规范编写要求》(以下简称《标准》)发布后,对军械产品制造与验收规范的编写,起了重要的指导作用。但在贯彻执行该标准的深度和广度方面,仍存在一些问题。本文介绍和分析《标准》制定的意义、构成和内容要求等,以期对《标准》的宣贯、实施有所裨益。 相似文献
8.
时宝 《海军工程大学学报》1991,(4)
文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。 相似文献
9.
计算机系统的完整性安全策略模型与规范问题,是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远,例如Clark-Wilson完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言(GTSL)。GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新,使得GTSL成为真正能够实际使用的完整性安全策略规范语言。 相似文献
10.