排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
PROLOG是一种逻辑程序设计语言,本文以这种语言为例,提出了谓词依赖性、等价式、谓词规范等概念,并且在此基础上对PROLOG谓词加以分类。最后基于一阶谓词逻辑,提出了PROLOG程序正确性的一种证明方法 相似文献
2.
闽都之行,还须从2004年夏谈起,友人将收藏多年闽派大宗师郑乃珖先生所画巨幅《孔雀牡丹图》割爱相让与另一好友。而这位朋友对书画并不研究,特请某画家鉴定。这位国家看过画后,具体提出以下几点意见: 相似文献
3.
程景云 《上海海事大学学报》1987,(4)
本文总结了用配置法、差分法和试射法求解二阶线性常微分方程和一般线性可分离边界条件的计算研究。在相同精度下,对各种方法的计算量进行了详细的比较。本文采用了含不同参数变化的三类试验,结果表明随着参数的变化,求解问题的难易程度也随之变化。当选取B样条函数或Hermite分段插值函数为基函数时配置法始终处于领先的地位。文中采用的高阶差分方法除极个别较难问题外,其效率与配置法相当。 相似文献
4.
在过去的算法图视开发系统中,算法必须按系统接口的规范书写,以便与其所建立的公共的图视系统接口。笔者提出了一种可在计算机上实现的算法预处理方法,即事件步分解方法。按传统方式书写的算法经过这种预处理后即能满足系统接口规范。这种方法大大提高了算法图视系统对用户的友好性,目前已在我们的算法图视系统中得到良好应用。 相似文献
5.
本文将T.pavlidis发展的连通域轮廓跟踪算法与图形分割算法相结合,发展了一种对任何复杂图形均有效的非连通域轮廓跟踪算法,并用于文字识别的预处理。文中还指出了T.pavlidis算法存在的缺陷,同时作了若干改进。 相似文献
6.
7.
本文针对一维对流—扩散方程,引进和分析了用差分格式进行图像卷积运算的概念,并阐述了用于对一维有限数字信号进行光滑和锐化等图像增强的机理及规律。上述结论已被推广用于二维和三维图像处理的研究中。 相似文献
8.
1898年,光绪皇帝接受康有为、梁启超等人的维新变法思想,试图在不改变封建体制、维护皇权的前提下,通过自上而下的改良措施,来使内忧外患、濒临崩溃的清王朝起死回生。 相似文献
1