排序方式: 共有284条查询结果,搜索用时 15 毫秒
1.
从土木工程建设中结构设计入手,对土木工程建设中结构与地基加固技术进行了研究,研究结果表明,在土木工程建设中结构与地基加固几乎的应用,能够保证工程施工的质量,提高了工程建设的水平,在土木工程建设中的意义重大。 相似文献
2.
3.
4.
利用矩形张量A的指标集的一个划分——非空真子集S及其补集、分类讨论思想和三角不等式,研究了A的奇异值定位问题,得到了A的S-型奇异值包含集. 相似文献
5.
设{A,B}为m阶n维正则张量对,通过将指标集N={1,2,…,n}划分为非空真子集S及其补集S珚=N/S,利用分类讨论的思想以及张量对{A,B}某些元素选取的任意性和不等式缩放技巧,解决了张量对{A,B}的特征值定位问题,并给出张量对{A,B}特征值的S-型包含区域.数值结果表明,所得包含区域比已有包含区域更精确. 相似文献
6.
对非线性Volterra积分方程组构造了一个高阶数值格式.借助经典block-by-block方法,构造了一个所谓的修正block-by-block方法.方法除第1,2层外,每一步的解层与层之间都不需要耦合求解,并且保存了block-by-block方法好的收敛性.对此格式的收敛性进行了严格的分析,证明数值解逼近精确解的阶数是4阶. 相似文献
7.
沉默权是指犯罪嫌疑人在被询问中有自始至终保持沉默,拒不作答的权利。沉默权制度的确立被称为"人类在通向文明的斗争中最重要的里程碑之一",已为很多国家的刑事诉讼法所采用。而有限制地确立符合我国国情的沉默权制度不仅是顺应时代潮流和与国际接轨的需要,更是建设现代法治国家的必然选择。 相似文献
8.
9.
10.
《四川理工学院学报(自然科学版)》2015,(5):27-30
讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。 相似文献