全文获取类型
收费全文 | 1503篇 |
免费 | 77篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 19篇 |
综合类 | 2篇 |
化学工业 | 286篇 |
金属工艺 | 22篇 |
机械仪表 | 28篇 |
建筑科学 | 82篇 |
矿业工程 | 1篇 |
能源动力 | 45篇 |
轻工业 | 119篇 |
水利工程 | 15篇 |
石油天然气 | 2篇 |
无线电 | 80篇 |
一般工业技术 | 424篇 |
冶金工业 | 191篇 |
原子能技术 | 12篇 |
自动化技术 | 255篇 |
出版年
2024年 | 2篇 |
2023年 | 10篇 |
2022年 | 24篇 |
2021年 | 41篇 |
2020年 | 20篇 |
2019年 | 27篇 |
2018年 | 33篇 |
2017年 | 30篇 |
2016年 | 38篇 |
2015年 | 44篇 |
2014年 | 71篇 |
2013年 | 90篇 |
2012年 | 98篇 |
2011年 | 138篇 |
2010年 | 89篇 |
2009年 | 81篇 |
2008年 | 102篇 |
2007年 | 115篇 |
2006年 | 87篇 |
2005年 | 88篇 |
2004年 | 55篇 |
2003年 | 48篇 |
2002年 | 40篇 |
2001年 | 28篇 |
2000年 | 18篇 |
1999年 | 17篇 |
1998年 | 15篇 |
1997年 | 16篇 |
1996年 | 10篇 |
1995年 | 11篇 |
1994年 | 8篇 |
1993年 | 9篇 |
1992年 | 8篇 |
1991年 | 3篇 |
1990年 | 13篇 |
1989年 | 9篇 |
1988年 | 8篇 |
1987年 | 7篇 |
1986年 | 2篇 |
1984年 | 4篇 |
1983年 | 5篇 |
1982年 | 5篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1977年 | 4篇 |
1975年 | 2篇 |
1974年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有1583条查询结果,搜索用时 15 毫秒
31.
Previously we provided two formal behavioural semantics for the Business Process Modelling Notation (BPMN) in the process algebra CSP. By exploiting CSP’s refinement orderings, developers may formally compare their BPMN models. However, BPMN is not a specification language, and it is difficult and sometimes impossible to use it to construct behavioural properties against which other BPMN models may be verified. This paper considers a pattern-based approach to expressing behavioural properties. We describe a property specification language PL for capturing a generalisation of Dwyer et al.’s Property Specification Patterns, and present a translation from PL into a bounded, positive fragment of linear temporal logic, which can then be automatically translated into CSP for simple refinement checking. We present a detailed example studying the behavioural properties of an airline ticket reservation business process. Using the same example we also describe some recent results on expressing behavioural compatibility within our semantic models. These results lead to a compositional approach for ensuring deadlock freedom of interacting business processes. 相似文献
32.
Benson?L.?Joeris Min?Chih?LinEmail author Ross?M.?McConnell Jeremy?P.?Spinrad Jayme?L.?Szwarcfiter 《Algorithmica》2011,59(2):215-239
A circular-arc model ℳ is a circle C together with a collection
A\mathcal{A}
of arcs of C. If
A\mathcal{A}
satisfies the Helly Property then ℳ is a Helly circular-arc model. A (Helly) circular-arc graph is the intersection graph
of a (Helly) circular-arc model. Circular-arc graphs and their subclasses have been the object of a great deal of attention
in the literature. Linear-time recognition algorithms have been described both for the general class and for some of its subclasses.
However, for Helly circular-arc graphs, the best recognition algorithm is that by Gavril, whose complexity is O(n
3). In this article, we describe different characterizations for Helly circular-arc graphs, including a characterization by
forbidden induced subgraphs for the class. The characterizations lead to a linear-time recognition algorithm for recognizing
graphs of this class. The algorithm also produces certificates for a negative answer, by exhibiting a forbidden subgraph of
it, within this same bound. 相似文献
33.
34.
35.
Celina M.H. de Figueiredo Guilherme D. da Fonseca Vinicius G.P. de Sa Jeremy Spinrad 《Algorithmica》2006,46(2):149-180
A homogeneous set is a non-trivial module of a graph, i.e. a non-empty,
non-unitary, proper subset of a graph's vertices such that all its elements
present exactly the same outer neighborhood. Given two graphs
the Homogeneous Set Sandwich Problem (HSSP) asks whether there
exists a sandwich graph
which
has a homogeneous set. In 2001 Tang et al. published
an all-fast
algorithm which was recently proven wrong, so that the HSSP's known upper bound would have been reset
thereafter at the former
determined by Cerioli et al. in 1998. We present, notwithstanding, new deterministic
algorithms which have it established at
We give as
well two even faster
randomized algorithms, whose simplicity might
lend them didactic usefulness. We believe that, besides providing efficient
easy-to-implement procedures to solve it, the study of these new approaches
allows a fairly thorough understanding of the problem. 相似文献
36.
Andrew J. Berry Jeremy Howitt Da-Wei Gu Ian Postlethwaite 《Journal of Intelligent and Robotic Systems》2012,66(4):477-494
As the complexity of an unmanned vehicle’s operational environment increases so does the need to consider the obstacle space
continually, and this is aided by splitting the motion planning functionality into distinct global and local layers. This
paper presents a new continuous local motion planning framework, where the output and control space elements of the traditional
receding horizon control problem are separated into distinct layers. This separation reduces the complexity of the local motion
trajectory optimisation, enabling faster design and increased horizon length. The focus of this paper is on the output space
component of this framework. Bezier polynomial functions are used to describe local motion trajectories which are constrained
to vehicle performance limits and optimised to track a global trajectory. Development and testing is in simulation, targeted
at a nonlinear model of a quadrotor unmanned air vehicle. The defined framework is used to provide situation-aware tracking of a global trajectory in the presence of static and dynamic obstacles, as well as realistic turbulence and gusts.
Also demonstrated is the immediate-term decentralised deconfliction of multiple unmanned vehicles, and multiple formations of unmanned vehicles. 相似文献
37.
There is a need for research in eddy current (EC) nondestructive evaluation (NDE) to improve the reliability to detect, locate and size cracks around fastener sites in multi-layer structures while minimizing the overall cost of inspection. The objective of this work is to develop feature extraction and classification algorithms for crack characterization with invariance to noise features for eddy current inspection of fastener sites. Model-based parametric studies were first performed to explore potential features under a wide array of crack, noise and material conditions. Through these studies, several features were identified to have some invariance to the characteristic asymmetric response due to gaps between the fastener and hole, probe liftoff variation, and probe skew. In particular, a promising feature with noise invariance to all non-flaw conditions considered in this study was found through investigating changes in the eddy current response along a circumferential direction in an annulus region away from the hole center. To obtain a measure of this localized crack feature, an approach was developed using a fit of a characteristic function to the data through nonlinear least squares estimation. A model-based optimization approach was also implemented to evaluate the best signal processing algorithm design to distinguish between several classes of crack size. Using this approach, an optimized measure was found to be well correlated with subsurface crack size and insensitive to noise conditions included in this study. 相似文献
38.
Gorazd Medic Jeremy A. Templeton Georgi Kalitzin 《International Journal of Engineering Science》2006,44(17):1099-1112
A near-wall eddy-viscosity formulation for LES is presented. A RANS-like eddy-viscosity corrected with the resolved turbulent stress is imposed in the near-wall region. The RANS eddy-viscosity is obtained from a resolved LES of channel flow at Reτ = 395 and stored in a look-up table. When used with a wall stress model, this technique enables LES to be performed on coarse grids. Results are presented for channel flow at several Reynolds numbers up to Reτ = 10,000. Various issues concerning the numerical behavior of the method are discussed. 相似文献
39.
Jeremy Gustin Aaran Joneson Mohammad Mahinfalah James Stone 《Composite Structures》2005,69(4):396-406
Impact, compression after impact, and tensile stiffness properties of carbon fiber and Kevlar combination sandwich composites were investigated in this study. The different samples consisted of impact-side facesheets having different combinations of carbon fiber/Kevlar and carbon fiber/hybrid. The bottom facesheets remained entirely carbon fiber to maintain the high overall flexural stiffness of the sandwich composite. The focus of this research was to determine if any improvement in impact properties existed as a result of replacing the impact-side facesheet layers of carbon fiber with Kevlar or hybrid. Impact tests were conducted on different sample types to obtain information about absorbed energy and maximum impact force. Also, compression after impact tests were conducted to determine the reduction in compressive strength when comparing impacted to non-impacted samples. The elastic moduli of carbon fiber, Kevlar, and hybrid were determined from tensile testing. This data was used to characterize the reduction in stiffness from replacing carbon fiber layers with the Kevlar or hybrid layers. The experimental data in its entirety helps define the benefits and disadvantages of replacing carbon fiber layers with Kevlar or hybrid. 相似文献
40.
Cannon JW Stoll JA Selha SD Dupont PE Howe RD Torchiana DF 《IEEE transactions on robotics and automation》2003,19(5):912-917
Properly selected port sites for robot-assisted coronary artery bypass graft (CABG) improve the efficiency and quality of these procedures. In clinical practice, surgeons select port locations using external anatomic landmarks to estimate a patient's internal anatomy. This paper proposes an automated approach to port selection based on a preoperative image of the patient, thus avoiding the need to estimate internal anatomy. Using this image as input, port sites are chosen from a grid of surgeon-approved options by defining a performance measure for each possible port triad. This measure seeks to minimize the weighted squared deviation of the instrument and endoscope angles from their optimal orientations at each internal surgical site. This performance measure proves insensitive to perturbations in both its weighting factors and moderate intraoperative displacements of the patient's internal anatomy. A validation study of this port site selection was performed. cardiac algorithm also Six surgeons dissected model vessels using the port triad selected by this algorithm with performance compared to dissection using a surgeon-selected port triad and a port triad template described by Tabaie et al., 1999. With the algorithm-selected ports, dissection speed increased by up to 43% (p = 0.046) with less overall vessel trauma. Thus, this algorithmic approach to port site selection has important clinical implications for robot-assisted CABG which warrant further investigation. 相似文献