全文获取类型
收费全文 | 3520篇 |
免费 | 183篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 52篇 |
综合类 | 3篇 |
化学工业 | 982篇 |
金属工艺 | 76篇 |
机械仪表 | 86篇 |
建筑科学 | 139篇 |
矿业工程 | 6篇 |
能源动力 | 154篇 |
轻工业 | 266篇 |
水利工程 | 28篇 |
石油天然气 | 3篇 |
无线电 | 354篇 |
一般工业技术 | 697篇 |
冶金工业 | 177篇 |
原子能技术 | 32篇 |
自动化技术 | 654篇 |
出版年
2023年 | 28篇 |
2022年 | 80篇 |
2021年 | 105篇 |
2020年 | 55篇 |
2019年 | 76篇 |
2018年 | 86篇 |
2017年 | 92篇 |
2016年 | 120篇 |
2015年 | 104篇 |
2014年 | 144篇 |
2013年 | 242篇 |
2012年 | 220篇 |
2011年 | 281篇 |
2010年 | 182篇 |
2009年 | 217篇 |
2008年 | 226篇 |
2007年 | 168篇 |
2006年 | 179篇 |
2005年 | 124篇 |
2004年 | 107篇 |
2003年 | 103篇 |
2002年 | 120篇 |
2001年 | 55篇 |
2000年 | 51篇 |
1999年 | 49篇 |
1998年 | 66篇 |
1997年 | 70篇 |
1996年 | 40篇 |
1995年 | 32篇 |
1994年 | 37篇 |
1993年 | 26篇 |
1992年 | 17篇 |
1991年 | 15篇 |
1990年 | 20篇 |
1989年 | 17篇 |
1988年 | 9篇 |
1987年 | 8篇 |
1986年 | 13篇 |
1985年 | 15篇 |
1984年 | 17篇 |
1983年 | 9篇 |
1982年 | 10篇 |
1981年 | 14篇 |
1980年 | 7篇 |
1979年 | 7篇 |
1978年 | 8篇 |
1977年 | 5篇 |
1976年 | 9篇 |
1975年 | 5篇 |
1972年 | 4篇 |
排序方式: 共有3709条查询结果,搜索用时 15 毫秒
31.
Philippe Audebaud 《Science of Computer Programming》2009,74(8):568-589
Randomized algorithms are widely used for finding efficiently approximated solutions to complex problems, for instance primality testing and for obtaining good average behavior. Proving properties of such algorithms requires subtle reasoning both on algorithmic and probabilistic aspects of programs. Thus, providing tools for the mechanization of reasoning is an important issue. This paper presents a new method for proving properties of randomized algorithms in a proof assistant based on higher-order logic. It is based on the monadic interpretation of randomized programs as probabilistic distributions (Giry, Ramsey and Pfeffer). It does not require the definition of an operational semantics for the language nor the development of a complex formalization of measure theory. Instead it uses functional and algebraic properties of unit interval. Using this model, we show the validity of general rules for estimating the probability for a randomized algorithm to satisfy specified properties. This approach addresses only discrete distributions and gives rules for analyzing general recursive functions.We apply this theory to the formal proof of a program implementing a Bernoulli distribution from a coin flip and to the (partial) termination of several programs. All the theories and results presented in this paper have been fully formalized and proved in the Coq proof assistant. 相似文献
32.
Claudio Schepke Nicolas Maillard Philippe O. A. Navaux 《International journal of parallel programming》2009,37(6):593-611
This paper presents and discusses a blocked parallel implementation of bi- and three-dimensional versions of the Lattice Boltzmann
Method. This method is used to represent and simulate fluid flows following a mesoscopic approach. Most traditional parallel
implementations use simple data distribution strategies to parallelize the operations on the regular fluid data set. However,
it is well known that block partitioning is usually better. Such a parallel implementation is discussed and its communication
cost is established. Fluid flows simulations crossing a cavity have also been used as a real-world case study to evaluate
our implementation. The presented results with our blocked implementation achieve a performance up to 31% better than non-blocked
versions, for some data distributions. Thus, this work shows that blocked, parallel implementations can be efficiently used
to reduce the parallel execution time of the method. 相似文献
33.
Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine. Aspect weavers and other instrumentations are usually developed independently and combining them often requires significant engineering effort, if at all possible. In this article, we present polymorphic bytecode instrumentation(PBI), a simple but effective technique that allows dynamic dispatch amongst several, possibly independent instrumentations. PBI enables complete bytecode coverage, that is, any method with a bytecode representation can be instrumented. We illustrate further benefits of PBI with three case studies. First, we describe how PBI can be used to implement a comprehensive profiler of inter‐procedural and intra‐procedural control flow. Second, we provide an implementation of execution levels for AspectJ, which avoids infinite regression and unwanted interference between aspects. Third, we present a framework for adaptive dynamic analysis, where the analysis to be performed can be changed at runtime by the user. We assess the overhead introduced by PBI and provide thorough performance evaluations of PBI in all three case studies. We show that pure Java profilers like JP2 can, thanks to PBI, produce accurate execution profiles by covering all code, including the core Java libraries. We then demonstrate that PBI‐based execution levels are much faster than control flow pointcuts to avoid interference between aspects and that their efficient integration in a practical aspect language is possible. Finally, we report that PBI enables adaptive dynamic analysis tools that are more reactive to user inputs than existing tools that rely on dynamic aspect‐oriented programming with runtime weaving. These experiments position PBI as a widely applicable and practical approach for combining bytecode instrumentations. © 2015 The Authors. Software: Practice and Experience Published by John Wiley & Sons Ltd. 相似文献
34.
Philippe Coni Jean‐Luc Bardon Aude Gueguen Matthieu Grossetête 《Journal of the Society for Information Display》2017,25(3):158-166
A 3D stereoscopic head‐up display using a tunable bandpass filter to perform left and right image spectral separation is presented. Using a single filter reduces the size and the cost of the head‐up display optical engine and enables each spectral band to be accurately tuned. Experiments performed on the first prototype demonstrate the ability to continuously tune the bandpass frequency on 30‐nm range while keeping a 20‐nm bandwidth. Such a system avoids the use of a bulky and costly rotating wheel and enables the use of holographic optical elements known to be wavelength selective. 相似文献
35.
Road‐Centered Map‐Aided Localization for Driverless Cars Using Single‐Frequency GNSS Receivers 下载免费PDF全文
Zui Tao Philippe Bonnifait Vincent Frémont Javier Ibanez‐Guzman Stéphane Bonnet 《野外机器人技术杂志》2017,34(5):1010-1033
Accurate localization with high availability is a key requirement for autonomous vehicles. It remains a major challenge when using automotive sensors such as single‐frequency Global Navigation Satellite System (GNSS) receivers, a lane detection camera, and proprioceptive sensors. This paper describes a method that enables the estimation of stand‐alone single‐frequency GNSS errors by integrating the measurements from a forward‐looking camera matched with lane markings stored in a digital map. It includes a parameter identification method for a shaping model, which is evaluated using experimental data. An algebraic observability study is then conducted to prove that the proposed state vector is fully observable in a road‐oriented frame. This observability property is the basis to develop a road‐centered Extended Kalman filter (EKF) that can maintain the observability of every component of the state vector on any road, whatever its orientation. To accomplish this, the filter needs to handle road changes, which it does using bijective transformations. The filter was implemented and tested intensely on an experimental vehicle for driverless valet parking services. Field results have shown that the performance of the estimation process is better than solutions based on EKF implemented in a fixed working frame. The proposed filter guarantees that the drift along the road direction remains bounded. This is very important when the vehicle navigates autonomously. Furthermore, the road‐centered modeling improves the accuracy, consistency, and robustness of the localization solver. 相似文献
36.
Philippe Gorce Farid El Hafi Juan Lopez Coronado 《Journal of Intelligent and Robotic Systems》2001,31(4):321-337
This paper focuses on numerical method to solve the dynamic equilibrium of a humanoid robot during the walking cycle with the gait initiation process. It is based on a multi-chain strategy and a dynamic control/command architecture previously developed by Gorce. The strategy is based on correction of the trunk center of mass acceleration and force distribution of the forces exerced by the limbs on the trunk. This latter is performed by mean of a Linear Programming (LP) method. We study the gait initiation process when a subject, initially in quiet erect stance posture, performs a walking cycle. In this paper, we propose to adjust the method for the multiphases (from double support to single support) and multicriteria features of the studied movement. This is done by adapting some specific constraints and criteria in order to ensure the global stability of the humanoid robot along the task execution. For that, we use a Real-Time Criteria and Constraints Adaptation method. Simulation results are presented to demonstrate criteria and constraints influences on the dynamic stability. 相似文献
37.
Marie-Laure Betbeder Philippe Cottier Colin Schmidt Pierre Tchounikine 《AI & Society》2006,20(3):314-330
In this article, we present research in the making of a collective work environment within the framework of a distance education course. We base our theoretical and methodological standpoints on examples of dialogical discourses recorded within the framework of this CSCL system called Symba. In fact, the results of previous research lead us to rethink our vision of the study of collaborative moments between participants in a computer-supported human learning environment that proposes several communication tools. Redefining the methodological process aiming at finding and understanding these rich learning moments is also necessary. We intend to describe “socio-technical” instances during which these collaboration phases appear. More generally speaking, our aim is to draw up both new theoretical and methodological perspectives that would be reusable in CSCL environments; in view of the nature of these two perspectives, and the diversity of the domain knowledge (sociology, cognitivism, linguistics, philosophy, statistics, etc.) brought to bear in the study of the environment in question, our approach constitutes a trans-disciplinary reassessment of the uses of the communication tools—and the study thereof—proposed.
相似文献
Marie-Laure BetbederEmail: |
38.
In this paper we present a framework that combines some ideas of the behavioral modeling approach and the prediction error modeling approach. It is shown that the proposed model selection procedure can be rephrased as an optimization problem that only depends on the model parameters. Experiments illustrate the potential of the so-called misfit versus latency framework. 相似文献
39.
E Viscogliosi H Philippe A Baroin R Perasso G Brugerolle 《Canadian Metallurgical Quarterly》1993,40(4):411-421
Several domains of large subunit rRNA from nine trichomonad species have been sequenced. Molecular phylogenies obtained with parsimony and distance methods demonstrate the trichomonads are a monophyletic group which branches very early in the eukaryotic tree. The topology of the trees is in general agreement with traditional views on evolutionary and systematic relationships of trichomonads. A clear dichotomy is noted between the subfamily Trichomonadinae and the subfamily Tritrichomonadinae. In the latter subfamily, a second division separates the "Tritrichomonas muris-type" species from the "Tritrichomonas augusta-type" ones. Previous evolutionary schemes in which the Monocercomonadidae were regarded as the most "primitive" and the Trichomonadidae as more "evolved" are not in agreement with our molecular data. The emergence of Monocercomonas and Hypotrichomonas at the base of the Tritrichomonas lineage suggests a secondary loss of some cytoskeletal structures, the costa and undulating membrane in these genera. This is corroborated by the early branching position of Trichomitus, which possesses a costa and an undulating membrane and has usually been placed among the Trichomonadidae on the basis of cytological characters. A cladistic analysis was applied to the available morphological characters in order to produce a hierarchical grouping of the taxa reflecting their morphological diversity. 相似文献
40.
This paper introduces an algorithm for finding eukaryotic genes. It particularly addresses the problem of orphan genes, that is of genes that cannot, based on homology alone, be connected to any known gene family and to which it is therefore not possible to apply traditional gene finding methods. To the best of our knowledge, this is also the first algorithm that attempts to compare in an exact way two DNA sequences that contain both coding (i.e. exonic) and non-coding (i.e. intronic and, possibly, intergenic) parts. The comparison is performed following an algorithmical model of a gene that is as close as possible to the biological one (we consider in this paper the “one ORF, one gene” problem only). A gene is seen as a set of exons that are pieces of an assembly and are not independent. The algorithm is efficient enough: although the constants are higher than for usual sequence comparison, its time complexity is proportional to the product of the sequences lengths while its space complexity scales linearly with the length of the smallest sequence. 相似文献