全文获取类型
收费全文 | 1602篇 |
免费 | 102篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 14篇 |
化学工业 | 500篇 |
金属工艺 | 24篇 |
机械仪表 | 67篇 |
建筑科学 | 45篇 |
矿业工程 | 6篇 |
能源动力 | 98篇 |
轻工业 | 192篇 |
水利工程 | 12篇 |
石油天然气 | 17篇 |
无线电 | 128篇 |
一般工业技术 | 245篇 |
冶金工业 | 66篇 |
原子能技术 | 11篇 |
自动化技术 | 282篇 |
出版年
2024年 | 3篇 |
2023年 | 28篇 |
2022年 | 61篇 |
2021年 | 75篇 |
2020年 | 52篇 |
2019年 | 72篇 |
2018年 | 59篇 |
2017年 | 79篇 |
2016年 | 70篇 |
2015年 | 42篇 |
2014年 | 78篇 |
2013年 | 153篇 |
2012年 | 113篇 |
2011年 | 139篇 |
2010年 | 108篇 |
2009年 | 103篇 |
2008年 | 85篇 |
2007年 | 71篇 |
2006年 | 66篇 |
2005年 | 36篇 |
2004年 | 32篇 |
2003年 | 31篇 |
2002年 | 22篇 |
2001年 | 18篇 |
2000年 | 13篇 |
1999年 | 9篇 |
1998年 | 9篇 |
1997年 | 11篇 |
1996年 | 10篇 |
1995年 | 6篇 |
1994年 | 5篇 |
1993年 | 8篇 |
1992年 | 8篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1989年 | 4篇 |
1988年 | 4篇 |
1987年 | 5篇 |
1985年 | 3篇 |
1983年 | 2篇 |
1979年 | 3篇 |
1978年 | 3篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1974年 | 1篇 |
排序方式: 共有1707条查询结果,搜索用时 15 毫秒
21.
22.
23.
24.
Luci Pirmez Jaime C. Carvalho Flávia C. Delicato Fábio Protti Luiz F.R.C. Carmo Paulo F. Pires Marcos Pirmez 《Computer Networks》2010,54(13):2117-2136
This work presents SUTIL, a mechanism for network selection in the context of next generation networks (NGN). SUTIL selection mechanism prioritizes networks with higher relevance to the application and lower energy consumption and it enables full and seamless connectivity to mobile user devices and applications. Consequently, SUTIL contributes to realize the vision of ubiquitous computing, in which services, devices, and sensor-enriched environments interact anytime, anywhere to accomplish human designed tasks. The provided solution is based on utility function and integer linear programming and it aims at: (i) maximizing the user satisfaction while meeting application QoS and (ii) minimizing the energy consumption of devices when connecting to a target network. The solution is global since it considers for a given base station all devices that are simultaneously candidate for handoff. Simulation results showed the benefits of SUTIL usage in NGN environments. 相似文献
25.
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|). 相似文献
26.
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. 相似文献
27.
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. 相似文献
28.
J. P. Carmo M. F. Silva J. F. Ribeiro R. F. Wolffenbuttel P. Alpuim J. G. Rocha L. M. Gon?alves J. H. Correia 《Microsystem Technologies》2011,17(8):1283-1291
This paper presents an approach for generating a well-defined cooling pattern over an area of tissue. An array of solid-state
microcoolers is used, which could be included in a probe that provides local cooling. This medical instrument can be used
for removal of scar tissue in the eye or for the rapid stopping of bleeding due to micro-cuts, which makes it a useful tool
to medical doctors and could make surgery more secure to the patient. The array of microcoolers is composed of 64 independent
thermo-electric elements, each controlled using an integrated circuit designed in CMOS. The independent control allows the
flexible programming of the surface temperature profile. This type of control is very suitable in case abrupt temperature
steps should be avoided. Cooling by lateral heat flow was selected in order to minimize the influence of heat by dissipation
from the electronic circuits. Moreover, a thermo-electric component with lateral heat allows fabrication of the cooling elements
using planar thin-film technology, lithography and wet etching on top of the silicon wafer. This approach is potentially CMOS
compatible, which would allow for the fabrication of the thermo-electric elements on top of a pre-fabricated CMOS wafer as
a post-process step. Each pixel is composed of thin-films of n-type bismuth telluride, Bi2Te3 and p-type antimony telluride, Sb2Te3, which are electrically interconnected as thermocouple. These materials have excellent thermoelectric characteristics, such
as thermoelectric figures-of-merit, ZT, at room temperatures of 0.84 and 0.5, respectively, which is equivalent to power-factors, PF, of 3.62 × 10−3 W K−1 m−2 and 2.81 × 10−3 W K−1 m−2, respectively. The theoretical study presented here demonstrates a cooling capability of 15°C at room temperature (300 K ≈ 27°C).
This cooling performance is sufficient to maintain a local tissue temperature at 25°C, which makes it suitable for the intended
application. A first prototype was successfully fabricated to demonstrate the concept. 相似文献
29.
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. 相似文献30.
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