全文获取类型
收费全文 | 1546篇 |
免费 | 117篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 15篇 |
化学工业 | 444篇 |
金属工艺 | 38篇 |
机械仪表 | 64篇 |
建筑科学 | 44篇 |
矿业工程 | 7篇 |
能源动力 | 104篇 |
轻工业 | 166篇 |
水利工程 | 10篇 |
石油天然气 | 16篇 |
无线电 | 122篇 |
一般工业技术 | 232篇 |
冶金工业 | 102篇 |
原子能技术 | 10篇 |
自动化技术 | 292篇 |
出版年
2024年 | 2篇 |
2023年 | 22篇 |
2022年 | 60篇 |
2021年 | 67篇 |
2020年 | 46篇 |
2019年 | 65篇 |
2018年 | 60篇 |
2017年 | 75篇 |
2016年 | 66篇 |
2015年 | 44篇 |
2014年 | 74篇 |
2013年 | 147篇 |
2012年 | 107篇 |
2011年 | 134篇 |
2010年 | 99篇 |
2009年 | 97篇 |
2008年 | 88篇 |
2007年 | 69篇 |
2006年 | 62篇 |
2005年 | 36篇 |
2004年 | 34篇 |
2003年 | 34篇 |
2002年 | 25篇 |
2001年 | 17篇 |
2000年 | 12篇 |
1999年 | 13篇 |
1998年 | 16篇 |
1997年 | 17篇 |
1996年 | 15篇 |
1995年 | 5篇 |
1994年 | 9篇 |
1993年 | 11篇 |
1992年 | 9篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 4篇 |
1987年 | 7篇 |
1985年 | 3篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1976年 | 1篇 |
1974年 | 1篇 |
排序方式: 共有1666条查询结果,搜索用时 31 毫秒
31.
Electrocatalysts: Guided Evolution of Bulk Metallic Glass Nanostructures: A Platform for Designing 3D Electrocatalytic Surfaces (Adv. Mater. 10/2016)
下载免费PDF全文
![点击此处可从《Advanced materials (Deerfield Beach, Fla.)》网站下载免费的PDF全文](/ch/ext_images/free.gif)
Gustavo Doubek Ryan C. Sekol Jinyang Li Won‐Hee Ryu Forrest S. Gittleson Siamak Nejati Eric Moy Candy Reid Marcelo Carmo Marcelo Linardi Punnathat Bordeenithikasem Emily Kinser Yanhui Liu Xiao Tong Chinedum O. Osuji Jan Schroers Sundeep Mukherjee André D. Taylor 《Advanced materials (Deerfield Beach, Fla.)》2016,28(10):1902-1902
32.
José A. de França Author Vitae Marcelo R. Stemmer Author Vitae 《Pattern recognition》2010,43(3):1180-1187
In recent years, the camera calibration using 1D patterns has been studied and improved by researchers all over the world. However, the progress in that area has been mainly in the sense of reducing the restrictions to the 1D pattern movement. On the other hand, the method's accuracy still demands improvements. In the present paper, the original technique proposed by Zhang is revisited and we demonstrate that the method's accuracy can be significantly improved, simply by analyzing and reformulating the problem. The numerical conditioning can be improved if a simple data normalization is performed. Furthermore, a non-linear solution based on the Partitioned Levenberg-Marquardt algorithm is proposed. That solution takes advantage of the problem's particular structure to reduce the computational complexity of the original method and to improve the accuracy. Tests using both synthetic and real images demonstrate that the calibration method using 1D patterns can be applied in practice, with accuracy comparable to other already traditional methods. 相似文献
33.
34.
35.
36.
Navigational features have been largely recognized as fundamental for graph database query languages. This fact has motivated several authors to propose RDF query languages with navigational capabilities. In this paper, we propose the query language nSPARQL that uses nested regular expressions to navigate RDF data. We study some of the fundamental properties of nSPARQL and nested regular expressions concerning expressiveness and complexity of evaluation. Regarding expressiveness, we show that nSPARQL is expressive enough to answer queries considering the semantics of the RDFS vocabulary by directly traversing the input graph. We also show that nesting is necessary in nSPARQL to obtain this last result, and we study the expressiveness of the combination of nested regular expressions and SPARQL operators. Regarding complexity of evaluation, we prove that given an RDF graph G and a nested regular expression E, this problem can be solved in time O(|G||E|). 相似文献
37.
Mitsuo Takaki Diego Cavalcanti Rohit Gheyi Juliano Iyoda Marcelo d’Amorim Ricardo B. C. Prudêncio 《Innovations in Systems and Software Engineering》2010,6(3):243-253
The complexity of constraints is a major obstacle for constraint-based software verification. Automatic constraint solvers are fundamentally incomplete: input constraints often build on some undecidable theory or some theory the solver does not support. This paper proposes and evaluates several randomized solvers to address this issue. We compared the effectiveness of a symbolic solver (CVC3), a random solver, two heuristic search solvers, and seven hybrid solvers (i.e. mix of random, symbolic, and heuristic solvers). We evaluated the solvers on a benchmark generated with a concolic execution of 9 subjects. The performance of each solver was measured by its precision, which is the fraction of constraints that the solver can find solution out of the total number of constraints that some solver can find solution. As expected, symbolic solving subsumes the other approaches for the 4 subjects that only generate decidable constraints. For the remaining 5 subjects, which contain undecidable constraints, the hybrid solvers achieved the highest precision (fraction of constraints that a solver can find a solution out of the total number of satisfiable constraints). We also observed that the solvers were complementary, which suggests that one should alternate their use in iterations of a concolic execution driver. 相似文献
38.
The interconnect mechanisms (shared bus or crossbar) used in current chip-multiprocessors (CMPs) are expected to become a
bottleneck that prevents these architectures from scaling to a larger number of cores. Tiled CMPs offer better scalability
by integrating relatively simple cores with a lightweight point-to-point interconnect. However, such interconnects make snooping
impractical and, thus, require alternative solutions to cache coherence. In this article, we investigate a novel, cost-effective
mechanism to support shared-memory parallel applications that forgoes hardware maintained cache coherence. This mechanism
is based on the key ideas that mapping of lines to physical caches is done at the page level with OS support and that hardware
supports remote cache accesses. We extend our previous work by investigating in detail the impact of system design parameters
and extending the system to support multi-level cache hierarchies. Results show that the choice of implementation of multi-level
cache hierarchies can have a significant impact on performance. 相似文献
39.
Context
It is important for Product Line Architectures (PLA) to remain stable accommodating evolutionary changes of stakeholder’s requirements. Otherwise, architectural modifications may have to be propagated to products of a product line, thereby increasing maintenance costs. A key challenge is that several features are likely to exert a crosscutting impact on the PLA decomposition, thereby making it more difficult to preserve its stability in the presence of changes. Some researchers claim that the use of aspects can ameliorate instabilities caused by changes in crosscutting features. Hence, it is important to understand which aspect-oriented (AO) and non-aspect-oriented techniques better cope with PLA stability through evolution.Objective
This paper evaluates the positive and negative change impact of component and aspect based design on PLAs. The objective of the evaluation is to assess how aspects and components promote PLA stability in the presence of various types of evolutionary change. To support a broader analysis, we also evaluate the PLA stability of a hybrid approach (i.e. combined use of aspects and components) against the isolated use of component-based, OO, and AO approaches.Method
An quantitative and qualitative analysis of PLA stability which involved four different implementations of a PLA: (i) an OO implementation, (ii) an AO implementation, (iii) a component-based implementation, and (iv) a hybrid implementation where both components and aspects are employed. Each implementation has eight releases and they are functionally equivalent. We used conventional metrics suites for change impact and modularity to measure the architecture stability evaluation of the 4 implementations.Results
The combination of aspects and components promotes superior PLA resilience than the other PLAs in most of the circumstances.Conclusion
It is concluded that the combination of aspects and components supports the design of high cohesive and loosely coupled PLAs. It also contributes to improve modularity by untangling feature implementation. 相似文献40.
Collaborative learning environments provide a set of tools for students acting in groups to interact and accomplish an assigned task. In this kind of systems, students are free to express and communicate with each other, which usually lead to collaboration and communication problems that may require the intervention of a teacher. In this article, we introduce an intelligent agent approach to assist teachers through monitoring participations made by students within a collaborative distance learning environment, detecting conflictive situations in which a teacher’s intervention may be necessary. High precision rates achieved on conflict detection scenarios suggest great potential for the application of the proposed rule-based approach for providing personalized assistance to teachers during the development of group works. 相似文献