论文部分内容阅读
整人新专家攻关核武器——FPE6.0快报
【出 处】
:
新潮电子
【发表日期】
:
1998年5期
其他文献
ODP系统的企业观点反映了开放分布式系统对象之间的合作关系,本文以模态逻辑为工具来讨论企业观点下ODP系统的形式化描述方法,通过在合作的系统对象和模态逻辑的可通界关系之间建立联
等值滤波器、高斯滤波器、多项式样条滤波器和Meeretal滤波器是四种典型的用于产生多分辨率图像锥的低通滤波器.本文分析比较了它们的频域特性:抗混淆性和滤波性,并通过分析比较它们对图像信息损失程度的影响,指出用特性不同的滤波器产生的多分辨率图像锥的质量是不相同的,提出高质量的多分辨率图像锥将更加快速、准确和有效地分割图像.分割图像的实验结果证实了这一结论.
区间逻辑不能模拟自然语言中与,或,非时态关系,其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点,本文给出了间断区间逻辑的语法,语义及公理
传统的Delaunay三角划分不适合许多实际的应用,本文提出了三维任意域内点集的Delaunay三角划的概念,研究了其存储性、唯一性的条件以及一个三角划分是DTAD的充要条件,DTAD具有最小角最大以及平均形态比最