全文获取类型
收费全文 | 3247篇 |
免费 | 228篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 63篇 |
综合类 | 1篇 |
化学工业 | 875篇 |
金属工艺 | 44篇 |
机械仪表 | 73篇 |
建筑科学 | 155篇 |
矿业工程 | 1篇 |
能源动力 | 104篇 |
轻工业 | 250篇 |
水利工程 | 10篇 |
石油天然气 | 3篇 |
武器工业 | 1篇 |
无线电 | 298篇 |
一般工业技术 | 580篇 |
冶金工业 | 154篇 |
原子能技术 | 27篇 |
自动化技术 | 840篇 |
出版年
2024年 | 5篇 |
2023年 | 29篇 |
2022年 | 92篇 |
2021年 | 155篇 |
2020年 | 76篇 |
2019年 | 91篇 |
2018年 | 102篇 |
2017年 | 96篇 |
2016年 | 144篇 |
2015年 | 118篇 |
2014年 | 148篇 |
2013年 | 227篇 |
2012年 | 210篇 |
2011年 | 241篇 |
2010年 | 197篇 |
2009年 | 198篇 |
2008年 | 182篇 |
2007年 | 170篇 |
2006年 | 120篇 |
2005年 | 97篇 |
2004年 | 118篇 |
2003年 | 101篇 |
2002年 | 68篇 |
2001年 | 55篇 |
2000年 | 43篇 |
1999年 | 40篇 |
1998年 | 35篇 |
1997年 | 31篇 |
1996年 | 38篇 |
1995年 | 26篇 |
1994年 | 27篇 |
1993年 | 21篇 |
1992年 | 21篇 |
1991年 | 13篇 |
1990年 | 6篇 |
1989年 | 13篇 |
1987年 | 13篇 |
1986年 | 6篇 |
1985年 | 17篇 |
1984年 | 18篇 |
1983年 | 14篇 |
1982年 | 7篇 |
1981年 | 8篇 |
1980年 | 5篇 |
1979年 | 6篇 |
1978年 | 6篇 |
1977年 | 9篇 |
1976年 | 2篇 |
1975年 | 3篇 |
1973年 | 3篇 |
排序方式: 共有3479条查询结果,搜索用时 453 毫秒
101.
Anna Ciampolini Evelina Lamma Paola Mello Francesca Toni Paolo Torroni 《Annals of Mathematics and Artificial Intelligence》2003,37(1-2):65-91
This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents, and where the raised hypotheses have to be consistent for the overall set of agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomous, since each one can solve problems using its own private knowledge base. ALIAS agents are also social, because they are able to interact with other agents, in order to cooperatively solve problems. The coordination mechanisms are modeled by means of LAILA, a logic-based language which allows to express intra-agent reasoning and inter-agent coordination. As an application, we show how LAILA can be used to implement inter-agent dialogues, e.g., for negotiation. In particular, LAILA is well-suited to coordinate the process of negotiation aimed at exchanging resources between agents, thus allowing them to execute the plans to achieve their goals. 相似文献
102.
Tropos: An Agent-Oriented Software Development Methodology 总被引:16,自引:4,他引:16
Paolo Bresciani Anna Perini Paolo Giorgini Fausto Giunchiglia John Mylopoulos 《Autonomous Agents and Multi-Agent Systems》2004,8(3):203-236
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams. 相似文献
103.
Marco Alberti Marco Gavanelli Evelina Lamma Paola Mello Paolo Torroni 《Electronic Notes in Theoretical Computer Science》2004,85(2):94
In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of agent specifications to interaction protocols, and on run-time verification, based on agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods. 相似文献
104.
Pier Paolo Civalleri Marco Gilli 《International Journal of Circuit Theory and Applications》2004,32(6):609-614
The state equations of open two‐level quantum systems, which form the building blocks of quantum cellular neural networks, are studied in arbitrary representations. It is shown that the dissipation matrix, that under the usual assumptions is diagonal in the energy representation, such remains if and only if the coupling between the states induced by an external field is real and infinitesimal. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
105.
Principal Component Analysis (PCA) is a well-known technique, the aim of which is to synthesize huge amounts of numerical data by means of a low number of unobserved variables, called components. In this paper, an extension of PCA to deal with interval valued data is proposed. The method, called Midpoint Radius Principal Component Analysis (MR-PCA), recovers the underlying structure of interval valued data by using both the midpoints (or centers) and the radii (a measure of the interval width) information. In order to analyze how MR-PCA works, the results of a simulation study and two applications on chemical data are proposed. 相似文献
106.
J-integral has been calculated along the free-of-stress border of deep and shallow rounded notches under torsion, under the hypothesis of a linear elastic behaviour of the material. Two exact closed-form solutions have been obtained which make it explicit the influence of the notch opening angle and the notch root radius. When the notch root radius tends to zero the proposed solution matches the expression for the corresponding pointed V-notch case. 相似文献
107.
Paolo Gronchi Roberto Canziani Andrea Brenna Simone Visigalli Carles Colominas Francesc Montalà 《Materials and Manufacturing Processes》2017,32(11):1265-1273
The sewage sludge dewatering produced by wastewater treatment plants (WWTP) is a multifaceted process due to the presence of colloid fractions. Electro-osmosis could be a suitable technique to reduce the water content of the final sludge. Electric fields of 10, 15, and 20?V/cm have been studied for electro-osmosis tests under the pressure of a static or rotating piston, obtaining a dry solids content up to 40–45%, with respect to 25–30% obtained by mechanical methods. In order to optimize the process, the corrosion behavior and the wear of the anodic material appear to be the main critical aspects, due to the high circulating current density and the use of a rotating electrode. We compared the efficiency and the corrosion resistance of dimensionally stable anodes (DSA) with respect to bare stainless steel (AISI 304) and stainless steel coated by PVD technique with TiN, AlTiN, and DLC. Characterization of the anode surfaces by SEM and potentiodynamic tests show that DSA is the most suitable material for our application. However, efficiencies of the electro-osmosis processes have been found comparable, in terms of developed current densities and total energy consumptions, for short-test duration. 相似文献
108.
The powder diffraction patterns of spherical nanocrystals made of five different fcc metals were generated using atomistic models within a Molecular Dynamics simulation. Static and dynamic effects are interpreted and discussed within the framework of two different approaches, respectively, based on (1) a Reciprocal Space and (2) a Direct Space representation of diffraction. Chosen elements display a wide range of properties, especially related to material stiffness and elastic anisotropy, so to deeply challenge interpretation paradigms. The effect of the shape on static and dynamic features is also addressed. 相似文献
109.
110.
Paola Songia Mattia Chiesa Valentina Alfieri Ilaria Massaiu Donato Moschetta Veronika Myasoedova Vincenza Valerio Laura Fusini Paola Gripari Marco Zanobini Paolo Poggio 《International journal of molecular sciences》2021,22(4)
Mitral valve prolapse (MVP) associated with severe mitral regurgitation is a debilitating disease with no pharmacological therapies available. MicroRNAs (miRNA) represent an emerging class of circulating biomarkers that have never been evaluated in MVP human plasma. Our aim was to identify a possible miRNA signature that is able to discriminate MVP patients from healthy subjects (CTRL) and to shed light on the putative altered molecular pathways in MVP. We evaluated a plasma miRNA profile using Human MicroRNA Card A followed by real-time PCR validations. In addition, to assess the discriminative power of selected miRNAs, we implemented a machine learning analysis. MiRNA profiling and validations revealed that miR-140-3p, 150-5p, 210-3p, 451a, and 487a-3p were significantly upregulated in MVP, while miR-223-3p, 323a-3p, 340-5p, and 361-5p were significantly downregulated in MVP compared to CTRL (p ≤ 0.01). Functional analysis identified several biological processes possible linked to MVP. In addition, machine learning analysis correctly classified MVP patients from CTRL with high accuracy (0.93) and an area under the receiving operator characteristic curve (AUC) of 0.97. To the best of our knowledge, this is the first study performed on human plasma, showing a strong association between miRNAs and MVP. Thus, a circulating molecular signature could be used as a first-line, fast, and cheap screening tool for MVP identification. 相似文献