排序方式: 共有44条查询结果,搜索用时 312 毫秒
1.
2.
This paper deals with robustness of adaptive control of continuoussystems subject to known output delay, input saturation, unmodelledlinear dynamics, and bounded disturbances. A simple gradient-typealgorithm with a relative deadzone is used. The relative deadzoneis built with an estimated contribution of the unmodelled dynamicsto the system output. The basic tool used for stability androbustness analysis is Gronwall's lemma. 相似文献
3.
构造型几何定理及其机器证明系统 总被引:1,自引:0,他引:1
Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平凡的几何定理,并且独立发现了相当深入的结果。 相似文献
4.
6.
7.
BHOLANATH MANDAL KAKALI DATTA ASOK K. MUKHERJEE MANAS BANERJEE 《Molecular physics》2013,111(11):1609-1611
Characteristic polynomial coefficients of three classes of graph, namely Ln + n(p), Cn + n(p) and K 1,n-1 + n(p), which are known to have reciprocal pairs of eigenvalues, have been shown to be generated by simple manipulation of the Pascal's triangle. 相似文献
8.
本文从对共轭体系分子的超加折射度的自由电子模型处理,得到一个经验参数σE,与Hückel的⊿m值及Hammett的σ值均为线性关系。 相似文献
9.
10.