摘要
分析了不同正区域之间的关系 ,在此基础上给出有关正区域计算的若干新的性质 ,如记录过滤性质、替换计算性质和分解计算性质等 .利用这些性质可以降低正区域动态计算的计算量 .
This paper gives several new properties of positive regions, including record filtering property, substitution property and decomposition property etc. These properties are useful for simplifying the dynamical computation of positive regions.
出处
《福州大学学报(自然科学版)》
CAS
CSCD
2002年第5期521-523,共3页
Journal of Fuzhou University(Natural Science Edition)
基金
教育部科研重点项目 (0 0 185 )
福建省教育厅科研项目 (JA0 0 144 )
福建省自然科学基金资助项目(A0 0 10 0 9)