全文获取类型
收费全文 | 10582篇 |
免费 | 632篇 |
国内免费 | 391篇 |
专业分类
电工技术 | 525篇 |
技术理论 | 1篇 |
综合类 | 500篇 |
化学工业 | 269篇 |
金属工艺 | 336篇 |
机械仪表 | 781篇 |
建筑科学 | 577篇 |
矿业工程 | 216篇 |
能源动力 | 79篇 |
轻工业 | 117篇 |
水利工程 | 50篇 |
石油天然气 | 44篇 |
武器工业 | 104篇 |
无线电 | 2341篇 |
一般工业技术 | 675篇 |
冶金工业 | 94篇 |
原子能技术 | 126篇 |
自动化技术 | 4770篇 |
出版年
2024年 | 23篇 |
2023年 | 166篇 |
2022年 | 155篇 |
2021年 | 270篇 |
2020年 | 211篇 |
2019年 | 108篇 |
2018年 | 111篇 |
2017年 | 169篇 |
2016年 | 231篇 |
2015年 | 205篇 |
2014年 | 462篇 |
2013年 | 442篇 |
2012年 | 558篇 |
2011年 | 755篇 |
2010年 | 525篇 |
2009年 | 588篇 |
2008年 | 609篇 |
2007年 | 822篇 |
2006年 | 697篇 |
2005年 | 742篇 |
2004年 | 643篇 |
2003年 | 553篇 |
2002年 | 472篇 |
2001年 | 327篇 |
2000年 | 257篇 |
1999年 | 258篇 |
1998年 | 213篇 |
1997年 | 170篇 |
1996年 | 138篇 |
1995年 | 116篇 |
1994年 | 113篇 |
1993年 | 100篇 |
1992年 | 90篇 |
1991年 | 65篇 |
1990年 | 54篇 |
1989年 | 38篇 |
1988年 | 31篇 |
1987年 | 22篇 |
1986年 | 14篇 |
1985年 | 33篇 |
1984年 | 8篇 |
1983年 | 12篇 |
1982年 | 7篇 |
1981年 | 5篇 |
1980年 | 6篇 |
1979年 | 4篇 |
1978年 | 2篇 |
1977年 | 1篇 |
1975年 | 2篇 |
1973年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
关于我省数字化城市建设的几点思考 总被引:3,自引:0,他引:3
通过对国内外数字化城市建设现状的分析 ,结合我省实际情况 ,提出我省建设数字化城市的对策及建设内容和原则 ,强调政府的组织行为 ,发挥社会各界的积极性 ,充分利用现有资源 ,以建设数字化城市门户网站为先导 ,快速启动全省数字化城市建设。 相似文献
2.
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation
from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond
to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite
system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems
in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC
program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving
termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort,
merge-sort, merge, split, fair-split and append, etc., can be proved.
This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687
Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074.
M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in
the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs
from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer
science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für
Informatik, Saarbrücken until January 1997.
Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas
of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer
vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from
MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief
of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on
Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science.
R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in
the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and
verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a
faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological
University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of
Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International
Conferences and has been on the Editorial Committees. 相似文献
3.
本文用计算机数字模拟方法研究了电活性分子多层Z型L-B膜修饰电极的循环伏安行为。计算了电极与修饰L-B膜分子第一层之间的电荷转移速度常数K_o,L-B膜分子层间的电荷转移速度常数k_i;对峰电位差△E_p及阳极峰面积Q的影响,以及在不同条件下各层分子的氧化态分数随扫描时间的变化。为研究和设计电活性分子修饰电极的实际体系提供了大量数据和信息。 相似文献
4.
5.
This paper addresses the existence of loop gain-phase shaping (LGPS) solutions for the design of robust digital control systems for SISO, minimum-phase, continuous-time processes with parametric uncertainty. We develop the frequency response properties of LGPS for discrete-time systems using the Δ-transform, a transform method that applies to both continuous-time and discrete-time systems. A theorem is presented which demonstrates that for reasonable specifications there always exists a sampling period such that the robust digital control problem has a solution. Finally, we offer a procedure for estimating the maximum feasible sampling period for LGPS solutions to robust digital control problems. 相似文献
6.
宝钢研制的全氢罩式炉控制系统分析 总被引:4,自引:0,他引:4
对宝钢研制的全氢罩式炉计算机控制系统的逻辑结构、工作原理及硬件配置进行了分析.该系统与引进的系统相比,在通讯方式、程序结构、操作分析、报警和开放性等方面都有所改进. 相似文献
7.
对欧洲的立法者来说,目前最为关注的课题之一便是如何解决数字鸿沟这一困扰欧洲大陆信息与通信技术整体发展水平的矛盾。向人们提供高速因特网接入服务是消除数字鸿沟的有效手段,而无线数字用户线技术以及其成低、通信质量好、覆盖范围大及灵活性等优势成为宽带接入技术中的佼佼者,并获得很多欧洲国家电信运营商的青睐。 相似文献
8.
用迭代法消除数字图像放大后的模糊 总被引:7,自引:3,他引:4
用迭代法对数字图像经过插值放大后产生的模糊问题进行了研究,把数字图像插值放大造成的模糊看成是点扩散函数与清晰图像卷积的结果,根据插值算法可以得到点扩散函数,由于数字图像解卷积是典型的解线性方程组的问题,用雅可比(Jacobi)迭代法得到了很好的结果。与频谱空间变换的方法相比,迭代法没有分母为0的问题和空间变换过程造成的舍入误差。 相似文献
9.
Connecting people across the “digital divide” is as much a social effort as a technological one. We are developing a community-centred
approach to learn how interaction techniques can compensate for poor communication across the digital divide. We have incorporated
the lessons learned regarding social intelligence design in an abstraction and in a device called the SoftBridge. The SoftBridge
allows communication to flow from endpoints through adapters, getting converted if necessary, and out to destination endpoints.
Field trials are underway with two communities in South Africa: disadvantaged Deaf users and an isolated rural community.
Initial lessons learned show that we have to design user interfaces that allow users to understand and cope with delay. We
also learned that social concerns are often more important than the technical issues in designing such systems. 相似文献
10.