-
题名支持外观属性保持的三维网格模型简化
被引量：16
- 1
-
-
作者
卢威
曾定浩
潘金贵
-
机构
计算机软件与新技术国家重点实验室(南京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2009年第3期713-723,共11页
-
基金
国家自然科学基金~~
-
文摘
对已有的三维网格简化技术进行分析,利用半边折叠操作对QEM(quadric error metric)算法进行改进,提出了一种基于二次误差测度(QEM)的网格简化算法,解决了非连续外观属性在简化过程中的畸变问题.通过分析顶点与非连续外观接缝的关系,得出了一个新的边折叠代价公式,使得外观畸变在简化过程中尽可能地推迟;并且在执行半边折叠时给受影响的三角形找到了合适的替换wedge,避免外观畸变的发生.实验结果表明,该算法保持了QEM算法的高效性,同时在几何属性和外观属性上都取得了令人满意的简化效果.
-
关键词
网格简化
半边折叠
累进网格
二次误差测度
外观属性保持
-
Keywords
mesh simplification
half-edge collapse
progressive mesh
the quadric error metric
feature preserving
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名面向方面程序的属性推断
- 2
-
-
作者
叶俊
谭庆平
李暾
-
机构
国防科学技术大学计算机学院
江南计算技术研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第2期344-351,共8页
-
基金
国家自然科学基金项目(60773025)
-
文摘
为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类——functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect.functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.
-
关键词
面向方面程序
形式化验证
属性保持
属性推断
活性属性
安全属性
-
Keywords
aspect-oriented programming
formal verification
property preservation
property inference
liveness property
safety property
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
