基于DSD的并发面向对象图形语言研究

在深入分析ＤＳＤ图的基础上，提出了一种支持并发面向对象程序设计的图形语言ＣＯＯＤＳＤ，在其中扩充了面向对象的支撑设施，并对图形方法的表达能力从理论上进行了探讨，最后简要讨论了ＣＯＯＤＳＤ图形支撑环境。     

Rosser公式对偶形的存在及推导

Ｃｏｄｅｌ定理是数理逻辑发展中的一个里程碑,但其最初表述并不完善,Ｒｏｓｓｅｒ公式克服了Ｇｏｄｅｌ定理之不足,从而最终解决了形式数论系统的完备性,本文深入分析了Ｇｏｄｅｌ提出“ω无矛盾”的初衰和Ｒｏｓｓｅｒ公式的构造思路,运用Ｒｏｓｓｅｒ公式对偶对形式,并给出了与此相关的定理,通过这一研究将深化人们对数学系统相容悸 、完备性的认识。     

对Wirth一个不变式的修正

With在《算法 数据结构=程序》一书中关于“对半检索”程序中给出了一个不变式,但该不变式是不完善的。本文对此予以了修正,并通过一 系列定理及其证明进行了完整的论证,在论证过程中,也揭示出程序作为一种对象,其整体的一些性质;程序的这些特性,在一般测试时未能被认识,因而程序中“不变式”及对“不变式”的论证,也应是程序中最有价值的资料。