排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
约束满足模型是较为成功的模型之一,但也存在可改进之处。通过深入讨论Schema模型,给出改进模型的设想与算法,经模拟实验加以验证,并给予深入讨论及理论分析。 相似文献
2.
约束满足模型是较为成功的模型之一,但也存在可改进之处。通过深入讨论Schema模型,给出改进模型的设想与算法,经模拟实验加以验证,并给予深入讨论及理论分析。 相似文献
3.
软件体系结构设计已成为软件工程的一部分,为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言WRIGHT,它注重连接器的定义(即协议),提供了形式化推理和体系结构一致性检查的工具。实现了体系结构设计的要求。 相似文献
4.
文章针对模糊边缘检测传统算法即Pal算法的缺陷,提出了改进的边缘检测算法;通过定义有界函数作为隶属函数、采取更高效的模糊增强函数、引入P-M非线性扩散模型平滑图像噪声等措施,有效克服了传统Pal算法对低灰度、低对比度区域边缘检测效果差的缺陷;把改进算法用于对核磁共振图像的边缘检测,对比分析了不同边缘检测算法的边缘检测效果. 相似文献
1