G1连续几何偏微分方程Bézier曲面的构造

基于三角形和四边形网格上Laplace-Beltrami算子、高斯曲率和平均曲率的离散及其收敛性分析,提出了一种使用四阶几何流构造几何偏微分方程Bézier曲面的方法.使用该方法构造出的Bézier曲面既具有几何偏微分方程曲面的最优性质,同时又满足G1连续性.算法收敛性的数值实验表明该方法是有效的.     

基于几何特征的曲面物体识别

基于几何特征的曲面物体识别方法是通过从景物深度图象上提取景物表面的高斯曲率和平均曲率、曲率直方图,曲率的熵等几何信息,将景物用一个属性关系图ＡＲＧ来表示,并与模型库中的模型ＡＲＧ图进行优化匹配,从而来识别曲面景物。该方法主要是针对机器零部件等人造曲面物体的识别问题而设计的,其曲面几何特征的描述方法对二阶曲面比较有效,实验表明,应用该方法可成功地从深度图象中识别机器零部件等曲面物体,且有较好的识别结     

常平均曲率细分曲面的构造

常平均曲率曲面经常作为界面出现在许多物理问题当中,是物理膜泡的一种数学抽象,而细分曲面的灵活性及其高质量的特性使得它成为一种强有力的曲面设计工具.通过给定边界,使用由一个二阶能量范函导出的四阶几何偏微分方程和一个二阶几何偏微分方程来构造常平均曲率细分曲面,这2个方程采用有限元方法求解;由于扩展的Loop细分规则能处理带...     

CATIA建模教程(七)——曲线和曲面连续性分析

一、连续性的定义 曲线和曲面中经常涉及到连续性的概念,主要是包括几何连续、斜率连续、曲率连续和曲率变化率连续等4种,上述4种连续性的级别依次由低到高.     

4-3网格混合曲面细分

在已有曲面细分模式的基础上,利用"回推"技术构造出一类新的细分模式,对同时存在三角形和四边形的4-3网格进行混合曲面细分;采用分析细分矩阵特征结构的方法,讨论了该模式的连续性.分析表明,所构造的混合细分全局C1连续,且在规则情形下具有有界曲率.最后给出了一种基于体积保持的混合细分策略.     

曲面处理的曲率域能量优化方法研究*

鉴于曲率在几何处理中的重要性,提出了一种基于曲率域的三维几何处理方法,提供了便于曲面形状编辑、过滤及合成的几何工具。对于给定曲面,估计其主曲率,过滤和编辑其曲率分布,完成曲面空间域到曲率域的映射。采用能量优化处理方法对非线性最小二乘曲面问题进行求解,获得最优匹配于期望曲率的曲面,同时保持原始曲面形状的重要几何属性及特征。实例证明,该方法实用性好,对各向异性光顺、特征增强、多尺度曲率编辑的处理效果理想。     

NURBS曲面多分辨率光顺拼接及其在复杂产品变形设计中的应用

针对复杂产品变形设计中曲面拼接问题,提出基于小波基多尺度分解的NURBS曲面多分辨率光顺拼接与融合方法.首先根据小波分析的多分辨率理论将样条曲面分解为相互正交的两部分,其中低频粗样条函数表示光顺曲面,高频曲面细节函数表示曲面噪声部分;然后利用曲面曲率特征,在B样条小波基多水平分解过程中光顺处理曲面;最后通过设定适当的阈值过滤曲面噪声部分,重构光顺曲面.实验结果表明,文中方法既能保证拼接曲面的几何连续性,又增强了曲面外形的整体光顺性.     

点到隐式曲面的正交投影计算

针对点到隐式曲面的正交投影问题,提出一种稳定的几何迭代算法.首先构造初始点处的一条特殊的法截线,并给出沿着该法截线追踪投影点的二阶泰勒迭代方法;然后将给定点向初始点处的法截线的曲率圆作投影,提出基于曲率的步长控制策略,在此基础上给出了基于梯度的迭代误差矫正方法.仿真结果表明,该算法具有良好的收敛性、鲁棒性以及精确性.     

一种混合曲率流图像除噪方法

基于几何曲线(曲面)演化的图像除噪和恢复是图像处理领域中的一个研究热点.本文利用几何和非线性扩散理论分析最大最小曲率流曲线演化方程,提出结合边缘信息的开关函数控制曲线(曲面)演化的混合曲率流图像除噪模型.实验证明,与其它除噪模型比较,该模型能更好解决曲线演化模型在对图像除噪时边缘保护和噪声去除的问题,提高曲线演化模型的图像除噪能力,并改善图像的可视性.     

网格模型离散微分几何量估算及应用

为了更好地估算网格模型离散微分几何属性,构造出一个新的三阶局部拟合算子.将Razdan 和Bae的网格模型二阶局部拟合曲面进行推广至三阶拟合曲面,更加准确地估算网格顶点法向量和曲率值;接着定义网格顶点的测地主挠率,使用该三阶拟合曲面对其估算;将估算出的曲率和挠率值作为几何特征属性,构造三维网格模型灰度图,并应用在非真实感绘制中,获得较好的渲染效果.     

基于动态染色的内存漏洞定位技术

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏洞。实验结果证明,该方法能成功定位常见内存漏洞的位置,并能定位到有漏洞的库函数的调用点。     

基于本体的语义分析过程与方法的研究应用*

为了提高信息化环境下语义分析能力,将本体引入语义分析。通过对典型本体构建方法的比较与综合,形成一种持续优化的本体构建方法,在此基础上进行概念分析、关系推理。进一步对比基于本体的语义分析和其它语义分析方法,指出基于本体的语义分析更具系统性、针对性,推理能力强。最后,将基于本体的语义分析应用到软件缺陷分析系统中。结果表明,它能够集成到原有系统中并有效进行关系推理和冲突识别。     

算法的经验分析

我们以前应用过许多算法分析,虽然这些技术能够成功应用于许多简单的算法,但即使有许多高级技术的支持,数学也远不是万能的。实际上我们能够证明,即使许多貌似简单的算法也是很难用数学的精确性和严格性来分析的。除了可以对算法的效率做数学分析以外,另一种主要的方法是对算法的效率做经验分析。     

食品安全分析数据仓库构建过程中的数据预处理技术

数据仓库是进行多维数据分析的基础,在构建食品安全析数据仓库中,需要对原始操作型的数据进行预处理,使其更适合分析的需求.介绍了构建食品安全分析数据仓库中常见的数据预处理技术,主要包括数据清洗技术和数据转换技术.     

提高互相关测速精度的数学处理方法研究

互相关技术在比较理想的环境下速度测量精度很高,但在实际实验中,影响因素很多而且复杂,不同实验中各因素的影响程度也不同,实验测量结果本身也带有统计分析的特征。为了提高测量结果的准确性和可信度,必须对产生误差的各种原因进行分析,对误差进行估算。对于复杂的气泡运动现象来说,速度测量结果的实验误差分析尤为重要。文中详细分析了互相关测速的各种误差源,探讨了相应的解决方法,并提出了一种针对互相关测速误差的综合分析及其相应处理手段。     

一种改进的基于密度的聚类算法

基于密度的聚类是聚类算法中的一种，其主要优点是可以发现任意形状的簇，对噪声不敏感。而现有的该类算法对于空间数据分布不均匀的情况聚类效果不佳。鉴于此，文中提出一种改进的基于密度的聚类算法，保持了基于密度的聚类算法的优点，并且可以有效地处理分布不均的数据集，减少了时间复杂度，适用于对大规模数据库的挖掘与分析。     

面向软件可信性的可信指针分析技术综述*

对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。     

PHP程序污点型漏洞静态检测方法

针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法。提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制流图;对内置特征、入口点和敏感点进行建模,精确分析数据流;提出基于有效路径的污点分析方法,提高了分析的准确性,实现了基于变量回溯的路径遍历算法。实现了该方法的原型系统,并对两个广泛使用的PHP应用程序进行测试,发现了6个未公开漏洞和11个已公开漏洞,证明了该系统具有较强的漏洞检测能力。     

基于N-GRAM的朝鲜文索引方法与性能评价

在为检索信息而索引朝鲜文时,通常的做法是对语句和词素进行分析后把名词抽取成索引词.但由于分析的模糊性,若在对词素进行分析时出现参考的词典上不存在的未登录词的情况,就很难抽取正确的索引词.N-gram不需要对词进行语言的分析,因而索引速度快,而且对词素分析词典里不存在的未登录词的分析有利,所以对分析复合名词有很好的效果.但与别的分析方法相比,使用N-gram时会出现因索引词抽取得太多而导致存储空间使用率低和索引效率的下降.为了克服N-gram的缺点,本文提出了一种新的朝鲜语自动索引方法.该方法首先把体词与谓词抽取成索引词后,再利用语句类型规则对词素分析中失败的语句进行助词分离,最后在未登录词处理中使用N-gram的索引方法.对比分析和性能评价表明,所提出的方法是有效的.     

基于串空间认证测试理论的认证协议分析

对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。