全文获取类型
收费全文 | 2873篇 |
免费 | 145篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 26篇 |
综合类 | 9篇 |
化学工业 | 542篇 |
金属工艺 | 55篇 |
机械仪表 | 47篇 |
建筑科学 | 126篇 |
矿业工程 | 29篇 |
能源动力 | 93篇 |
轻工业 | 370篇 |
水利工程 | 33篇 |
石油天然气 | 7篇 |
无线电 | 242篇 |
一般工业技术 | 408篇 |
冶金工业 | 497篇 |
原子能技术 | 9篇 |
自动化技术 | 534篇 |
出版年
2024年 | 6篇 |
2023年 | 19篇 |
2022年 | 27篇 |
2021年 | 49篇 |
2020年 | 63篇 |
2019年 | 49篇 |
2018年 | 73篇 |
2017年 | 82篇 |
2016年 | 83篇 |
2015年 | 72篇 |
2014年 | 87篇 |
2013年 | 206篇 |
2012年 | 129篇 |
2011年 | 164篇 |
2010年 | 157篇 |
2009年 | 157篇 |
2008年 | 171篇 |
2007年 | 169篇 |
2006年 | 125篇 |
2005年 | 88篇 |
2004年 | 92篇 |
2003年 | 102篇 |
2002年 | 75篇 |
2001年 | 37篇 |
2000年 | 51篇 |
1999年 | 48篇 |
1998年 | 165篇 |
1997年 | 92篇 |
1996年 | 64篇 |
1995年 | 44篇 |
1994年 | 38篇 |
1993年 | 39篇 |
1992年 | 23篇 |
1991年 | 19篇 |
1990年 | 14篇 |
1989年 | 20篇 |
1988年 | 14篇 |
1987年 | 15篇 |
1986年 | 12篇 |
1985年 | 14篇 |
1984年 | 9篇 |
1983年 | 9篇 |
1982年 | 4篇 |
1981年 | 12篇 |
1980年 | 5篇 |
1979年 | 4篇 |
1977年 | 7篇 |
1976年 | 7篇 |
1973年 | 3篇 |
1971年 | 3篇 |
排序方式: 共有3027条查询结果,搜索用时 31 毫秒
91.
A simple method is presented for evaluating wall shear stresses from known flow histories in unsteady pipe flows. The method builds on previous work by Trikha, but has two important differences. One of these enables the method to be used with much larger integration time steps than are acceptable with Trikha’s method. The other, a general procedure for determining approximations to weighting functions, enables it to be used at indefinitely small times (high frequencies). The method is applicable to both laminar and turbulent flows. 相似文献
92.
Manufacturing systems design involves the solution of a complex series of interrelated problems. This complexity will increase in the future as manufacturing practices change to meet increased global competition. Research within manufacturing systems design has mainly been focused on finding improved models for solving particular problems, or extending existing modeling techniques. This has resulted in numerous modeling tools being available to support manufacturing systems design. However, little research work has been carried out into consolidating the existing theories and models. As a result, a large body of this work has not been applied in industry.Model management has evolved as a research area which investigates methods for storing, modifying, and manipulating models. This article describes a prototype model management system for manufacturing systems design. The objective here is not to develop another decision support system for manufacturing design, but to illustrate, through the development of a prototype system, a number of key ideas of how concepts from the area of model management systems can be used to support manufacturing systems design. The prototype model management system utilizes the structured modeling framework and uses an extended version of the structured modeling language. An important aspect of the prototype model management system is the incorporation of the model development task, thus allowing the system to be easily updated and adapted. The prototype system was evaluated using a range of queueing network models for manufacturing systems design. 相似文献
93.
The fact that Z is a specification language only, with no associated program development method, is a widely recognised problem.
As an answer to that, we present ZRC, a refinement calculus based on Morgan's work that incorporates the Z notation and follows
its style and conventions. This work builds upon existing refinement techniques for Z, but distinguishes itself mainly in
that ZRC is completely formalised. In this paper, we explain how programs can be derived from Z specifications using ZRC.
We present ZRC-L, the language of our calculus, and its conversion laws, which are concerned with the transformation of Z
schemas into programs of this language. Moreover, we present the weakest precondition semantics of ZRC-L, which is the basis
for the derivation of the laws of ZRC. More than a refinement calculus, ZRC is a theory of refinement for Z.
Received July 1997 / Accepted in revised form October 1998 相似文献
94.
Cult3D是一个实现基于普通电脑的交互式人体结构三维显示的有效平台。在对内耳结构三维数据处理的基础上,使用Cult3D Designer编辑器,采用组织事件、动作与对象的关联的编程手段实现了对内耳三维对象的复杂交互动作控制,完成基于普通电脑的交互式虚拟内耳显微解剖浏览系统。 相似文献
95.
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem
has received a lot of attention in message-passing systems, very few solutions have been proposed for shared memory systems.
As an eventual leader cannot be elected in a pure asynchronous system prone to process crashes, the paper first proposes to
enrich the asynchronous system model with an additional assumption. That assumption (denoted AWB) is particularly weak. It is made up of two complementary parts. More precisely, it requires that, after some time, (1) there
is a process whose write accesses to some shared variables be timely, and (2) the timers of (t−f) other processes be asymptotically well-behaved (t denotes the maximal number of processes that may crash, and f the actual number of process crashes in a run). The asymptotically well-behaved timer notion is a new notion that generalizes and weakens the traditional notion of timers whose durations are required to
monotonically increase when the values they are set to increase (a timer works incorrectly when it expires at arbitrary times,
i.e., independently of the value it has been set to).
The paper then focuses on the design of t-resilient AWB-based eventual leader protocols. “t-resilient” means that each protocol can cope with up to t process crashes (taking t=n−1 provides wait-free protocols, i.e., protocols that can cope with any number of process failures). Two protocols are presented.
The first enjoys the following noteworthy properties: after some time only the elected leader has to write the shared memory,
and all but one shared variables have a bounded domain, be the execution finite or infinite. This protocol is consequently
optimal with respect to the number of processes that have to write the shared memory. The second protocol guarantees that
all the shared variables have a bounded domain. This is obtained at the following additional price: t+1 processes are required to forever write the shared memory. A theorem is proved which states that this price has to be paid
by any protocol that elects an eventual leader in a bounded shared memory model. This second protocol is consequently optimal
with respect to the number of processes that have to write in such a constrained memory model. In a very interesting way,
these protocols show an inherent tradeoff relating the number of processes that have to write the shared memory and the bounded/unbounded
attribute of that memory. 相似文献
96.
John Derrick Eerke Boiten Jim Woodcock Joakim von Wright 《Electronic Notes in Theoretical Computer Science》2002,70(3):1-2
This volume contains the Proceedings of the REFINE 2002 workshop. The Workshop was held in Copenhagen, Denmark on July 20 and 21, 2002, as a satellite event to FLoC'02 as an FME-affiliated workshop.Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.The aim of this BCS FACS refinement workshop was to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.The purpose of the workshop was to provide a forum for discussion of common ground and key differences. Topics of interest included:
- • Simulation techniques
- • Foundations and semantics
- • Case studies (specification and verification)
- • Compositional and modular reasoning
- • Object-orientation
- • Time
- • Specification notations
- • Programming models
- • Verification and tool support
- •
- John Derrick<
- jd1@ukc.ac.uk
, University of Kent, UK.
- •
- Eerke Boiten<
- eab2@ukc.ac.uk
, University of Kent, UK.
- •
- Jim Woodcock<
- jcpw@ukc.ac.uk
, University of Kent, UK.
- •
- Joakim von Wright<
- jockum.wright@abo.fi
, Åbo Akademi University, Finland
97.
含蜡原油在管道输送过程中经常会有蜡析出,并有一部分蜡沉积到管道内壁上形成结蜡层。结蜡层对管道经济运行有一定的影响,它使管道的输送能力下降,严重时甚至会造成凝管事故,给管道运输造成很大的安全隐患。为了解决上述问题,必须研究含蜡原油管道的蜡沉积规律。针对影响蜡沉积速率的主要因素有管壁处的剪切应力,管壁处温度梯度,管壁处蜡分子浓度梯度和原油的动力粘度,在小型环道上对大庆原油进行管道蜡沉积试验,采用逐步回归的方法对实验数据作回归处理,从而建立了大庆原油蜡沉积速率模型,为进一步研究原油管道蜡沉积规律和管道优化运行奠定了基础。 相似文献
98.
Cao B Ahmed B Kennedy DW Wang Z Shi L Marshall MJ Fredrickson JK Isern NG Majors PD Beyenal H 《Environmental science & technology》2011,45(13):5483-5490
The goal of this study was to quantify the contribution of extracellular polymeric substances (EPS) to U(VI) immobilization by Shewanella sp. HRCR-1. Through comparison of U(VI) immobilization using cells with bound EPS (bEPS) and cells with minimal EPS, we show that (i) bEPS from Shewanella sp. HRCR-1 biofilms contribute significantly to U(VI) immobilization, especially at low initial U(VI) concentrations, through both sorption and reduction; (ii) bEPS can be considered a functional extension of the cells for U(VI) immobilization and they likely play more important roles at lower initial U(VI) concentrations; and (iii) the U(VI) reduction efficiency is dependent upon the initial U(VI) concentration and decreases at lower concentrations. To quantify the relative contributions of sorption and reduction to U(VI) immobilization by EPS fractions, we isolated loosely associated EPS (laEPS) and bEPS from Shewanella sp. HRCR-1 biofilms grown in a hollow fiber membrane biofilm reactor and tested their reactivity with U(VI). We found that, when reduced, the isolated cell-free EPS fractions could reduce U(VI). Polysaccharides in the EPS likely contributed to U(VI) sorption and dominated the reactivity of laEPS, while redox active components (e.g., outer membrane c-type cytochromes), especially in bEPS, possibly facilitated U(VI) reduction. 相似文献
99.
Cristian Jiménez‐Martínez Humberto Hernández‐Sánchez Gloria Dávila‐Ortiz 《Journal of the science of food and agriculture》2007,87(7):1315-1322
Lupinus, like Glycine max (soybean), is an ancient leguminous plant. It has been used as a food by people living around the Mediterranean Sea and in the Andean Highlands. This legume contains quinolizidine alkaloids (Qas), oligosaccharides (OGS) and phenolic compounds (PC). The objective of this study was to evaluate the effect of the growth of Rhizopus oligosporus on the levels of Qas, OGS and PC from L. mutabilis, L. campestris and G. max through tempeh elaboration. The results showed that the soaking and cooking processes of legume seeds diminished the Qas content of L. mutabilis and L. campestris by 50%, and after 48 h of fermentation these compounds decreased by more than 90% in total. OGS diminished by more than 90% in the lupin seeds. The PC content of the three seed species subjected to these processes increased their absorbance value, probably due to the enzymatic action of a fungal tannase. These results suggested that the L. mutabilis, L. campestris and G. max fermentation with R. oligosporus is an efficient method for diminishing antinutritional factors and for obtaining a product with optimal nutritional value. Copyright © 2007 Society of Chemical Industry 相似文献
100.
快速煅烧分解石灰石对其吸收CO2和SO2的影响 总被引:2,自引:1,他引:1
在加热过程中,应用一种新型的快速加热装置——铂膜反应器,及时准确地获得样品质量和颗粒温度,来研究石灰石的煅烧分解,并对石灰石加热速率高达750℃/s下的分解反应特性,及其对分解后产生的氧化钙吸收CO2和脱硫的化学反应特性进行了研究.实验表明,在初始加热阶段,高升温速率明显阻碍了煅烧分解的进行,这对分解后的CaO吸收CO2的效果影响不大.当加热速率升高时,石灰石分解后产生的CaO吸收CO2和脱硫过程中,钙利用率显著下降. 相似文献