全文获取类型
收费全文 | 1896篇 |
免费 | 128篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 12篇 |
综合类 | 1篇 |
化学工业 | 760篇 |
金属工艺 | 22篇 |
机械仪表 | 39篇 |
建筑科学 | 68篇 |
矿业工程 | 1篇 |
能源动力 | 65篇 |
轻工业 | 389篇 |
水利工程 | 15篇 |
石油天然气 | 7篇 |
无线电 | 94篇 |
一般工业技术 | 225篇 |
冶金工业 | 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年 | 87篇 |
2009年 | 74篇 |
2008年 | 73篇 |
2007年 | 65篇 |
2006年 | 64篇 |
2005年 | 46篇 |
2004年 | 39篇 |
2003年 | 43篇 |
2002年 | 37篇 |
2001年 | 13篇 |
2000年 | 23篇 |
1999年 | 17篇 |
1998年 | 27篇 |
1997年 | 16篇 |
1996年 | 13篇 |
1995年 | 8篇 |
1994年 | 7篇 |
1993年 | 7篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 6篇 |
1989年 | 2篇 |
1988年 | 3篇 |
1986年 | 3篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1982年 | 5篇 |
1979年 | 1篇 |
1978年 | 2篇 |
1976年 | 2篇 |
排序方式: 共有2026条查询结果,搜索用时 10 毫秒
31.
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 相似文献
32.
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. 相似文献
33.
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. 相似文献
34.
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. 相似文献
35.
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) 相似文献
36.
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. 相似文献
37.
Marina Donate Luis Rodriguez Antonio De Lucas Juan F. Rodríguez 《International Journal of Refrigeration》2006,29(1):30-35
Mixtures of lithium bromide and organic salts of sodium and potassium (formate, acetate and lactate) have been evaluated as alternative absorbents for absorption refrigeration machines. The main objective is to overpass the limitations of lithium bromide and improve the characteristics and the efficiency of the refrigeration cycle. In order to select the mixture that presents better properties for its employment in absorption refrigeration cycles, a thermodynamic analysis have been done. Density, viscosity, enthalpies of dilution, solubility and vapour pressure data of the proposed mixtures have been measured. A simulation program has been developed to evaluate temperatures, heats exchanged in the different sections and the efficiency of the cycle. 相似文献
38.
Biofilms grow on various surfaces and in many different environments, a phenomenon that constitutes major problems in industry and medicine. Despite their importance little is known about the viscoelastic properties of biofilms and how these depend on the chemical microenvironment. Here, we find that the mechanical properties of Pseudomonas aeruginosa (P.a.) biofilms are highly robust towards chemical perturbations. Specifically, we observe that P.a. biofilms are able to fully regain their initial stiffness after yielding is enforced, even in the presence of chemicals. Moreover, only trivalent ions and citric acid significantly affect the biofilm elasticity, the first of which also alter the texture of the material. Finally, our results indicate that biofilm mechanics and bacteria viability inside the biofilm are not necessarily linked which suggests that targeting bacteria alone might not be sufficient for biofilm removal strategies. 相似文献
39.
Olga Porembskaya Vsevolod Zinserling Vladimir Tomson Yana Toropova Eleonora A. Starikova Vitaliy V. Maslei Nika I. Bulavinova Olga V. Kirik Marina A. Syrtsova Leonid Laberko Maxim I. Galchenko Vyacheslav Kravchuk Sergey Saiganov Alexander Brill 《International journal of molecular sciences》2022,23(10)
Pulmonary embolism is a life-threatening condition, which can result in respiratory insufficiency and death. Blood clots occluding branches of the pulmonary artery (PA) are traditionally considered to originate from thrombi in deep veins (usually in legs). However, growing evidence suggests that occlusion of the vessels in the lungs can develop without preceding deep vein thrombosis (DVT). In this work, we used an inferior vena cava (IVC) complete ligation model of DVT in Wistar rats to explore the possibility and mechanisms of PA thrombosis under the conditions where all routes of thrombotic mass migration from peripheral veins are blocked. We demonstrate that rats both with normal and reduced neutrophil counts developed thrombi in the IVC, although, neutropenia caused a substantial decrease in thrombus size and a shift from fresh fibrin toward mature fibrin and connective tissue inside the thrombus. Massive fibrin deposition was found in the PA branches in the majority of DVT rats with normal neutrophil counts, but in none of the neutropenic animals. Neutrophil ablation also abolished macroscopic signs of lung damage. Altogether, the results demonstrate that thrombi in the lung vasculature can form in situ by mechanisms that require local neutrophil recruitment taking place in the DVT setting. 相似文献
40.
Mehrdad Aliasgari Marina Blanton Fattaneh Bayatbabolghani 《International Journal of Information Security》2017,16(6):577-601
Hidden Markov model (HMM) is a popular statistical tool with a large number of applications in pattern recognition. In some of these applications, such as speaker recognition, the computation involves personal data that can identify individuals and must be protected. We thus treat the problem of designing privacy-preserving techniques for HMM and companion Gaussian mixture model computation suitable for use in speaker recognition and other applications. We provide secure solutions for both two-party and multi-party computation models and both semi-honest and malicious settings. In the two-party setting, the server does not have access in the clear to either the user-based HMM or user input (i.e., current observations) and thus the computation is based on threshold homomorphic encryption, while the multi-party setting uses threshold linear secret sharing as the underlying data protection mechanism. All solutions use floating-point arithmetic, which allows us to achieve high accuracy and provable security guarantees, while maintaining reasonable performance. A substantial part of this work is dedicated to building secure protocols for floating-point operations in the two-party setting, which are of independent interest. 相似文献