全文获取类型
收费全文 | 2017篇 |
免费 | 163篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 24篇 |
综合类 | 2篇 |
化学工业 | 556篇 |
金属工艺 | 44篇 |
机械仪表 | 33篇 |
建筑科学 | 82篇 |
矿业工程 | 1篇 |
能源动力 | 72篇 |
轻工业 | 241篇 |
水利工程 | 6篇 |
石油天然气 | 2篇 |
无线电 | 211篇 |
一般工业技术 | 402篇 |
冶金工业 | 60篇 |
原子能技术 | 36篇 |
自动化技术 | 414篇 |
出版年
2024年 | 1篇 |
2023年 | 20篇 |
2022年 | 48篇 |
2021年 | 66篇 |
2020年 | 52篇 |
2019年 | 45篇 |
2018年 | 63篇 |
2017年 | 72篇 |
2016年 | 67篇 |
2015年 | 78篇 |
2014年 | 103篇 |
2013年 | 162篇 |
2012年 | 138篇 |
2011年 | 223篇 |
2010年 | 146篇 |
2009年 | 136篇 |
2008年 | 128篇 |
2007年 | 88篇 |
2006年 | 90篇 |
2005年 | 80篇 |
2004年 | 59篇 |
2003年 | 63篇 |
2002年 | 45篇 |
2001年 | 25篇 |
2000年 | 20篇 |
1999年 | 29篇 |
1998年 | 22篇 |
1997年 | 13篇 |
1996年 | 24篇 |
1995年 | 8篇 |
1994年 | 17篇 |
1993年 | 15篇 |
1992年 | 9篇 |
1991年 | 5篇 |
1990年 | 4篇 |
1989年 | 1篇 |
1988年 | 2篇 |
1987年 | 2篇 |
1986年 | 3篇 |
1984年 | 3篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1977年 | 1篇 |
1976年 | 2篇 |
1975年 | 1篇 |
1974年 | 1篇 |
排序方式: 共有2186条查询结果,搜索用时 15 毫秒
21.
A review of smart homes- present state and future challenges 总被引:5,自引:0,他引:5
In the era of information technology, the elderly and disabled can be monitored with numerous intelligent devices. Sensors can be implanted into their home for continuous mobility assistance and non-obtrusive disease prevention. Modern sensor-embedded houses, or smart houses, cannot only assist people with reduced physical functions but help resolve the social isolation they face. They are capable of providing assistance without limiting or disturbing the resident's daily routine, giving him or her greater comfort, pleasure, and well-being. This article presents an international selection of leading smart home projects, as well as the associated technologies of wearable/implantable monitoring systems and assistive robotics. The latter are often designed as components of the larger smart home environment. The paper will conclude by discussing future challenges of the domain. 相似文献
22.
Behaviour based on decision matrices for a coordination between agents in a urban traffic simulation
René Mandiau Alexis Champion Jean-Michel Auberlet Stéphane Espié Christophe Kolski 《Applied Intelligence》2008,28(2):121-138
This paper describes a multi-agent coordination mechanism applied to intersection simulation situations. In a goal of urban
traffic simulation, we must consider the dynamic interactions between autonomous vehicles. The field of multi-agent systems
provides us some studies for such systems, in particular on the coordination mechanisms. Conflicts between vehicles (i.e.
agents) are very frequent in such applications, and they may cause deadlocks, particularly at intersections such as crossroads.
Our approach is based on the solving of two player games/decision matrices which characterize three basic situations. An aggregation
method generalizes to n-player games for complex crossroads. The objective of this approach consists in searching basic two-player
matrices for solving n-agent problems. To explain the principle, we describe our approach for a particular case of crossroad
with three agents. Finally, the obtained results have been examined via a tool of road traffic simulation, ARCHISIM. We assume
also that the global traffic replicates the behavior of agents in different situations. 相似文献
23.
To improve the efficiency and the quality of a service, a network operator may consider deploying a peer-to-peer architecture among controlled peers, also called here nano data centers, which contrast with the churn and resource heterogeneity of peers in uncontrolled environments. In this paper, we consider a prevalent peer-to-peer application: live video streaming. We demonstrate how nano data centers can take advantage of the self-scaling property of a peer-to-peer architecture, while significantly improving the quality of a live video streaming service, allowing smaller delays and fast channel switching. We introduce the branching architecture for nano datacenters (BAND), where a user can “pull” content from a channel of interest, or content could be “pushed” to it for relaying to other interested users. We prove that there exists an optimal trade-off point between minimizing the number of push, or the number of relaying nodes, and maintaining a robust topology as the number of channels and users get large, which allows scalability. We analyze the performance of content dissemination as users switch between channels, creating migration of nodes in the tree, while flow control insures continuity of data transmission. We prove that this p2p architecture guarantees a throughput independently of the size of the group. Analysis and evaluation of the model demonstrate that pushing content to a small number of relay nodes can have significant performance gains in throughput, start-up time, playback lags and channel switching delays. 相似文献
24.
Bernarde C Khoder G Lehours P Burucoa C Fauchère JL Delchier JC Mégraud F Atanassov C 《Proteomics. Clinical applications》2009,3(6):672-681
To date no reliable diagnostic method exists to predict, among the very large and clinically heterogeneous group of Helicobacter pylori‐infected patients, the extremely small group at risk for developing low‐grade gastric MALT lymphoma (LG‐MALT). Search of proteomic biomarkers holds promise for the classification of the H. pylori strains with regard to this severe clinical outcome. In the present study 69 H. pylori strains isolated from patients with two different H. pylori‐associated diseases, duodenal ulcer (DU, n=29) and LG‐MALT (n=40) were used. Protein expression patterns of the strains were analyzed by using the high‐throughput methodology SELDI. Selected proteins were purified by means of chromatographic and electrophoretic methods in view of further sequencing by LC‐MS/MS. Univariate analysis (Mann–Whitney test) of the protein expression patterns generated nine significant biomarkers that can discriminate between H. pylori strains from patients with DU and LG‐MALT. These biomarkers are of low molecular weight, ranging from 6 to 26.6 kDa. Among them, two are overexpressed in LG‐MALT strains and seven – in DU strains. Two biomarker proteins, one overexpressed in LG‐MALT strains (13.2 kDa) and another one – overexpressed in DU strains (26.6 kDa), were purified to homogeneity and identified by using LC‐MS/MS as a 50S ribosomal protein L7/L12 and a urease subunit, respectively. These biomarkers can be included in novel protein arrays for the differential diagnosis of H. pylori‐associated clinical outcomes. 相似文献
25.
Sheng Ying Zohar Yoni Ringeissen Christophe Lange Jane Fontaine Pascal Barrett Clark 《Journal of Automated Reasoning》2022,66(3):331-355
Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its... 相似文献
26.
27.
Elena Lopez Adrien Leygue Emmanuelle Abisset-Chavanne Sebastien Comas-Cardona Christophe Aufrere Christophe Binetruy Francisco Chinesta 《International Journal of Material Forming》2017,10(3):317-328
The fundamental macroscopic material property needed to quantify the flow in a fibrous medium viewed as a porous medium is the permeability. Composite processing models require the permeability as input data to predict flow patterns and pressure fields. As permeability reflects both the magnitude and anisotropy of the fluid/fiber resistance, efficient numerical techniques are needed to solve linear and nonlinear homogenization problems online during the flow simulation. In a previous work the expressions of macroscopic permeability were derived in a double-scale porosity medium for both Newtonian and rheo-thinning resins. In the linear case only a microscopic calculation on a representative volume is required, implying as many microscopic calculations as representative microscopic volumes exist in the whole fibrous structure. In the non-linear case, and even when the porous microstructure can be described by a unique representative volume, microscopic calculation must be carried out many times because the microscale resin viscosity depends on the macroscopic velocity, which in turn depends on the permeability that results from a microscopic calculation. Thus, a nonlinear multi-scale problem results. In this paper an original and efficient offline-online procedure is proposed for the efficient solution of nonlinear flow problems in porous media. 相似文献
28.
In Malenfant et al. [19], we have described a reflective model for a prototype-based language based on thelookup o apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide a clear declarative account of this reflective protocol. The PRS also appears as a meta-level to the base language, independent of the implementation, but from which we derive fundamental clues to obtain an efficient language processor. By our new model, we finally highlight the link between reflection in object-oriented languages and the one originally proposed by 3-Lisp [24], although object-orientation provides reusability to reflection, making it easier to use. 相似文献
29.
Nominal terms generalise first-order terms by including abstraction and name swapping constructs. α-equivalence can be easily axiomatised using name swappings and a freshness relation, which makes the nominal approach well adapted to the specification of systems that involve binders. Nominal matching is matching modulo α-equivalence and has applications in programming languages, rewriting, and theorem proving. In this paper, we describe efficient algorithms to check the validity of equations involving binders and to solve matching problems modulo α-equivalence, using the nominal approach. 相似文献
30.
Christian Bessiere Stéphane Cardon Romuald Debruyne Christophe Lecoutre 《Constraints》2011,16(1):25-53
In this paper, we propose two original and efficient approaches for enforcing singleton arc consistency. In the first one,
the data structures used to enforce arc consistency are shared between all subproblems where a domain is reduced to a singleton.
This new algorithm is not optimal but it requires far less space and is often more efficient in practice than the optimal
algorithm SAC-Opt. In the second approach, we perform several runs of a greedy search (where at each step, arc consistency
is maintained), possibly detecting the singleton arc consistency of several values in one run. It is an original illustration
of applying inference (i.e., establishing singleton arc consistency) by search. Using a greedy search allows benefiting from
the incrementality of arc consistency, learning relevant information from conflicts and, potentially finding solution(s) during
the inference process. We present extensive experiments that show the benefit of our two approaches. 相似文献