全文获取类型
收费全文 | 252篇 |
免费 | 16篇 |
国内免费 | 5篇 |
专业分类
综合类 | 38篇 |
机械仪表 | 4篇 |
建筑科学 | 1篇 |
能源动力 | 5篇 |
轻工业 | 12篇 |
水利工程 | 1篇 |
一般工业技术 | 13篇 |
自动化技术 | 199篇 |
出版年
2021年 | 1篇 |
2019年 | 2篇 |
2017年 | 3篇 |
2016年 | 3篇 |
2015年 | 3篇 |
2014年 | 2篇 |
2013年 | 14篇 |
2012年 | 13篇 |
2011年 | 18篇 |
2010年 | 9篇 |
2009年 | 21篇 |
2008年 | 25篇 |
2007年 | 26篇 |
2006年 | 14篇 |
2005年 | 14篇 |
2004年 | 6篇 |
2003年 | 11篇 |
2002年 | 9篇 |
2001年 | 7篇 |
2000年 | 14篇 |
1999年 | 1篇 |
1998年 | 5篇 |
1997年 | 8篇 |
1996年 | 6篇 |
1995年 | 5篇 |
1994年 | 6篇 |
1993年 | 4篇 |
1992年 | 1篇 |
1991年 | 5篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1985年 | 3篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1978年 | 1篇 |
排序方式: 共有273条查询结果,搜索用时 15 毫秒
1.
A Faà di Bruno type Hopf algebra is developed for a group of integral operators known as Fliess operators, where operator composition is the group product. Such operators are normally written in terms of generating series over a noncommutative alphabet. Using a general series expansion for the antipode, an explicit formula for the generating series of the compositional inverse operator is derived. The result is applied to analytic nonlinear feedback systems to produce an explicit formula for the feedback product, that is, the generating series for the Fliess operator representation of the closed-loop system written in terms of the generating series of the Fliess operator component systems. This formula is employed to provide a proof that local convergence is preserved under feedback. 相似文献
2.
设U=Tri(A,M,B)是含单位元I的三角代数并且φ:U→U是线性映射.利用代数分解的方法,证明了当三角代数U满足适当条件时,如果U,V∈U且UV=VU=I,有φ([U,V]ξ)=[φ(U),V]ξ+[U,φ(V)]ξ(ξ≠±1),则φ是导子.并得到了套代数上ξ-Lie可导映射的一个刻画. 相似文献
3.
In this article, we develop a new method for image matching of any two images with arbitrary orientations. The idea comes from the workpiece localization in machining industry. We first describe an image as a 3D point set other than the common 2D function f(x, y), then, making the sets corresponding to the compared images form solid surfaces, we equivalently translate the matching problem into an optimization problem on the Lie group SE(3). Through developing a kind of steepest descent algorithms on a general Lie group, we present an practical algorithm for matching problem. Simulations of eye detection and face detection are presented to show the feasibility and efficiency of the proposed algorithm. © 2010 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 20, 245–252, 2010. 相似文献
4.
Luigi Santocanale 《法国自动化、信息与运筹学;理论与应用信息》2002,36(2):195-227
For an arbitrary category, we consider the least class of functorscontaining the projections and closed under finite products, finitecoproducts, parameterized initial algebras and parameterized finalcoalgebras, i.e. the class of functors that are definable byμ -terms. We call the category μ -bicomplete if every μ -termdefines a functor. We provide concrete examples of such categories andexplicitly characterize this class of functors for the category ofsets and functions. This goal is achieved through parity games: weassociate to each game an algebraic expression and turn the game intoa term of a categorical theory. We show that μ -terms and paritygames are equivalent, meaning that they define the same property ofbeing μ -bicomplete. Finally, the interpretation of a parity gamein the category of sets is shown to be the set of deterministicwinning strategies for a chosen player.https://doi.org/10.1051/ita:2002010 相似文献
5.
This article introduces a temporal deductive database system featuring a logic programming language and an algebraic front-end. The language, called Temporal DATALOG, is an extension of DATALOG based on a linear-time temporal logic in which the flow of time is modeled by the set of natural numbers. Programs of Temporal DATALOG are considered as temporal deductive databases, specifying temporal relationships among data and providing base relations to the algebraic front-end. The minimum model of a given Temporal DATALOG program is regarded as the temporal database the program models intensionally. The algebraic front-end, called TRA, is a point-wise extension of the relational algebra upon the set of natural numbers. When needed during the evaluation of TRA expressions, slices of temporal relations over intervals can be retrieved from a given temporal deductive database by bottom-up evaluation strategies.
A modular extension of Temporal DATALOG is also proposed, through which temporal relations created during the evaluation of TRA expressions may be fed back to the deductive part for further manipulation. Modules therefore enable the algebra to have full access to the deductive capabilities of Temporal DATALOG and to extend it with nonstandard algebraic operators. This article also shows that the temporal operators of TRA can be simulated in Temporal DATALOG by program clauses. 相似文献
A modular extension of Temporal DATALOG is also proposed, through which temporal relations created during the evaluation of TRA expressions may be fed back to the deductive part for further manipulation. Modules therefore enable the algebra to have full access to the deductive capabilities of Temporal DATALOG and to extend it with nonstandard algebraic operators. This article also shows that the temporal operators of TRA can be simulated in Temporal DATALOG by program clauses. 相似文献
6.
S. D. Pogorilyy Yu. V. Boyko A. D. Gusarov S. I. Lozytskyi 《Cybernetics and Systems Analysis》2009,45(2):291-296
The body of mathematics of modified systems of algorithmic algebras (SAA-M) is used to formalize the Edmonds–Karp algorithm
of finding the maximum flow in a network. With allowance made for the distributed system features that are usually used for
solving complicated problems, optimization criteria are formulated and used to obtain parallel SAA-M-schemes.
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 146–152, March–April 2009. 相似文献
7.
A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper algorithms are given for constructing an algebraic group in characteristic 0, given its Lie algebra. In particular, this leads to an algorithm for finding a maximal reductive subgroup and the unipotent radical of an algebraic group. 相似文献
8.
A case study is presented which concerns the design of an adaptive mechanism for packetised audio for use over the Internet.
During the design process, the audio mechanism was modelled with the stochastically timed process algebra EMPA and analysed
via simulation by the EMPA based software tool TwoTowers in order to predict the percentage of packets that are received in
time for being played out. The predicted performance figures obtained from the algebraic model illustrated in advance the
adequacy of the approach adopted in the design of the audio playout delay control mechanism. Based on these performance figures,
it was possible to implement and develop the complete mechanism without incurring additional costs due to the late discovery
of unexpected errors or inefficiency. Performance results obtained from experiments conducted on the field confirmed the predictive
simulative results.
Received March 1997 / Accepted in revised form July 1998 相似文献
9.
G. E. Tseitlin 《Cybernetics and Systems Analysis》2006,42(5):750-757
This paper deals with the algebra of algorithmics in the context of developing modern means of transformation and synthesis
of algorithms and programs in object-oriented environments.
This report was first presented by the author in English at the conference ECI-2005 (Kosice, Slovakia).
__________
Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 165–173, September–October 2006. 相似文献
10.
Henry Hermes 《Systems & Control Letters》1991,17(6):437-443
Sufficient conditions for the existence of a C1 asymptotically stabilizing feedback control for planar, affine systems are given. The methods are constructive and yield homogeneous feedback controls for homogeneous systems which allow the results to be extended to more general systems. 相似文献