蒋学文
- 作品数：2 被引量：6H指数：1
- 供职机构：重庆邮电学院更多>>
- 发文基金：重庆市教育委员会科学技术研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 粗集中的粒计算模型被引量：6
- 2006年
- 粒计算是一种基于问题概念空间划分的新的智能计算理论和方法,不相容决策表是粗集理论研究的一个重点,而粗集中的等价关系可以用来刻化等价粒。结合粒计算的处理方法给出了决策表信息系统的粒表示、粒运算规则和粒分解算法,同时结合粗集中的属性核计算方法,提出了决策表信息系统在粒表示下属性核的获取方法。
- 胡峰代劲蒋学文陶朝海
- 关键词：决策表粒计算粗集核属性
- 基于LOTOS对象模型的并发形式化研究
- 2006年
- 面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。
- 蒋学文代劲
- 关键词：对象模型并发形式化LOTOS
