全文获取类型
收费全文 | 369篇 |
免费 | 27篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 5篇 |
综合类 | 1篇 |
化学工业 | 105篇 |
金属工艺 | 5篇 |
机械仪表 | 7篇 |
建筑科学 | 23篇 |
矿业工程 | 3篇 |
能源动力 | 15篇 |
轻工业 | 39篇 |
水利工程 | 1篇 |
无线电 | 22篇 |
一般工业技术 | 77篇 |
冶金工业 | 10篇 |
原子能技术 | 2篇 |
自动化技术 | 82篇 |
出版年
2023年 | 4篇 |
2022年 | 14篇 |
2021年 | 20篇 |
2020年 | 16篇 |
2019年 | 7篇 |
2018年 | 9篇 |
2017年 | 11篇 |
2016年 | 16篇 |
2015年 | 16篇 |
2014年 | 17篇 |
2013年 | 30篇 |
2012年 | 24篇 |
2011年 | 36篇 |
2010年 | 21篇 |
2009年 | 19篇 |
2008年 | 21篇 |
2007年 | 22篇 |
2006年 | 14篇 |
2005年 | 11篇 |
2004年 | 10篇 |
2003年 | 10篇 |
2002年 | 9篇 |
2001年 | 2篇 |
2000年 | 2篇 |
1999年 | 4篇 |
1998年 | 7篇 |
1997年 | 3篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1981年 | 2篇 |
1977年 | 1篇 |
排序方式: 共有397条查询结果,搜索用时 15 毫秒
1.
2.
3.
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. 相似文献
4.
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. 相似文献
5.
Unraveling Unprecedented Charge Carrier Mobility through Structure Property Relationship of Four Isomers of Didodecyl[1]benzothieno[3,2‐b][1]benzothiophene 下载免费PDF全文
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
6.
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. 相似文献
7.
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. 相似文献
8.
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
Context
In software development, Testing is an important mechanism both to identify defects and assure that completed products work as specified. This is a common practice in single-system development, and continues to hold in Software Product Lines (SPL). Even though extensive research has been done in the SPL Testing field, it is necessary to assess the current state of research and practice, in order to provide practitioners with evidence that enable fostering its further development.Objective
This paper focuses on Testing in SPL and has the following goals: investigate state-of-the-art testing practices, synthesize available evidence, and identify gaps between required techniques and existing approaches, available in the literature.Method
A systematic mapping study was conducted with a set of nine research questions, in which 120 studies, dated from 1993 to 2009, were evaluated.Results
Although several aspects regarding testing have been covered by single-system development approaches, many cannot be directly applied in the SPL context due to specific issues. In addition, particular aspects regarding SPL are not covered by the existing SPL approaches, and when the aspects are covered, the literature just gives brief overviews. This scenario indicates that additional investigation, empirical and practical, should be performed.Conclusion
The results can help to understand the needs in SPL Testing, by identifying points that still require additional investigation, since important aspects regarding particular points of software product lines have not been addressed yet. 相似文献9.
Silvio Capobianco 《Theoretical computer science》2011,412(30):3822-3837
The Besicovitch and Weyl topologies on the space of configurations take a point of view completely different from the usual product topology; as such, the properties of the former are much different from that of the latter. The one-dimensional case has already been the subject of thorough studies; we extend it to greater dimensions, and also to more general groups. 相似文献
10.
S. Downes L. Di Silvio C. P. A. T. Klein M. V. Kayser 《Journal of materials science. Materials in medicine》1991,2(3):176-180
A bioactive material, capable of active stimulation of osteogenesis, has been produced by adsorbing human growth hormone onto calcium phosphate ceramics. These materials can be used to deliver growth hormone at the bone-ceramic interface. The elution of the hormone occurs in two phases, with an initial rapid release followed by a slow continuous release for up to 25 days. Tricalcium phosphate was found to release growth hormone better than hydroxyapatite, probably due to the higher solubility of the ceramic.In vivo studies using a rabbit model were used to demonstrate osteointegration at the ceramic interface. 相似文献