福建省科技厅基金项目(JK2012033)
- 作品数:2 被引量:3H指数:1
- 相关作者:杨荣华胡致涌陈义王金水薛醒思更多>>
- 相关机构:福建工程学院更多>>
- 发文基金:福建省科技厅基金项目福建省教育厅资助项目更多>>
- 相关领域:交通运输工程自动化与计算机技术更多>>
- 城市交通控制中的智能计算被引量:3
- 2013年
- 详细介绍了模糊控制理论的模糊化、基于规则库的模糊推理以及精确化的模糊控制流程,并对交通信号灯在一个周期内的信号相位变化方案进行设计,最后基于模糊控制理论阐述了其在实际交通控制中的应用,同时对交通控制的云计算系统进行研究,配合车载GPS装置来有效缓解城市交通压力,从而对城市交通流进行智能化的控制和指挥。
- 胡致涌杨荣华
- 关键词:交叉路口模糊控制信号相位云计算GPS
- 实时互斥协议的形式化建模与自动验证
- 2016年
- 实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。
- 唐郑熠陈义薛醒思杨荣华王金水
- 关键词:互斥时间自动机