全文获取类型
收费全文 | 580篇 |
免费 | 13篇 |
专业分类
电工技术 | 7篇 |
综合类 | 1篇 |
化学工业 | 137篇 |
金属工艺 | 10篇 |
机械仪表 | 9篇 |
建筑科学 | 12篇 |
能源动力 | 8篇 |
轻工业 | 34篇 |
水利工程 | 4篇 |
石油天然气 | 2篇 |
无线电 | 35篇 |
一般工业技术 | 85篇 |
冶金工业 | 127篇 |
原子能技术 | 2篇 |
自动化技术 | 120篇 |
出版年
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 11篇 |
2020年 | 10篇 |
2019年 | 13篇 |
2018年 | 10篇 |
2017年 | 14篇 |
2016年 | 13篇 |
2015年 | 13篇 |
2014年 | 17篇 |
2013年 | 25篇 |
2012年 | 46篇 |
2011年 | 39篇 |
2010年 | 27篇 |
2009年 | 32篇 |
2008年 | 31篇 |
2007年 | 23篇 |
2006年 | 13篇 |
2005年 | 21篇 |
2004年 | 9篇 |
2003年 | 8篇 |
2002年 | 14篇 |
2001年 | 9篇 |
2000年 | 8篇 |
1999年 | 9篇 |
1998年 | 33篇 |
1997年 | 26篇 |
1996年 | 17篇 |
1995年 | 5篇 |
1994年 | 17篇 |
1993年 | 9篇 |
1992年 | 5篇 |
1991年 | 7篇 |
1990年 | 3篇 |
1989年 | 4篇 |
1988年 | 5篇 |
1987年 | 3篇 |
1986年 | 4篇 |
1985年 | 6篇 |
1984年 | 2篇 |
1980年 | 2篇 |
1979年 | 2篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1976年 | 2篇 |
1974年 | 1篇 |
1971年 | 1篇 |
1970年 | 1篇 |
1968年 | 2篇 |
1961年 | 1篇 |
排序方式: 共有593条查询结果,搜索用时 15 毫秒
1.
The present study was designed to determine if spinal calcium channels, calmodulin, and calcium/calmodulin-dependent protein kinase II were involved in the production of antinociception induced by cold water swimming stress (CWSS). The effects of intrathecal (i.t.) injection of nimodipine, omega-conotoxin GVIA, calmidazolium, or (S)-5-isoquinolinesulfonic acid, 4-[2-[(5-isoquinolinyl-sulfonyl)methylamino]-3-oxo-3-(4-phenyl-1-piperaz inyl)-propyl]phenyl ester (KN-62) on CWSS-induced antinociception were studied in ICR mice. The antinociception was assessed by the tail-flick test. CWSS produced inhibition of the tail-flick response. Various doses of nimodipine (10-40 ng), omega-conotoxin GVIA (5-40 ng), calmidazolium (10-40 ng), or KN-62 (5-40 ng) injected i.t. alone did not show any antinociceptive effect in the tail-flick test. I.t. pretreatment with omega-conotoxin GVIA, calmidazolium, or KN-62 dose dependently attenuated the CWSS-induced inhibition of the tail-flick response. However, i.t. pretreatment with nimodipine did not affect the inhibition of the tail-flick response induced by CWSS. Our results suggest that spinal N-type calcium channel, calmodulin and calcium/calmodulin-dependent protein kinase II may be involved in the production of antinociception induced by CWSS. On the other hand, CWSS-induced antinociception appears not to be mediated via the spinal L-type calcium channel. 相似文献
2.
On the atmospheric pressure operation of secondary electron emission gaseous X-ray imaging detectors
A. Breskin R. Chechik I. Frumkin 《Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment》1996,380(3):562-567
Radiation-induced low-energy secondary electrons multiplied in gas by a series of wire electrodes provide an efficient means for fast and accurate radiation localization under very high flux. We discuss here the properties of secondary electron emission (SEE) X-ray detectors, operated at atmospheric pressure helium-based mixtures. 相似文献
3.
A new concept for the geometry of a curved beam bistable micromechanical mechanism is proposed aiming at producing a secondary equilibrium state that is more stable (in terms of transformation force) than the primary, stress-free, configuration. The proposed geometry is simple and compatible with common MEMS mass-production processes. A parametric study is performed by means of a non-linear finite-elements analysis in order to study the post-buckling behavior and performance of the mechanism. Based on this analysis, we show that it is theoretically possible to have a mechanism that exhibits a secondary equilibrium state that is more stable than the stress-free configuration. We also find that the post-buckling response of the proposed design is very sensitive to a particular geometrical feature. Besides this particular weakness, the mechanism is rather robust with respect to geometrical inaccuracies. We report our findings with the hope of inspiring others to propose new ideas for overcoming this geometrical sensitivity. 相似文献
4.
Computer systems increasingly carry out tasks in mixed networks, that is in group settings in which they interact both with other computer systems and with people. Participants in these heterogeneous human-computer groups vary in their capabilities, goals, and strategies; they may cooperate, collaborate, or compete. The presence of people in mixed networks raises challenges for the design and the evaluation of decision-making strategies for computer agents. This paper describes several new decision-making models that represent, learn and adapt to various social attributes that influence people's decision-making and presents a novel approach to evaluating such models. It identifies a range of social attributes in an open-network setting that influence people's decision-making and thus affect the performance of computer-agent strategies, and establishes the importance of learning and adaptation to the success of such strategies. The settings vary in the capabilities, goals, and strategies that people bring into their interactions. The studies deploy a configurable system called Colored Trails (CT) that generates a family of games. CT is an abstract, conceptually simple but highly versatile game in which players negotiate and exchange resources to enable them to achieve their individual or group goals. It provides a realistic analogue to multi-agent task domains, while not requiring extensive domain modeling. It is less abstract than payoff matrices, and people exhibit less strategic and more helpful behavior in CT than in the identical payoff matrix decision-making context. By not requiring extensive domain modeling, CT enables agent researchers to focus their attention on strategy design, and it provides an environment in which the influence of social factors can be better isolated and studied. 相似文献
5.
N. Ruiz Reyes P. Vera Candeas S. García Galán J.E. Muñoz 《Engineering Applications of Artificial Intelligence》2010,23(2):151-159
Automatic discrimination of speech and music is an important tool in many multimedia applications. The paper presents a robust and effective approach for speech/music discrimination, which relies on a two-stage cascaded classification scheme. The cascaded classification scheme is composed of a statistical pattern recognition classifier followed by a genetic fuzzy system. For the first stage of the classification scheme, other widely used classifiers, such as neural networks and support vector machines, have also been considered in order to assess the robustness of the proposed classification scheme. Comparison with well-proven signal features is also performed. In this work, the most commonly used genetic learning algorithms (Michigan and Pittsburgh) have been evaluated in the proposed two-stage classification scheme. The genetic fuzzy system gives rise to an improvement of about 4% in the classification accuracy rate. Experimental results show the good performance of the proposed approach with a classification accuracy rate of about 97% for the best trial. 相似文献
6.
P.-Y. Le Gal A. Merot C.-H. Moulin M. Navarrete J. Wery 《Environmental Modelling & Software》2010,25(2):258-268
Given the new challenges confronting world agriculture, innovative production systems need to be designed at the farm level. As experiments are not easy to conduct at this level, modelling is required to evaluate ex-ante the multiple impacts of proposed innovations. A conceptual framework based on three sub-systems (biophysical, technical, and decisional) interacting within the farm is proposed to guide this process. The advantages and limitations of the framework are illustrated with three examples. The first describes a conceptual, rule-based model representing management decisions for the cultivation of salad in southern France. The second uses a computerized model of the three sub-systems to study irrigation management strategies on farms producing hay in southern France. The third presents a spreadsheet model designed to assist dairy farms in Morocco to define new livestock and forage system strategies. The lessons learned concern the modelling process, the fit between the type of model and its use, and the advantage of involving stakeholders in the design process of tools and innovations. 相似文献
7.
In the robotics community, there exist implicit assumptions concerning the computational capabilities of robots. Two computational classes of robots emerge as focal points of recent research: robot ants and robot elephants. Ants have poor memory and communication capabilities, but are able to communicate using pheromones, in effect, turning their work area into a shared memory. By comparison, elephants are computationally stronger, have large memory, and are equipped with strong sensing and communication capabilities. Unfortunately, not much is known about the relation between the capabilities of these models in terms of the tasks they can address. In this paper, we present formal models of both ants and elephants, and investigate if one dominates the other. We present two algorithms: AntEater, which allows elephant robots to execute ant algorithms and ElephantGun, which converts elephant algorithms-specified as Turing machines-into ant algorithms. By exploring the computational capabilities of these algorithms, we reach interesting conclusions regarding the computational power of both models. 相似文献
8.
This paper proposes a framework to aid video analysts in detecting suspicious activity within the tremendous amounts of video
data that exists in today’s world of omnipresent surveillance video. Ideas and techniques for closing the semantic gap between
low-level machine readable features of video data and high-level events seen by a human observer are discussed. An evaluation
of the event classification and detection technique is presented and a future experiment to refine this technique is proposed.
These experiments are used as a lead to a discussion on the most optimal machine learning algorithm to learn the event representation
scheme proposed in this paper.
相似文献
Bhavani ThuraisinghamEmail: |
9.
Marsha Chechik Arie Gurfinkel Benet Devereux Albert Lai Steve Easterbrook 《Formal Methods in System Design》2006,29(3):295-344
Multi-valued logics provide an interesting alternative to classical boolean logic for modeling and reasoning about systems. Such logics can be used for reasoning about partially-specified systems, effectively encode vacuity detection and query-checking problems, help in detecting inconsistencies, and many others.In our earlier work, we identified a useful family of multi-valued logics: those specified over finite distributive lattices where negation preserves involution, i.e., for every element a of the logic. Such structures are called quasi-boolean algebras, and model-checking over these not only extends the domain of applicability of automated reasoning to new problems, but can also speed up solutions to some classical verification problems.Symbolic model-checking over quasi-boolean algebras can be cast in terms of operations over multi-valued sets: sets whose membership functions are multi-valued. In this paper, we propose and empirically evaluate several choices for implementing multi-valued sets with decision diagrams. In particular, we describe two major approaches: (1) representing the multi-valued membership function canonically, using MDDs or ADDs; (2) representing multi-valued sets as a collection of classical sets, using a vector of either MBTDDs or BDDs. The naive implementation of (2) includes having a classical set for each value of the algebra. We exploit a result of lattice theory to reduce the number of such sets that need to be represented.The major contribution of this paper is the evaluation of the different implementations of multi-valued sets, done via a series of experiments and using several case studies.
相似文献
Steve EasterbrookEmail: |
10.
Virtio network paravirtualization driver: Implementation and performance of a de-facto standard 总被引:1,自引:0,他引:1
One of the techniques used to improve I/O performance of virtual machines is paravirtualization. Paravirtualized devices are intended to reduce the performance overhead on full virtualization where all hardware devices are emulated. The interface of a paravirtualized device is not identical to that of the underlying hardware. The OS of the virtual guest machine must be ported in order to use a paravirtualized device. In this paper, the network virtualization done by the Kernel-based Virtual Machine (KVM) is described. The KVM model is different from other Virtual Machines Monitors (VMMs) because the KVM is a Linux kernel model and it depends on hardware support. In this work, the overhead of using such virtual networks is been measured. A paravirtualized model by using the virtio [38] network driver is described, and some performance results of web benchmark on the two models are presented. 相似文献