全文获取类型
收费全文 | 1810篇 |
免费 | 135篇 |
国内免费 | 114篇 |
专业分类
电工技术 | 107篇 |
综合类 | 278篇 |
化学工业 | 22篇 |
金属工艺 | 2篇 |
机械仪表 | 77篇 |
建筑科学 | 14篇 |
矿业工程 | 5篇 |
能源动力 | 13篇 |
轻工业 | 38篇 |
水利工程 | 2篇 |
石油天然气 | 11篇 |
武器工业 | 6篇 |
无线电 | 110篇 |
一般工业技术 | 109篇 |
冶金工业 | 14篇 |
原子能技术 | 10篇 |
自动化技术 | 1241篇 |
出版年
2024年 | 2篇 |
2023年 | 7篇 |
2022年 | 8篇 |
2021年 | 6篇 |
2020年 | 12篇 |
2019年 | 20篇 |
2018年 | 16篇 |
2017年 | 34篇 |
2016年 | 33篇 |
2015年 | 66篇 |
2014年 | 90篇 |
2013年 | 94篇 |
2012年 | 92篇 |
2011年 | 122篇 |
2010年 | 88篇 |
2009年 | 128篇 |
2008年 | 124篇 |
2007年 | 121篇 |
2006年 | 120篇 |
2005年 | 99篇 |
2004年 | 82篇 |
2003年 | 71篇 |
2002年 | 65篇 |
2001年 | 58篇 |
2000年 | 55篇 |
1999年 | 48篇 |
1998年 | 62篇 |
1997年 | 37篇 |
1996年 | 32篇 |
1995年 | 46篇 |
1994年 | 30篇 |
1993年 | 38篇 |
1992年 | 35篇 |
1991年 | 12篇 |
1990年 | 21篇 |
1989年 | 12篇 |
1988年 | 12篇 |
1987年 | 7篇 |
1986年 | 9篇 |
1985年 | 2篇 |
1984年 | 9篇 |
1983年 | 6篇 |
1982年 | 6篇 |
1981年 | 8篇 |
1980年 | 3篇 |
1979年 | 1篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1976年 | 1篇 |
排序方式: 共有2059条查询结果,搜索用时 15 毫秒
71.
72.
Refinement algebras are abstract algebras for reasoning about programs in a total correctness framework. We extend a reduct of von Wright’s demonic refinement algebra with two operators for modelling enabledness and termination of programs. We show how the operators can be used for expressing relations between programs and apply the algebra to reasoning about action systems. 相似文献
73.
We consider an open problem on the stability of nonlinear nilpotent switched systems posed by Daniel Liberzon. Partial solutions to this problem were obtained as corollaries of global nice reachability results for nilpotent control systems. The global structure is crucial in establishing stability. We show that a nice reachability analysis may be reduced to the reachability analysis of a specific canonical system, the nilpotent Hall–Sussmann system. Furthermore, local nice reachability properties for this specific system imply global nice reachability for general nilpotent systems. We derive several new results revealing the elegant Lie-algebraic structure of the nilpotent Hall–Sussmann system. 相似文献
75.
76.
在Mathematica7.0环境下,实现了交互式矩阵初等变换。使用时只需选择矩阵初等变换的类型,并输入相应的变换参数,即可完成相应的初等变换并以可视化的方式显示矩阵初等变换的步骤及结果。在线性代数的教学中采用此交互式矩阵初等变换,可以在课堂中随时改变实例并进行演示来提高多媒体教学内容的灵活性。 相似文献
77.
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantics of Paradigm is given. For a large, general subclass of Paradigm models a translation into process algebra is provided. Once expressed in process algebra, relying on a correctness result, Paradigm models are amenable to process algebraic reasoning and to verification via the mCRL2 toolset. Examples of a scheduling problem illustrate the approach. 相似文献
78.
A new semantics in terms of mean field equations is presented for WSCCS (Weighted Synchronous Calculus of Communicating Systems). The semantics captures the average behaviour of the system over time, but without computing the entire state space, therefore avoiding the state space explosion problem. This allows easy investigation of models with large numbers of components. The new semantics is shown to be equivalent to the standard Discrete Time Markov Chain semantics of WSCCS as the number of processes tends to infinity. The method of deriving the semantics is illustrated with examples drawn from biology and from computing. 相似文献
79.
Luca AcetoTaolue Chen Anna IngolfsdottirBas Luttik Jaco van de Pol 《Theoretical computer science》2011,412(28):3035-3044
This paper contributes to the study of the equational theory of the priority operator of Baeten, Bergstra and Klop in the setting of the process algebra BCCSP. It is shown that, in the presence of at least two actions, the collection of process equations over BCCSP with the priority operator that are valid modulo bisimilarity, irrespective of the chosen priority order over actions, is not finitely based. This holds true even if one restricts oneself to the collection of valid process equations that do not contain occurrences of process variables. 相似文献
80.
并行计算通信库的测试在并行计算系统中起着重要的作用.对通信库的测试一般都是通过设计一些测试程序对库的各个或几个部分分别进行单独隔离测试.但是有许多库中的错误用这种隔离测试方法测不出来,只有当库的多个部分以某种复杂的、有机的方式组合运行时才会暴露出来.而这种复杂的、有机的组合方式,从设计库的测试角度看很难形成.提出两种新的测试方法,根据通信库结构的分层特性,利用可移植的上层库的测试程序来测试下层库.上层库的测试程序也可看做是下层库的应用程序,但与一般的下层库应用程序不同,它几乎覆盖了下层库的各个部分,且有机地将它们组合起来,运行时形成某种复杂的形态,而仅用下层库的测试程序往往达不到这种形态.这样,逃过下层库测试程序的错误就可能暴露出来. 相似文献