全文获取类型
收费全文 | 764篇 |
免费 | 35篇 |
专业分类
电工技术 | 13篇 |
化学工业 | 183篇 |
金属工艺 | 13篇 |
机械仪表 | 17篇 |
建筑科学 | 23篇 |
能源动力 | 30篇 |
轻工业 | 41篇 |
水利工程 | 3篇 |
石油天然气 | 2篇 |
无线电 | 116篇 |
一般工业技术 | 140篇 |
冶金工业 | 91篇 |
原子能技术 | 4篇 |
自动化技术 | 123篇 |
出版年
2024年 | 2篇 |
2023年 | 10篇 |
2022年 | 20篇 |
2021年 | 29篇 |
2020年 | 14篇 |
2019年 | 14篇 |
2018年 | 18篇 |
2017年 | 14篇 |
2016年 | 29篇 |
2015年 | 26篇 |
2014年 | 43篇 |
2013年 | 53篇 |
2012年 | 32篇 |
2011年 | 54篇 |
2010年 | 37篇 |
2009年 | 33篇 |
2008年 | 41篇 |
2007年 | 39篇 |
2006年 | 35篇 |
2005年 | 23篇 |
2004年 | 31篇 |
2003年 | 26篇 |
2002年 | 13篇 |
2001年 | 8篇 |
2000年 | 7篇 |
1999年 | 6篇 |
1998年 | 17篇 |
1997年 | 21篇 |
1996年 | 8篇 |
1995年 | 7篇 |
1994年 | 5篇 |
1993年 | 10篇 |
1992年 | 3篇 |
1991年 | 4篇 |
1990年 | 8篇 |
1989年 | 2篇 |
1988年 | 6篇 |
1987年 | 3篇 |
1986年 | 4篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1980年 | 4篇 |
1979年 | 2篇 |
1977年 | 3篇 |
1976年 | 14篇 |
1975年 | 3篇 |
1972年 | 2篇 |
1968年 | 1篇 |
排序方式: 共有799条查询结果,搜索用时 15 毫秒
1.
Vincent Cantarel David Lambertin Arnaud Poulesquen Fabrice Leroux Guillaume Renaudin Fabien Frizon 《Ceramics International》2018,44(9):10558-10568
This work investigates emulsion templating to synthesize hexadecane oil/geopolymer composites. In a system with hexadecane as the internal (dispersed) phase and an alkali activated continuous phase without added surfactant, adding aluminosilicate clay particles does not increase resistance against creaming or coalescence, while adding a surfactant (L35 or CTAB) stabilizes the solid-liquid interface. Infrared studies and rheological studies of the associated geopolymerization determined that the presence of the organic phase or surfactant has no significant effect on the geopolymerization kinetics, as determined by the change in time of the Si-O-T IR stretching frequency and the rheological moduli involved during the process. The stabilization of the organic template is reminiscent of Pickering emulsion even though we employ a much greater amount of inorganic material for geopolymer formation. Although the addition of surfactant has a significant effect on the behavior of the paste, the percolation of the network remains unmodified, highlighting the fact that the phenomenon is not dependent on viscosity. Finally, rheological measurements were used to obtain the mass fractal dimension of the as-made gel network, which is able to differentiate the interfacial effect between surfactant molecules with a slightly denser interphase when a cationic surfactant is used. 相似文献
2.
In this work we present the discrete models for dynamic fracture of structures built of brittle materials. The models construction is based on Voronoi cell representation of the heterogeneous structure, with the beam lattice network used to model the cohesive and compressive forces between the neighboring cells. Each lattice component is a geometrically exact shear deformable beam which can describe large rigid body motion and the most salient fracture mechanisms. The latter can be represented through the corresponding form of the beam constitutive equations, which are derived either at microscale with random distribution of material properties or at a mesoscale with average deterministic values. The proposed models are also placed within the framework of dynamics, where special attention is paid to constructing the lattice network mass matrix as well as the corresponding time-stepping schemes. Numerical simulations of compression and bending tests is given to illustrate the models performance. 相似文献
3.
Arnaud C. Feron P. Boustimi M. Grosso P. Bosc D. Guignard P. 《Electronics letters》2003,39(17):1249-1250
Numerical results on polymer surrounded by an air micro-ring coupled to waveguides are presented. The FDTD method predicts a filter width of 1.4 nm and an extraction efficiency of almost 80% for a gap of 0.15 /spl mu/m. 相似文献
4.
5.
6.
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural class of infinite automata representing their observable computational behavior, called linearly bounded graphs. These automata naturally accept the same languages as the linearly bounded machines defining them. We present some of their structural properties as well as alternative characterizations in terms of rewriting systems and context-sensitive transductions. Finally, we compare these graphs to rational graphs, which are another class of automata accepting the context-sensitive languages, and prove that in the bounded-degree case, rational graphs are a strict sub-class of linearly bounded graphs.A preliminary version of this article appeared in MFCS 2005. 相似文献
7.
A multiparameter wearable physiologic monitoring system for space and terrestrial applications. 总被引:4,自引:0,他引:4
Carsten W Mundt Kevin N Montgomery Usen E Udoh Valerie N Barker Guillaume C Thonier Arnaud M Tellier Robert D Ricks Robert B Darling Yvonne D Cagle Nathalie A Cabrol Stephen J Ruoss Judith L Swain John W Hines Gregory T A Kovacs 《IEEE transactions on information technology in biomedicine》2005,9(3):382-391
A novel, unobtrusive and wearable, multiparameter ambulatory physiologic monitoring system for space and terrestrial applications, termed LifeGuard, is presented. The core element is a wearable monitor, the crew physiologic observation device (CPOD), that provides the capability to continuously record two standard electrocardiogram leads, respiration rate via impedance plethysmography, heart rate, hemoglobin oxygen saturation, ambient or body temperature, three axes of acceleration, and blood pressure. These parameters can be digitally recorded with high fidelity over a 9-h period with precise time stamps and user-defined event markers. Data can be continuously streamed to a base station using a built-in Bluetooth RF link or stored in 32 MB of on-board flash memory and downloaded to a personal computer using a serial port. The device is powered by two AAA batteries. The design, laboratory, and field testing of the wearable monitors are described. 相似文献
8.
Machine Learning - Probabilistic logic programming (PLP) combines logic programs and probabilities. Due to its expressiveness and simplicity, it has been considered as a powerful tool for learning... 相似文献
9.
The success of several constraint-based modeling languages such as OPL, ZINC or COMET, appeals for better software engineering
practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation
for constraint programming. We propose a general framework of constraint program development which supposes that a first declarative
and simple constraint model is available from the problem specifications analysis. Then, this model is refined using classical
techniques such as constraint reformulation, surrogate, redundant, implied, global constraint and symmetry-breaking to form
an improved constraint model that must be thoroughly tested before being used to address real-sized problems. We think that
most of the faults are introduced in this refinement step and propose a process which takes the first declarative model as
an oracle for detecting non-conformities and derive practical test purposes from this process. We implemented this approach
in a new tool called CPTEST that was used to automatically detect non-conformities on classical benchmark programs, such as the Golomb rulers, n-queens,
social golfer and the car-sequencing problems. 相似文献
10.
Patrick Heymans Quentin Boucher Andreas Classen Arnaud Bourdoux Laurent Demonceau 《International Journal on Software Tools for Technology Transfer (STTT)》2012,14(5):553-566
Software product line engineering seeks to systematise reuse when developing families of similar software systems so as to minimise development time, cost and defects. To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these might require unaffordable paradigm shifts for developers if the software was not thought at the outset as a product line. Furthermore, these techniques can be conflicting with a company’s coding practices or external regulations. These concerns were the motivation for the industry–university collaboration described in this paper in which we developed a minimally intrusive coding technique based on tags. The approach was complemented with traceability from code to feature diagrams which were exploited for automated configuration. It is supported by a toolchain and is now in use in the partner company for the development of flight-grade satellite communication software libraries. 相似文献