全文获取类型
收费全文 | 1866篇 |
免费 | 145篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 12篇 |
综合类 | 1篇 |
化学工业 | 757篇 |
金属工艺 | 22篇 |
机械仪表 | 39篇 |
建筑科学 | 68篇 |
矿业工程 | 1篇 |
能源动力 | 56篇 |
轻工业 | 389篇 |
水利工程 | 15篇 |
石油天然气 | 7篇 |
无线电 | 94篇 |
一般工业技术 | 224篇 |
冶金工业 | 97篇 |
原子能技术 | 4篇 |
自动化技术 | 227篇 |
出版年
2024年 | 5篇 |
2023年 | 30篇 |
2022年 | 190篇 |
2021年 | 184篇 |
2020年 | 82篇 |
2019年 | 68篇 |
2018年 | 75篇 |
2017年 | 71篇 |
2016年 | 74篇 |
2015年 | 68篇 |
2014年 | 87篇 |
2013年 | 127篇 |
2012年 | 123篇 |
2011年 | 143篇 |
2010年 | 85篇 |
2009年 | 74篇 |
2008年 | 71篇 |
2007年 | 62篇 |
2006年 | 64篇 |
2005年 | 46篇 |
2004年 | 39篇 |
2003年 | 43篇 |
2002年 | 37篇 |
2001年 | 12篇 |
2000年 | 23篇 |
1999年 | 17篇 |
1998年 | 26篇 |
1997年 | 16篇 |
1996年 | 11篇 |
1995年 | 7篇 |
1994年 | 7篇 |
1993年 | 7篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 5篇 |
1989年 | 2篇 |
1988年 | 3篇 |
1986年 | 3篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1982年 | 5篇 |
1979年 | 1篇 |
1978年 | 2篇 |
1976年 | 2篇 |
排序方式: 共有2013条查询结果,搜索用时 15 毫秒
51.
Recently the action systems formalism for parallel and distributed systems has been extended with the procedure mechanism.
This gives us a very general framework for describing different communication paradigms for action systems, e.g. remote procedure
calls. Action systems come with a design methodology based on the refinement calculus. Data refinement is a powerful technique
for refining action systems. In this paper we will develop a theory and proof rules for the refinement of action systems that
communicate via remote procedures based on the data refinement approach. The proof rules we develop are compositional so that
modular refinement of action systems is supported. As an example we will especially study the atomicity refinement of actions.
This is an important refinement strategy, as it potentially increases the degree of parallelism in an action system.
Received February 1999 / Accepted in revised form July 2000 相似文献
52.
Boulahya K Ruiz-González L Parras M González-Calbet JM Nickolsky MS Nicolopoulos S 《Ultramicroscopy》2007,107(6-7):445-452
Two complex perovskite-related structures were solved by ab initio from precession electron diffraction intensities. Structure models were firstly derived from HREM images and than have been confirmed independently using two and three-dimensional sets of precession intensities. Patterson techniques prove to be effective for ab initio structure resolution, specially in case of projections with no overlapping atoms. Quality of precession intensity data may be suitable enough to resolve unknown heavy oxide structures. 相似文献
53.
Andrei?SharfEmail author Marina?Blumenkrants Ariel?Shamir Daniel?Cohen-Or 《The Visual computer》2006,22(9-11):835-844
Editing and manipulation of existing 3D geometric objects are a means to extend their repertoire and promote their availability. Traditionally, tools to compose or manipulate objects defined by 3D meshes are in the realm of artists and experts. In this paper, we introduce a simple and effective user interface for easy composition of 3D mesh-parts for non-professionals. Our technique borrows from the cut-and-paste paradigm where a user can cut parts out of existing objects and paste them onto others to create new designs. To assist the user attach objects to each other in a quick and simple manner, many applications in computer graphics support the notion of “snapping”. Similarly, our tool allows the user to loosely drag one mesh part onto another with an overlap, and lets the system snap them together in a graceful manner. Snapping is accomplished using our Soft-ICP algorithm which replaces the global transformation in the ICP algorithm with a set of point-wise locally supported transformations. The technique enhances registration with a set of rigid to elastic transformations that account for simultaneous global positioning and local blending of the objects. For completeness of our framework, we present an additional simple mesh-cutting tool, adapting the graph-cut algorithm to meshes. 相似文献
54.
Lakoumentas J Drakos J Karakantza M Sakellaropoulos G Megalooikonomou V Nikiforidis G 《Computer methods and programs in biomedicine》2012,108(1):158-167
Prognosis of B-Chronic Lymphocytic Leukemia (B-CLL) remains a challenging problem in medical research and practice. While the parameters obtained by flow cytometry analysis form the basis of the diagnosis of the disease, the question whether these parameters offer additional prognostic information still remains open. In this work, we attempt to provide computer-assisted support to the clinical experts of the field, by deploying a classification system for B-CLL multiparametric prognosis that combines various heterogeneous (clinical, laboratory and flow cytometry) parameters associated with the disease. For this purpose, we employ the na?ve-Bayes classifier and propose an algorithm that improves its performance. The algorithm discretizes the continuous classification attributes (candidate prognostic parameters) and selects the most useful subset of them to optimize the classification accuracy. Thus, in addition to the high classification accuracy achieved, the proposed approach also suggests the most informative parameters for the prognosis. The experimental results demonstrate that the inclusion of flow cytometry parameters in our system improves prognosis. 相似文献
55.
Sotirios Liaskos Shakil M. Khan Marin Litoiu Marina Daoud Jungblut Vyacheslav Rogozhkin John Mylopoulos 《Information Systems》2012
Customizing software to perfectly fit individual needs is becoming increasingly important in information systems engineering. Users want to be able to customize software behavior through reference to terms familiar to their diverse needs and experience. We present a requirements-driven approach to behavioral customization of software systems. Goal models are constructed to represent alternative behaviors that users can exhibit to achieve their goals. Customization information is then added to restrict the space of possibilities to those that fit specific users, contexts, or situations. Meanwhile, elements of the goal models are mapped to units of source code. This way, customization preferences posed at the requirements level are directly translated into system customizations. Our approach, which we apply to an on-line shopping cart system and an automated teller machine simulator, does not assume adoption of a particular development methodology, platform, or variability implementation technique and keeps the reasoning computation overhead from interfering with the execution of the configured application. 相似文献
56.
A software environment, called EDEN, that prototypes a recent approach to model-based diagnosis of discrete-event systems, is presented. The environment integrates a specification language, called SMILE, a model base, and a diagnostic engine. SMILE enables the user to create libraries of models and systems, which are permanently stored in the model base, wherein both final and intermediate results of the diagnostic sessions are hosted as well. Given the observation of a physical system gathered during its reaction to an external event, the diagnostic engine performs the a posteriori reconstruction of all the possible evolutions of the system over time and, then, draws candidate diagnoses out of them. The diagnostic method is described using a simplified example within the domain of power transmission networks. Strong points of the method include compositional modeling, support for model update, ability to focus on any sub-system, amenability to parallel execution, management of multiple faults, and broad notions of system and observation. 相似文献
57.
Presents reflections on the life and achievements of Josef Maria Bro?ek. The author notes that, in his way, Bro?ek turned psychology historiography into an international domain involving, in this construction, researchers from countries not only of Anglo Saxon languages but also those of Slavic and Latin languages, including Brazil. Quoting from Braque, he affirmed that "knowledge of the past enables the revelation of the present." However, he believed that "reality is not revealed if it is not sparkled by a poetic beam." The poetry of life illuminated Bro?ek and his actions. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
58.
Despite the great technical advancement of mass spectrometry, this technique has contributed in a limited way to the discovery and quantitation of specific/precocious markers linked to free radical-mediated diseases. Unsaturated aldehydes generated by free radical-induced lipid peroxidation of polyunsaturated fatty acids, and in particular 4-hydroxy-trans-2 nonenal (HNE), are involved in the onset and progression of many pathologies such as cardiovascular (atherosclerosis, long-term complications of diabetes) and neurodegenerative diseases (Alzheimer's disease, Parkinson's disease, and cerebral ischemia). Most of the biological effects of HNE are attributed to the capacity of HNE to react with the nucleophilic sites of proteins and peptides (other than nucleic acids), to form covalently modified biomolecules that can disrupt important cellular functions and induce mutations. By considering the emerging role of HNE in several human diseases, an unequivocal analytical approach as mass spectrometry to detect/elucidate the structure of protein-HNE adducts in biological matrices is strictly needed not only to understand the reaction mechanism of HNE, but also to gain a deeper insight into the pathological role of HNE. This with the aim to provide intermediate diagnostic biomarkers for human diseases. This review sheds focus on the "state-of-the-art" of mass spectrometric applications in the field of HNE-protein adducts characterization, starting from the fundamental early studies and discussing the different MS-based approaches that can provide detailed information on the mechanistic aspects of HNE-protein interaction. In the last decade, the increases in the accessible mass ranges of modern instruments and advances in ionization methods have made possible a fundamental improvement in the analysis of protein-HNE adducts by mass spectrometry, and in particular by matrix-assisted laser desorption/ionization (MALDI) and electrospray ionization (ESI) tandem mass spectrometry. The recent developments and uses of combined analytical approaches to detect and characterize the type/site of interaction have been highlighted, and several other aspects, including sample preparation methodologies, structure elucidation, and data analysis have also been considered. 相似文献
59.
Camilo Zúñiga Gerard Lligadas Juan Carlos Ronda Marina Galià Virginia Cádiz 《Polymer》2012,53(15):3089-3095
This work concerns the investigation of porous polybenzoxazines based on the non-toxic renewable diphenolic acid. The approach described relies on the in situ generation of foaming agent (CO2) during the thermal curing. For this purpose, the previously synthesized benzoxazine monomer from diphenolic acid was thermally polymerized at different temperatures. As the beginning of decarboxylation is about 200 °C, we selected five foaming temperatures (Tf) ranging from 190 to 230 °C. The influence of the foaming temperature on the cellular structure and its dependency on final properties is discussed. 相似文献
60.
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. 相似文献