基于BIM的临建规划便道设计研究

1

作者 史翼铭 刘涛 +1 位作者 钟承奎 王伟 《现代工程科技》 2024年第13期61-64,共4页

为解决传统施工便道设计方法存在的问题,如选线效率低、地形复杂、数据准确性低等,通过引入BIM技术,提出一种新的临建便道规划及设计方法。利用数字化技术完成地形复刻及重建,并通过逻辑关联、数据互通实现了数字化模型价值。首先采用... 为解决传统施工便道设计方法存在的问题,如选线效率低、地形复杂、数据准确性低等,通过引入BIM技术,提出一种新的临建便道规划及设计方法。利用数字化技术完成地形复刻及重建,并通过逻辑关联、数据互通实现了数字化模型价值。首先采用无人机技术生成高精度的倾斜摄影模型,然后利用该模型数据进行地形重建,最后根据实景地貌完成便道方案规划,利用数字化方法实现了便道方案的比选和优化。该研究方法在纳晴1标1#施工便道项目进行了实践,结果表明,减少了实地踏勘测量工作,减少了人工作业量,方案快速比选成本大幅降低。该技术为便道规划设计方法的提质改造提供了一种切实可行的解决方案,不仅在数据准确性和设计质量上表现优异,同时也提高了工作效率,降低了设计成本,具有推广应用价值和实践意义。 展开更多

关键词 建筑信息模型 无人机 数字化 快速比选 降低成本

下载PDF 职称材料

关于无穷维耗散非线性动力系统全局吸引子的存在性 被引量：6

2

作者 钟承奎 牛明飞 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第2期1-5,共5页

证明了一类非线性发展型方程的全局吸引子的存在性 ,作为这个结果的应用 ,考虑了带有弱导数项的非线性反应扩散方程 ,并证明了该方程具有全局吸引子 .由于方程不具有正则性 。

关键词 无穷维耗散非线性动力系统 全局吸引子 存在性 非线性发展型方程 非线性反应扩散方程

下载PDF 职称材料

Banach空间中等变全连续场的拓扑度计算 被引量：2

3

作者 钟承奎 《数学年刊（A辑）》 CSCD 北大核心 1991年第2期154-159,共6页

本文给出了Banach空间中等变全连续场正则零点轨道的拓扑度计算公式以及对自反的Banach空间,给出了一般零点轨道的拓扑度在大范围内的计算公式。本文的结果比[1]中相应的结果更一般,而且方法有所简化。

关键词 BANACH空间 全连续场 拓朴度 轨道

下载PDF 职称材料

关于从强拓扑到弱拓扑连续半群的全局吸引子的存在性

4

作者 钟承奎 王希营 孙春友 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第6期105-106,共2页

关键词 强拓扑 弱拓扑 连续半群 全局吸引子 存在性 耗散系统 无穷维动力系统

下载PDF 职称材料

局部紧致度量空间上的变分原理

5

作者 钟承奎 马玉兰 何永福 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1997年第3期1-4,共4页

当Ｍ是局部紧致的度量空间时。

关键词 度量空间 变分原理 下半连续性 局部紧致

下载PDF 职称材料

无限维线性系统的有限维接触元

6

作者 钟承奎 王碧祥 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1994年第2期1-4,共4页

本文通过简洁而又直观的方法讨论了线性情形时的有限维接触无的渐近行为，特别地，给出了渐近解的表达式。

关键词 有限维 接触元 无限维 线性系统

下载PDF 职称材料

一类二阶方程组的次调和解

7

作者 钟承奎 王爱云 刘修路 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1994年第1期17-24,共8页

本文主要研究一类二阶方程组的次调和解。在适当的前提下，得到了该方程组存在一列极小周期至多只有有限个相同的周期解。

关键词 二阶方程组 希尔伯特空间 次调和解

下载PDF 职称材料

一类Banach空间中的指标理论及其应用

8

作者 钟承奎 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第3期11-16,共6页

本文的主要目的是首先对一类具有特殊表示的Banach空间建立具有维数性质和规范性质的指标理论,然后,利用这个指标理论去考虑一类具有适当对称性的半线性椭园方程组的 Dirichlet 问题的多重解轨道的存在性.

关键词 B空间 李群 表示理论 指标理论

下载PDF 职称材料

变分不等式中的山路引理

9

作者 钟承奎 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1995年第2期1-5,共5页

本文的主要目的是利用Ｅｋｅｌａｎｄ变分原理将临界点理论中的山路引理推广到变分不等式的理论中，得到了变分不等式中的山路引理。

关键词 变分不等式 变分原理 临界点 山路引理

下载PDF 职称材料

关于山路引理的注记

10

作者 钟承奎 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第2期25-29,共5页

本文的主要目的是对山路引理给出一种构造性的陈述和直接的证明.这种陈述方式和证明在理论上可为山路型临界点的计算提供有效的途径.

关键词 BANACH空间 山路引理 临界点

下载PDF 职称材料

具有一般边界的Hilbert流形上的变分不等式解的存在性及拓扑性质

11

作者 钟承奎 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1991年第2期8-13,共6页

本文的主要目的是首先建立具有一般边界的Hilbert流形的概念.然后,借助于临界点理论的思想方法,讨论在这种流形上的变分不等式解的存在性以及解的局部拓扑性质,最后给出了Morse不等式.

关键词 希氏流形 变分不等式 MORSE不等式

下载PDF 职称材料

识别问题中高阶扰动项在强等价和一般等价下相等

12

作者 钟承奎 何永福 李战存 《甘肃科学学报》 1997年第4期50-53,共4页

论证了在一般等价意义下，高阶扰动项集Ｐ１（ｈ）的一些性质，并证明了在一般等价意义下高阶扰动项集Ｐ１（ｈ）与强等价意义下高阶扰动项集Ｐ（ｈ）相等。

关键词 强等价变换 识别问题 分歧理论 扰动项 等价变换

下载PDF 职称材料

非线性梁方程强全局吸引子的存在性 被引量：24

13

作者 马巧珍 孙春友 钟承奎 《数学物理学报（A辑）》 CSCD 北大核心 2007年第5期941-948,共8页

非线性梁方程描述了桥面在竖直平面内的振动.作者利用文献[3]中给出的一种新的验证紧性的方法讨论了这类方程强解的全局吸引子.

关键词 全局吸引子 强解 梁方程

下载PDF 职称材料

非经典反应扩散方程强解的全局吸引子(英文) 被引量：5

14

作者 马巧珍 钟承奎 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第5期7-9,共3页

利用半群方法证明了非经典反应扩散方程强全局吸引子的存在性。

关键词 全局吸引子 反应扩散方程 强解 半群 存在性 证明

下载PDF 职称材料

Hilbert空间上线性算子广义逆A_(T,S)^((2))的存在性及其表示式 被引量：8

15

作者 郑兵 钟承奎 《数学物理学报（A辑）》 CSCD 北大核心 2007年第2期288-295,共8页

设H1和H2是两个Hilbert空间,B(H1,H2)表示从H1到H2的所有有界线性算子的集合,T和S分别是H1和H2的两个闭子空间．如果存在线性算子X∈B(H2,H1)满足XAX=X,R(X)=T,N(X)=S,则称X为线性算子A的具有指定像空间T和零空间S的外逆,记为AT,S(2)．... 设H1和H2是两个Hilbert空间,B(H1,H2)表示从H1到H2的所有有界线性算子的集合,T和S分别是H1和H2的两个闭子空间．如果存在线性算子X∈B(H2,H1)满足XAX=X,R(X)=T,N(X)=S,则称X为线性算子A的具有指定像空间T和零空间S的外逆,记为AT,S(2)．该文进一步研究了线性算子广义逆AT,S(2)存在的若干等价条件及其性质,建立了算子广义逆AT,S(2)的表示形式． 展开更多

关键词 HILBERT空间 线性算子 广义逆A^(2) T S

下载PDF 职称材料

吊桥方程全局吸引子的存在性(英文) 被引量：6

16

作者 马巧珍 钟承奎 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第2期271-276,共6页

利用新半群方法证明了吊桥方程全局吸引子的存在性.该方程描述了吊桥路面在垂直平面内的振动.

关键词 全局吸引子 弱解 吊桥方程

下载PDF 职称材料

一类一维奇异p-Laplace方程组边值问题正解的存在性 被引量：2

17

作者 王芳 钟承奎 王彩勋 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期103-106,111,共5页

利用乘积锥上的不动点指数定理,研究了一类一维奇异p-Laplace方程组边值问题正解的存在性.其中,第一个方程的非线性项是超线性,第二个方程的非线性项是次线性,并举例加以说明.

关键词 不动点指数 乘积锥 正解 p-Laplace方程组

下载PDF 职称材料

带衰退记忆的抽象发展方程强全局吸引子的存在性 被引量：4

18

作者 汪璇 钟承奎 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期113-118,共6页

利用一些最新结果,证明了带衰退记忆的抽象发展方程在强拓扑空间D(A~θ)×V_θ×L_μ~2(R^+;D(A~θ))中全局吸引子的存在性。

关键词 抽象发展方程 记忆核 全局吸引子

下载PDF 职称材料

带衰退记忆的抽象发展方程解的渐近性 被引量：2

19

作者 汪璇 钟承奎 马巧珍 《西北师范大学学报（自然科学版）》 CAS 北大核心 2009年第4期6-10,共5页

利用经典的Faedo-Gakerkin方法,讨论了带衰退记忆的抽象发展方程弱解的存在唯一性及其渐近性.

关键词 抽象发展方程 记忆核 渐近性

下载PDF 职称材料

一类非线性发展方程整体强解的渐近行为 被引量：3

20

作者 谢永钦 钟承奎 《应用数学》 CSCD 北大核心 2007年第3期524-527,共4页

本文研究一类非线性高阶发展方程utt-Δut-Δutt-Δu=f(u)整体强解的渐近行为,利用ω-极限紧方法得到了整体强解的全局吸引子A的存在性,A在D(A)×D(A)不变、紧,并且按D(A)×D(A)的范数吸引D(A)×D(A)中的任意有界集,其中非... 本文研究一类非线性高阶发展方程utt-Δut-Δutt-Δu=f(u)整体强解的渐近行为,利用ω-极限紧方法得到了整体强解的全局吸引子A的存在性,A在D(A)×D(A)不变、紧,并且按D(A)×D(A)的范数吸引D(A)×D(A)中的任意有界集,其中非线性项f满足临界指数增长条件. 展开更多

关键词 非线性发展方程 整体强解 ω极限紧 全局吸引子

下载PDF 职称材料