全文获取类型
收费全文 | 476篇 |
免费 | 34篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 7篇 |
综合类 | 1篇 |
化学工业 | 125篇 |
金属工艺 | 5篇 |
机械仪表 | 8篇 |
建筑科学 | 25篇 |
矿业工程 | 3篇 |
能源动力 | 15篇 |
轻工业 | 46篇 |
水利工程 | 7篇 |
无线电 | 36篇 |
一般工业技术 | 99篇 |
冶金工业 | 31篇 |
原子能技术 | 3篇 |
自动化技术 | 100篇 |
出版年
2023年 | 5篇 |
2022年 | 15篇 |
2021年 | 23篇 |
2020年 | 17篇 |
2019年 | 9篇 |
2018年 | 12篇 |
2017年 | 14篇 |
2016年 | 19篇 |
2015年 | 20篇 |
2014年 | 18篇 |
2013年 | 33篇 |
2012年 | 31篇 |
2011年 | 38篇 |
2010年 | 24篇 |
2009年 | 21篇 |
2008年 | 31篇 |
2007年 | 32篇 |
2006年 | 18篇 |
2005年 | 15篇 |
2004年 | 13篇 |
2003年 | 10篇 |
2002年 | 10篇 |
2001年 | 5篇 |
2000年 | 3篇 |
1999年 | 5篇 |
1998年 | 13篇 |
1997年 | 6篇 |
1996年 | 11篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 3篇 |
1984年 | 4篇 |
1981年 | 5篇 |
1980年 | 1篇 |
1977年 | 1篇 |
1976年 | 2篇 |
1973年 | 1篇 |
1970年 | 1篇 |
排序方式: 共有511条查询结果,搜索用时 15 毫秒
1.
2.
N. Klein U. D?hne U. Poppe N. Tellmann K. Urban S. Orbach S. Hensen G. Müller H. Piel 《Journal of Superconductivity》1992,5(2):195-201
We used a dielectric resonator technique for highly sensitive measurements of the temperature dependence of the microwave surface resistanceR
s
of 1×1 cm2 superconducting films at 18.7 GHz. It consists of a sapphire disc positioned on the film under investigation within a copper cavity which is acting as a radiation shield. In the TE01 oscillation mode the highly reproducible quality factor of about 105 results in a sensitivity of ±50 forR
s
measurements. The temperature dependence ofR
s
can be measured up to values as high as 1 . We have investigated several YBa2Cu3O7 thin films prepared by high oxygen pressure d.c. sputtering on LaAlO3 and NdGaO3. Our best films exhibit a pronounced nonlinear behavior of the d.c. resistivity(T) with(300K)/(100K) values of about 3.7. Those films show, besides the initial fall-off just belowT
c
, a further strong decrease ofR
s
at low temperatures. This was observed both at 18.7 GHz and 87 GHz, as measured by a conventional cavity end plate replacement technique. ForTTc/2 these films exhibit an exp (–T
c/T) dependence ofR
s
with-values around 0.4. These observations may be explained by a superconducting energy gap with 2/kT
c0.8 for charge carriers localized in the CuO chains for YBa2Cu3O7. 相似文献
3.
4.
Leonardo Resende Naira M. Balzaretti Altair S. Pereira Marcos A. Z. Vasconcellos Silvio Buchner 《Journal of the American Ceramic Society》2021,104(6):2552-2559
In this work, high-density lithium disilicate (LS2) vitreous systems were produced by melting and quenching under high pressure (7.7 GPa) following two distinct experimental routes. In the first case, LS2 glass was remelted at 7.7 GPa and 1600°C and, then, quenched. In the second case, a stoichiometric mixture of precursor oxides (Li2O and SiO2) was melted at 1600°C and 7.7 GPa before quenching. A reference LS2 glass sample was produced at atmospheric pressure using conventional melting and quenching procedure. The samples were characterized by X-ray diffraction, differential thermal analysis, and instrumented ultramicro hardness measurements. X-ray diffraction confirmed that all samples were amorphous and thermal analysis suggests that different glassy structures were produced depending on the route of synthesis. Hardness and elastic modulus of the glasses produced under high pressure were higher than those of the reference glass, reflecting the irreversible densification effect induced by the high-pressure processing. 相似文献
5.
Ronald Poppe Khiet P. Truong Dirk Heylen 《Autonomous Agents and Multi-Agent Systems》2013,27(2):235-253
Artificial listeners are virtual agents that can listen attentively to a human speaker in a dialog. In this paper, we present two experiments where we investigate the perception of rule-based backchannel strategies for artificial listeners. In both, we collect subjective judgements of humans who observe a video of a speaker together with a corresponding animation of an artificial listener. In the first experiment, we evaluate six rule-based strategies that differ in the types of features (e.g. prosody, gaze) they consider. The ratings are given at the level of a speech turn and can be considered a measure for how human-like the generated listening behavior is perceived. In the second experiment, we systematically investigate the effect of the quantity, type and timing of backchannels within the discourse of the speaker. Additionally, we asked human observers to press a button whenever they thought a generated backchannel occurrence was inappropriate. Both experiments together give insights in the factors, both from an observation and generation point-of-view, that influence the perception of backchannel strategies for artificial listeners. 相似文献
6.
Silvio Francisco dos Santos Humberto Siqueira Brandi Suzana Borschiver Vanderléa de Souza 《Clean Technologies and Environmental Policy》2017,19(5):1257-1269
In the present work, we propose a theoretical model to identify and prioritize risks involved in a biofuel supply chain. We adopt a set of indicators associated with determinant factors of the supply chain to identify risks that are characterized through a risk matrix. We consider the five largest world biodiesel producers and included China due to its global market importance and potential impacts of its growth on the environment and society. To determine the impacts and the probability of occurrence of risks, we use the Canberra distance, as metrics. To facilitate the analysis and interpretation, a convenient manner is to express the results in terms of matrices. To exemplify the potentiality of the scheme and for the sake of simplicity, a more comprehensive discussion is focused on the Brazilian case, restricted to the Technology and Innovation, and Integration, Logistics and Infrastructure determining factors (dimensions) of the biodiesel supply chain. Concerning these determining factors, the Brazilian biodiesel chain shows strong vulnerability when compared with developed and developing countries, despite that the evolution of the data over recent years indicates small improvements in Integration, Logistics and Infrastructure dimension. Although in this work the calculations are restricted to the Canberra distance, the present approach may be applied to other distances to compare or validate the results. This work presents a contribution to model vulnerability to risks, providing to policy makers and stakeholders a tool to design, analyze and improve sustainability system by measuring its risks. The study of the contribution of each indicator suggests corrections to be taken and which indicators should be prioritized. 相似文献
7.
Unraveling Unprecedented Charge Carrier Mobility through Structure Property Relationship of Four Isomers of Didodecyl[1]benzothieno[3,2‐b][1]benzothiophene
下载免费PDF全文
![点击此处可从《Advanced materials (Deerfield Beach, Fla.)》网站下载免费的PDF全文](/ch/ext_images/free.gif)
Yusuke Tsutsui Guillaume Schweicher Basab Chattopadhyay Tsuneaki Sakurai Jean‐Baptiste Arlin Christian Ruzié Almaz Aliev Artur Ciesielski Alan R. Kennedy Vincent Lemaur Yoann Olivier Rachid Hadji Lionel Sanguinet Frédéric Castet Silvio Osella Dmytro Dudenko David Beljonne Jérôme Cornil Paolo Samorì Shu Seki Yves H. Geerts 《Advanced materials (Deerfield Beach, Fla.)》2016,28(33):7106-7114
8.
Michele Barletta Silvio Ranise Luca Vigan�� 《Service Oriented Computing and Applications》2011,5(2):105-137
The specification of distributed service-oriented applications spans several levels of abstraction, e.g., the protocol for
exchanging messages, the set of interface functionalities, the types of the manipulated data, the workflow, the access policy,
etc. Many (even executable) specification languages are available to describe each level in separation. However, these levels
may interact in subtle ways (for example, the control flow may depend on the values of some data variables) so that a precise
abstraction of the application amounts to more than the sum of its per level components. This problem is even more acute in
the design phase when automated analysis techniques may greatly help the difficult task of building “correct” applications
faced by designers. To alleviate this kind of problems, this paper introduces a framework for the formal specification and
automated analysis of distributed service-oriented applications in two levels: one for the workflow and one for the authorization
policies. The former allows one to precisely describe the control and data parts of an application with their mutual dependencies.
The latter focuses on the specification of the criteria for granting or denying third-party applications the possibility to
access shared resources or to execute certain interface functionalities. These levels can be seen as abstractions of one or
of several levels of specification mentioned above. The novelty of our proposal is the possibility to unambiguously specify
the—often subtle—interplay between the workflow and policy levels uniformly in the same framework. Additionally, our framework
allows us to define and investigate verification problems for service-oriented applications (such as executability and invariant
checking) and give sufficient conditions for their decidability. These results are non-trivial because their scope of applicability
goes well beyond the case of finite state spaces allowing for applications manipulating variables ranging over infinite domains.
As proof of concept, we show the suitability and flexibility of our approach on two quite different examples inspired by industrial
case studies. 相似文献
9.
Duc-Khanh Tran Christophe Ringeissen Silvio Ranise Hélène Kirchner 《Journal of Symbolic Computation》2010
Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories. 相似文献
10.
Paulo Anselmo da Mota Silveira Neto Ivan do Carmo Machado John D. McGregorEduardo Santana de Almeida Silvio Romero de Lemos Meira 《Information and Software Technology》2011,53(5):407-423