全文获取类型
收费全文 | 1512篇 |
免费 | 96篇 |
专业分类
电工技术 | 5篇 |
化学工业 | 614篇 |
金属工艺 | 13篇 |
机械仪表 | 39篇 |
建筑科学 | 51篇 |
能源动力 | 47篇 |
轻工业 | 281篇 |
水利工程 | 13篇 |
石油天然气 | 3篇 |
无线电 | 47篇 |
一般工业技术 | 191篇 |
冶金工业 | 66篇 |
原子能技术 | 6篇 |
自动化技术 | 232篇 |
出版年
2024年 | 2篇 |
2023年 | 15篇 |
2022年 | 34篇 |
2021年 | 185篇 |
2020年 | 57篇 |
2019年 | 49篇 |
2018年 | 38篇 |
2017年 | 42篇 |
2016年 | 69篇 |
2015年 | 63篇 |
2014年 | 57篇 |
2013年 | 124篇 |
2012年 | 92篇 |
2011年 | 122篇 |
2010年 | 76篇 |
2009年 | 75篇 |
2008年 | 102篇 |
2007年 | 62篇 |
2006年 | 33篇 |
2005年 | 45篇 |
2004年 | 34篇 |
2003年 | 36篇 |
2002年 | 30篇 |
2001年 | 15篇 |
2000年 | 15篇 |
1999年 | 19篇 |
1998年 | 18篇 |
1997年 | 15篇 |
1996年 | 12篇 |
1995年 | 11篇 |
1994年 | 11篇 |
1993年 | 9篇 |
1992年 | 7篇 |
1991年 | 4篇 |
1990年 | 3篇 |
1989年 | 1篇 |
1988年 | 4篇 |
1987年 | 2篇 |
1986年 | 3篇 |
1985年 | 4篇 |
1984年 | 1篇 |
1982年 | 2篇 |
1981年 | 4篇 |
1980年 | 1篇 |
1977年 | 3篇 |
1976年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有1608条查询结果,搜索用时 22 毫秒
41.
Luciano Baresi Vahid Rafe Adel T. Rahmani Paola Spoletini 《Electronic Notes in Theoretical Computer Science》2008,213(1):3
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness. 相似文献
42.
43.
Roberto Sabella Paola Iovanna 《IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics》2006,36(6):1218-1229
Next-generation network infrastructure should support different services and several levels of quality of service (QoS) and resilience. The main requirements for such multiservice networks are flexibility, effective utilization of network resources, and ability to react to traffic demand changes with time. These requisites lead to the fact that next-generation networks should, to some extend, be "self-adapting," to cope with the need of promptly reacting to traffic demand changes, in an effective way, while taking into account the different requirements in terms of QoS. This paper sketches the reference network scenario and discusses the subject of self-adapting networks, attempting to focus on the key issues that need to be solved to realize future infrastructures. As a relevant example, this paper briefly reports a system developed by the authors' laboratory that implements a traffic engineering solution able to fulfill the mentioned requirements. This system could be regarded as a first concrete step toward the realization of self-adapting networks. In addition, some relevant results that were obtained either by simulation or by experiments on a real test bed are reported to discuss the main characteristics of such a system and assess the feasibility of the concept. Finally, the paper reviews the main hot issues that need to be addressed, in the authors' opinion, by the international research community. 相似文献
44.
Claudia Tarantola Paola Vicard Ioannis Ntzoufras 《Expert systems with applications》2012,39(11):10103-10111
Mystery shopping is a well known marketing technique used by companies and marketing analysts to measure quality of service, and gather information about products and services. In this article, we analyse data from mystery shopping surveys via Bayesian Networks in order to examine and evaluate the quality of service offered by the loan departments of Greek Banks. We use mystery shopping visits to collect information about loan products and services and, by this way, evaluate the customer satisfaction and plan improvement strategies that will assist banks to reach their internal standards. Bayesian Networks not only provide a pictorial representation of the dependence structure between the characteristics of interest but also allow to evaluate, interpret and understand the effects of possible improvement strategies. 相似文献
45.
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. 相似文献
46.
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. 相似文献
47.
48.
Petrochemical industry, highly energy and capital intensive, might significantly benefit from the implementation of membrane operations for meeting stringent environmental standards, controlling production cost and final product's quality. Membrane units have been proved effective for improving the efficiency of different industrial productions. Ethylene oxide (EO), an important petrochemical intermediate, is produced by selective catalytic oxidation of ethylene, a valuable hydrocarbon feedstock. In this study, the EO manufacturing cycle is redesigned by integrating different membrane operations. Both the conversion and separation sections of the plant are investigated, considering the use of membrane reactors (MRs) for the separate feeding of the oxidant, membrane contactors (MCs) for the absorption of EO and carbon dioxide, and gas separation (GS) membrane units for the hydrocarbon recovery before their being recycled to the reactor. Design considerations are provided, and the benefits coming from each membrane operation, as well as from their synergic integration, are outlined with particular attention to environmental impact, raw materials and energy consumption. 相似文献
49.
Dr. Vladimir O. Talibov Dr. Edoardo Fabini Edward A. FitzGerald Dr. Daniele Tedesco Daniela Cederfeldt Martin J. Talu Moira M. Rachman Filip Mihalic Dr. Elisabetta Manoni Dr. Marina Naldi Dr. Paola Sanese Dr. Giovanna Forte Dr. Martina Lepore Signorile Prof. Xavier Barril Dr. Cristiano Simone Prof. Manuela Bartolini Dr. Doreen Dobritzsch Dr. Alberto Del Rio Prof. U. Helena Danielson 《Chembiochem : a European journal of chemical biology》2021,22(9):1597-1608
SMYD3 is a multifunctional epigenetic enzyme with lysine methyltransferase activity and various interaction partners. It is implicated in the pathophysiology of cancers but with an unclear mechanism. To discover tool compounds for clarifying its biochemistry and potential as a therapeutic target, a set of drug-like compounds was screened in a biosensor-based competition assay. Diperodon was identified as an allosteric ligand; its R and S enantiomers were isolated, and their affinities to SMYD3 were determined (KD=42 and 84 μM, respectively). Co-crystallization revealed that both enantiomers bind to a previously unidentified allosteric site in the C-terminal protein binding domain, consistent with its weak inhibitory effect. No competition between diperodon and HSP90 (a known SMYD3 interaction partner) was observed although SMYD3–HSP90 binding was confirmed (KD=13 μM). Diperodon clearly represents a novel starting point for the design of tool compounds interacting with a druggable allosteric site, suitable for the exploration of noncatalytic SMYD3 functions and therapeutics with new mechanisms of action. 相似文献
50.
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. 相似文献