吴恒洋
- 作品数：9 被引量：16H指数：3
- 供职机构：杭州电子科技大学信息工程学院更多>>
- 发文基金：浙江省自然科学基金浙江省教育厅科研计划国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 非全序R_0代数的存在性及其构造被引量：11
- 2004年
- 通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.
- 韩诚许文艳吴恒洋
- 关键词：序结构模糊逻辑命题演算
- 非全序R_0代数的结构被引量：5
- 2004年
- 通过考察非全序R0代数的序结构,分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件,对R0代数的结构给出一个清晰的描述.
- 吴恒洋韩诚
- 关键词：R0代数
- 两种模糊互模拟的比较
- 2015年
- 本文是在模糊转移系统上,借鉴概率互模拟的思想,首先通过关系提升以及关系的闭集分别定义了两种模糊互模拟。然后从关系与点两个角度比较这两种定义,我们得到:在一般的关系上这两种定义是不同的,而在点上这两种定义是一致的。
- 吴恒洋孙莉萍
- 关键词：互模拟
- 模糊-可能推理的逐级聚合推理方法
- 本文主要针对产生式的左部是一个模糊现象,而右部是一个状态或命题,且此产生式带有可信度的形式,给出了逐级聚合形式化的推理方法,并给出他们的推理公式.
- 陈仪香吴恒洋
- 关键词：模糊推理
- 文献传递
- 城市交通流协调模糊控制模型被引量：3
- 2015年
- 针对交通路口拥堵问题,提出基于神经网络与协调模糊控制相结合的数学模型。该模型首先通过BP神经网络输出各种路况信息,然后将这些信息以模糊隶属函数表示,进而通过模糊推理控制规则推导出控制策略。与已有模型相比,该模型采用OBD设备,能够实时捕捉车辆信息,而且考虑较多的路况信息,更符合实际情况。仿真结果表明,该模型能通过动态分配信号灯时间,有效降低交通路口拥堵风险。
- 叶文斌吴恒洋王振辉
- 关键词：智能信号灯神经网络
- 命令式模糊程序语言的语义被引量：1
- 2013年
- 文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.
- 吴恒洋
- 关键词：指称语义模糊逻辑
- 程序设计语言的模糊语义
- 2015年
- 计算机语言的形式语义学是计算机科学的重要研究内容之一,它包括:公理语义、操作语义、指称语义及代数语义。常见的公理语义是通过Hoare三元组构造逻辑系统,使得一个Hoare三元组是正确的当且仅当它可以从该逻辑系统推出;操作语义是从迁移系统的角度研究程序的逐步行为;指称语义是指用相应的数学对象(如,集合,函数等等)对语言的语义进行注释,其基础是论域理论及λ-演算;代数语义是用代数方法对语言的语义进行注释,其基础包括范畴论、抽象数据类型的说明与实现等。另外,最弱前置条件语义及最弱线性条件语义也是一种公理语义。它们转化后置条件为最弱(线性)前置条件。这两者的区别是前者对应全正确的程序(是指程序一定终止);而后者对应部分正确的程序(是指程序不一定终止)。
- 陈仪香吴恒洋
- 关键词：形式语义
- 健康模糊谓词转换器
- 谓词转换器语义是使用程序验证技术来定义程序语言的一种方法.传统的谓词转换器语义是由Dijkstra通过最弱前置条件给出的,后来Kozen把它推广到概率谓词转换器.在2001年陈仪香与Achim Jung提出了模糊谓词转换...
- 吴恒洋马艳芳
- 关键词：转换器程序语言语义
- 文献传递
- 概率计算与可能性计算的Domain语义
- 随着计算机技术与网络技术的发展,人们将关注点从顺序计算转向并行计算与分布式计算.并行计算与分布式计算导致了程序的非确定性,而程序的非确定性计算是计算机科学的一个重要研究课题,其研究成果可用于程序规范,程序精细,软件合成,...
- 吴恒洋
- 关键词：语义模型
- 文献传递
