排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
2.
二元非线性函数方程组的展开式解 总被引:1,自引:0,他引:1
本文主要讨论了单纯型二元非线性方程组的求解问题,并得到关于求解这一类方程组的一些展开式定理。文中还给出了几个应用这些定理求解方程组的例子。 相似文献
3.
4.
本文给出了函数方程组的展开式基本定理及其有穷形式,并用此基本定理证明了几个关于二元线性函数方程组的解的展开定理,同时举了几个应用这些定理解函数方程组的具体例子。 相似文献
5.
6.
本文进一步发展了John Backus在1977年Turing奖讲演中提出的程序代数,证明了若干很强的展开式定理,提出了S限制泛函型的概念并讨论了它们的性质。这些结果将使很大一类非线性函数方程和函数方程组的求解成为可能。 相似文献
7.
布置在三峡左厂11#~14#坝段的TB5#顶带机由塔式起重机和三级皮带输送机联合组成,随着坝体的增高,顶带机内皮带机同时浇筑11#~14#坝段已嫌高度不够,如果将顶带机的下套架从塔带机21标准节爬升到 22标准节,则可以按时完成合同要求的 156 m的浇筑高程;经认真研究讨论,制定了详细的改造施工方案,最终实现了下套架爬升到22标准节,进一步提高了顶带机的使用性能,使TB5#顶带机在三峡二期工程混凝土浇筑高程可提高到 162 m以上。 相似文献
8.
9.
10.
三峡三期工程大型施工设备安全管理 总被引:1,自引:0,他引:1
设备是大体积、高强度混凝土浇筑的基本手段,而设备管理是主体混凝土质量和金属结构及设备安装的根本保证。三峡三期工程施工现场设备布置密集,设备相互间运行关系复杂,使用协调和安全保障难度很大。本文介绍了三期工程设备安全管理的重点、难点以及在大型施工设备安全管理方面的经验。 相似文献