一种基于分层切片模型思想的源程序信息分析方案 被引量：3

1

作者 朱平 谭毅 +1 位作者 李必信 郑国梁 《计算机工程》 CAS CSCD 北大核心 2001年第12期32-34,共3页

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模... 作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM(Java Slicing Tools Model)中。 展开更多

关键词 程序切片 分层切片模型 源程序信息分析 软件理解 软件工程

在线阅读 下载PDF 职称材料

基于时间切片模型的设施农业时空数据研究 被引量：1

2

作者 王维瑞 黎昭咏 +2 位作者 史明昌 郑国柱 王磊 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第5期545-549,共5页

为实现北京市设施农业信息管理系统由静态GIS向时态GIS的转变,解决设施农业时空数据动态存储与表达的问题,针对设施农业数据的时空动态变化特征与情况,结合时间切片模型的思想与方法,提出了设施农业时空数据模型,以实现设施农业时空数... 为实现北京市设施农业信息管理系统由静态GIS向时态GIS的转变,解决设施农业时空数据动态存储与表达的问题,针对设施农业数据的时空动态变化特征与情况,结合时间切片模型的思想与方法,提出了设施农业时空数据模型,以实现设施农业时空数据的重组与管理.阐述了设施农业时空数据的组织、存储结构与查询方法.研究表明,设施农业时空数据模型能很好地表达设施农业时空对象的空间信息、属性信息以及变化关系,为设施农业时空数据管理提供了新的思路与方法. 展开更多

关键词 设施农业 时间切片模型 时空变化 面向对象

在线阅读 下载PDF 职称材料

一种全景图客户端快速显示的切片模型与实现 被引量：1

3

作者 谢元礼 姚瑾 +2 位作者 许允波 张荣斌 王芹 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第1期119-123,共5页

全景技术已经成为三维地理信息系统中不可或缺的部分,为探索网络环境下大幅全景图快速实时显示方法,该文提出一种将全景图进行分片切割的模型,并利用Flex技术根据可视区域进行分级分片加载显示。通过与全图加载显示的速度进行比较,切片... 全景技术已经成为三维地理信息系统中不可或缺的部分,为探索网络环境下大幅全景图快速实时显示方法,该文提出一种将全景图进行分片切割的模型,并利用Flex技术根据可视区域进行分级分片加载显示。通过与全图加载显示的速度进行比较,切片模型能够有效提高全景图的加载显示速度。 展开更多

关键词 全景图 切片模型 分级分片 快速显示

在线阅读 下载PDF 职称材料

多切片模型MSlice格式研究

4

作者 王福德 阳佳 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第8期1044-1048,共5页

在分析了现有其他接口格式如IGES ,STEP和CLI等的利弊之后 ,提出一种新颖的面向多切片模型的数据格式MSlice文件 ,用自行开发的AutoCAD 2 0 0 0下直接切片动态库验证了这一模型 。

关键词 多切片模型 MSlice格式 快速原型制造系统 CAD 计算机辅助设计

在线阅读 下载PDF 职称材料

用于IT系统自修复的功能点切片模型

5

作者 徐萍 高济 +1 位作者 张千里 郭航 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2009年第9期1557-1560,1683,共5页

针对缺乏以数据为基础的分析模型和信息以非结构化形式存储的复杂IT系统中的软件自修复问题,提出了一个基于过程模型的功能点切片模型(FPSM).该模型在功能点分析5类组件的基础上,建立组件间的各种依赖关系,形成系统功能点依赖图,再应用... 针对缺乏以数据为基础的分析模型和信息以非结构化形式存储的复杂IT系统中的软件自修复问题,提出了一个基于过程模型的功能点切片模型(FPSM).该模型在功能点分析5类组件的基础上,建立组件间的各种依赖关系,形成系统功能点依赖图,再应用功能点切片的方法,实现组件间的自动化关联分析,以支持软件系统运行阶段功能异常的自修复.模型实现了异常原因定位、变更影响分析以及解决方案匹配的自动化.实验结果表明,功能点切片模型和基于模型的切片器工具由于对系统组件进行了有效的定义和关联,能有效地降低异常事务的风险指标,并能够减小系统故障的发生频率. 展开更多

关键词 功能点切片模型 软件自修复 自治计算

在线阅读 下载PDF 职称材料

牛支原体体外肺精准切片感染模型的建立

6

作者 张慧 路豆昆 +5 位作者 张怡秋 赵刚 陈颖钰 陈曦 胡长敏 郭爱珍 《畜牧兽医学报》 CAS CSCD 北大核心 2024年第10期4638-4645,共8页

本研究旨在建立一种牛支原体体外感染模型-牛肺组织精准切片(precision-cut lung tissue slices,PCLS)感染模型。采集2月龄犊牛新鲜肺脏,经低熔点琼脂糖灌注、固定后,使用振动切片机制成厚度为250μm的牛PCLS,利用牛支原体野毒株HB0801(... 本研究旨在建立一种牛支原体体外感染模型-牛肺组织精准切片(precision-cut lung tissue slices,PCLS)感染模型。采集2月龄犊牛新鲜肺脏,经低熔点琼脂糖灌注、固定后,使用振动切片机制成厚度为250μm的牛PCLS,利用牛支原体野毒株HB0801(P1)及其传代致弱株P150以108 CFU·孔^(-1)的剂量进行体外感染,分别经qRT-PCR、乳酸脱氢酶(LDH)细胞毒性试验、3D荧光显微镜全景扫描、免疫组化等技术评估牛支原体在PCLS中的感染效果。结果显示正常PCLS在体外培养72 h后,细胞活力可维持在60%以上,组织形态学观察PCLS边缘清晰,肺泡结构正常;qRT-PCR检测牛支原体强、弱菌株在PCLS中的基因拷贝数,发现二者均可存活和增殖,免疫组化观察牛支原体主要定位于PCLS的肺泡腔周围以及支气管间隙,LDH试验检测发现牛支原体强、弱菌株感染18 h出现细胞毒性反应,二者均可诱导PCLS产生促炎因子IL-1β和IL-8,且强毒株诱导水平显著高于弱毒株(P<0.05)。本研究初步建立了牛支原体PCLS体外感染模型,提供了一种可模拟牛支原体体内感染试验的离体模型,为今后研究牛支原体与宿主相互作用提供借鉴和参考。 展开更多

关键词 牛支原体 肺组织精准切片模型 体外感染 炎性反应

在线阅读 下载PDF 职称材料

STL模型切片数据的优化技术研究 被引量：2

7

作者 江本赤 黄道业 《机械设计与制造》 北大核心 2011年第5期177-178,共2页

快速成型技术是一种基于离散/堆积成型原理的制造方法,它是在计算机的控制与管理下,根据零件的CAD模型,采用材料精确堆积的方法制造原型或零件的。目前在快速成型技术中,由于成型机的数据接口问题,通常在切片之前需要将CAD模型转换成ST... 快速成型技术是一种基于离散/堆积成型原理的制造方法,它是在计算机的控制与管理下,根据零件的CAD模型,采用材料精确堆积的方法制造原型或零件的。目前在快速成型技术中,由于成型机的数据接口问题,通常在切片之前需要将CAD模型转换成STL模型,而STL模型的某些区域存在冗余的三角形,这些三角形的存在增加了切片时候的求交运算量。通过剔除部分狭长的钝角三角形,实现了对STL模型的合理优化,节省了文件存储空间和后续数据处理时间,具有一定的工程意义。 展开更多

关键词 快速成型 切片模型 三角形 优化

在线阅读 下载PDF 职称材料

STL模型切片生成喷漆机器人轨迹的研究 被引量：1

8

作者 周峰 戴立玲 +1 位作者 卢章平 李明珠 《机械设计与制造》 北大核心 2009年第6期164-166,共3页

提出了运用STL模型切片技术生成喷漆机器人轨迹的方法。首先估算三角形面片的顶点法向矢量,然后对STL模型进行切片处理获取切片平面上的交点,再对交点进行法向矢量的估算,最后交点沿其法向矢量偏置喷枪到工件的距离以获取喷漆机器人的... 提出了运用STL模型切片技术生成喷漆机器人轨迹的方法。首先估算三角形面片的顶点法向矢量,然后对STL模型进行切片处理获取切片平面上的交点,再对交点进行法向矢量的估算,最后交点沿其法向矢量偏置喷枪到工件的距离以获取喷漆机器人的喷枪运行轨迹。该方法能准确控制喷枪的运行位置、方向以及喷枪与喷涂工件表面之间的距离,提高喷涂质量和效率。 展开更多

关键词 喷漆机器人 STL模型切片 法向矢量 偏置 轨迹

在线阅读 下载PDF 职称材料

过程模型切片技术的研究 被引量：1

9

作者 刘鹏 周伯生 《计算机应用与软件》 CSCD 2010年第2期88-89,114,共3页

将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片:前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分... 将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片:前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分析证明了该算法的可行性和实用性。 展开更多

关键词 过程模型 程序切片 过程模型切片 前向切片 后向切片 双向切片

在线阅读 下载PDF 职称材料

增材制造模型切片及路径规划的研究现状 被引量：3

10

作者 邢逸凡 徐祥炎 +5 位作者 王少伟 董庆楠 赵荣霞 袁鑫隆 王海霖 赵占勇 《热加工工艺》 北大核心 2021年第7期7-11,17,共6页

增材制造流程中三维模型数据的处理和激光扫描路径的生成直接影响着最终成型件质量的好坏。本文首先简要介绍了三维模型数据错误修复的研究现状;其次分别介绍了离散化数据模型和参数化数据模型各自在等厚切片和自适应切片两方面的研究进... 增材制造流程中三维模型数据的处理和激光扫描路径的生成直接影响着最终成型件质量的好坏。本文首先简要介绍了三维模型数据错误修复的研究现状;其次分别介绍了离散化数据模型和参数化数据模型各自在等厚切片和自适应切片两方面的研究进展,指出了不同切片方式对零件结构和打印参数的适用性;随后重点论述了激光扫描路径的规划方式,其包括平行线扫描、分区扫描、分形扫描、轮廓偏置扫描、螺旋线扫描等;总结和比较了各种方式的成型效率和材料性能的优缺点;最后提出了软件开发中的不足与困境,并对未来模型切片和路径规划的研究进行了展望,为进一步的研究提供了方向。 展开更多

关键词 增材制造 模型切片 路径规划

在线阅读 下载PDF 职称材料

一种基于层次切片谱的软件错误定位技术 被引量：18

11

作者 文万志 李必信 +1 位作者 孙小兵 刘翠翠 《软件学报》 EI CSCD 北大核心 2013年第5期977-992,共16页

传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,... 传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,以提高面向对象程序中的错误定位效率.这种技术首先分析程序不同粒度层次元素(包、类、方法以及语句)之间的依赖信息,对可能发生错误的元素进行筛选,缩小错误查找范围;在此基础上,建立了层次切片谱模型,并定义了一种可疑度度量方法;最后根据该可疑度结果从大到小的顺序进行错误定位.通过实验验证了基于层次切片谱的错误定位技术的有效性,且比基于程序谱的Tarantula技术、Union技术、Intersection技术效率更高. 展开更多

关键词 层次切片模型 层次切片谱 可疑度 错误定位 程序谱

在线阅读 下载PDF 职称材料

一种变电站数字孪生体的轻量化构建方法

12

作者 郭嘉 谢景海 +4 位作者 孙密 苏东禹 王涛 杨有行 王少荣 《电测与仪表》 北大核心 2025年第4期130-140,共11页

构建变电站数字孪生体是实现变电站运行监控和维护智能化的关键技术。为保证变电站物理实体与数字孪生体之间映射的实时性,以实用化为构建目的和功能需求牵引,引入工业CT (computed tomography)的思想,提出了一种变电站数字孪生体的轻... 构建变电站数字孪生体是实现变电站运行监控和维护智能化的关键技术。为保证变电站物理实体与数字孪生体之间映射的实时性,以实用化为构建目的和功能需求牵引,引入工业CT (computed tomography)的思想,提出了一种变电站数字孪生体的轻量化构建方法,重点论述了如何构建变电站设备的轻量化数字孪生体模型。采用改进三维线框模型构建变电站数字孪生体的骨架;对变电站三维线框模型进行纹理映射,构建变电站数字孪生体的局部表面模型;采用断层扫描原理构建反映变电站设备内部工况的切片模型。其中,变电站三维线框模型用于应用导航,并且为构建表面模型和切片模型提供坐标定位;表面模型用于变电站局部的外观展现;切片模型用于详细表征变电站设备内部的物理参量大小及分布情况,进而直观反映变电站电气设备的运行工况。文中详细阐述了所提变电站数字孪生体轻量化构建方法的基本思想和模型构建原理。 展开更多

关键词 变电站 数字孪生 轻量化构建方法 线框模型 局部表面模型 切片模型

在线阅读 下载PDF 职称材料

一种基于层次切片的软件错误定位方法 被引量：6

13

作者 许高阳 李必信 +1 位作者 孙小兵 陶传奇 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第4期692-698,共7页

提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通... 提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低. 展开更多

关键词 层次切片模型 抽象语法树 执行历史 逐步求精

在线阅读 下载PDF 职称材料

基于切片技术获取系统测试用例的方法 被引量：4

14

作者 罗文劼 周伯生 +1 位作者 王慧 朱令娴 《计算机工程》 CAS CSCD 北大核心 2008年第13期13-15,18,共4页

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程... 针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。 展开更多

关键词 过程模型 系统测试用例 过程模型切片

在线阅读 下载PDF 职称材料

全景影像快速加载与精确量测算法研究

15

作者 刘冰 郭李丽 +2 位作者 刘如飞 苏辕 徐超 《山东科技大学学报（自然科学版）》 CAS 北大核心 2024年第4期57-66,共10页

针对全景影像加载速度慢及量测精度低的问题,提出一种全景球金字塔切片模型动态约束加载算法。首先,基于格网球体投影模型构建三维全景场景;其次,对全景影像进行压缩与切片,并设计全景切片金字塔模型;然后,采用逆向墨卡托投影将全景切... 针对全景影像加载速度慢及量测精度低的问题,提出一种全景球金字塔切片模型动态约束加载算法。首先,基于格网球体投影模型构建三维全景场景;其次,对全景影像进行压缩与切片,并设计全景切片金字塔模型;然后,采用逆向墨卡托投影将全景切片作为纹理映射到球体内表面进行渲染,形成全景球金字塔切片模型;最后,按照可视区域约束对金字塔模型切片进行快速加载实现动态可视化,并结合深度图像实现全景影像的精确量测。实验结果表明,选用顶点数量为11904的全景球金字塔切片模型,量测中误差小于3 cm,同时提高了加载速度。 展开更多

关键词 加载速度 量测精度 全景球金字塔切片模型 全景影像 逆向墨卡托投影 深度图像

在线阅读 下载PDF 职称材料

自适应细分曲面算法及在快速成型数据处理中的应用 被引量：4

16

作者 温佩芝 吴晓军 +1 位作者 吴成柯 刘伟军 《计算机集成制造系统》 EI CSCD 北大核心 2007年第3期608-613,620,共7页

为提高快速成型制造中STL模型切片轮廓的光滑性,提出了一种基于Loop模式的自适应曲面细分算法,首先分割出网格模型中的曲面和平面,对和尖锐边相邻的曲面三角面设计了特殊的细分规则。通过三角面顶点的平坦度和容差平坦度决定三角面是否... 为提高快速成型制造中STL模型切片轮廓的光滑性,提出了一种基于Loop模式的自适应曲面细分算法,首先分割出网格模型中的曲面和平面,对和尖锐边相邻的曲面三角面设计了特殊的细分规则。通过三角面顶点的平坦度和容差平坦度决定三角面是否做进一步细分,以达到自适应细分的目的。该算法在保留零件模型上尖锐特征的同时,提高了模型上曲面部分的光顺性,从而可以利用模型的全局信息获得光滑的2维切片数据。 展开更多

关键词 LOOP细分曲面 自适细分应曲面 模型切片 快速成型制造

在线阅读 下载PDF 职称材料

金属增材制造数据处理与工艺规划研究综述 被引量：9

17

作者 张李超 胡祺 +2 位作者 王森林 张楠 史玉升 《航空制造技术》 CSCD 北大核心 2021年第3期22-31,共10页

金属增材制造数据处理与工艺规划是金属增材制造软件系统的核心,涵盖了金属支撑结构设计、模型切片以及路径规划等内容,决定着最终金属零部件的产品性能。从金属增材制造模型前处理出发,较为全面地概述了与之相关的多类型支撑设计和新... 金属增材制造数据处理与工艺规划是金属增材制造软件系统的核心,涵盖了金属支撑结构设计、模型切片以及路径规划等内容,决定着最终金属零部件的产品性能。从金属增材制造模型前处理出发,较为全面地概述了与之相关的多类型支撑设计和新型支撑优化等数据处理内容,针对金属增材制造数据处理中模型切片这一关键环节,分别从平面切片、自适应切片和曲面切片等方面进行了研究进展综述,同时对金属增材制造工艺中的路径规划研究进展进行了概述,最后对其发展趋势做了初步展望。 展开更多

关键词 支撑设计 模型切片 路径规划 工艺规划 金属增材制造

在线阅读 下载PDF 职称材料

西藏雄村Ⅰ号矿体三维地质建模与深部可视化应用 被引量：15

18

作者 黄超 郎兴海 +9 位作者 娄渝明 邓煜霖 王旭辉 张赫 李亮 李宸 曾方侣 何青 张忠 姜楷 《地质通报》 CAS CSCD 北大核心 2021年第5期753-763,共11页

21世纪以来随着地球科学的发展,深部三维建模技术逐渐进入地学领域,数学地质与计算机科学的结合为地学领域开辟了新的认知空间,也给地球科学工作者带来了新的挑战与机遇。通过三维建模SURPAC软件对西藏雄村铜-金矿床Ⅰ号矿体162个钻孔... 21世纪以来随着地球科学的发展,深部三维建模技术逐渐进入地学领域,数学地质与计算机科学的结合为地学领域开辟了新的认知空间,也给地球科学工作者带来了新的挑战与机遇。通过三维建模SURPAC软件对西藏雄村铜-金矿床Ⅰ号矿体162个钻孔数据预处理、分析及矿体解译,针对雄村Ⅰ号矿体深部数字化资源/储量估算及深部成矿元素分布问题,采用地质统计学法对Ⅰ号矿体钻井数据进行矿体模型、实体模型建立及数字化自动资源/储量估算,以深部实体模型二维切片模型为指导,探讨了深部成矿元素的空间分布形态及相互关系。研究表明,采用距离幂次反比法进行资源/储量估算,结果均大于96%,有效揭示了区内资源/储量定量评估。在矿体模型、实体模型的指导下,以深部二维精细化切片模型展布了矿体深部三维空间成矿元素分布特征及相互关系,有效减少了雄村Ⅰ号矿体深部成矿单一信息多解性问题,为西藏雄村斑岩型铜-金矿床Ⅰ号矿体深部精确定量找矿提供了参考依据。 展开更多

关键词 三维建模 SURPAC软件 可视化 模型切片 西藏雄村

在线阅读 下载PDF 职称材料

3D打印中数据精简处理技术

19

作者 孙宝玉 张志勇 《现代电子技术》 2023年第14期163-167,共5页

目前流行的3D打印方法是把模型数据切割成切片数据进行打印,但是切割后的轮廓上存在很多冗余数据点。针对该问题,文中提出一种在角度弦高法的基础上融合二分法和筛选法的简化处理算法。该方法将轮廓上的数据分割成一个一个的簇数据集,... 目前流行的3D打印方法是把模型数据切割成切片数据进行打印,但是切割后的轮廓上存在很多冗余数据点。针对该问题,文中提出一种在角度弦高法的基础上融合二分法和筛选法的简化处理算法。该方法将轮廓上的数据分割成一个一个的簇数据集,再根据簇内每个点的偏角度和弦高依次进行判断筛选;然后通过二分迭代的方法对簇数据进行重新聚类,以此来确定需要去除哪些数据点。选取1001个原始数据点的梅花形状轮廓为实验对象,当设定偏角阈值Δα=10°,弦高度阈值为Δh=0.1 mm时,所提算法精简率为80.82%,且用时仅为0.0049 s,重构曲线的平均误差仅为0.0237 mm。所提算法精简的效果比较理想,不仅能够在轮廓的曲率变化较高的地方保留足够的数据点,而且在轮廓的曲率变化较低处也能把细节的特征点很好地保留下来,保留的数据能够跟随曲率特征实现合理的分布。实测结果表明,要使精简的效果良好且快速稳定,需要把每次处理的数据簇的个数设定在10~20。 展开更多

关键词 3D打印 模型切片 轮廓数据 数据精简 二分法 筛选法 冗余点

在线阅读 下载PDF 职称材料