全文获取类型
收费全文 | 244篇 |
免费 | 10篇 |
国内免费 | 9篇 |
专业分类
综合类 | 37篇 |
机械仪表 | 4篇 |
建筑科学 | 1篇 |
能源动力 | 5篇 |
轻工业 | 12篇 |
水利工程 | 1篇 |
一般工业技术 | 13篇 |
自动化技术 | 190篇 |
出版年
2019年 | 1篇 |
2017年 | 2篇 |
2016年 | 3篇 |
2015年 | 3篇 |
2014年 | 2篇 |
2013年 | 12篇 |
2012年 | 11篇 |
2011年 | 18篇 |
2010年 | 9篇 |
2009年 | 20篇 |
2008年 | 25篇 |
2007年 | 26篇 |
2006年 | 14篇 |
2005年 | 14篇 |
2004年 | 6篇 |
2003年 | 11篇 |
2002年 | 8篇 |
2001年 | 7篇 |
2000年 | 14篇 |
1999年 | 1篇 |
1998年 | 5篇 |
1997年 | 7篇 |
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篇 |
排序方式: 共有263条查询结果,搜索用时 15 毫秒
1.
R. Ceterchi 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2001,5(5):334-346
We introduce and study a generalization of pseudo-Wajsberg and pseudo-MV algebras. The weakening of the axioms leads to the
existence of two lattice structures, and of two multiplicative monoid structures. Some categorical equivalences are established. 相似文献
2.
This note shows that the complete and the ready simulation preorders do not have a finite inequational basis over the language BCCSP when the set of actions is a singleton. Moreover, the equivalences induced by those preorders do not have a finite (in)equational axiomatization either. These results are in contrast with a claim of finite axiomatizability for those semantics in the literature, which was based on the erroneous assumption that they coincide with complete trace semantics in the presence of a singleton set of actions. 相似文献
3.
The functions of computable analysis are defined by enhancing normal Turing machines to deal with real number inputs. We consider characterizations of these functions using function algebras, known as real recursive functions. Since there are numerous incompatible models of computation over the reals, it is interesting to find that the two very different models we consider can be set up to yield exactly the same functions. Bournez and Hainry used a function algebra to characterize computable analysis, restricted to the twice continuously differentiable functions with compact domains. In our earlier paper, we found a different (and apparently more natural) function algebra that also yields computable analysis, with the same restriction. In this paper we improve earlier work, finding three function algebras characterizing computable analysis, removing the restriction to twice continuously differentiable functions and allowing unbounded domains. One of these function algebras is built upon the widely studied real primitive recursive functions. Furthermore, the proof of this paper uses our previously developed method of approximation, whose applicability is further evidenced by this paper. 相似文献
4.
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. 相似文献
5.
首先得到了与g不可α-归结的广义文字的集合D*α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*α (g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。 相似文献
6.
M. Bl?ser 《Computational Complexity》2000,9(2):73-112
Let R(A) denote the bilinear complexity (also called rank) of a finite dimensional associative algebra A.?We prove that if the decomposition of into simple algebras contains only noncommutative factors, that is, the division algebra is noncommutative or . In particular, -matrix multiplication requires at least essential bilinear multiplications. We also derive lower bounds of the form essential bilinear multiplications. We also derive lower bounds of the form for the algebra of upper triangular -matrices and the algebra of truncated bivariate polynomials in the indeterminates X,Y over some field k.?A class of algebras that has received wide attention in this context con-sists of those algebras A for which the Alder—Strassen Bound is sharp, i.e., R(A) = 2dim A—t is the number of maximal twosided ideals in A. These algebras are called algebras of minimal rank. We determine all semisimple algebras of minimal rank over arbitrary
fields and all algebras of minimal rank over algebraically closed fields.
Received: January 12, 2000. 相似文献
7.
We introduce a new class of solvable finite dimensional estimation algebras that contains both the linear and the Bene
cases. The condition for finite dimensionality is expressed in terms of two matrices. They play an important role in understanding the structure of estimation algebras. 相似文献
8.
9.
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. 相似文献
10.
Hai-Yang Li Sheng-Gang Li 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2008,12(5):487-492
This paper is devoted to congruences and ideals in pseudoeffect algebras. Let I be a normal ideal in a pseudoeffect algebra E. We show that: (1) the relation ~
I
induced by I is a congruence if and only if for every a∈E, I∩ [0,a] is upper directed; (2) the relation ~
I
induced by I is a strong congruence if and only if I is a normal weak Riesz ideal in a pseudoeffect algebra E. Moreover, we introduce a stronger concept of congruence—namely Riesz strong congruence—and we prove that, if I is a normal weak Riesz ideal in a pseudoeffect algebra E, then ~
I
is a Riesz strong congruence and, conversely, if ~ is a Riesz strong congruence, then I = [0]~ is a normal weak Riesz ideal, and ~
I
= ~.
This work was supported by the National Natural Science Foundation of China (Grant No. 10271069). 相似文献