全文获取类型
收费全文 | 998篇 |
免费 | 0篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 7篇 |
综合类 | 4篇 |
化学工业 | 129篇 |
金属工艺 | 278篇 |
机械仪表 | 20篇 |
建筑科学 | 7篇 |
矿业工程 | 7篇 |
能源动力 | 4篇 |
轻工业 | 82篇 |
水利工程 | 3篇 |
石油天然气 | 2篇 |
无线电 | 32篇 |
一般工业技术 | 102篇 |
冶金工业 | 77篇 |
自动化技术 | 245篇 |
出版年
2019年 | 1篇 |
2018年 | 67篇 |
2017年 | 64篇 |
2016年 | 69篇 |
2015年 | 76篇 |
2014年 | 16篇 |
2013年 | 24篇 |
2012年 | 27篇 |
2011年 | 586篇 |
2010年 | 26篇 |
2009年 | 24篇 |
2008年 | 18篇 |
2002年 | 1篇 |
排序方式: 共有999条查询结果,搜索用时 953 毫秒
11.
12.
A spatial orthogonal allocation method is devised for multirobot tasks allocation.A 3D space model is adopted to describe exploration mission;meanwhile spatial orthogonal tentative technology is utilized to update the attractor position for load balance.Heterogeneous interactive cultural hybrid architecture is proposed to solve a robot route planning problem;it utilizes good-point-set to initialize population spaces,redefine novel evolution model and particle evolution ability,and introduce near-neighbor lo... 相似文献
13.
Michele Barletta Silvio Ranise Luca Vigan�� 《Service Oriented Computing and Applications》2011,5(2):105-137
The specification of distributed service-oriented applications spans several levels of abstraction, e.g., the protocol for
exchanging messages, the set of interface functionalities, the types of the manipulated data, the workflow, the access policy,
etc. Many (even executable) specification languages are available to describe each level in separation. However, these levels
may interact in subtle ways (for example, the control flow may depend on the values of some data variables) so that a precise
abstraction of the application amounts to more than the sum of its per level components. This problem is even more acute in
the design phase when automated analysis techniques may greatly help the difficult task of building “correct” applications
faced by designers. To alleviate this kind of problems, this paper introduces a framework for the formal specification and
automated analysis of distributed service-oriented applications in two levels: one for the workflow and one for the authorization
policies. The former allows one to precisely describe the control and data parts of an application with their mutual dependencies.
The latter focuses on the specification of the criteria for granting or denying third-party applications the possibility to
access shared resources or to execute certain interface functionalities. These levels can be seen as abstractions of one or
of several levels of specification mentioned above. The novelty of our proposal is the possibility to unambiguously specify
the—often subtle—interplay between the workflow and policy levels uniformly in the same framework. Additionally, our framework
allows us to define and investigate verification problems for service-oriented applications (such as executability and invariant
checking) and give sufficient conditions for their decidability. These results are non-trivial because their scope of applicability
goes well beyond the case of finite state spaces allowing for applications manipulating variables ranging over infinite domains.
As proof of concept, we show the suitability and flexibility of our approach on two quite different examples inspired by industrial
case studies. 相似文献
14.
Marco Alberti Pierangelo Dell��Acqua Lu��s Moniz Pereira 《Annals of Mathematics and Artificial Intelligence》2011,62(3-4):161-186
Many applications (such as system and user monitoring, runtime verification, diagnosis, observation-based decision making, intention recognition) all require to detect the occurrence of an event in a system, which entails the ability to observe the system. Observation can be costly, so it makes sense to try and reduce the number of observations, without losing full certainty about the event??s actual occurrence. In this paper, we propose a formalization of this problem. We formally show that, whenever the event to be detected follows a discrete spatial or temporal pattern, then it is possible to reduce the number of observations. We discuss exact and approximate algorithms to solve the problem, and provide an experimental evaluation of them. We apply the resulting algorithms to verification of linear temporal logics formulæ. Finally, we discuss possible generalizations and extensions, and, in particular, how event detection can benefit from logic programming techniques. 相似文献
15.
16.
Juli��n Luengo Alberto Fern��ndez Salvador Garc��a Francisco Herrera 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2011,15(10):1909-1936
In the classification framework there are problems in which the number of examples per class is not equitably distributed,
formerly known as imbalanced data sets. This situation is a handicap when trying to identify the minority classes, as the
learning algorithms are not usually adapted to such characteristics. An usual approach to deal with the problem of imbalanced
data sets is the use of a preprocessing step. In this paper we analyze the usefulness of the data complexity measures in order
to evaluate the behavior of undersampling and oversampling methods. Two classical learning methods, C4.5 and PART, are considered
over a wide range of imbalanced data sets built from real data. Specifically, oversampling techniques and an evolutionary
undersampling one have been selected for the study. We extract behavior patterns from the results in the data complexity space
defined by the measures, coding them as intervals. Then, we derive rules from the intervals that describe both good or bad
behaviors of C4.5 and PART for the different preprocessing approaches, thus obtaining a complete characterization of the data
sets and the differences between the oversampling and undersampling results. 相似文献
17.
Maher El��Arbi Mohamed Koubaa Maha Charfeddine Chokri Ben Amar 《Multimedia Tools and Applications》2011,55(3):579-600
In this paper, we propose a video watermarking algorithm which embeds different parts of a single watermark into different shots of a video under the wavelet domain. Based on a Motion Activity Analysis, different regions of the original video are separated into perceptually distinct categories according to motion information and region complexity. Thus, the localizations of the watermark are adjusted adaptively in accordance with the human visual system and signal characteristics, which makes them perceptually invisible and less vulnerable to automated removal. In addition, contrary to traditional methods where the watermark remains at a fixed position on the screen, the watermark moves along with moving objects and thus motion artefacts can be avoid. The multi-frame based extraction strategy ensures that the watermark can be correctly recovered from a very short segment of video. Individual frames extracted from the video also contain watermark information. Experimental results show that the inserted watermark is not only less perceptible but also robust against common video processing attacks. 相似文献
18.
Emmanuel Bruno Nicolas Faessel Herv�� Glotin Jacques Le Maitre Michel Scholl 《World Wide Web》2011,14(5-6):623-649
We present in this paper a model for indexing and querying web pages, based on the hierarchical decomposition of pages into blocks. Splitting up a page into blocks has several advantages in terms of page design, indexing and querying such as (i) blocks of a page most similar to a query may be returned instead of the page as a whole (ii) the importance of a block can be taken into account, as well as (iii) the permeability of the blocks to neighbor blocks: a block b is said to be permeable to a block b?? in the same page if b?? content (text, image, etc.) can be (partially) inherited by b upon indexing. An engine implementing this model is described including: the transformation of web pages into blocks hierarchies, the definition of a dedicated language to express indexing rules and the storage of indexed blocks into an XML repository. The model is assessed on a dataset of electronic news, and a dataset drawn from web pages of the ImagEval campaign where it improves by 16% the mean average precision of the baseline. 相似文献
19.
(O)mür (O)cal 《国际自动化与计算杂志》2011,8(2):254-261
The coefficient diagram method (CDM) is one of the most effective control design methods. It creates control systems that
are very stable and robust with responses without the overshoot and small settling time. Furthermore, all control parameters
of the control systems are changed by varying some adjustment parameters in CDM depending on the demands. The model reference
adaptive systems (MRAS) are the systems that follow and change the control parameters according to a given model reference
system. There are several methods to combine the CDM with MRAS. One of these is to use the MRAS parameters as a gain of the
CDM parameters. Another is to directly use the CDM parameters as the MRAS parameters. In the industrial applications, the
system parameters can be changed frequently, but if the controller, by self-tuning, recalculates and develops its own parameters
continuously, the system becomes more robust. Also, if the poles of the controlled systems approach the jw axis, the response of the closed-loop MRAS becomes more and more insufficient. In order to obtain better results, CDM is
combined with a self-tuning model reference adaptive system. Systems controlled by a model reference adaptive controller give
responses with small or without overshoot, have small settling times, and are more robust. Thus, in this paper, a hybrid combination
of MRAS and CDM is developed and two different control structures of the control signal are investigated. The two methods
are compared with MRAS and applied to real-time process control systems. 相似文献
20.
Alejandra Barrera Alejandra C��ceres Alfredo Weitzenfeld Victor Ramirez-Amaya 《Journal of Intelligent and Robotic Systems》2011,63(3-4):361-397
The study of behavioral and neurophysiological mechanisms involved in rat spatial cognition provides a basis for the development of computational models and robotic experimentation of goal-oriented learning tasks. These models and robotics architectures offer neurobiologists and neuroethologists alternative platforms to study, analyze and predict spatial cognition based behaviors. In this paper we present a comparative analysis of spatial cognition in rats and robots by contrasting similar goal-oriented tasks in a cyclical maze, where studies in rat spatial cognition are used to develop computational system-level models of hippocampus and striatum integrating kinesthetic and visual information to produce a cognitive map of the environment and drive robot experimentation. During training, Hebbian learning and reinforcement learning, in the form of Actor-Critic architecture, enable robots to learn the optimal route leading to a goal from a designated fixed location in the maze. During testing, robots exploit maximum expectations of reward stored within the previously acquired cognitive map to reach the goal from different starting positions. A detailed discussion of comparative experiments in rats and robots is presented contrasting learning latency while characterizing behavioral procedures during navigation such as errors associated with the selection of a non-optimal route, body rotations, normalized length of the traveled path, and hesitations. Additionally, we present results from evaluating neural activity in rats through detection of the immediate early gene Arc to verify the engagement of hippocampus and striatum in information processing while solving the cyclical maze task, such as robots use our corresponding models of those neural structures. 相似文献