全文获取类型
收费全文 | 7376篇 |
免费 | 500篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 105篇 |
综合类 | 9篇 |
化学工业 | 2121篇 |
金属工艺 | 78篇 |
机械仪表 | 171篇 |
建筑科学 | 258篇 |
矿业工程 | 10篇 |
能源动力 | 327篇 |
轻工业 | 1326篇 |
水利工程 | 38篇 |
石油天然气 | 42篇 |
无线电 | 517篇 |
一般工业技术 | 1127篇 |
冶金工业 | 180篇 |
原子能技术 | 61篇 |
自动化技术 | 1516篇 |
出版年
2024年 | 8篇 |
2023年 | 78篇 |
2022年 | 317篇 |
2021年 | 332篇 |
2020年 | 217篇 |
2019年 | 227篇 |
2018年 | 260篇 |
2017年 | 289篇 |
2016年 | 331篇 |
2015年 | 227篇 |
2014年 | 383篇 |
2013年 | 608篇 |
2012年 | 495篇 |
2011年 | 596篇 |
2010年 | 465篇 |
2009年 | 464篇 |
2008年 | 436篇 |
2007年 | 366篇 |
2006年 | 285篇 |
2005年 | 217篇 |
2004年 | 190篇 |
2003年 | 165篇 |
2002年 | 182篇 |
2001年 | 97篇 |
2000年 | 74篇 |
1999年 | 77篇 |
1998年 | 71篇 |
1997年 | 41篇 |
1996年 | 40篇 |
1995年 | 45篇 |
1994年 | 31篇 |
1993年 | 29篇 |
1992年 | 25篇 |
1991年 | 13篇 |
1990年 | 16篇 |
1989年 | 19篇 |
1988年 | 13篇 |
1987年 | 10篇 |
1986年 | 14篇 |
1985年 | 18篇 |
1984年 | 18篇 |
1983年 | 7篇 |
1982年 | 18篇 |
1981年 | 10篇 |
1980年 | 11篇 |
1979年 | 9篇 |
1978年 | 10篇 |
1977年 | 10篇 |
1975年 | 6篇 |
1973年 | 5篇 |
排序方式: 共有7886条查询结果,搜索用时 0 毫秒
101.
Amador Durán David Benavides Sergio Segura Pablo Trinidad Antonio Ruiz-Cortés 《Software and Systems Modeling》2017,16(4):1049-1082
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide very valuable assets for tool developers such as a precise definition of the analysis operations and, what is more, a reference implementation, i.e., a trustworthy, not necessarily efficient implementation to compare different tools outputs. In this article, we present the FLAME framework as the result of facing this challenge. FLAME is a formal framework that can be used to formally specify not only feature models, but other variability modeling languages (VML s) as well. This reusability is achieved by its two-layered architecture. The abstract foundation layer is the bottom layer in which all VML-independent analysis operations and concepts are specified. On top of the foundation layer, a family of characteristic model layers—one for each VML to be formally specified—can be developed by redefining some abstract types and relations. The verification and validation of FLAME has followed a process in which formal verification has been performed traditionally by manual theorem proving, but validation has been performed by integrating our experience on metamorphic testing of variability analysis tools, something that has shown to be much more effective than manually designed test cases. To follow this automated, test-based validation approach, the specification of FLAME, written in Z, was translated into Prolog and 20,000 random tests were automatically generated and executed. Tests results helped to discover some inconsistencies not only in the formal specification, but also in the previous informal definitions of the analysis operations and in current analysis tools. After this process, the Prolog implementation of FLAME is being used as a reference implementation for some tool developers, some analysis operations have been formally specified for the first time with more generic semantics, and more VML s are being formally specified using FLAME. 相似文献
102.
Reliability and time‐to‐failure bounds for discrete‐time constrained Markov jump linear systems 下载免费PDF全文
This paper presents a methodology to obtain a guaranteed‐reliability controller for constrained linear systems, which switch between different modes according to a Markov chain (Markov jump linear systems). Inside the classical maximal robust controllable set, there is 100% guarantee of never violating constraints at future time. However, outside such set, some sequences might make hitting constraints unavoidable for some disturbance realisations. A guaranteed‐reliability controller based on a greedy heuristic approach was proposed in an earlier work for disturbance‐free, robustly stabilisable Markov jump linear systems. Here, extensions are presented by, first, considering bounded disturbances and, second, presenting an iterative algorithm based on dynamic programming. In non‐stabilisable systems, reliability is zero; therefore, prior results cannot be applied; in this case, optimisation of a mean‐time‐to‐failure bound is proposed, via minor algorithm modifications. Optimality can be proved in the disturbance‐free, finitely generated case. Copyright © 2016 John Wiley & Sons, Ltd. 相似文献
103.
Remote sensing of phytoplankton community composition along the northeast coast of the United States
Xiaoju Pan Antonio Mannino Katherine C. Filippino 《Remote sensing of environment》2011,115(12):3731-3747
Satellite imagery has proven to be a powerful tool for measuring chlorophyll a in surface waters. While this provides an estimate of total phytoplankton biomass, it does not distinguish between phytoplankton groups, many of which have functional differences and therefore affect biogeochemical cycles differently. Phytoplankton pigment analysis has been used to quantify a wide range of photosynthetic and accessory pigments, and chemotaxonomic analysis (e.g. CHEMTAX) has been used to successfully quantify functional taxonomic groups in nature based on pigment distributions. Here, we combine CHEMTAX analysis with satellite-derived distributions of specific phytoplankton pigments to describe the distributions of particular components of the phytoplankton community in the northeast coast of the United States from space. The spatial and seasonal variations in phytoplankton community structure elucidated through satellite remote sensing methods generally agreed with observations of abundance estimates of cell counts. Diatoms were generally the most abundant phytoplankton in this region, especially during Winter-Spring and in the inner shelf, but phytoplankton populations shifted to increasing abundance of other taxa during Summer, especially offshore. While still preliminary, satellite-derived taxa-specific information with proper regional controls holds promise for providing information on phytoplankton abundance to a taxonomic group level which would greatly improve our understanding of the impacts of human activity and climate change on ecosystems. 相似文献
104.
Yin P Criminisi A Winn J Essa I 《IEEE transactions on pattern analysis and machine intelligence》2011,33(1):30-42
This paper presents an automatic segmentation algorithm for video frames captured by a (monocular) webcam that closely approximates depth segmentation from a stereo camera. The frames are segmented into foreground and background layers that comprise a subject (participant) and other objects and individuals. The algorithm produces correct segmentations even in the presence of large background motion with a nearly stationary foreground. This research makes three key contributions: First, we introduce a novel motion representation, referred to as "motons," inspired by research in object recognition. Second, we propose estimating the segmentation likelihood from the spatial context of motion. The estimation is efficiently learned by random forests. Third, we introduce a general taxonomy of tree-based classifiers that facilitates both theoretical and experimental comparisons of several known classification algorithms and generates new ones. In our bilayer segmentation algorithm, diverse visual cues such as motion, motion context, color, contrast, and spatial priors are fused by means of a conditional random field (CRF) model. Segmentation is then achieved by binary min-cut. Experiments on many sequences of our videochat application demonstrate that our algorithm, which requires no initialization, is effective in a variety of scenes, and the segmentation results are comparable to those obtained by stereo systems. 相似文献
105.
Giacomo Veneri Pietro PiuFrancesca Rosini Pamela Federighi Antonio FedericoAlessandra Rufa 《Pattern recognition letters》2011,32(13):1588-1593
Eye movement is the simplest and repetitive movement that enables humans to interact with the environment. The common daily activities, such as reading a book or watching television, involve this natural activity, which consists of rapidly shifting our gaze from one region to another. In clinical application, the identification of the main components of eye movement during visual exploration, such as fixations and saccades, is the objective of the analysis of eye movements: however, in patients affected by motor control disorder the identification of fixation is not banal. This work presents a new fixation identification algorithm based on the analysis of variance and covariance: the main idea was to use bivariate statistical analysis to compare variance over x and y to identify fixation. We describe the new algorithm, and we compare it with the common fixations algorithm based on dispersion. To demonstrate the performance of our approach, we tested the algorithm in a group of healthy subjects and patients affected by motor control disorder. 相似文献
106.
Juan M. Marín Pérez Jorge Bernal Bernabé Jose M. Alcaraz Calero Felix J. Garcia Clemente Gregorio Martínez Pérez Antonio F. Gómez Skarmeta 《Future Generation Computer Systems》2011,27(1):40-55
There are a few issues that still need to be covered regarding security in the Grid area. One of them is authorization where there exist good solutions to define, manage and enforce authorization policies in Grid scenarios. However, these solutions usually do not provide Grid administrators with semantic-aware components closer to the particular Grid domain and easing different administration tasks such as conflict detection or resolution. This paper defines a proposal based on Semantic Web to define, manage and enforce security policies in a Grid scenario. These policies are defined by means of semantic-aware rules which help the administrator to create higher-level definitions with more expressiveness. These rules also permit performing added-value tasks such as conflict detection and resolution, which can be of interest in medium and large scale scenarios where different administrators define the authorization rules that should be followed before accessing a resource in the Grid. The proposed solution has been also tested providing some reasonable response times in the authorization decision process. 相似文献
107.
Francisco Jes��s Mart��n-Mateos Jos�� Luis Ruiz-Reina Jos�� Antonio Alonso Mar��a Jos�� Hidalgo 《Journal of Automated Reasoning》2011,47(3):229-250
Higman??s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman??s Lemma in the ACL2 theorem prover. Our formalization is based on a proof by Murthy and Russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. To our knowledge, this is the first mechanization of this proof. 相似文献
108.
Angel Rivas Casado Rafael Martinez‐Tomás Antonio Fernández‐Caballero 《Expert Systems》2011,28(5):488-501
This work presents a multi‐agent system for knowledge‐based high‐level event composition, which interprets activities, behaviour and situations semantically in a scenario with multi‐sensory monitoring. A perception agent (plurisensory agent and visual agent)‐based structure is presented. The agents process the sensor information and identify (agent decision system) significant changes in the monitored signals, which they send as simple events to the composition agent that searches for and identifies pre‐defined patterns as higher‐level semantic composed events. The structure has a methodology and a set of tools that facilitate its development and application to different fields without having to start from scratch. This creates an environment to develop knowledge‐based systems generally for event composition. The application task of our work is surveillance, and event composition/inference examples are shown which characterize an alarming situation in the scene and resolve identification and tracking problems of people in the scenario being monitored. 相似文献
109.
The main contribution of this paper is a theorem to guarantee uniform global asymptotic stability (UGAS) and uniform local exponential stability (ULES) for a class of nonlinear non‐autonomous systems which includes passive systems. These properties (and a uniform local Lipschitz condition) guarantee robustness of stability while weaker properties, like uniform global stability plus global convergence, do not. Our main result is then used in the tracking control problem of mechanical systems and ships. We use an adaptive backstepping design and prove UGAS of the closed‐loop tracking error system, in particular, we obtain that both the tracking and parameter estimation errors converge uniformly globally to zero. Copyright © 2001 John Wiley & Sons, Ltd. 相似文献
110.
Pérez-Ortiz Juan Antonio Calera-Rubio Jorge Forcada Mikel L. 《Neural Processing Letters》2001,14(2):127-140
Arithmetic coding is one of the most outstanding techniques for lossless data compression. It attains its good performance with the help of a probability model which indicates at each step the probability of occurrence of each possible input symbol given the current context. The better this model, the greater the compression ratio achieved. This work analyses the use of discrete-time recurrent neural networks and their capability for predicting the next symbol in a sequence in order to implement that model. The focus of this study is on online prediction, a task much harder than the classical offline grammatical inference with neural networks. The results obtained show that recurrent neural networks have no problem when the sequences come from the output of a finite-state machine, easily giving high compression ratios. When compressing real texts, however, the dynamics of the sequences seem to be too complex to be learned online correctly by the net. 相似文献