全文获取类型
收费全文 | 292篇 |
免费 | 11篇 |
专业分类
电工技术 | 1篇 |
化学工业 | 88篇 |
机械仪表 | 9篇 |
建筑科学 | 15篇 |
矿业工程 | 2篇 |
能源动力 | 5篇 |
轻工业 | 35篇 |
无线电 | 16篇 |
一般工业技术 | 35篇 |
冶金工业 | 33篇 |
原子能技术 | 6篇 |
自动化技术 | 58篇 |
出版年
2024年 | 3篇 |
2023年 | 5篇 |
2022年 | 27篇 |
2021年 | 29篇 |
2020年 | 12篇 |
2019年 | 9篇 |
2018年 | 8篇 |
2017年 | 2篇 |
2016年 | 9篇 |
2015年 | 12篇 |
2014年 | 9篇 |
2013年 | 16篇 |
2012年 | 22篇 |
2011年 | 12篇 |
2010年 | 7篇 |
2009年 | 4篇 |
2008年 | 7篇 |
2007年 | 16篇 |
2006年 | 4篇 |
2005年 | 8篇 |
2004年 | 6篇 |
2003年 | 2篇 |
2001年 | 6篇 |
2000年 | 2篇 |
1999年 | 2篇 |
1998年 | 14篇 |
1997年 | 9篇 |
1996年 | 6篇 |
1995年 | 5篇 |
1994年 | 4篇 |
1993年 | 4篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1989年 | 2篇 |
1987年 | 1篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1977年 | 1篇 |
1975年 | 2篇 |
1974年 | 2篇 |
排序方式: 共有303条查询结果,搜索用时 15 毫秒
1.
Pasquale Stano Tereza Pereira de Souza Paolo Carrara Emiliano Altamura Erica D’Aguanno Margherita Caputo 《先进材料力学与结构力学》2015,22(9):748-759
Here we report some recent biophysical issues on the preparation of solute-filled lipid vesicles and their relevance to the construction of “synthetic cells.” First, we introduce the “semi-synthetic minimal cells” as the liposome-based cell-like systems, which contain a minimal number of biomolecules required to display simple and complex biological functions. Next, we focus on recent aspects related to the construction of synthetic cells. Emphasis is given to the interplay between the methods of synthetic cell preparation and the physics of solute encapsulation. We briefly introduce the notion of structural and compositional “diversity” in synthetic cell populations. 相似文献
2.
Francesco Di Girolamo Andrea Masotti Isabella Lante Margherita Scapaticci Cosima Damiana Calvano Carlo Zambonin Maurizio Muraca Lorenza Putignani 《International journal of molecular sciences》2015,16(9):20896-20912
Extra virgin olive oil (EVOO) with its nutraceutical characteristics substantially contributes as a major nutrient to the health benefit of the Mediterranean diet. Unfortunately, the adulteration of EVOO with less expensive oils (e.g., peanut and corn oils), has become one of the biggest source of agricultural fraud in the European Union, with important health implications for consumers, mainly due to the introduction of seed oil-derived allergens causing, especially in children, severe food allergy phenomena. In this regard, revealing adulterations of EVOO is of fundamental importance for health care and prevention reasons, especially in children. To this aim, effective analytical methods to assess EVOO purity are necessary. Here, we propose a simple, rapid, robust and very sensitive method for non-specialized mass spectrometric laboratory, based on the matrix-assisted laser desorption/ionization mass spectrometry (MALDI-TOF MS) coupled to unsupervised hierarchical clustering (UHC), principal component (PCA) and Pearson’s correlation analyses, to reveal corn oil (CO) adulterations in EVOO at very low levels (down to 0.5%). 相似文献
3.
4.
Ghezzi C. Mandrioli D. Morasca S. Pezze M. 《IEEE transactions on pattern analysis and machine intelligence》1991,17(2):160-172
The authors introduce a high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control, function, and timing issues. In particular, they discuss how time can be modeled via ER nets by providing a suitable axiomatization. They use ER nets to define a time notation that is shown to generalize most time Petri-net-based formalisms which appeared in the literature. They discuss how ER nets can be used in a specification support environment for a time-critical system and, in particular, the kind of analysis supported 相似文献
5.
Fiocchi C. Torelli G. Ghezzi S. Maccarrone M. 《Solid-State Circuits, IEEE Journal of》1997,32(1):100-104
This paper describes a program load voltage generator for flash memories. It is based on an adaptive feedback loop which senses the current delivered to the memory cells during programming and adjusts the output voltage accordingly to compensate for the voltage drop caused by the programming current across the bit-line select transistors. The proposed circuit (silicon area=0.065 mm2) was integrated in a 0.8-μm CMOS 4 Mb flash memory device (0.6 μm in the matrix). Experimental evaluations showed that very effective compensation is achieved, with bit-line voltage kept at the desired value during the whole programming operation. A spread as small as 70 mV was measured between the single-bit and 16-b programming cases 相似文献
6.
Carlo Ghezzi Claudio Menghi Amir Molzam Sharifloo Paola Spoletini 《Requirements Engineering》2014,19(3):231-255
Software development processes have been evolving from rigid, pre-specified, and sequential to incremental, and iterative. This evolution has been dictated by the need to accommodate evolving user requirements and reduce the delay between design decision and feedback from users. Formal verification techniques, however, have largely ignored this evolution and even when they made enormous improvements and found significant uses in practice, like in the case of model checking, they remained confined into the niches of safety-critical systems. Model checking verifies if a system’s model \(\mathcal{M}\) satisfies a set of requirements, formalized as a set of logic properties \(\Phi\) . Current model-checking approaches, however, implicitly rely on the assumption that both the complete model \(\mathcal{M}\) and the whole set of properties \(\Phi\) are fully specified when verification takes place. Very often, however, \(\mathcal{M}\) is subject to change because its development is iterative and its definition evolves through stages of incompleteness, where alternative design decisions are explored, typically to evaluate some quality trade-offs. Evolving systems specifications of this kind ask for novel verification approaches that tolerate incompleteness and support incremental analysis of alternative designs for certain functionalities. This is exactly the focus of this paper, which develops an incremental model-checking approach for evolving Statecharts. Statecharts have been chosen both because they are increasingly used in practice natively support model refinements. 相似文献
7.
DellaGreca M Isidori M Lavorgna M Monaco P Previtera L Zarrelli A 《Journal of chemical ecology》2004,30(4):867-879
Twenty-five 9,10-dihydrophenanthrenes, four phenanthrenes, a dihydrodibenzoxepin, and a pyrene, isolated from the wetland plant Juncus acutus, were tested to detect their effects on the green alga Selenastrum capricornutum. Nine of the compounds were isolated and identified for the first time. Most of the compounds caused inhibition of algal growth. The 9,10-dihydrophenanthrenes 1, 5, 21, and 22 were the most active. 相似文献
8.
Michael Würsch Giacomo Ghezzi Matthias Hert Gerald Reif Harald C. Gall 《Computing》2012,94(11):857-885
The Semantic Web provides a standardized, well-established framework to define and work with ontologies. It is especially apt for machine processing. However, researchers in the field of software evolution have not really taken advantage of that so far. In this paper, we address the potential of representing software evolution knowledge with ontologies and Semantic Web technology, such as Linked Data and automated reasoning. We present Seon, a pyramid of ontologies for software evolution, which describes stakeholders, their activities, artifacts they create, and the relations among all of them. We show the use of evolution-specific ontologies for establishing a shared taxonomy of software analysis services, for defining extensible meta-models, for explicitly describing relationships among artifacts, and for linking data such as code structures, issues (change requests), bugs, and basically any changes made to a system over time. For validation, we discuss three different approaches, which are backed by Seon and enable semantically enriched software evolution analysis. These techniques have been fully implemented as tools and cover software analysis with web services, a natural language query interface for developers, and large-scale software visualization. 相似文献
9.
Margherita Passariello Veronica Ferrucci Emanuele Sasso Lorenzo Manna Rosa Rapuano Lembo Stefano Pascarella Giovanna Fusco Nicola Zambrano Massimo Zollo Claudia De Lorenzo 《International journal of molecular sciences》2022,23(10)
The dramatic experience with SARS-CoV-2 has alerted the scientific community to be ready to face new epidemics/pandemics caused by new variants. Among the therapies against the pandemic SARS-CoV-2 virus, monoclonal Antibodies (mAbs) targeting the Spike glycoprotein have represented good drugs to interfere in the Spike/ Angiotensin Converting Enzyme-2 (ACE-2) interaction, preventing virus cell entry and subsequent infection, especially in patients with a defective immune system. We obtained, by an innovative phage display selection strategy, specific binders recognizing different epitopes of Spike. The novel human antibodies specifically bind to Spike-Receptor Binding Domain (RBD) in a nanomolar range and interfere in the interaction of Spike with the ACE-2 receptor. We report here that one of these mAbs, named D3, shows neutralizing activity for virus infection in cell cultures by different SARS-CoV-2 variants and retains the ability to recognize the Omicron-derived recombinant RBD differently from the antibodies Casirivimab or Imdevimab. Since anti-Spike mAbs, used individually, might be unable to block the virus cell entry especially in the case of resistant variants, we investigated the possibility to combine D3 with the antibody in clinical use Sotrovimab, and we found that they recognize distinct epitopes and show additive inhibitory effects on the interaction of Omicron-RBD with ACE-2 receptor. Thus, we propose to exploit these mAbs in combinatorial treatments to enhance their potential for both diagnostic and therapeutic applications in the current and future pandemic waves of coronavirus. 相似文献
10.
Ornella Rondinone Alessio Murgia Jole Costanza Silvia Tabano Margherita Camanni Luigi Corsaro Laura Fontana Patrizia Colapietro Luciano Calzari Silvia Motta Carlo Santaniello Tatjana Radaelli Enrico Ferrazzi Silvano Bosari Davide Gentilini Silvia Maria Sirchia Monica Miozzo 《International journal of molecular sciences》2022,23(10)