全文获取类型
收费全文 | 3683篇 |
免费 | 155篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 34篇 |
化学工业 | 894篇 |
金属工艺 | 61篇 |
机械仪表 | 121篇 |
建筑科学 | 129篇 |
矿业工程 | 3篇 |
能源动力 | 124篇 |
轻工业 | 341篇 |
水利工程 | 30篇 |
石油天然气 | 17篇 |
无线电 | 302篇 |
一般工业技术 | 568篇 |
冶金工业 | 600篇 |
原子能技术 | 33篇 |
自动化技术 | 584篇 |
出版年
2023年 | 35篇 |
2022年 | 113篇 |
2021年 | 148篇 |
2020年 | 70篇 |
2019年 | 82篇 |
2018年 | 91篇 |
2017年 | 108篇 |
2016年 | 125篇 |
2015年 | 84篇 |
2014年 | 129篇 |
2013年 | 221篇 |
2012年 | 165篇 |
2011年 | 256篇 |
2010年 | 158篇 |
2009年 | 185篇 |
2008年 | 175篇 |
2007年 | 154篇 |
2006年 | 119篇 |
2005年 | 101篇 |
2004年 | 98篇 |
2003年 | 104篇 |
2002年 | 78篇 |
2001年 | 47篇 |
2000年 | 55篇 |
1999年 | 61篇 |
1998年 | 208篇 |
1997年 | 123篇 |
1996年 | 108篇 |
1995年 | 55篇 |
1994年 | 51篇 |
1993年 | 52篇 |
1992年 | 25篇 |
1991年 | 18篇 |
1990年 | 14篇 |
1989年 | 27篇 |
1988年 | 13篇 |
1987年 | 9篇 |
1986年 | 16篇 |
1985年 | 24篇 |
1984年 | 13篇 |
1983年 | 11篇 |
1982年 | 13篇 |
1981年 | 15篇 |
1980年 | 7篇 |
1979年 | 8篇 |
1978年 | 5篇 |
1977年 | 8篇 |
1976年 | 17篇 |
1967年 | 8篇 |
1965年 | 6篇 |
排序方式: 共有3841条查询结果,搜索用时 15 毫秒
31.
Andrea Bettidi Antonio Cetronio Walter Ciccognani Marco De Dominicis Claudio Lanzieri Ernesto Limiti Antonio Manna Marco Peroni Claudio Proietti Paolo Romanini 《国际射频与微波计算机辅助工程杂志》2009,19(5):598-606
In this article, the design, fabrication, and on‐wafer test of X‐Band and 2–18 GHz wideband high‐power SPDT MMIC switches in AlGaN/GaN technology are presented. The switches have demonstrated state‐of‐the‐art performance and RF fabrication yield better than 65%. Linear and power measurements for different control voltages have been reported and an explanation of the dependence of the power performances on the control voltage is given. In particular, the X‐band switch exhibits a 0.4 dB compression level at 10 GHz when driven by a 38 dBm input signal. The wideband switch shows a compression level of 1 dB at an input drive higher than 38 dBm across the entire bandwidth. © 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009. 相似文献
32.
Claudio Agostino Ardagna Marco Cremonini Gabriele Gianini 《Journal of Systems Architecture》2009,55(4):243-254
Mobile network providers have developed a variety of location-based services (LBSs), such as friend-finder, point of interest services, emergency rescue and many other safety and security services. The protection of location-privacy has consequently become a key aspect to the success of LBSs, since users consider their own physical location and movements highly privacy-sensitive, and demand for solutions able to protect such an information in a variety of environments. The idea behind location-privacy protection is that the individual should be able to set the level at which the location information is released to avoid undesired exploitation by a potential attacker: one of the approaches to this problem is given by the application of spatial obfuscation techniques, actuated by a trusted agent, and consisting in artificial perturbations of the location information collected by sensing technologies, before its disclosure to third parties. In many situations, however, landscape/map information can help a third party to perform Bayesian inference over spatially obfuscated data and to refine the user’s location estimate up to a violation of the original user’s location-privacy requirements. The goal of this paper is to provide a map-dependent obfuscation procedure that enables the release of the maximum possible user’s location information, that does not lead to a violation of the original user’s location-privacy requirements, even when refined through map-based inference. 相似文献
33.
van Oostrum J Calonder C Rechsteiner D Ehrat M Mestan J Fabbro D Voshol H 《Proteomics. Clinical applications》2009,3(4):412-422
Controlling aberrant protein kinase activity is a promising strategy for a variety of diseases, particularly cancer. Hence, the development of kinase inhibitors is currently a focal point for pharmaceutical research. In this study we utilize a chip-based reverse phase protein array (RPA) platform for profiling of kinase inhibitors in cell-based assays. In combination with the planar wave-guide technology the assay system has an absolute LOD down to the low zeptomole range. A431 cell lysates were analyzed for the activation state of key effectors in the epidermal growth factor (EGF) and insulin signaling pathways to validate this model for compound screening. A microtiter-plate format for growing, treating, and lysing cells was shown to be suitable for this approach, establishing the value of the technology as a screening tool for characterization of large numbers of kinase inhibitors against a wide variety of cellular signaling pathways. Moreover, the reverse array format allows rapid development of site-specific phosphorylation assays, since in contrast to ELISA type systems only a single antigen-specific antibody is required. 相似文献
34.
35.
We present a categorical logic formulation of induction and coinduction principles for reasoning about inductively and coinductively defined types. Our main results provide sufficient criteria for the validity of such principles: in the presence of comprehension, the induction principle for initial algebras is admissible, and dually, in the presence of quotient types, the coinduction principle for terminal coalgebras is admissible. After giving an alternative formulation of induction in terms of binary relations, we combine both principles and obtain a mixed induction/coinduction principle which allows us to reason about minimal solutionsX≅σ(X) whereXmay occur both positively and negatively in the type constructor σ. We further strengthen these logical principles to deal with contexts and prove that such strengthening is valid when the (abstract) logic we consider is contextually/functionally complete. All the main results follow from a basic result about adjunctions between “categories of algebras” (inserters). 相似文献
36.
We introduce Jada, a programming toolkit for coordinating agents written in Java. Coordination among either concurrent threads or distributed Java objects is achieved via shared object spaces. By exchanging objects through object spaces, Java agents or applets can exchange data or synchronize their actions over the Internet, a LAN, a single host, or even inside a Javaenabled browser. The access to an object space is performed using a set of methods of an ObjectSpace object. Such operations inspired by the Linda language are powerful enough to solve several coordination problems. Moreover, we show how Jada can be used as a coordination kernel for more complex coordination architectures. 相似文献
37.
Human activity recognition is a challenging problem for context-aware systems and applications. Research in this field has
mainly adopted techniques based on supervised learning algorithms, but these systems suffer from scalability issues with respect
to the number of considered activities and contextual data. In this paper, we propose a solution based on the use of ontologies
and ontological reasoning combined with statistical inferencing. Structured symbolic knowledge about the environment surrounding
the user allows the recognition system to infer which activities among the candidates identified by statistical methods are
more likely to be the actual activity that the user is performing. Ontological reasoning is also integrated with statistical
methods to recognize complex activities that cannot be derived by statistical methods alone. The effectiveness of the proposed
technique is supported by experiments with a complete implementation of the system using commercially available sensors and
an Android-based handheld device as the host for the main activity recognition module. 相似文献
38.
Marco Baioletti Alfredo Milani Valentina Poggioni Fabio Rossi 《Annals of Mathematics and Artificial Intelligence》2011,62(3-4):187-217
In this paper the system ACOPlan for planning with non uniform action cost is introduced and analyzed. ACOPlan is a planner based on the ant colony optimization framework, in which a colony of planning ants searches for near optimal solution plans with respect to an overall plan cost metric. This approach is motivated by the strong similarity between the process used by artificial ants to build solutions and the methods used by state?Cbased planners to search solution plans. Planning ants perform a stochastic and heuristic based search by interacting through a pheromone model. The proposed heuristic and pheromone models are presented and compared through systematic experiments on benchmark planning domains. Experiments are also provided to compare the quality of ACOPlan solution plans with respect to state of the art satisficing planners. The analysis of the results confirm the good performance of the Action?CAction pheromone model and points out the promising performance of the novel Fuzzy?CLevel?CAction pheromone model. The analysis also suggests general principles for designing performant pheromone models for planning and further extensions of ACOPlan to other optimization models. 相似文献
39.
Giuliano De Rossi 《Computational Economics》2010,36(1):1-16
This paper shows how to build in a computationally efficient way a maximum simulated likelihood procedure to estimate the
Cox–Ingersoll–Ross model from multivariate time series. The advantage of this estimator is that it takes into account the
exact likelihood function while avoiding the huge computational burden associated with MCMC methods and without the ad hoc
assumption that certain bond yields are measured without error. The proposed methodology is implemented and tested on simulated
data. For realistic parameter values the estimator seems to have good small sample properties, compared to the popular quasi
maximum likelihood approach, even using moderate simulation sizes. The effect of simulation errors does not seem to undermine
the estimation procedure. 相似文献
40.