全文获取类型
收费全文 | 639篇 |
免费 | 16篇 |
专业分类
电工技术 | 3篇 |
化学工业 | 147篇 |
金属工艺 | 3篇 |
机械仪表 | 11篇 |
建筑科学 | 23篇 |
能源动力 | 8篇 |
轻工业 | 18篇 |
石油天然气 | 4篇 |
无线电 | 60篇 |
一般工业技术 | 103篇 |
冶金工业 | 66篇 |
原子能技术 | 4篇 |
自动化技术 | 205篇 |
出版年
2022年 | 8篇 |
2021年 | 4篇 |
2020年 | 5篇 |
2019年 | 10篇 |
2018年 | 6篇 |
2017年 | 9篇 |
2016年 | 14篇 |
2015年 | 7篇 |
2014年 | 21篇 |
2013年 | 32篇 |
2012年 | 22篇 |
2011年 | 27篇 |
2010年 | 31篇 |
2009年 | 30篇 |
2008年 | 20篇 |
2007年 | 35篇 |
2006年 | 30篇 |
2005年 | 23篇 |
2004年 | 22篇 |
2003年 | 17篇 |
2002年 | 18篇 |
2001年 | 18篇 |
2000年 | 11篇 |
1999年 | 8篇 |
1998年 | 12篇 |
1997年 | 12篇 |
1996年 | 11篇 |
1995年 | 5篇 |
1994年 | 6篇 |
1993年 | 9篇 |
1992年 | 8篇 |
1991年 | 6篇 |
1990年 | 10篇 |
1989年 | 10篇 |
1988年 | 10篇 |
1987年 | 11篇 |
1986年 | 12篇 |
1985年 | 15篇 |
1984年 | 15篇 |
1983年 | 13篇 |
1982年 | 10篇 |
1981年 | 10篇 |
1980年 | 4篇 |
1979年 | 7篇 |
1978年 | 7篇 |
1977年 | 5篇 |
1976年 | 5篇 |
1975年 | 2篇 |
1973年 | 3篇 |
1972年 | 2篇 |
排序方式: 共有655条查询结果,搜索用时 15 毫秒
1.
This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics. 相似文献
2.
3.
Moshe Eisenberger 《International journal for numerical methods in engineering》2003,57(11):1603-1614
This work presents the derivation of the exact dynamic stiffness matrix for a high‐order beam element. The terms are found directly from the solutions of the differential equations that describe the deformations of the cross‐section according to the high‐order theory, which include cubic variation of the axial displacements over the cross‐section of the beam. The model has six degrees of freedom at the two ends, one transverse displacement and two rotations, and the end forces are a shear force and two end moments. Using the dynamic stiffness matrix exact vibration frequencies for beams with various combinations of boundary conditions are tabulated and compared with results from the Bernoulli–Euler and Timoshenko beam models. Copyright © 2003 John Wiley & Sons, Ltd. 相似文献
4.
An important aspect of the vehicle routing problem (VRP) that has been largely overlooked is the use of satellite facilities to replenish vehicles during a route. When possible, satellite replenishment allows the drivers to continue making deliveries until the close of their shift without necessarily returning to the central depot. This situation arises primarily in the distribution of fuels and certain retail items. When demand is random, optimizing customer routes a priori may result in significant additional costs for a particular realization of demand. Satellite facilities are one way of safeguarding against unexpected demand. This paper presents a branch and cut methodology for solving the VRP with satellite facilities subject to capacity and route time constraints. We begin with a mixed-integer linear programming formulation and then describe a series of valid inequalities that can be used to cut off solutions to the linear programming relaxation. Several separation heuristics are then outlined that are used to generate the cuts. Embedded in the methodology is a VRP heuristic for finding good feasible solutions at each stage of the computations. Results are presented for a set of problems derived from our experience with a leading propane distributor. 相似文献
5.
The energy interaction curves of a number of diatomic and polyatomic dication systems were calculated in order to study their energy-trapping properties. Generally, the ab initio complete active space multiconfiguration self-consistent field method was used in an extended valence + polarization basis set, with compact effective potentials replacing the core electrons. The diatomic dications include all ten possible binary combinations of oxygen, sulphur, selenium, and tellurium. O22+ shows the largest exothermicity, measured from equilibrium to the monocation combination asymptote, and highest barrier to dissociation. The calculated equilibrium bond length and harmonic vibrational frequency agree very well with experiment. The O22+, SO2+, SeO2+, and TeO2+ series show progressively decreasing exothermicities but similar barrier heights. The non-oxides, in contrast, show similar exothermicities but decreasing barriers with increasing size of the atom constituents. These trends are interpreted in terms of both valence bond curve-crossing and molecular orbital bonding models. The ozone dication, O32+, is found to have a number of low-lying singlet and triplet stationary state structures spanning near-linear to D3h2+ symmetries. Although the calculated exothermicity is even larger than for O22+, the barrier to O2+ + O+ dissociation is predicted to be low in each case. O22+ surrounded by six argon atoms to model an isolating environment shows increased equilibrium O–O bond length, decreased exothermicity, and increased barrier to dissociation, relative to the bare dication. O22+ flanked at each end by a perpendicularly oriented H2 molecule in a staggered conformation is obstructed from direct conversion to the water dimer dication by a high barrier. However, [(H2O)2]2+ dissociates smoothly from equilibrium to two water monocations with a large exothermicity but a small barrier. 相似文献
6.
Various models have been proposed that attribute judgments of frequency of occurrence either to the direct coding of frequency information or to the estimation of frequency from characteristics of memory traces that are not direct frequency codes. We present three experiments that replicate and further explore a phenomenon that is significant in the distinction between direct and indirect models of frequency coding. The phenomenon is that deeper processing of stimulus material results in superior judgments of frequency for that material than does shallower processing. This effect is at least partly attributable to the number of associations that are generated by deep analysis. The results of the present experiments thereby implicate an indirect coding mechanism underlying frequency judgments. However, we also show that there is ample reason to suppose a contribution of a direct coding mechanism as well. The most reasonable view, therefore, is that multiple mechanisms are involved in the registration of frequency of occurrence. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
7.
This paper proposes a new approach for stabilizing a homogeneous solution in reaction–convection–diffusion system with oscillatory kinetics, in which moving or stationary patterns emerge in the absence of control. Specifically, we aim to suppress patterns by using a spatially weighted finite-dimensional feedback control that assures stability of the solution according to Lyapunov's direct method. A practical design procedure, based on spectral representation of the system and dissipative nature of parabolic PDEs, is presented. 相似文献
8.
Presents clinical observations of the impact of the Persian Gulf War on the themes and processes of psychotherapy among a group of Israeli patients. Metaphors of the war period were analyzed in light of contemporary psychoanalytic thinking, with a particular focus on the significance of the sealed room. Issues of the psychotherapeutic technical stance and resistance vs breach in the frame were also addressed, and 2 case vignettes are included. It is concluded that the therapeutic framework is a representational constituent of early experiences pertaining to boundaries, containment, transitionality, and psychic enclosure, and remains sensitive throughout the treatment to vicissitudes of transference or to the reapportionment of psychic space. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
9.
Moshe Dayan 《Journal of Superconductivity and Novel Magnetism》2007,20(3):239-247
Here I establish the field perturbation theory of pseudogaps in HTSC. The proposed ground state suggests an internal particle-hole
field, which is normal to nesting surfaces, and having twice the Fermi wave number. It is proved that the system violates
momentum conservation by the wave vector of this internal field. This violation applies to the quasi-particle propagators,
as well as to the interactions. Interaction vertices via the Pauli matrix-τ1 are established. This, in turn, establishes the validity of the pseudogap Hartree self-energy. 相似文献
10.
Danny Barash Tamar Schlick Moshe Israeli Ron Kimmel 《Journal of Mathematical Imaging and Vision》2003,19(1):33-48
Operator splitting is a powerful concept used in many diversed fields of applied mathematics for the design of effective numerical schemes. Following the success of the additive operator splitting (AOS) in performing an efficient nonlinear diffusion filtering on digital images, we analyze the possibility of using multiplicative operator splittings to process images from different perspectives.We start by examining the potential of using fractional step methods to design a multiplicative operator splitting as an alternative to AOS schemes. By means of a Strang splitting, we attempt to use numerical schemes that are known to be more accurate in linear diffusion processes and apply them on images. Initially we implement the Crank-Nicolson and DuFort-Frankel schemes to diffuse noisy signals in one dimension and devise a simple extrapolation that enables the Crank-Nicolson to be used with high accuracy on these signals. We then combine the Crank-Nicolson in 1D with various multiplicative operator splittings to process images. Based on these ideas we obtain some interesting results. However, from the practical standpoint, due to the computational expenses associated with these schemes and the questionable benefits in applying them to perform nonlinear diffusion filtering when using long timesteps, we conclude that AOS schemes are simple and efficient compared to these alternatives.We then examine the potential utility of using multiple timestep methods combined with AOS schemes, as means to expedite the diffusion process. These methods were developed for molecular dynamics applications and are used efficiently in biomolecular simulations. The idea is to split the forces exerted on atoms into different classes according to their behavior in time, and assign longer timesteps to nonlocal, slowly-varying forces such as the Coulomb and van der Waals interactions, whereas the local forces like bond and angle are treated with smaller timesteps. Multiple timestep integrators can be derived from the Trotter factorization, a decomposition that bears a strong resemblance to a Strang splitting. Both formulations decompose the time propagator into trilateral products to construct multiplicative operator splittings which are second order in time, with the possibility of extending the factorization to higher order expansions. While a Strang splitting is a decomposition across spatial dimensions, where each dimension is subsequently treated with a fractional step, the multiple timestep method is a decomposition across scales. Thus, multiple timestep methods are a realization of the multiplicative operator splitting idea. For certain nonlinear diffusion coefficients with favorable properties, we show that a simple multiple timestep method can improve the diffusion process. 相似文献