全文获取类型
收费全文 | 3188篇 |
免费 | 512篇 |
国内免费 | 290篇 |
学科分类
工业技术 | 3990篇 |
出版年
2024年 | 20篇 |
2023年 | 71篇 |
2022年 | 68篇 |
2021年 | 124篇 |
2020年 | 127篇 |
2019年 | 168篇 |
2018年 | 173篇 |
2017年 | 172篇 |
2016年 | 176篇 |
2015年 | 183篇 |
2014年 | 182篇 |
2013年 | 239篇 |
2012年 | 250篇 |
2011年 | 268篇 |
2010年 | 176篇 |
2009年 | 177篇 |
2008年 | 203篇 |
2007年 | 183篇 |
2006年 | 166篇 |
2005年 | 128篇 |
2004年 | 95篇 |
2003年 | 91篇 |
2002年 | 54篇 |
2001年 | 64篇 |
2000年 | 65篇 |
1999年 | 49篇 |
1998年 | 52篇 |
1997年 | 44篇 |
1996年 | 35篇 |
1995年 | 40篇 |
1994年 | 25篇 |
1993年 | 34篇 |
1992年 | 17篇 |
1991年 | 13篇 |
1990年 | 11篇 |
1989年 | 7篇 |
1988年 | 8篇 |
1987年 | 4篇 |
1986年 | 6篇 |
1985年 | 5篇 |
1984年 | 2篇 |
1982年 | 8篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1976年 | 1篇 |
1958年 | 1篇 |
排序方式: 共有3990条查询结果,搜索用时 15 毫秒
1.
G. Martinez 《Journal of Low Temperature Physics》2003,133(1-2):61-95
High magnetic fields are one of the most powerful tools available to scientists for the study, modification and control of matter. This includes the knowledge on correlations effects, interaction mechanisms, structural information and understanding of mesoscopic effects. In this context, a review of recent scientific achievements at the Grenoble High Magnetic Laboratory is given to illustrate, on specific examples, the power of the Magnetic Field probe. 相似文献
2.
The problem of operating freeze drying of pharmaceutical products in vials placed in trays of a freeze dryer to remove free water (in frozen state) at a minimum time was formulated as an optimal control problem. Two different types of freeze dryer designs were considered. In type I freeze dryer design, upper and lower plate temperatures were controlled together, while in type II freeze dryer design, upper and lower plate temperatures were controlled independently. The heat input to the material being dried and the drying chamber pressure were considered as control variables. Constraints were placed on the system state variables by the melting and scorch temperatures during primary drying stage. Necessary conditions of optimality for the primary drying stage of freeze drying process in vials are derived and presented. Furthermore, an approach for constructing the optimal control policies that would minimize the drying time for the primary drying stage was given. In order to analyze optimal control policy for the primary drying stage of the freeze-drying process in vials, a rigorous multi-dimensional unsteady state mathematical model was used. The theoretical approach presented in this work was applied in the freeze drying of skim milk. Significant reductions in the drying times of primary drying stage of freeze drying process in vials were obtained, as compared to the drying times obtained from conventional operational policies. 相似文献
3.
Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented
in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear
action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations
in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for
a uniform behavioural theory for process calculi.
Received October 2000 / Accepted in revised form April 2001 相似文献
4.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
5.
在弹丸外弹道优化设计中,需对优化设计变量赋于初始值.初始值选取得如何,对整个优化计算所耗机时、迭代点收敛到哪个极值点上等等,影响很大.该文对初始值的选取原则、选取方法等作了讨论,所得结果也可作为对弹丸主要结构参数选优的预估. 相似文献
6.
7.
I. N. Ishchuk 《Measurement Techniques》2007,50(10):1081-1086
A three-dimensional solution of the direct problem of heat conduction when a linear pulsed heat source acts in the plane of
contact of two semibounded bodies is presented. The solution is obtained by the method of finite differences. An example of
the modeling is considered.
__________
Translated from Izmeritel’naya Tekhnika, No. 10, pp. 42–45, October, 2007. 相似文献
8.
用分数延迟改进基音预测的CELP编码方案 总被引:2,自引:0,他引:2
在CELP编码器中,通常用延迟为抽样间隔整数倍的长项预测器表征浊音语音的准周期性,然而在低比特率,这种限制降低了编码器的性能。本文在介绍了CELP编码器原理及激励码本构成后,重点研究了一种新型的基音预测方法;分数延迟基音预测,计算机模拟结果表明,这种方法能对浊音进行更准确的表达,尤其对女性讲话者明显改善了语音质量。 相似文献
9.
Yasuhiro Kobayashi Toshiyuki Sawa Toshiyuki Furukawa Shigeru Kawamoto 《Electrical Engineering in Japan》2002,138(2):49-58
This paper describes a load dispatch method which minimizes power cost—[fuel cost]/[electric output]—for a power system with thermal plants and energy storage facilities. The proposed method employs fractional programming to convert a minimization problem with fractional objective function to a series of quadratic minimization problems, and semidefinite programming to solve converted problems. The method provides the optimum time‐dependent power output/input and storage level of energy storage facilities as well as time‐dependent power output of thermal plants. The method has been applied to a power system with five thermal plants, two energy storage facilities of various performances, and five load demands. The optimum load scheme of four time mesh points is obtained for the thermal plants and energy storage facilities. The fractional programming successfully converges the optimal scheme through a few iterations. The semidefinite programming deals with a variable matrix of 164 dimensions, and 185 inequality constraints. © 2001 Scripta Technica, Electr Eng Jpn, 138(2): 49–58, 2002 相似文献
10.
A general variance predictor for Cavalieri slices 总被引:1,自引:0,他引:1
L. M. CRUZ-ORIVE 《Journal of microscopy》2006,222(3):158-165
A general variance predictor is presented for a Cavalieri design with slices of an arbitrary thickness t ≥ 0. So far, prediction formulae have been available either for measurement functions with smoothness constant q = 0, 1, … , and t ≥ 0, or for fractional q ∈ [0, 1] with t = 0. Because the possibility of using a fractional q adds flexibility to the variance prediction, we have extended the latter for any q ∈ [0, 1] and t ≥ 0. Empirical checks with previously published human brain data suggest an improved performance of the new prediction formula with respect to the hitherto available ones. 相似文献