首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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.
    
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.  相似文献   
6.
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 00 is uniquely determined by its Lie algebra. In this paper algorithms are given for constructing an algebraic group in characteristic 00, 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.
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.
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.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号