全文获取类型
收费全文 | 2661篇 |
免费 | 94篇 |
国内免费 | 17篇 |
专业分类
电工技术 | 131篇 |
综合类 | 3篇 |
化学工业 | 341篇 |
金属工艺 | 64篇 |
机械仪表 | 52篇 |
建筑科学 | 147篇 |
矿业工程 | 10篇 |
能源动力 | 86篇 |
轻工业 | 255篇 |
水利工程 | 18篇 |
石油天然气 | 13篇 |
武器工业 | 1篇 |
无线电 | 302篇 |
一般工业技术 | 321篇 |
冶金工业 | 302篇 |
原子能技术 | 17篇 |
自动化技术 | 709篇 |
出版年
2023年 | 12篇 |
2022年 | 28篇 |
2021年 | 43篇 |
2020年 | 24篇 |
2019年 | 43篇 |
2018年 | 85篇 |
2017年 | 59篇 |
2016年 | 52篇 |
2015年 | 46篇 |
2014年 | 90篇 |
2013年 | 197篇 |
2012年 | 171篇 |
2011年 | 136篇 |
2010年 | 172篇 |
2009年 | 180篇 |
2008年 | 208篇 |
2007年 | 130篇 |
2006年 | 157篇 |
2005年 | 140篇 |
2004年 | 73篇 |
2003年 | 97篇 |
2002年 | 84篇 |
2001年 | 42篇 |
2000年 | 51篇 |
1999年 | 54篇 |
1998年 | 36篇 |
1997年 | 34篇 |
1996年 | 33篇 |
1995年 | 31篇 |
1994年 | 21篇 |
1993年 | 23篇 |
1992年 | 24篇 |
1991年 | 17篇 |
1990年 | 19篇 |
1989年 | 20篇 |
1988年 | 13篇 |
1987年 | 10篇 |
1986年 | 16篇 |
1985年 | 10篇 |
1984年 | 13篇 |
1983年 | 15篇 |
1982年 | 8篇 |
1981年 | 12篇 |
1980年 | 10篇 |
1979年 | 6篇 |
1978年 | 5篇 |
1977年 | 4篇 |
1976年 | 7篇 |
1975年 | 3篇 |
1974年 | 3篇 |
排序方式: 共有2772条查询结果,搜索用时 78 毫秒
71.
Matt Jones Steve Jones Gareth Bradley Nigel Warren David Bainbridge Geoff Holmes 《Personal and Ubiquitous Computing》2008,12(7):513-525
Listening to music on personal, digital devices whilst mobile is an enjoyable, everyday activity. We explore a scheme for
exploiting this practice to immerse listeners in navigation cues. Our prototype, ONTRACK, continuously adapts audio, modifying
the spatial balance and volume to lead listeners to their target destination. First we report on an initial lab-based evaluation
that demonstrated the approach’s efficacy: users were able to complete tasks within a reasonable time and their subjective
feedback was positive. Encouraged by these results we constructed a handheld prototype. Here, we discuss this implementation
and the results of field-trials. These indicate that even with a low-fidelity realisation of the concept, users can quite
effectively navigate complicated routes.
相似文献
Matt Jones (Corresponding author)Email: |
Steve JonesEmail: |
Gareth BradleyEmail: |
Nigel WarrenEmail: |
David BainbridgeEmail: |
Geoff HolmesEmail: |
72.
Steve Whittaker Simon Tucker Kumutha Swampillai Rachel Laban 《Personal and Ubiquitous Computing》2008,12(3):197-221
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally
been successful. This paper presents studies that evaluate two different hypotheses for this failure, firstly that systems
fail to address user needs and secondly that they provide only rudimentary support for ICR. Having first presented a taxonomy
of different systems built to support ICR, we then describe a study that attempts to identify user needs for ICR. On the basis
of that study we carried out two user-oriented evaluations. In the first, we carried out a task-based evaluation of a state-of-the-art
ICR system, finding that it failed to provide users with abstract ways to view meetings data, and did not present users with
information categories that they considered to be important. In a second study, we introduce a new method for comparative
evaluation of different techniques for accessing meetings data. The second study showed that simple interface techniques that
extracted key information from meetings were effective in allowing users to extract gist from meetings data. We conclude with
a discussion of outstanding issues and future directions for ICR research. 相似文献
73.
Structured decomposition of adaptive applications 总被引:1,自引:0,他引:1
74.
Eiman Kanjo Steve Benford Mark Paxton Alan Chamberlain Danae Stanton Fraser Dawn Woodgate David Crellin Adrain Woolard 《Personal and Ubiquitous Computing》2008,12(8):599-607
Mobile sensing and mapping applications are becoming more prevalent because sensing hardware is becoming more portable and
more affordable. However, most of the hardware uses small numbers of fixed sensors that report and share multiple sets of
environmental data which raises privacy concerns. Instead, these systems can be decentralized and managed by individuals in
their public and private spaces. This paper describes a robust system called MobGeoSens which enables individuals to monitor
their local environment (e.g. pollution and temperature) and their private spaces (e.g. activities and health) by using mobile
phones in their day to day life. The MobGeoSen is a combination of software components that facilitates the phone’s internal
sensing devices (e.g. microphone and camera) and external wireless sensors (e.g. data loggers and GPS receivers) for data
collection. It also adds a new dimension of spatial localization to the data collection process and provides the user with
both textual and spatial cartographic displays. While collecting the data, individuals can interactively add annotations and
photos which are automatically added and integrated in the visualization file/log. This makes it easy to visualize the data,
photos and annotations on a spatial and temporal visualization tool. In addition, the paper will present ways in which mobile
phones can be used as noise sensors using an on-device microphone. Finally, we present our experiences with school children
using the above mentioned system to measure their exposure to environmental pollution.
相似文献
Adrain WoolardEmail: |
75.
Guo Y Hsu S Sawhney HS Kumar R Shan Y 《IEEE transactions on pattern analysis and machine intelligence》2007,29(5):824-839
This paper addresses the problem of matching vehicles across multiple sightings under variations in illumination and camera poses. Since multiple observations of a vehicle are separated in large temporal and/or spatial gaps, thus prohibiting the use of standard frame-to-frame data association, we employ features extracted over a sequence during one time interval as a vehicle fingerprint that is used to compute the likelihood that two or more sequence observations are from the same or different vehicles. Furthermore, since our domain is aerial video tracking, in order to deal with poor image quality and large resolution and quality variations, our approach employs robust alignment and match measures for different stages of vehicle matching. Most notably, we employ a heterogeneous collection of features such as lines, points, and regions in an integrated matching framework. Heterogeneous features are shown to be important. Line and point features provide accurate localization and are employed for robust alignment across disparate views. The challenges of change in pose, aspect, and appearances across two disparate observations are handled by combining a novel feature-based quasi-rigid alignment with flexible matching between two or more sequences. However, since lines and points are relatively sparse, they are not adequate to delineate the object and provide a comprehensive matching set that covers the complete object. Region features provide a high degree of coverage and are employed for continuous frames to provide a delineation of the vehicle region for subsequent generation of a match measure. Our approach reliably delineates objects by representing regions as robust blob features and matching multiple regions to multiple regions using Earth Mover's Distance (EMD). Extensive experimentation under a variety of real-world scenarios and over hundreds of thousands of Confirmatory Identification (CID) trails has demonstrated about 95 percent accuracy in vehicle reacquisition with both visible and Infrared (IR) imaging cameras. 相似文献
76.
Noisy Time Series Prediction using Recurrent Neural Networks and Grammatical Inference 总被引:6,自引:0,他引:6
Financial forecasting is an example of a signal processing problem which is challenging due to small sample sizes, high noise, non-stationarity, and non-linearity. Neural networks have been very successful in a number of signal processing applications. We discuss fundamental limitations and inherent difficulties when using neural networks for the processing of high noise, small sample size signals. We introduce a new intelligent signal processing method which addresses the difficulties. The method proposed uses conversion into a symbolic representation with a self-organizing map, and grammatical inference with recurrent neural networks. We apply the method to the prediction of daily foreign exchange rates, addressing difficulties with non-stationarity, overfitting, and unequal a priori class probabilities, and we find significant predictability in comprehensive experiments covering 5 different foreign exchange rates. The method correctly predicts the directionof change for the next day with an error rate of 47.1%. The error rate reduces to around 40% when rejecting examples where the system has low confidence in its prediction. We show that the symbolic representation aids the extraction of symbolic knowledge from the trained recurrent neural networks in the form of deterministic finite state automata. These automata explain the operation of the system and are often relatively simple. Automata rules related to well known behavior such as tr end following and mean reversal are extracted. 相似文献
77.
Formal Analysis of Multiparty Contract Signing 总被引:1,自引:0,他引:1
We analyze the multiparty contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, Mocha, which allows specification of protocol properties in a branching-time temporal logic with game semantics. While our analysis does not reveal any errors in the BW protocol, in the GM protocol we discover serious problems with fairness for four signers and an oversight regarding abuse-freeness for three signers. We propose a complete revision of the GM subprotocols in order to restore fairness. 相似文献
78.
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: |
79.
Intelligent agents can play a pivotal role in providing both software systems and augmented interfaces, to individual users from all walks of life, to utilise the Internet 24 h a day, 7 days a week (24×7), including interaction with other users, over both wireless and broadband infrastructures. However, traditional approaches to user modelling are not adequate for this purpose, as they mainly account for a generic, approximate, idealised user. New user models are therefore required to be adaptable for each individual and flexible enough to represent the diversity of all users using information technology. Such models should be able to cover all aspects of an individual’s life—those aspects of most interest to the individual user themselves. This paper describes a novel intelligent agent architecture and methodology both called ShadowBoard, based on a complex user model drawn from analytical psychology. An equally novel software tool, called the DigitalFriend based on ShadowBoard, is also introduced. This paper illustrates how aspects of user cognition can be outsourced, using, for example, an internationalised book price quoting agent. The Locales Framework from Computer Supported Co-operative Work is then used to understand the problematic aspects of interaction involved in complex social spaces, identifying specific needs for technology intervention in such social spaces, and to understand how interactions amongst mobile users with different abilities might be technically assisted in such spaces. In this context, the single user-centred multi-agent technology demonstrated in the DigitalFriend is adapted to a multi-user system dubbed ShadowPlaces. The aim of ShadowPlaces is to outsource some of the interaction necessary, for a group of mobile individuals with different abilities to interact cooperatively and effectively in a social world, supported by wireless networks and backed by broadband Internet services. An overview of the user model, the architecture and methodology (ShadowBoard) and the resulting software tool (the DigitalFriend) is presented, and progress on ShadowPlaces—the multi-user version—is outlined.
相似文献
Connor GrahamEmail: |
80.
Tara Matthews Steve Whittaker Thomas P. Moran Sandra Y. Helsley Tejinder K. Judge 《Computer Supported Cooperative Work (CSCW)》2012,21(4-5):371-396
Work organization and team membership is highly complex for modern workers. Teams are often dynamic as personnel change during a project. Dynamic team members have to be actively recruited and personnel changes make it harder for participants to retain group focus. Workers are often members of multiple groups. Though prior work has identified the prevalence of multi-teaming and dynamic teams, it has been unable to explain how workers cope with the challenges the new style of work should cause. This paper systematically characterizes the modern organizational landscape from an individual perspective, by studying how people typically organize work across their multiple collaborative groups. A unique contribution of our work is to examine the interrelationships between the collaborative groups individuals typically participate in. We introduce the notion of a collaboration profile to characterize these interrelations. We expected workers to be overburdened by contributing to multiple teams often with shifting personnel. However, we found that multi-teaming involves productive interrelationships between collaborative groups that ease some of the documented challenges of dynamic teams, such as goal setting, recruiting, and group maintenance. We define a typology that describes the various types of collaborative groups workers participate in, and provide examples of productive interrelations between collaborations. In characterizing interrelations between collaborations, we provide detailed examples of how people exploit resources across their different collaborations to address the problems of working in multiple dynamic teams. 相似文献