全文获取类型
收费全文 | 2670篇 |
免费 | 175篇 |
国内免费 | 230篇 |
专业分类
电工技术 | 27篇 |
综合类 | 181篇 |
化学工业 | 230篇 |
金属工艺 | 924篇 |
机械仪表 | 76篇 |
建筑科学 | 44篇 |
矿业工程 | 45篇 |
能源动力 | 50篇 |
轻工业 | 42篇 |
水利工程 | 9篇 |
石油天然气 | 29篇 |
武器工业 | 18篇 |
无线电 | 68篇 |
一般工业技术 | 539篇 |
冶金工业 | 252篇 |
原子能技术 | 12篇 |
自动化技术 | 529篇 |
出版年
2024年 | 8篇 |
2023年 | 54篇 |
2022年 | 87篇 |
2021年 | 99篇 |
2020年 | 101篇 |
2019年 | 85篇 |
2018年 | 87篇 |
2017年 | 103篇 |
2016年 | 70篇 |
2015年 | 75篇 |
2014年 | 134篇 |
2013年 | 180篇 |
2012年 | 131篇 |
2011年 | 214篇 |
2010年 | 136篇 |
2009年 | 167篇 |
2008年 | 143篇 |
2007年 | 159篇 |
2006年 | 191篇 |
2005年 | 146篇 |
2004年 | 131篇 |
2003年 | 108篇 |
2002年 | 88篇 |
2001年 | 62篇 |
2000年 | 53篇 |
1999年 | 57篇 |
1998年 | 35篇 |
1997年 | 33篇 |
1996年 | 28篇 |
1995年 | 23篇 |
1994年 | 12篇 |
1993年 | 18篇 |
1992年 | 14篇 |
1991年 | 11篇 |
1990年 | 8篇 |
1989年 | 6篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1984年 | 5篇 |
1983年 | 1篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1976年 | 3篇 |
排序方式: 共有3075条查询结果,搜索用时 859 毫秒
101.
基于完备抽象解释的模型检验CTL公式研究 总被引:1,自引:0,他引:1
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的. 相似文献
102.
103.
为解决软件开发后期(维护/演化)程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法:首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍(N为路径数)的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统(RMTS),使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。 相似文献
104.
In the numerical simulation of three dimensional fluid dynamical equations, the huge computational quantity is a main challenge. In this paper, the discontinuous Galerkin (DG) finite element method combined with the adaptive mesh refinement (AMR) is studied to solve the three dimensional Euler equations based on conforming unstructured tetrahedron meshes, that is according the equation solution variation to refine and coarsen grids so as to decrease total mesh number. The four space adaptive strategies are given and analyzed their advantages and disadvantages. The numerical examples show the validity of our methods. 相似文献
105.
A multi-level cell by cell Adaptive Mesh Refinement (AMR) hydrodynamics capability has been developed for the Lagrangian step of the 2D Arbitrary Lagrangian Eulerian (ALE) code CORVUS. Connectivity arrays are used rather than a hierarchical data structure. We solve only on the dynamic unstructured mesh rather than on every level of a refinement hierarchy. The strength, artificial viscosity, slide and programmed burn methods have been generalised to work with AMR. Results are presented for a range of Lagrangian test problems. 相似文献
106.
提出了一种基于动态网格细分的烟雾模拟方法,该方法主要采取图形设备上的动态网格管理对烟雾进行并行处理以达到泊松方程的迭代求解。为了实现高性能,利用高速缓存以提高存取权限和适应硬件的能力。实验结果表明,该方法能够实现比较快速的模拟,结果比较令人满意。 相似文献
107.
108.
基于几何特征和力学特性的自适应网格生成算法 总被引:10,自引:4,他引:6
为获得适合有限元分析的满意网格划分,提出了平面域的基于几何特征和力学特性相结合的自适应网络生成方法,实现了应力集中区的网格局部加密及平稳变密度的网格自动剖分,通过实例表明本方法实用性强、效果良好。 相似文献
109.
Recently the action systems formalism for parallel and distributed systems has been extended with the procedure mechanism.
This gives us a very general framework for describing different communication paradigms for action systems, e.g. remote procedure
calls. Action systems come with a design methodology based on the refinement calculus. Data refinement is a powerful technique
for refining action systems. In this paper we will develop a theory and proof rules for the refinement of action systems that
communicate via remote procedures based on the data refinement approach. The proof rules we develop are compositional so that
modular refinement of action systems is supported. As an example we will especially study the atomicity refinement of actions.
This is an important refinement strategy, as it potentially increases the degree of parallelism in an action system.
Received February 1999 / Accepted in revised form July 2000 相似文献
110.
层次结构的Petri网 总被引:3,自引:1,他引:2
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。 相似文献