期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于单目视觉的边坡位移检测方法研究
1
作者 向璐 《农业网络信息》 2012年第11期37-39,共3页
针对边坡表面状态发生的变化检测,提出了一种新的智能检测方法。人工设置两个目标体分别作为观测点和监测点,以投影构成的位移阵与其投影阵目标质心、面积等参数的空间关系,计算出摄像距离阵、观测标识与定位标识投影距离、深度差等距... 针对边坡表面状态发生的变化检测,提出了一种新的智能检测方法。人工设置两个目标体分别作为观测点和监测点,以投影构成的位移阵与其投影阵目标质心、面积等参数的空间关系,计算出摄像距离阵、观测标识与定位标识投影距离、深度差等距离参数,得到三维解算所需各类距离信息。采用空间三点定标方法,完成位移阵空间数据解算。 展开更多
关键词 图像识别 边坡位移检测 物体测距 三维解算
下载PDF
离心压气机叶轮流场的S_1／S_2准三元解的分析
2
作者 华耀南 饶江 李京平 《机械工程学报》 EI CAS CSCD 北大核心 1994年第4期23-28,共6页
对Ｓ_１，Ｓ_２程序作了重要改进后，完成了离心压气机的Ｓ_１／Ｓ_２准三元迭代计算，并增加了前后处理和迭代过程中各环节的自动连接。
关键词 三元流场解 离心式压缩机
下载PDF
嵌入式实时操作系统内核混合代码的自动化验证框架 被引量：11
3
作者 郭建 丁继政 朱晓冉 《软件学报》 EI CSCD 北大核心 2020年第5期1353-1373,共21页
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... "如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-Ⅱ进行了验证.结果显示,利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达83.8%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10处~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验结果表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性. 展开更多
关键词 实时操作系统 VCC 混合程序验证 自动验证 Z3求解器
下载PDF
基于KLEE的复杂路径中内存泄露检测研究 被引量：1
4
作者 黄琦 彭武 +1 位作者 蔡爱华 王冬海 《中国电子科学研究院学报》 北大核心 2018年第1期56-61,共6页
为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,... 为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。 展开更多
关键词 复杂路径 内存泄露 Z3求解器 KLEE
下载PDF
基于改进k-ω SST模型的风力机尾流数值模拟 被引量：9
5
作者 杨祥生 赵宁 田琳琳 《太阳能学报》 EI CAS CSCD 北大核心 2017年第4期920-927,共8页
基于双方程k-ω SST模型提出两种改进湍流模型,采用丹麦科技大学的自编求解器EllipSys3D结合致动盘方法,对单台风力机尾流流场进行数值模拟。该文将SST-sust模型引入到风力机尾流的数值研究中,为了更进一步增大预测到的湍流强度和提高... 基于双方程k-ω SST模型提出两种改进湍流模型,采用丹麦科技大学的自编求解器EllipSys3D结合致动盘方法,对单台风力机尾流流场进行数值模拟。该文将SST-sust模型引入到风力机尾流的数值研究中,为了更进一步增大预测到的湍流强度和提高尾流恢复速度,提出SST-Csust模型和SST-Dsust模型,它们是在SST-sust模型的基础上分别调整湍流模型的封闭常系数、修正ω方程的耗散项。通过与理论、实验以及LES模型进行对比分析,结果表明该文提出的改进模型在尾流区速度分布和湍流强度分布的预测方面可取得较好的应用效果。 展开更多
关键词 k-ω SST湍流模型 风力机尾流 EllipSys3D求解器 致动盘(AD)模型
下载PDF
用交叉梁系比拟求解正交各向异性薄板弯曲问题
6
作者 袁全 袁驷 《应用数学和力学》 CSCD 北大核心 2024年第5期518-528,共11页
采用交叉梁系结构比拟求解正交各向异性薄板结构,给出了两种结构在静力分析和自由振动分析中的相容性条件;对于满足相容性条件且仅含有简支和固支组合边界的相容问题,论证了其解答随着交叉梁系网格加密可收敛到正交各向异性板的理论解.... 采用交叉梁系结构比拟求解正交各向异性薄板结构,给出了两种结构在静力分析和自由振动分析中的相容性条件;对于满足相容性条件且仅含有简支和固支组合边界的相容问题,论证了其解答随着交叉梁系网格加密可收敛到正交各向异性板的理论解.进一步建立了所有类型内力的计算公式,并给出了采用3D结构力学求解器求解的算法实施和数值算例(包括矩形板和圆形板问题),用以验证理论分析的正确性. 展开更多
关键词 交叉梁系 正交各向异性薄板 相容性条件 3D结构力学求解器 数值计算
下载PDF
交叉梁系比拟求解薄板弯曲问题的相容性及其计算 被引量：1
7
作者 袁驷 袁全 《土木工程学报》 EI CSCD 北大核心 2023年第3期1-8,共8页
文章用交叉梁系比拟求解薄板结构,讨论两种结构在静力分析和自由振动分析中的相容性和互异性,论证含有简支和固支边组合的边界属于相容问题,其解答随着交叉梁系网格加密可收敛到薄板理论解,而含有自由边界的非相容问题则不能。文中给出... 文章用交叉梁系比拟求解薄板结构,讨论两种结构在静力分析和自由振动分析中的相容性和互异性,论证含有简支和固支边组合的边界属于相容问题,其解答随着交叉梁系网格加密可收敛到薄板理论解,而含有自由边界的非相容问题则不能。文中给出了采用3D结构力学求解器求解的算法实施和数值算例,包括矩形、三角形和圆形板问题,用以验证理论分析的正确性,展示并拓展了3D求解器的出色性能。 展开更多
关键词 交叉梁系 薄板理论 相容性 3D结构力学求解器 数值计算
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部