全文获取类型
收费全文 | 43084篇 |
免费 | 3213篇 |
国内免费 | 5315篇 |
专业分类
电工技术 | 2098篇 |
技术理论 | 66篇 |
综合类 | 5398篇 |
化学工业 | 6016篇 |
金属工艺 | 937篇 |
机械仪表 | 2508篇 |
建筑科学 | 15521篇 |
矿业工程 | 1686篇 |
能源动力 | 1230篇 |
轻工业 | 718篇 |
水利工程 | 1937篇 |
石油天然气 | 1030篇 |
武器工业 | 737篇 |
无线电 | 1923篇 |
一般工业技术 | 4077篇 |
冶金工业 | 976篇 |
原子能技术 | 138篇 |
自动化技术 | 4616篇 |
出版年
2024年 | 144篇 |
2023年 | 642篇 |
2022年 | 855篇 |
2021年 | 1248篇 |
2020年 | 1267篇 |
2019年 | 955篇 |
2018年 | 903篇 |
2017年 | 1102篇 |
2016年 | 1365篇 |
2015年 | 1465篇 |
2014年 | 3822篇 |
2013年 | 2615篇 |
2012年 | 3147篇 |
2011年 | 3355篇 |
2010年 | 2819篇 |
2009年 | 2918篇 |
2008年 | 2879篇 |
2007年 | 3456篇 |
2006年 | 3107篇 |
2005年 | 2811篇 |
2004年 | 2472篇 |
2003年 | 1854篇 |
2002年 | 1342篇 |
2001年 | 1034篇 |
2000年 | 874篇 |
1999年 | 679篇 |
1998年 | 472篇 |
1997年 | 405篇 |
1996年 | 337篇 |
1995年 | 284篇 |
1994年 | 215篇 |
1993年 | 170篇 |
1992年 | 146篇 |
1991年 | 80篇 |
1990年 | 64篇 |
1989年 | 53篇 |
1988年 | 42篇 |
1987年 | 28篇 |
1986年 | 17篇 |
1985年 | 22篇 |
1984年 | 30篇 |
1983年 | 19篇 |
1982年 | 15篇 |
1981年 | 10篇 |
1980年 | 14篇 |
1979年 | 8篇 |
1961年 | 4篇 |
1958年 | 4篇 |
1957年 | 6篇 |
1951年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
171.
172.
Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems
are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task
due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology
that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has
been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research
the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language
based on business rules, and a model checker.
Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D.
degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are
on performance analysis and modeling of e-business and distributed systems, and formal methods.
Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte,
Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking).
Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas
Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and
formal methods. Actually his current interests are on software engeneering and project management of IT projects. 相似文献
173.
随着西北勘测设计研究院(以下简称西北院)勘测总队所承担的黄河龙 ̄青段、白龙江流域等河段前期综合勘测工作的相继结束,拥有2000多名职工的勘测队伍面临着何去何从的重大选择。在此转折关头,勘测总队面对现实,审时度势,抓住机遇,开拓前进,及时转轨变型,制定了本单位发展的战略和方向,使勘测总队由单一勘测业务转变为集勘测与岩土工程施工为一身的新型综合队伍。几年来,经过全体职工的奋发努力,缍获得了1995年 ̄ 相似文献
174.
多判据模糊决策在工程爆破中的应用 总被引:3,自引:0,他引:3
本文介绍了多判据模糊决策的数学模型。该模型可广泛地用于工程爆破中的爆破方案比较,以及爆破试验中的最优爆破参数的决策。该模型的应用将有利于工程爆破试验及设计的计算机程序设计。 相似文献
175.
顾玲 《南方冶金学院学报》1992,13(2):134-139
根据振动理论建立了振动力学模型,并用等效刚度方法分析研究了弹性悬挂轮式工程机械行驶平稳性和振动特性。 相似文献
176.
A novel annular reactor for kinetic studies at high temperature and flow conditions has been designed to keep eccentricity tolerances below 10%. In a previous work, we have shown that it is very important to keep such low eccentricity values in order to collect reliable kinetic data from this type of reactors. As proposed in this study, a modified reactor with the use of a spacer could guarantee an annular duct with low levels of eccentricity. Manufacturing tolerances or deformation effects giving rise to eccentricity can be significantly minimised when using this apparatus. The reactor has been both experimentally and theoretically characterised. Carbon monoxide oxidation was used as a model reaction under mass-transfer limited conditions revealing an eccentricity of ∼5%. With such small eccentricity levels, a concentric annular form can be assumed in the reactor analysis. Simple 1D or 2D models can therefore be inexpensively used in the evaluation of the kinetic data. Also, prior to the design of the annular reactor, a numerical investigation was carried out to clarify the effects of eccentricity, physical properties of the carrier gas and the annular aspect ratio on mass-transfer limitations. Contrary to expectations, a considerable increase in the fuel mass-diffusivity by carrier gas substitution did not change the mass-transfer rates for cases when eccentricity and aspect ratios were high. 相似文献
177.
拟动力实验中的数值积分方法 总被引:1,自引:0,他引:1
邱法维 《哈尔滨建筑大学学报》1994,(3)
拟动力实验方法是目前最新的抗震实验方法,它克服了振动台实验中承载力不足、拟静力实验中无法真实模拟地震过程的缺点.本文详细论述了拟动力实验中的数值积分方法,其中包括:显式方法,隐式方法以及采用于结构技术时所需的特殊教值积分方法,并对这些方法的适用范围作了介绍. 相似文献
178.
介绍火铺矿选煤厂的现状及存在的瓶颈制约问题,与配套矿井进行同步扩能改造的必要性和紧迫性;根据矿井采煤方法及煤质特性并结合选煤厂现有工艺等实际情况,提出了选煤厂扩能改造的初步构想:即采用原煤预排矿——三产品全煤重介——煤泥直接浮选——尾煤泥压滤联合工艺流程,并对该工艺流程进行了详细阐述,提出了本次技改存在问题。 相似文献
179.
本文简要地介绍了我国几个地下矿在锚喷网联合支护的硐室工程中堵漏防渗处理所取得的良好效果,可供类似矿山参考。 相似文献
180.
热环境的人-机-环境系统工程评价 总被引:2,自引:0,他引:2
从人-机-环境系统工程的角度分析了热环境对人的影响。分析了不同热环境的评价方法,讨论了各种评价指数的适用范围,讨论了炎热环境和寒冷环境下的预防保护措施,为室内空调系统的设计评价、保护服装的选用,工作时间的安排提供了有用的工具。 相似文献