全文获取类型
收费全文 | 2079篇 |
免费 | 172篇 |
国内免费 | 5篇 |
专业分类
电工技术 | 28篇 |
化学工业 | 612篇 |
金属工艺 | 35篇 |
机械仪表 | 84篇 |
建筑科学 | 62篇 |
矿业工程 | 6篇 |
能源动力 | 123篇 |
轻工业 | 285篇 |
水利工程 | 14篇 |
石油天然气 | 20篇 |
无线电 | 155篇 |
一般工业技术 | 325篇 |
冶金工业 | 134篇 |
原子能技术 | 25篇 |
自动化技术 | 348篇 |
出版年
2024年 | 6篇 |
2023年 | 26篇 |
2022年 | 62篇 |
2021年 | 105篇 |
2020年 | 67篇 |
2019年 | 88篇 |
2018年 | 98篇 |
2017年 | 100篇 |
2016年 | 87篇 |
2015年 | 62篇 |
2014年 | 99篇 |
2013年 | 195篇 |
2012年 | 151篇 |
2011年 | 169篇 |
2010年 | 130篇 |
2009年 | 126篇 |
2008年 | 111篇 |
2007年 | 78篇 |
2006年 | 76篇 |
2005年 | 42篇 |
2004年 | 42篇 |
2003年 | 40篇 |
2002年 | 34篇 |
2001年 | 29篇 |
2000年 | 17篇 |
1999年 | 16篇 |
1998年 | 33篇 |
1997年 | 26篇 |
1996年 | 17篇 |
1995年 | 10篇 |
1994年 | 12篇 |
1993年 | 18篇 |
1992年 | 14篇 |
1991年 | 3篇 |
1990年 | 17篇 |
1989年 | 8篇 |
1988年 | 9篇 |
1987年 | 8篇 |
1986年 | 1篇 |
1985年 | 5篇 |
1983年 | 5篇 |
1982年 | 2篇 |
1980年 | 2篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1977年 | 3篇 |
1976年 | 1篇 |
1974年 | 1篇 |
1931年 | 1篇 |
排序方式: 共有2256条查询结果,搜索用时 597 毫秒
51.
52.
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|). 相似文献
53.
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. 相似文献
54.
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. 相似文献
55.
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. 相似文献56.
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. 相似文献
57.
In this paper we design an interval observer for the estimation of unmeasured variables of uncertain bioreactors. The observer is based on a bounded error observer, as proposed in [Lemesle, V., & Gouzé, J.-L. (2005). Hybrid bounded error observers for uncertain bioreactor models. Bioprocess and Biosystems Engineering, 27, 311-318], that makes use of a loose approximation of the bacterial kinetics. We first show how to generate guaranteed upper and lower bounds on the state, provided that known intervals for the initial condition and the uncertainties are available. These so-called framers depend on a tuning gain. They can be run in parallel and the envelope provides the best estimate. An optimality criterion is introduced leading to the definition of an optimal observer. We show that this criterion provides directly a gain set containing the best framers. The method is applied to the estimation of the total biomass of an industrial wastewater treatment plant, demonstrating its efficiency. 相似文献
58.
Marcelo Godoy Simões Tiago Davi Curi Busarello Abdullah Saad Bubshait Farnaz Harirchi José Antenor Pomilio Frede Blaabjerg 《International journal of control》2016,89(4):850-870
This paper presents interactive smart battery-based storage (BBS) for wind generator (WG) and photovoltaic (PV) systems. The BBS is composed of an asymmetric cascaded H-bridge multilevel inverter (ACMI) with staircase modulation. The structure is parallel to the WG and PV systems, allowing the ACMI to have a reduction in power losses compared to the usual solution for storage connected at the DC-link of the converter for WG or PV systems. Moreover, the BBS is embedded with a decision algorithm running real-time energy costs, plus a battery state-of-charge manager and power quality capabilities, making the described system in this paper very interactive, smart and multifunctional. The paper describes how BBS interacts with the WG and PV and how its performance is improved. Experimental results are presented showing the efficacy of this BBS for renewable energy applications. 相似文献
59.
In this paper we present a method for the calibration of multiple cameras based on the extraction and use of the physical characteristics of a one-dimensional invariant pattern which is defined by four collinear markers. The advantages of this kind of pattern stand out in two key steps of the calibration process. In the initial step of camera calibration methods, related to sample points capture, the proposed method takes advantage of using a new technique for the capture and recognition of a robust sample of projective invariant patterns, which allows to capture simultaneously more than one invariant pattern in the tracking area and recognize each pattern individually as well as each marker that composes them. This process is executed in real time while capturing our sample of calibration points in the cameras of our system. This new feature allows to capture a more numerous and robust set of sample points than other patterns used for multi-camera calibration methods. In the last step of the calibration process, related to camera parameters' optimization, we explore the collinearity feature of the invariant pattern and add this feature in the camera parameters optimization model. This approach obtains better results in the computation of camera parameters. We present the results obtained with the calibration of two multi-camera systems using the proposed method and compare them with other methods from the literature. 相似文献
60.
Mario A. S. Lizi��r Marcelo F. Siqueira Joel Daniels II Claudio T. Silva L. Gustavo Nonato 《The Visual computer》2011,27(10):887-903
This paper describes a novel template-based meshing approach for generating good quality quadrilateral meshes from 2D digital
images. This approach builds upon an existing image-based mesh generation technique called Imeshp, which enables us to create a segmented triangle mesh from an image without the need for an image segmentation step. Our
approach generates a quadrilateral mesh using an indirect scheme, which converts the segmented triangle mesh created by the
initial steps of the Imesh technique into a quadrilateral one. The triangle-to-quadrilateral conversion makes use of template meshes of triangles. To
ensure good element quality, the conversion step is followed by a smoothing step, which is based on a new optimization-based
procedure. We show several examples of meshes generated by our approach, and present a thorough experimental evaluation of
the quality of the meshes given as examples. 相似文献