1) local orientation
局部定向
2) local directed complete set
局部定向完备集
1.
When a poset is a local directed complete set, the auxiliary relation on it has many properties.
将辅助关系的概念及有关性质推广到较弱的局部定向完备集上 ,得到了局部定向完备集上的辅助关系特别是 way- below关系的一些较好的性质 ,进而讨论并加强了局部定向完备集上的插入性质 ,证明在连续的局部定向完备集上的 way- below关系满足强插入性
3) directional local contrast
定向局部对比度
1.
Then the modified directional local contrast method is applied to detect the vessel boundary,and last the width of retinal vessel diameter is obtained by computed.
该方法结合血管骨架的空间位置信息和方向信息,采用改进的定向局部对比度方法检测出骨架线两侧的血管边界像素,从而计算出骨架线上各像素点的血管直径宽度,实验对不同形态结构的血管段进行了仿真,结果证明了该方法的有效性。
4) continuous local directed complete set
连续的局部定向完备集
6) local vector
局部向量
补充资料:哥德尔不完备性定理
哥德尔不完备性定理 Gdel's incompleteness theorem 数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条