全文获取类型
收费全文 | 6569篇 |
免费 | 1088篇 |
国内免费 | 794篇 |
专业分类
电工技术 | 601篇 |
综合类 | 514篇 |
化学工业 | 264篇 |
金属工艺 | 105篇 |
机械仪表 | 392篇 |
建筑科学 | 271篇 |
矿业工程 | 106篇 |
能源动力 | 109篇 |
轻工业 | 287篇 |
水利工程 | 162篇 |
石油天然气 | 136篇 |
武器工业 | 88篇 |
无线电 | 806篇 |
一般工业技术 | 535篇 |
冶金工业 | 208篇 |
原子能技术 | 105篇 |
自动化技术 | 3762篇 |
出版年
2024年 | 55篇 |
2023年 | 141篇 |
2022年 | 259篇 |
2021年 | 259篇 |
2020年 | 301篇 |
2019年 | 226篇 |
2018年 | 202篇 |
2017年 | 253篇 |
2016年 | 303篇 |
2015年 | 303篇 |
2014年 | 452篇 |
2013年 | 435篇 |
2012年 | 502篇 |
2011年 | 482篇 |
2010年 | 383篇 |
2009年 | 383篇 |
2008年 | 447篇 |
2007年 | 469篇 |
2006年 | 406篇 |
2005年 | 394篇 |
2004年 | 306篇 |
2003年 | 256篇 |
2002年 | 219篇 |
2001年 | 142篇 |
2000年 | 146篇 |
1999年 | 124篇 |
1998年 | 97篇 |
1997年 | 82篇 |
1996年 | 61篇 |
1995年 | 67篇 |
1994年 | 49篇 |
1993年 | 46篇 |
1992年 | 39篇 |
1991年 | 26篇 |
1990年 | 26篇 |
1989年 | 23篇 |
1988年 | 15篇 |
1987年 | 3篇 |
1986年 | 10篇 |
1985年 | 11篇 |
1984年 | 6篇 |
1983年 | 6篇 |
1980年 | 6篇 |
1979年 | 5篇 |
1964年 | 2篇 |
1963年 | 2篇 |
1962年 | 2篇 |
1961年 | 2篇 |
1960年 | 2篇 |
1957年 | 3篇 |
排序方式: 共有8451条查询结果,搜索用时 15 毫秒
991.
Albarracín Dolores; Hart William; McCulloch Kathleen C. 《Canadian Metallurgical Quarterly》2006,132(5):732
This commentary on the article by B. Gawronski and G. V. Bodenhausen (see record 2006-10465-003) highlights the strengths of the associative-propositional evaluation model. It then describes problems in proposing a qualitative separation between propositional and associative processes. Propositional processes are instead described as associative. Propositions are ordered associations, whereas many other associations do not depend on the order of the involved elements. Implications of this alternative definition for the phenomenology of thought and for social psychology are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
992.
基于移动设备手写签名认证系统的设计与实现 总被引:2,自引:0,他引:2
由于移动设备具有通过外部的无线网络访问数据、体积小容易丢失等特征,给操作带来方便的同时.也给后台数据库带来很大的安全隐患。文章针对基于移动设备的无线网络应用系统,在Windows2000和Windows Mobile2003操作平台上.利用Microsoft的Visual Studio.Net2003和.NET Compact Framework开发环境,设计和实现了基于移动设备手写签名认证系统。实验结果表明:在少量样本数据情况下,对于非专业模仿签名的错误接受率FAR为3.65%.而错误拒绝率FRR为2.9%。该系统增强移动设备访问数据的安全性,提高操作员认证的效率.具有很强的舅用性。 相似文献
993.
We have verified the FM9801, a microprocessor design whose features include speculative execution, out-of-order issue and completion of instructions using Tomasulo's algorithm, and precise exceptions and interrupts. As a correctness criterion, we used a commutative diagram that compares the result of the pipelined execution from a flushed state to another flushed state with that of the sequential execution. Like many pipelined microprocessors, the FM9801 may not operate correctly if the executed program modifies itself. We discuss the condition under which the processor is guaranteed to operate correctly. In order to show that the correctness criterion is satisfied, we introduce an intermediate abstraction that records the history of executed instructions. Using this abstraction, we define a number of invariant properties that must hold during the operation of the FM9801. We verify these invariant properties, and then derive the proof of the commutative diagram from them. The proof has been mechanically checked by the ACL2 theorem prover. 相似文献
994.
995.
纸浆浓度控制系统的参数调整 总被引:3,自引:0,他引:3
介绍一种纸浆浓度控制系统参数调整的实用方法,并讨论了纸浆浓度控制系统的特点 相似文献
996.
M.H. van Emden 《Constraints》1997,2(2):163-183
We define value constraints, a method for incorporating constraint propagation into logic programming. It is a subscheme of the CLP scheme and is applicable wherever one has an efficient method for representing sets of possible values. As examples we present: small finite sets, sets of ground instances of a term, and intervals of reals with floating-point numbers as bounds. Value constraints are defined by distinguishing two storage management strategies in the CLP scheme. In value constraints the infer step of the CLP scheme is implemented by Waltz filtering. We give a semantics for value constraints in terms of set algebra that gives algebraic characterizations of local and global consistency. The existing extremal fixpoint characterization of chaotic iteration is shown to be applicable to prove convergence of Waltz filtering. 相似文献
997.
RHEOLOGICAL AND PHYSICOCHEMICAL BEHAVIOR OF FORTIFIED YOGURT, WITH FIBER AND CALCIUM 总被引:1,自引:0,他引:1
A. APORTELA-PALACIOS M.E. SOSA-MORALES J.F. VÉLEZ-RUIZ 《Journal of texture studies》2005,36(3):333-349
Yogurt systems were prepared from whole milk, adding 50 mg of calcium/100 mL of yogurt, and three levels of fiber from two wheat‐bran sources. In comparison with a plain yogurt, the presence of fiber and calcium augmented the consistency, diminished the syneresis and the pH was higher. Fiber increased the consistency, and all the formulated samples exhibited a non‐Newtonian response. During 3 weeks of storage time, the consistency reduced (from 2.0 to 0.32 Pa·s n ), syneresis increased (from 20 to 48%) and pH decreased (from 4.5 to 4.2) as a function of the system formulation. 相似文献
998.
999.
给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理. 相似文献
1000.
Cindy Eisner 《Software and Systems Modeling》2005,4(1):14-31
We describe the experience of modeling and formally verifying a software cache algorithm using the model checker RuleBase. Contrary to prevailing wisdom, we used a highly detailed model created directly from the C code itself, rather than a high-level abstract model. 相似文献