全文获取类型
收费全文 | 1286篇 |
免费 | 97篇 |
专业分类
电工技术 | 16篇 |
综合类 | 6篇 |
化学工业 | 362篇 |
金属工艺 | 30篇 |
机械仪表 | 35篇 |
建筑科学 | 63篇 |
矿业工程 | 2篇 |
能源动力 | 28篇 |
轻工业 | 250篇 |
水利工程 | 9篇 |
石油天然气 | 12篇 |
无线电 | 47篇 |
一般工业技术 | 181篇 |
冶金工业 | 169篇 |
原子能技术 | 5篇 |
自动化技术 | 168篇 |
出版年
2024年 | 2篇 |
2023年 | 11篇 |
2022年 | 26篇 |
2021年 | 68篇 |
2020年 | 42篇 |
2019年 | 52篇 |
2018年 | 62篇 |
2017年 | 59篇 |
2016年 | 60篇 |
2015年 | 58篇 |
2014年 | 45篇 |
2013年 | 88篇 |
2012年 | 76篇 |
2011年 | 94篇 |
2010年 | 61篇 |
2009年 | 78篇 |
2008年 | 52篇 |
2007年 | 50篇 |
2006年 | 39篇 |
2005年 | 41篇 |
2004年 | 30篇 |
2003年 | 16篇 |
2002年 | 27篇 |
2001年 | 17篇 |
2000年 | 9篇 |
1999年 | 15篇 |
1998年 | 36篇 |
1997年 | 30篇 |
1996年 | 28篇 |
1995年 | 17篇 |
1994年 | 13篇 |
1993年 | 15篇 |
1992年 | 6篇 |
1991年 | 5篇 |
1990年 | 7篇 |
1989年 | 4篇 |
1988年 | 4篇 |
1987年 | 5篇 |
1985年 | 5篇 |
1984年 | 3篇 |
1982年 | 4篇 |
1981年 | 2篇 |
1979年 | 3篇 |
1978年 | 2篇 |
1977年 | 4篇 |
1976年 | 5篇 |
1975年 | 1篇 |
1973年 | 1篇 |
1963年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有1383条查询结果,搜索用时 46 毫秒
31.
We present a deterministic kinetic data structure for the facility location problem that maintains a subset of the moving
points as facilities such that, at any point of time, the accumulated cost for the whole point set is at most a constant factor
larger than the optimal cost. In our scenario, each point can change its status between client and facility and moves continuously
along a known trajectory in a d-dimensional Euclidean space, where d is a constant. 相似文献
32.
33.
Caio César Mori Carélo Ives Renê Venturini Pola Ricardo Rodrigues Ciferri Agma Juci Machado Traina Caetano Traina Jr Cristina Dutra de Aguiar Ciferri 《Information Systems》2011
Searching in a dataset for elements that are similar to a given query element is a core problem in applications that manage complex data, and has been aided by metric access methods (MAMs). A growing number of applications require indices that must be built faster and repeatedly, also providing faster response for similarity queries. The increase in the main memory capacity and its lowering costs also motivate using memory-based MAMs. In this paper, we propose the Onion-tree, a new and robust dynamic memory-based MAM that slices the metric space into disjoint subspaces to provide quick indexing of complex data. It introduces three major characteristics: (i) a partitioning method that controls the number of disjoint subspaces generated at each node; (ii) a replacement technique that can change the leaf node pivots in insertion operations; and (iii) range and k-NN extended query algorithms to support the new partitioning method, including a new visit order of the subspaces in k-NN queries. Performance tests with both real-world and synthetic datasets showed that the Onion-tree is very compact. Comparisons of the Onion-tree with the MM-tree and a memory-based version of the Slim-tree showed that the Onion-tree was always faster to build the index. The experiments also showed that the Onion-tree significantly improved range and k-NN query processing performance and was the most efficient MAM, followed by the MM-tree, which in turn outperformed the Slim-tree in almost all the tests. 相似文献
34.
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. 相似文献35.
Ricardo Enrique Gutiérrez-Carvajal João Maurício Rosário J.A. Tenreiro Machado 《International journal of systems science》2016,47(9):2169-2177
While fractional calculus (FC) is as old as integer calculus, its application has been mainly restricted to mathematics. However, many real systems are better described using FC equations than with integer models. FC is a suitable tool for describing systems characterised by their fractal nature, long-term memory and chaotic behaviour. It is a promising methodology for failure analysis and modelling, since the behaviour of a failing system depends on factors that increase the model’s complexity. This paper explores the proficiency of FC in modelling complex behaviour by tuning only a few parameters. This work proposes a novel two-step strategy for diagnosis, first modelling common failure conditions and, second, by comparing these models with real machine signals and using the difference to feed a computational classifier. Our proposal is validated using an electrical motor coupled with a mechanical gear reducer. 相似文献
36.
Christiane Jasmin Reinert‐Weiss Holger Baur Sheikh Abdullah Al Nusayer David Duhme Norbert Frühauf 《Journal of the Society for Information Display》2017,25(2):90-97
Conventional adaptive driving beam headlamps are limited in achieving still higher quantities of switchable pixels by the number of LEDs and movable elements needed. In this paper, it is shown that by integrating an active matrix liquid crystal display module, it is possible to realize fully adaptive high‐resolution headlights without mechanical elements and a finite number of LED with 30 k switchable pixels. 相似文献
37.
This paper presents a new bio-inspired algorithm (FClust) that dynamically creates and visualizes groups of data. This algorithm uses the concepts of a flock of agents that move together in a complex manner with simple local rules. Each agent represents one data. The agents move together in a 2D environment with the aim of creating homogeneous groups of data. These groups are visualized in real time, and help the domain expert to understand the underlying structure of the data set, like for example a realistic number of classes, clusters of similar data, isolated data. We also present several extensions of this algorithm, which reduce its computational cost, and make use of a 3D display. This algorithm is then tested on artificial and real-world data, and a heuristic algorithm is used to evaluate the relevance of the obtained partitioning. 相似文献
38.
39.
This guide is for authors who are preparing papers forFormal Aspects of Computing using the \(LaT_E X\) document preparation system and the FAC style file. 相似文献
40.
Wilkerson?L.?AndradeEmail author Patrícia?D.?L.?Machado 《Formal Aspects of Computing》2012,24(3):331-353
Modelling and testing of reactive systems with interruptions are discussed. These systems are commonly found in portable devices,
where interruptions to a running application can be demanded at any time, due to concurrent execution of processes sharing
a single resource, such as screen, as well as arrival of calls from network distributed services. Since the possible number
of combinations of allowed interruptions is large, proper test case selection activities need to be performed. But, in order
to systematically investigate and select test cases, it is fundamental to explicitly model interruption behaviour in a compositional
way, avoiding the need for explicit enumeration. This work presents a strategy for testing interruptions in reactive systems
that covers modelling for testing of systems with interruptions, generation and selection of sound test cases. The strategy
is supported by the LTS-BT tool. Moreover, a formal model of an environment devoted to execution of test cases with interruptions
is presented. Finally, a case study illustrates its applicability in the mobile phone application domain. 相似文献