全文获取类型
收费全文 | 13391篇 |
免费 | 185篇 |
国内免费 | 303篇 |
专业分类
系统科学 | 233篇 |
丛书文集 | 486篇 |
教育与普及 | 646篇 |
理论与方法论 | 320篇 |
现状及发展 | 77篇 |
研究方法 | 1篇 |
综合类 | 12116篇 |
出版年
2024年 | 36篇 |
2023年 | 152篇 |
2022年 | 156篇 |
2021年 | 182篇 |
2020年 | 123篇 |
2019年 | 147篇 |
2018年 | 53篇 |
2017年 | 119篇 |
2016年 | 167篇 |
2015年 | 295篇 |
2014年 | 645篇 |
2013年 | 614篇 |
2012年 | 777篇 |
2011年 | 980篇 |
2010年 | 898篇 |
2009年 | 1036篇 |
2008年 | 1234篇 |
2007年 | 1074篇 |
2006年 | 711篇 |
2005年 | 645篇 |
2004年 | 575篇 |
2003年 | 569篇 |
2002年 | 507篇 |
2001年 | 493篇 |
2000年 | 391篇 |
1999年 | 250篇 |
1998年 | 235篇 |
1997年 | 158篇 |
1996年 | 123篇 |
1995年 | 127篇 |
1994年 | 109篇 |
1993年 | 61篇 |
1992年 | 65篇 |
1991年 | 55篇 |
1990年 | 56篇 |
1989年 | 27篇 |
1988年 | 14篇 |
1987年 | 9篇 |
1986年 | 4篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1980年 | 3篇 |
1958年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
191.
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用. 相似文献
192.
设计的电子系统由大规模可编程逻辑器件PLD,模/数(A/D)转换电路、数/摸(D/A)转换电路、存储电路、比较触发电路、放大器电路组成,重点论述了系统构思、计算和设计过程,本设计的实现,能使模拟示波器具有数字化存储功能,成为简易数字存储示波器. 相似文献
193.
作为模糊语言的一个重要组成部分,模糊限制语有着独特的语义特点和丰富的语用功能.结合语用学的一些基本理论和原则对其进行语用分析,将进一步证明在日常会话中使用模糊限制语是一种行之有效的交际策略. 相似文献
194.
刘军 《三峡大学学报(自然科学版)》2003,25(6):557-561
讨论了保险精算理论中常见的几种风险序之间的关系,得到了聚合风险中期望剩余寿命风险序的一个性质,利用κ阶停止损失风险序及κ阶失效率风险序间的关系,对本文中所讨论的几种风险序之间的关系给出了一个统一描述。 相似文献
195.
尽管计算机模拟实现了人类认知功能的物化,也为揭示人类认知活动机理开辟了新的途径,但学术界对认知功能的计算机模拟仍存在不同评价。为此,本文从理论层面对认知模拟作了辩证分析,在肯定其具有三项意义的同时,也指出其无法克服的诸多局限。笔者认为,客观评价认知功能的计算机模拟,有助于认知科学家在理论研究中尽早揭示和了解人类认知的规律与机制,在应用研究中能牢牢把握智能模拟的正确方向。 相似文献
196.
197.
斑马鱼胚胎发育的功能染色体组 总被引:1,自引:0,他引:1
随着人类和其他物种染色体组测序工作的完成 ,人类科学最大的任务就是阐明数以万计的基因的生物功能。人类和动物生命周期都从受精卵开始 ,然后一步一步地发育成具有多元组织和器官的生物体。在胚胎形成过程中 ,伴随着基因生成物的协同运作 ,基因按其固有的程序陆续显现出影响 ,从而决定并实现整个人体程序。如果使用适当的动物做模型的话 ,可以加速胚胎功能染色体组的研究。斑马鱼就是这项研究一个很好的模型。斑马鱼最大的优点就是产卵多、体外胚胎发育、体积小、容易养活 ,除此以外 ,很多的分子、细胞、胚胎和基因操作在斑马鱼身上都很容… 相似文献
198.
从报表创建、报表布局及打印调试等方面介绍了利用Visual FoxPro的快速报表实现套表打印的具体操作步骤。在Visual FoxPro下制作报表简单、实用、方便,很好地解决了数据套表打印问题。 相似文献
199.
杜向润 《科技情报开发与经济》2003,13(4):103-104
汾河水库是引黄水入并的调蓄水库。文章对汾河水库的运用状况、来水频率、库容变化进行了分折,并对引黄水入并后如何充分发挥汾河水库的调蓄功能,在保征水库防洪安全的访提下,做好拦洪、蓄洪和对黄河水的合理调蓄,继续发挥汾河水库的功能和作用的问题,进行了论述。 相似文献
200.
国家科技政策的协调与集成 总被引:4,自引:0,他引:4
张九庆 《科技导报(北京)》2003,(8):46-49
国家科技政策是国家公共政策的一个分支,它通过对科技活动大的方面如科技活动的投入、运作、产出、转化等,进行引导、干预、控制,把国家政治、军事、经济等方面的意志转化为科技活动主体的行为规范。它作为一种独立的公共政策源于“二战”时期,大致经历了科学技术主要服务于军事与政治需求(强调科学—国防的二元结构)、通过税收政策激励企业的研究与发展(强调工业与研究的二元结构)、实施以技术扩散为主的技术创新政策(强调社会与创新结合)等几个阶段,并正在进入创建国家创新体系的新的发展历程。在这一历程中,研究其如何协调与集成愈来愈凸… 相似文献