全文获取类型
收费全文 | 108篇 |
免费 | 5篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 3篇 |
综合类 | 35篇 |
化学工业 | 4篇 |
机械仪表 | 11篇 |
建筑科学 | 3篇 |
轻工业 | 7篇 |
石油天然气 | 1篇 |
无线电 | 2篇 |
一般工业技术 | 3篇 |
冶金工业 | 1篇 |
自动化技术 | 45篇 |
出版年
2022年 | 1篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 5篇 |
2015年 | 1篇 |
2014年 | 2篇 |
2013年 | 4篇 |
2012年 | 6篇 |
2011年 | 13篇 |
2010年 | 3篇 |
2009年 | 4篇 |
2008年 | 7篇 |
2007年 | 9篇 |
2006年 | 8篇 |
2005年 | 3篇 |
2004年 | 5篇 |
2003年 | 3篇 |
2002年 | 3篇 |
2001年 | 4篇 |
2000年 | 9篇 |
1999年 | 4篇 |
1998年 | 2篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1990年 | 1篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1982年 | 2篇 |
排序方式: 共有115条查询结果,搜索用时 0 毫秒
1.
Shang-Ching Chou 《Journal of Automated Reasoning》1988,4(3):237-267
Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.The work reported here was supported by NSF Grant DCR-8503498. 相似文献
2.
针对Hadwiger猜想这一凸和离散几何中持续了近60年的著名难题,回顾了这一猜想的提出,它的若干等价形式,以及前人在尝试解决这一猜想的过程中取得的阶段性进展.介绍了该猜想相关的若干研究问题及相应结果.结果表明:一方面,Hadwiger猜想仍是一个远未解决的公开难题;另一方面,围绕着Hadwiger猜想及其相关问题还有大量亟待完成的基础性研究工作。 相似文献
3.
4.
Consider the “Number in Hand” multiparty communication complexity model, where k players holding inputs x1,…,xk∈{0,1}n communicate to compute the value f(x1,…,xk) of a function f known to all of them. The main lower bound technique for the communication complexity of such problems is that of partition arguments: partition the k players into two disjoint sets of players and find a lower bound for the induced two-party communication complexity problem.In this paper, we study the power of partition arguments. Our two main results are very different in nature:
- (i)
- For randomized communication complexity, we show that partition arguments may yield bounds that are exponentially far from the true communication complexity. Specifically, we prove that there exists a 3-argument function f whose communication complexity is Ω(n), while partition arguments can only yield an Ω(logn) lower bound. The same holds for nondeterministiccommunication complexity.
- (ii)
- For deterministic communication complexity, we prove that finding significant gaps between the true communication complexity and the best lower bound that can be obtained via partition arguments, would imply progress on a generalized version of the “log-rank conjecture” in communication complexity. We also observe that, in the case of computing relations (search problems), very large gaps do exist.
5.
Michaël Rao 《Theoretical computer science》2011,412(27):3010-3018
6.
A Parametric Texture Model Based on Joint Statistics of Complex Wavelet Coefficients 总被引:27,自引:0,他引:27
We present a universal statistical model for texture images in the context of an overcomplete complex wavelet transform. The model is parameterized by a set of statistics computed on pairs of coefficients corresponding to basis functions at adjacent spatial locations, orientations, and scales. We develop an efficient algorithm for synthesizing random images subject to these constraints, by iteratively projecting onto the set of images satisfying each constraint, and we use this to test the perceptual validity of the model. In particular, we demonstrate the necessity of subgroups of the parameter set by showing examples of texture synthesis that fail when those parameters are removed from the set. We also demonstrate the power of our model by successfully synthesizing examples drawn from a diverse collection of artificial and natural textures. 相似文献
7.
ON THE HARDNESS OF APPROXIMATING MULTICUT AND SPARSEST-CUT 总被引:1,自引:1,他引:0
8.
李玲 《西北纺织工学院学报》2012,(3):367-369
对任意正整数n,设d(n)表示n的Dirichlet除数函数,即就是n的所有不同正因数的个数.著名的Smarandache可求和因数对问题是指:是否存在无穷多个正整数m及n,使得d(m)+d(n)=d(m+n),其中(m,n)=1.利用初等方法以及著名的陈景润定理研究这一问题,即证明存在无穷多个正整数m及n且(m,n)≤2,使得d(m)+d(n)=d(m+n),其中(m,n)表示m和n的最大公约数.从而将AmarnathMurthy及Charles Ashbacher提出的一个猜想做出了实质性进展. 相似文献
9.
Paul F. Curran 《Dynamics and Control》1998,8(3):293-294
Corless and Leitmann [2] have shown that a damped simple oscillator can be destabilized by varying the spring stiffness. The present note establishes that this result is closely related to the variational approach to absolute stability theory [1,6] both in substance and in method of proof. In particular, several key ideas employed in [2] appear in the work of Brockett [1]. 相似文献
10.
一个极大平面图若是从K4出发,不断地在三角面上嵌入3度顶点得到的,则称此极大平面图为递归极大平面图。唯一4-色极大平面图猜想是指:一个平面图是唯一4-可着色的当且仅当它是递归极大平面图。此猜想已有43年历史,是图着色理论中继四色猜想之后另一个著名的未解猜想。为此,该文相继深入研究了哑铃极大平面图与递归极大平面图的结构与特性,结合该系列文章(2)的扩缩运算,给出了证明唯一4-色极大平面图猜想的一种思路。 相似文献