全文获取类型
收费全文 | 1851篇 |
免费 | 161篇 |
国内免费 | 142篇 |
专业分类
电工技术 | 66篇 |
综合类 | 151篇 |
化学工业 | 218篇 |
金属工艺 | 44篇 |
机械仪表 | 101篇 |
建筑科学 | 63篇 |
矿业工程 | 12篇 |
能源动力 | 106篇 |
轻工业 | 19篇 |
水利工程 | 15篇 |
石油天然气 | 9篇 |
武器工业 | 7篇 |
无线电 | 223篇 |
一般工业技术 | 152篇 |
冶金工业 | 23篇 |
原子能技术 | 9篇 |
自动化技术 | 936篇 |
出版年
2024年 | 8篇 |
2023年 | 20篇 |
2022年 | 36篇 |
2021年 | 57篇 |
2020年 | 48篇 |
2019年 | 54篇 |
2018年 | 51篇 |
2017年 | 57篇 |
2016年 | 65篇 |
2015年 | 69篇 |
2014年 | 104篇 |
2013年 | 134篇 |
2012年 | 102篇 |
2011年 | 167篇 |
2010年 | 108篇 |
2009年 | 100篇 |
2008年 | 109篇 |
2007年 | 142篇 |
2006年 | 102篇 |
2005年 | 92篇 |
2004年 | 69篇 |
2003年 | 61篇 |
2002年 | 49篇 |
2001年 | 53篇 |
2000年 | 45篇 |
1999年 | 47篇 |
1998年 | 36篇 |
1997年 | 22篇 |
1996年 | 23篇 |
1995年 | 27篇 |
1994年 | 18篇 |
1993年 | 24篇 |
1992年 | 15篇 |
1991年 | 7篇 |
1990年 | 4篇 |
1989年 | 4篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 5篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1976年 | 1篇 |
1962年 | 1篇 |
1956年 | 3篇 |
排序方式: 共有2154条查询结果,搜索用时 0 毫秒
1.
Most real-world vehicle nodes can be structured into an interconnected network of vehicles. Through structuring these services and vehicle device interactions into multiple types, such internet of vehicles becomes multidimensional heterogeneous overlay networks. The heterogeneousness of the overlays makes it difficult for the overlay networks to coordinate with each other to improve their performance. Therefore, it poses an interesting but critical challenge to the effective analysis of heterogeneous virtual vehicular networks. A variety of virtual vehicular networks can be easily deployed onto the native network by applying the concept of SDN (Software Defined Networking). These virtual networks reflect their heterogeneousness due to their different performance goals, and they compete for the same physical resources of the underlying network, so that a sub-optimal performance of the virtual networks may be achieved. Therefore, we propose a Deep Reinforcement Learning (DRL) approach to make the virtual networks cooperate with each other through the SDN controller. A cooperative solution based on the asymmetric Nash bargaining is proposed for co-existing virtual networks to improve their performance. Moreover, the Markov Chain model and DRL resolution are introduced to leverage the heterogeneous performance goals of virtual networks. The implementation of the approach is introduced, and simulation results confirm the performance improvement of the latency sensitive, loss-rate sensitive and throughput sensitive heterogeneous vehicular networks using our cooperative solution. 相似文献
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.
An asymmetric line-axis compound parabolic concentrating single basin solar still of concentration 1.15, exit aperture 0.24 metres and length 0.48 metres, 30° inclination and 60° half acceptance angle has been designed fabricated and tested. 相似文献
9.
A new curvature technique calculation for surface tension contribution in PLIC-VOF method 总被引:1,自引:0,他引:1
The volume of fluid (VOF) methods have been used for numerous numerical simulations. Among these techniques used to define
the moving interface, the piecewise linear interface reconstruction (PLIC-VOF) is one of the most accurate. A study of the
superficial tension impact on two-phase flow with free surface is presented. A new method based on direct staggered grid is
developped to include surface tension in PLIC-VOF. The new numerical curvature calculation method doesn't need smoothed colour
function and leads to less “spurious current”. This technique is applied to the calculus of surface tension force in the case
of the rise of air bubble in viscous liquid and the fall of liquid drop in the same liquid on free surface. Droplets, thin
layer and capillarity waves are observed after the free surface rupture for different Bond number. The influence of surface
tension calculus is then obvioused and when the drop hit the free surface, wavelets propagate toward the virtual boundaries
imposed. 相似文献
10.
This article presents the first application of the Finite Calculus (FIC) in a Ritz-FEM variational framework. FIC provides a steplength parametrization of mesh dimensions, which is used to modify the shape functions. This approach is applied to the FEM discretization of the steady-state, one-dimensional, diffusion–absorption and Helmholtz equations. Parametrized linear shape functions are directly inserted into a FIC functional. The resulting Ritz-FIC equations are symmetric and carry a element-level free parameter coming from the function modification process. Both constant- and variable-coefficient cases are studied. It is shown that the parameter can be used to produce nodally exact solutions for the constant coefficient case. The optimal value is found by matching the finite-order modified differential equation (FOMoDE) of the Ritz-FIC equations with the original field equation. The inclusion of the Ritz-FIC models in the context of templates is examined. This inclusion shows that there is an infinite number of nodally exact models for the constant coefficient case. The ingredients of these methods (FIC, Ritz, MoDE and templates) can be extended to multiple dimensions 相似文献