摘要：德勒兹这位研究范围广博而思考深入的法国哲学家有两本关于电影美学的重要著作：《电影Ⅰ：运动影像》和《电影Ⅱ：时间影像》,这两本专著构成了他的电影美学思想.他的电影美学思想其实是他哲学思想的延伸和细化,也是他的政治思想的体现.他吸收了莱布尼茨的单子论,认为单子是世界最基本的组成单位的观点,认为影像也如同单子,是电影最基本的组成单位.于是,他把电影影像作为电影存在的本体,他更认为电影是一种新的哲学.哲学的任务是产生概念,电影不仅产生新的概念,还作为一种世界的存在的表征.同时,电影还是生成.在德勒兹看来,电影不是艺术,而是世界的名称和体现.

摘要：法国当代重要的哲学家阿兰·巴迪欧的《非美学手册》是他的最主要美学理论著作。他提出了艺术内在化于真理即哲学的美学思想。并通过重新建立诗歌、戏剧、电影等艺术门类与哲学的联系来阐释他的这一非美学观点。

摘要：COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

摘要：利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。