李俊雄
- 作品数：2 被引量：0H指数：0
- 供职机构：重庆交通学院管理学院管理工程系更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 关于一类α-值和连续值逻辑函数的组合网络实现问题
- 1992年
- 对于某类函数的集合A,如果存在一个有限集CA,使得A中的任意函数均可以由C的一个有限组合函数网络实现,则称C是A的一个有限完备集。如,函数集{x∧y,x∨y,x}是二值逻辑函数的有限完备集。本文给出一个4个函数组成的集合,并证明这个集合是一类多值逻辑函数的有限完备集。本文还证明,对于模糊逻辑函数,不存在有限完备集。此外,本文建立了形式演算系统FUNCT_c,并证明C上的一个组合函数网络与FUNCT_c的一个定理等价。
- 李俊雄
- 关键词：完备集多值逻辑
- 模块化程序设计的代数理论
- 1991年
- 文献[1]对程序开发中逐步求精过程予以形式化,提出求精实现的数学定义。本文在此基础上提出模块化实现的概念,作为模块化程序设计过程的形式化定义。本文证明了模块化实现具有水平合成与垂直合成性质,文[1]中的求精实现是本文定义的模块实观的一个特例。
- 李俊雄
- 关键词：形式化程序设计
