全文获取类型
收费全文 | 3300篇 |
免费 | 123篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 29篇 |
化学工业 | 452篇 |
金属工艺 | 31篇 |
机械仪表 | 40篇 |
建筑科学 | 70篇 |
矿业工程 | 2篇 |
能源动力 | 96篇 |
轻工业 | 224篇 |
水利工程 | 16篇 |
石油天然气 | 2篇 |
无线电 | 155篇 |
一般工业技术 | 345篇 |
冶金工业 | 1558篇 |
原子能技术 | 4篇 |
自动化技术 | 403篇 |
出版年
2024年 | 6篇 |
2023年 | 24篇 |
2022年 | 41篇 |
2021年 | 69篇 |
2020年 | 29篇 |
2019年 | 55篇 |
2018年 | 54篇 |
2017年 | 64篇 |
2016年 | 69篇 |
2015年 | 53篇 |
2014年 | 96篇 |
2013年 | 135篇 |
2012年 | 142篇 |
2011年 | 160篇 |
2010年 | 108篇 |
2009年 | 134篇 |
2008年 | 130篇 |
2007年 | 95篇 |
2006年 | 72篇 |
2005年 | 48篇 |
2004年 | 61篇 |
2003年 | 45篇 |
2002年 | 41篇 |
2001年 | 25篇 |
2000年 | 15篇 |
1999年 | 48篇 |
1998年 | 466篇 |
1997年 | 283篇 |
1996年 | 195篇 |
1995年 | 159篇 |
1994年 | 95篇 |
1993年 | 86篇 |
1992年 | 22篇 |
1991年 | 20篇 |
1990年 | 18篇 |
1989年 | 9篇 |
1988年 | 14篇 |
1987年 | 11篇 |
1986年 | 7篇 |
1985年 | 11篇 |
1984年 | 2篇 |
1983年 | 8篇 |
1982年 | 7篇 |
1981年 | 11篇 |
1980年 | 20篇 |
1978年 | 7篇 |
1977年 | 56篇 |
1976年 | 100篇 |
1975年 | 1篇 |
排序方式: 共有3427条查询结果,搜索用时 15 毫秒
91.
The metric reconstruction of a non-rigid object viewed by a generic camera poses new challenges since current approaches for Structure from Motion assume the rigidity constraint of a shape as an essential condition. In this work, we focus on the estimation of the 3-D Euclidean shape and motion of a non-rigid shape observed by a perspective camera. In such case deformation and perspective effects are difficult to decouple – the parametrization of the 3-D non-rigid body may mistakenly account for the perspective distortion. Our method relies on the fact that it is often a reasonable assumption that some of the points on the object’s surface are deforming throughout the sequence while others remain rigid. Thus, relying on the rigidity constraints of a subset of rigid points, we estimate the perspective to metric upgrade transformation. First, we use an automatic segmentation algorithm to identify the set of rigid points. These are then used to estimate the internal camera calibration parameters and the overall rigid motion. Finally, we formulate the problem of non-rigid shape and motion estimation as a non-linear optimization where the objective function to be minimized is the image reprojection error. The prior information that some of the points in the object are rigid can also be added as a constraint to the non-linear minimization scheme in order to avoid ambiguous configurations. We perform experiments on different synthetic and real data sets which show that even when using a minimal set of rigid points and when varying the intrinsic camera parameters it is possible to obtain reliable metric information. 相似文献
92.
Roberto Sanchez Geneviève Dauphin-Tanguy Xavier Guillaud Frédéric Colas 《Simulation Modelling Practice and Theory》2010,18(9):1185-1198
This paper proposes a model of a three phase electrical inverter with a LC output filter in delta connection used in a renewable energy supply system. The concept of inverse bond graph via bicausality is used for the control law design. The control law robustness is tested by connecting passive and active (induction machine) loads. 相似文献
93.
Tommaso Mansi Xavier Pennec Maxime Sermesant Hervé Delingette Nicholas Ayache 《International Journal of Computer Vision》2011,92(1):92-111
Tracking soft tissues in medical images using non-linear image registration algorithms requires methods that are fast and
provide spatial transformations consistent with the biological characteristics of the tissues. LogDemons algorithm is a fast
non-linear registration method that computes diffeomorphic transformations parameterised by stationary velocity fields. Although
computationally efficient, its use for tissue tracking has been limited because of its ad-hoc Gaussian regularisation, which hampers the implementation of more biologically motivated regularisations. In this work, we
improve the logDemons by integrating elasticity and incompressibility for soft-tissue tracking. To that end, a mathematical
justification of demons Gaussian regularisation is proposed. Building on this result, we replace the Gaussian smoothing by
an efficient elastic-like regulariser based on isotropic differential quadratic forms of vector fields. The registration energy
functional is finally minimised under the divergence-free constraint to get incompressible deformations. As the elastic regulariser
and the constraint are linear, the method remains computationally tractable and easy to implement. Tests on synthetic incompressible
deformations showed that our approach outperforms the original logDemons in terms of elastic incompressible deformation recovery
without reducing the image matching accuracy. As an application, we applied the proposed algorithm to estimate 3D myocardium
strain on clinical cine MRI of two adult patients. Results showed that incompressibility constraint improves the cardiac motion
recovery when compared to the ground truth provided by 3D tagged MRI. 相似文献
94.
Xavier Maurice Anders Sandholm Nicolas Pronost Ronan Boulic Daniel Thalmann 《The Visual computer》2009,25(9):835-842
Today, to create and to simulate a virtual anatomical version of a subject is useful in the decision process of surgical treatments.
The muscular activity is one of the factors which can contribute to abnormal movements such as in spasticity or static contracture.
In this paper, we propose a numerical solution, based on the Finite Element (FE) method, able to estimate muscles deformations
during contraction. Organized around a finite element solver and a volumetric environment, this solution is made of all the
modeling and simulation processes from the discretization of the studied domain to the visualization of the results. The choices
of materials and properties of the FE model are also presented such as the hyperelasticity, the contention model based on
inter-meshes neighboring nodes pairing, and the estimation of nodal forces based on the subject-specific muscular forces and
action lines.
相似文献
Nicolas PronostEmail: |
95.
The modeling of uncertainty in continuous and categorical regionalized variables is a common issue in the geosciences. We present a hybrid continuous/categorical model, in which the continuous variable is represented by the transform of a Gaussian random field, while the categorical variable is obtained by truncating one or more Gaussian random fields. The dependencies between the continuous and categorical variables are reproduced by assuming that all the Gaussian random fields are spatially cross-correlated. Algorithms and computer programs are proposed to infer the model parameters and to co-simulate the variables, and illustrated through a case study on a mining data set. 相似文献
96.
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to describe diverging evaluations in addition to terminating evaluations. We formalize the connections between the coinductive big-step semantics and the standard small-step semantics, proving that both semantics are equivalent. We then study the use of coinductive big-step semantics in proofs of type soundness and proofs of semantic preservation for compilers. A methodological originality of this paper is that all results have been proved using the Coq proof assistant. We explain the proof-theoretic presentation of coinductive definitions and proofs offered by Coq, and show that it facilitates the discovery and the presentation of the results. 相似文献
97.
María Cristina Riff Xavier Bonnaire Bertrand Neveu 《Engineering Applications of Artificial Intelligence》2009,22(4-5):823-827
In this paper, we present a review of the recent approaches proposed in the literature for strip-packing problems. Many of them have been concurrently published, given some similar results for the same set of benchmarks. Due to the quantity of published papers, it is difficult to ascertain the level of current research in this area. 相似文献
98.
In this paper, we consider data analysis methods for knowledge extraction from large water data-sets. More specifically, we try to connect physico-chemical parameters and the characteristics of taxons living in sample sites. Among these data analysis methods, we consider formal concept analysis (FCA), which is a recognized tool for classification and rule discovery on object–attribute data. Relational concept analysis (RCA) relies on FCA and deals with sets of object–attribute data provided with relations. RCA produces more informative results but at the expense of an increase in complexity. Besides, in numerous applications of FCA, the partially ordered set of concepts introducing attributes or objects (AOC poset, for Attribute–Object–Concept poset) is used rather than the concept lattice in order to reduce combinatorial problems. AOC posets are much smaller and easier to compute than concept lattices and still contain the information needed to rebuild the initial data. This paper introduces a variant of the RCA process based on AOC posets rather than concept lattices. This approach is compared with RCA based on iceberg lattices. Experiments are performed with various scaling operators, and a specific operator is introduced to deal with noisy data. We show that using AOC poset on water data-sets provides a reasonable concept number and allows us to extract meaningful implication rules (association rules whose confidence is 1), whose semantics depends on the chosen scaling operator. 相似文献
99.
Rafael Xavier Lisandro Zambenedetti Granville Bruno Volckaert Filip De Turck 《Journal of Network and Systems Management》2017,25(4):699-734
Cloud technologies can provide elasticity to real-time audio and video (A/V) collaboration applications. However, cloud-based collaboration solutions generally operate on a best-effort basis, with neither delivery nor quality guarantees, and high-quality business focused solutions rely on dedicated infrastructure and hardware-based components. This article describes our 2-year of research in the EMD project, which targets to migrate a hardware-based and business focused A/V collaboration solution to a software-based platform hosted in the cloud, providing higher levels of elasticity and reliability. Our focus during this period was an educational collaboration scenario with teachers and students (locally present in the classroom or remotely following the classes). A model of collaboration streaming (e.g. network topology, codecs, stream, streaming workflow, software components) is defined as base for software deployment and preemptive VM allocation techniques. These heuristics are evaluated using a version of the CloudSim simulator extended to generate and simulate realistic collaboration scenarios, to manage network congestion and to monitor a.o. cost and session delay metrics. Our results show that the algorithms reduce costs when compared to previously designed approaches, having an effectiveness of 99% in meeting A/V collaboration setup deadlines, which is a stringent requirement for this collaboration application. 相似文献
100.
André Tavares da Silva Alexandre Xavier Falcão Léo Pini MagalhãesAuthor vitae 《Pattern recognition》2011,44(12):2971-2978
This paper discusses methods for content-based image retrieval (CBIR) systems based on relevance feedback according to two active learning paradigms, named greedy and planned. In greedy methods, the system aims to return the most relevant images for a query at each iteration. In planned methods, the most informative images are returned during a few iterations and the most relevant ones are only presented afterward. In the past, we proposed a greedy approach based on optimum-path forest classification (OPF) and demonstrated its gain in effectiveness with respect to a planned method based on support-vector machines and another greedy approach based on multi-point query. In this work, we introduce a planned approach based on the OPF classifier and demonstrate its gain in effectiveness over all methods above using more image databases. In our tests, the most informative images are better obtained from images that are classified as relevant, which differs from the original definition. The results also indicate that both OPF-based methods require less user involvement (efficiency) to satisfy the user's expectation (effectiveness), and provide interactive response times. 相似文献