蒋忠远
- 作品数：14 被引量：23H指数：4
- 供职机构：西华大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金四川省教育厅科学研究项目更多>>
- 相关领域：自动化与计算机技术理学文化科学交通运输工程更多>>
- 基于Petri网的形式化软件开发方法研究
- 随着计算机软件的飞速发展，提高软件开发的效率已成为一个非常重要的问题。采用软件形式化技术，不仅可以极大地减少软件设计早期阶段的错误，缩短开发的总体时间，而且有利于开发人员之间的沟通，提高软件的可靠性。形式化方法是建立在严...
- 蒋忠远
- 关键词：PETRI网形式化软件软件开发形式化开发
- 文献传递
- 一种基于临界值的自适应图像信息隐藏方法
- 本发明提供一种基于临界值的自适应图像信息隐藏方法，通过结合子块的临界值和自适应的判断临界块，提出了AIHC信息隐藏算法。AIHC算法提高了图像隐藏的容量和自适应的嵌入秘密信息增强了安全性。该算法可以在多项式时间复杂度下完...
- 唐明伟蒋忠远陈晓亮曾晟珂夏梅宸何明星赵成芳邓英高振伟
- 文献传递
- 基于增广Petri网带封锁机制的数据库并发控制模型
- 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段...
- 蒋忠远宋文姚建
- 关键词：增广PETRI网数据库并发控制模型
- 文献传递
- 基于Fuel环境的Openstack大数据课程教学平台搭建与部署
- 2017年
- 大数据与云计算作为信息时代的典型代表,给企业和高校的研究与发展带来了机遇与挑战,其相关课程已被广泛开设于各大高校。本文综合高校实验室硬件配置情况,提出了基于fuel环境的Openstack大数据课程教学平台的搭建与布署方法,以更好地服务于高校大数据类课程的教学及实验平台搭建与部署。
- 蒋忠远
- 关键词：大数据课程规划
- 基于Petri网的交通信号控制系统
- 用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统.系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件...
- 蒋忠远宋文杨博
- 关键词：PETRI网自控网交通信号控制
- 文献传递
- 基于增广Petri网带封锁机制的数据库并发控制模型被引量：1
- 2007年
- 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。
- 蒋忠远宋文姚建
- 关键词：PETRI网封锁形式化
- 基于增广自控网的路灯故障检测系统被引量：1
- 2007年
- 用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。
- 严兵宋文蒋忠远
- 关键词：PETRI网自控网形式化
- 微博信息流行度预测研究综述被引量：6
- 2017年
- 微博的出现改变了传统的信息传播方式。文章针对微博流行度预测的一系列问题展开综述。在对微博流行度预测问题进行定义的基础上,从微博内容、用户信息和网络结构3方面对影响微博流行度的主要因素进行介绍,对基于时间序列、基于流行病模型、基于分类模型和基于回归模型的4种微博信息预测主流方法进行比较,指出流行度预测未来的研究方向主要集中在时间粒度的划分、最小观测时间的确定、微博流行度的动态预测等方面。该研究对信息检索、舆情研判、企业营销等具有重要意义。
- 吴越陈晓亮蒋忠远
- 关键词：信息传播
- 工作流网的混或检测和预防策略被引量：4
- 2015年
- 独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.
- 陈晓亮蒋忠远叶剑虹
- 关键词：监督控制PETRI网工作流系统
- 智能电网中电能存储系统的容量优化被引量：5
- 2015年
- 智能电网中的电能存储系统能够在系统故障修复期间持续供电,以避免大面积停电.然而,电能存储系统的成本与其容量成正比.使用有限容量Petri网建立智能电网传输系统的模型.通过对模型性质的分析,文中提出一个计算电能存储系统最小容量的方案.该方案不仅避免了因为系统参数间的不协调所导致的大面积停电;还为故障期间避免大面积停电提供一个必要的约束条件;最后,对方案进行了验证.实验结果表明,该方案能有效避免大面积停电且电能存储系统的容量也得到优化.
- 蒋忠远张秀艳马子玥
- 关键词：PETRI网监督控制
