全文获取类型
收费全文 | 2845篇 |
免费 | 84篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 58篇 |
综合类 | 4篇 |
化学工业 | 988篇 |
金属工艺 | 50篇 |
机械仪表 | 29篇 |
建筑科学 | 189篇 |
矿业工程 | 30篇 |
能源动力 | 32篇 |
轻工业 | 355篇 |
水利工程 | 10篇 |
石油天然气 | 1篇 |
无线电 | 147篇 |
一般工业技术 | 393篇 |
冶金工业 | 221篇 |
原子能技术 | 27篇 |
自动化技术 | 396篇 |
出版年
2022年 | 30篇 |
2021年 | 36篇 |
2020年 | 30篇 |
2019年 | 29篇 |
2018年 | 41篇 |
2017年 | 40篇 |
2016年 | 65篇 |
2015年 | 84篇 |
2014年 | 72篇 |
2013年 | 113篇 |
2012年 | 113篇 |
2011年 | 152篇 |
2010年 | 105篇 |
2009年 | 105篇 |
2008年 | 109篇 |
2007年 | 133篇 |
2006年 | 112篇 |
2005年 | 105篇 |
2004年 | 98篇 |
2003年 | 70篇 |
2002年 | 66篇 |
2001年 | 50篇 |
2000年 | 50篇 |
1999年 | 50篇 |
1998年 | 67篇 |
1997年 | 54篇 |
1996年 | 54篇 |
1995年 | 52篇 |
1994年 | 63篇 |
1993年 | 37篇 |
1992年 | 42篇 |
1991年 | 40篇 |
1990年 | 26篇 |
1989年 | 36篇 |
1988年 | 21篇 |
1987年 | 28篇 |
1986年 | 30篇 |
1985年 | 36篇 |
1984年 | 36篇 |
1983年 | 31篇 |
1982年 | 31篇 |
1981年 | 26篇 |
1980年 | 27篇 |
1978年 | 24篇 |
1977年 | 27篇 |
1976年 | 25篇 |
1975年 | 37篇 |
1974年 | 20篇 |
1973年 | 23篇 |
1970年 | 30篇 |
排序方式: 共有2930条查询结果,搜索用时 0 毫秒
31.
We study a motion planning problem where items have to be transported from the top room of a tower to the bottom of the tower, while simultaneously other items have to be transported in the opposite direction. Item sets are moved in two baskets hanging on a rope and pulley. To guarantee stability of the system, the weight difference between the contents of the two baskets must always stay below a given threshold. We prove that it is $\varPi_{2}^{p}$ -complete to decide whether some given initial situation of the underlying discrete system can lead to a given goal situation. Furthermore we identify several polynomially solvable special cases of this reachability problem, and we also settle the computational complexity of a number of related questions. 相似文献
32.
Cornelia Kappeler-Setz Franz Gravenhorst Johannes Schumm Bert Arnrich Gerhard Tröster 《Personal and Ubiquitous Computing》2013,17(2):261-271
Manic depression, also known as bipolar disorder, is a common and severe form of mental disorder. The European research project MONARCA aims at developing and validating mobile technologies for multi-parametric, long term monitoring of physiological and behavioral information relevant to bipolar disorder. One aspect of MONARCA is to investigate the long term monitoring of Electrodermal activity (EDA) to support the diagnosis and treatment of bipolar disorder patients. EDA is known as an indicator of the emotional state and the stress level of a person. To realize a long-term monitoring of the EDA, the integration of the sensor system in the shoe or sock is a promising approach. This paper presents a first step towards such a sensor system. In a feasibility study including 8 subjects, we investigate the correlation between EDA measurements at the fingers, which is the most established sensing site, with measurements of the EDA at the feet. The results indicate that 88% of the evoked skin conductance responses (SCRs) occur at both sensing sites. When using an action movie as psychophysiologically activating stimulus, we have found weaker reactivity in the foot than in the hand EDA. The results also suggest that the influence of moderate physical activity on EDA measurements is low and has a similar effect for both recording sites. This suggests that the foot recording location is suitable for recordings in daily life even in the presence of moderate movement. 相似文献
33.
TeraGrid Science Gateways and Their Impact on Science 总被引:1,自引:0,他引:1
Wilkins-Diehr Nancy Gannon Dennis Klimeck Gerhard Oster Scott Pamidighantam Sudhakar 《Computer》2008,41(11):32-41
The Science Gateways program seeks to provide researchers with easy access to TeraGrid's high-performance computing resources. A look at four successful gateways illustrates the program's goals, challenges, and opportunities. 相似文献
34.
Stella Clarke Gerhard Schillhuber Michael F. Zaeh Heinz Ulbrich 《Multimedia Systems》2008,13(4):253-261
The remote nature of telepresence scenarios can be seen as a strongpoint and also as a weakness. Although it enables the remote
control of robots in dangerous or inaccessible environments, it necessarily involves some kind of communication mechanism
for the transmission of control signals. This communication mechanism necessarily involves adverse network effects such as
delay. Three mechanisms aimed at improving the effects of network delay are presented in this paper: (1) Motion prediction
to partially compensate for network delays, (2) force prediction to learn a local force model, thereby reducing dependency
on delayed force signals, and (3) haptic data compression to reduce the required bandwidth of high frequency data. The utilized
motion prediction scheme was shown to improve operator performance, but had no influence on operator immersion. The force
prediction provided haptic feedback through synchronous forces from the local model, thereby stabilizing the control loop.
The developed haptic data compression scheme reduced the number of packets sent across the network by 90%, while improving
the quality of the haptic feedback. 相似文献
35.
Smart card technology has evolved over the last few years following notable improvements in the underlying hardware and software platforms. Advanced smart card microprocessors, along with robust smart card operating systems and platforms, contribute towards a broader acceptance of the technology. These improvements have eliminated some of the traditional smart card security concerns. However, researchers and hackers are constantly looking for new issues and vulnerabilities. In this article we provide a brief overview of the main smart card attack categories and their corresponding countermeasures. We also provide examples of well-documented attacks on systems that use smart card technology (e.g. satellite TV, EMV, proximity identification) in an attempt to highlight the importance of the security of the overall system rather than just the smart card. 相似文献
36.
Hendrik Voigt Aaron Rigoni Evgeniy Boltynjuk Mohammed Reda Chellali Bonnie Tyler Harald Rösner Sergiy Divinski Horst Hahn Gerhard Wilde 《Advanced functional materials》2023,33(44):2302386
Comprehensive analyses of the atomic structure using advanced analytical transmission electron microscopy-based methods combined with atom probe tomography confirm the presence of distinct glass–glass interfaces in a columnar Cu-Zr nanoglass synthesized by magnetron sputtering. These analyses provide first-time in-depth characterization of sputtered film nanoglasses and indicate that glass–glass interfaces indeed present an amorphous phase with reduced mass density as compared to the neighboring amorphous regions. Moreover, dedicated analyses of the diffusion kinetics by time-of-flight secondary ion mass spectroscopy (ToF SIMS) prove significantly enhanced diffusivity, suggesting fast transport along the low density glass–glass interfaces. The present results further indicate that sputter deposition is a feasible technique for reliable production of nanoglasses and that some of the concepts proposed for this new class of glassy materials are applicable. 相似文献
37.
Optimized Photoinitiator for Fast Two‐Photon Absorption Polymerization of Polyester‐Macromers for Tissue Engineering 下载免费PDF全文
38.
Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability. 相似文献
39.
The SHARC framework for data quality in Web archiving 总被引:1,自引:0,他引:1
Dimitar Denev Arturas Mazeika Marc Spaniol Gerhard Weikum 《The VLDB Journal The International Journal on Very Large Data Bases》2011,20(2):183-207
Web archives preserve the history of born-digital content and offer great potential for sociologists, business analysts, and legal experts on intellectual property and compliance issues. Data quality is crucial for these purposes. Ideally, crawlers should gather coherent captures of entire Web sites, but the politeness etiquette and completeness requirement mandate very slow, long-duration crawling while Web sites undergo changes. This paper presents the SHARC framework for assessing the data quality in Web archives and for tuning capturing strategies toward better quality with given resources. We define data quality measures, characterize their properties, and develop a suite of quality-conscious scheduling strategies for archive crawling. Our framework includes single-visit and visit?Crevisit crawls. Single-visit crawls download every page of a site exactly once in an order that aims to minimize the ??blur?? in capturing the site. Visit?Crevisit strategies revisit pages after their initial downloads to check for intermediate changes. The revisiting order aims to maximize the ??coherence?? of the site capture(number pages that did not change during the capture). The quality notions of blur and coherence are formalized in the paper. Blur is a stochastic notion that reflects the expected number of page changes that a time-travel access to a site capture would accidentally see, instead of the ideal view of a instantaneously captured, ??sharp?? site. Coherence is a deterministic quality measure that counts the number of unchanged and thus coherently captured pages in a site snapshot. Strategies that aim to either minimize blur or maximize coherence are based on prior knowledge of or predictions for the change rates of individual pages. Our framework includes fairly accurate classifiers for change predictions. All strategies are fully implemented in a testbed and shown to be effective by experiments with both synthetically generated sites and a periodic crawl series for different Web sites. 相似文献
40.
In interactive theorem proving practice a significant amount of time is spent on unsuccessful proof attempts of wrong conjectures.
An automatic method that reveals them by generating finite counter examples would offer an extremely valuable support for
a proof engineer by saving his time and effort. In practice, such counter examples tend to be small, so usually there is no
need to search for big instances. Most definitions of functions or predicates on infinite structures do not preserve the semantics
if a transition to arbitrary finite substructures is made. We propose constraints which guarantee a correct axiomatization
on finite structures and present an approach which uses the Alloy Analyzer to generate finite instances of theories in the
theorem prover KIV. It is evaluated on the library of basic data types as well as on some challenging case studies in KIV.
The technique is implemented using the Kodkod constraint solver which is a successor of Alloy. 相似文献