王松锋
- 作品数：9 被引量：21H指数：3
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理自然科学总论更多>>
- 基于有色Petri网的SysML序列图的分析与验证被引量：1
- 2012年
- 针对SysML序列图本身缺乏分析和验证手段的问题,提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则,重点是把序列图的常用结构如可选结构、条件结构、并行结构以及循环结构等映射为有色Petri网。这当中既包含结构元素,如库所、变迁、输入/输出弧,又包含逻辑元素,如全局声明中的颜色集和变量、颜色集与库所、弧表达式以及初始标志。应用这些规则可以将序列图转换为有色Petri网模型,进而对其进行仿真分析,并可通过有色Petri网工具验证模型的无死锁性、可达性、有界性和活性。最后通过数字证书更新的实例分析了映射前后两种模型的语义,验证了映射的正确性。
- 王松锋熊选东张亮忠付建丹
- 关键词：系统建模语言有色PETRI网序列图
- 基于随机Petri网的SysML状态机图的验证被引量：4
- 2013年
- 针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换。最后通过数字证书系统的一个实例说明该方法的可行性。
- 刘军霞熊选东王松锋
- 关键词：系统建模语言随机PETRI网广义随机PETRI网
- 一种基于消息中间件的PKI系统应用集成方案被引量：1
- 2012年
- 针对分布式环境下为大规模的证书用户提供及时、多样的证书服务所产生的对PKI系统中各实体的组织与管理等问题,提出一种PKI系统的应用集成方案。该方案以AMQP消息中间件作为集成方式,运用面向服务思想对各实体进行管理,采用异步的发布/订阅方式实现消息的传输,能够为PKI系统提供一个高效、稳定、且扩展性强的集成与通信平台。通过实验表明该应用集成方案能够在不对PKI系统性能造成较大的影响下,提高PKI系统在处理大规模证书服务时的整体性能。
- 付建丹熊选东范焱张亮忠王松锋
- 关键词：PKI系统
- 基于混沌PSO的动态可重构系统软硬件划分
- 2012年
- 软硬件划分是动态可重构系统软硬件协同设计中的关键技术之一,如何兼顾划分效率和划分效果,达到两者的最佳结合是软硬件划分的主要问题。在考虑动态部分重构及重构延时等特征的基础上,提出一种微粒群优化算法与混沌优化算法相结合的混沌微粒群软硬件划分方法。该算法使用基于实数编码的微粒群优化算法执行全局搜索,再根据搜索结果采用混沌优化算法执行局部搜索,具有较强的全局搜索和跳出局部最优的能力。仿真实验表明,该算法比标准微粒群算法和遗传算法具有更好的有效性和快速性,能够有效地实现应用任务图到可重构系统的时空映射。
- 张亮忠熊选东王松锋付建丹
- 关键词：可重构系统软硬件划分微粒群优化算法混沌优化算法
- SysML行为图到Petri网的转换研究
- 系统建模语言SysML是目前国际上系统工程领域最新的标准建模语言，是统一建模语言UML在系统工程领域的延伸和扩展。SysML针对系统工程领域中系统设计与建模的特点，提供了可视化、图形化的系统建模支持，得到了众多公司的支持...
- 王松锋
- 关键词：系统建模语言序列图活动图PETRI网有色PETRI网广义随机PETRI网
- 文献传递
- 面向可重构系统的eCos拓展
- 2012年
- 针对可重构系统中任务模型灵活性差、硬件任务重构延时长、FPGA资源利用率低等问题,提出了将应用程序划分为软件任务和混合任务的划分模式,并在eCos的基础上,通过重构控制机制、混合任务管理机制、通信机制三方面的拓展,设计了支持可重构系统的嵌入式操作系统框架eCos4RC。仿真结果表明,eCos4RC实现了对混合任务的有效管理,在兼容eCos多线程机制的同时提高了应用程序执行速度和可重构资源利用率,为可重构计算平台提供了良好的运行环境支持。
- 张亮忠熊选东付建丹王松锋
- 关键词：可重构系统嵌入式操作系统ECOS
- 基于微粒群优化算法的计划评审技术改进被引量：2
- 2012年
- 针对项目进度管理中常用的计划评审技术(PERT)缺乏方向性指示和定量标准化的不足,通过引入微粒群优化(PSO)算法,提出了一种基于PSO对PERT的改进方法。该方法利用PERT对项目工序时间确定的方法,结合标准PSO算法的思想及原理,对传统PERT进行了改进。仿真实验结果表明,改进后的PERT对项目的过程和整体给出了一个更为优化、更为准确的定量控制标准,比传统的PERT对整个项目过程的控制和调节能力更加突出和有效。
- 汪若洋熊选东张亮忠王松锋
- 关键词：项目管理进度管理微粒群优化算法计划评审技术
- 基于Petri网的SysML活动图的分析与验证被引量：6
- 2012年
- 系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段。为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换为相应Petri网可执行模型的6种转换规则。应用这些规则可以将活动图转换为Petri网模型,进而对其进行化简、分析和验证,同时可检测SysML的行为规范与并发相关的性质,如死锁、有界性等。采用列举法和模拟法验证了所建模型的一致性。证书申请活动图的实例表明,该方法是可行的。
- 王松锋熊选东付建丹张亮忠
- 关键词：系统建模语言PETRI网活动图
- 基于AMQP消息中间件的主动状态证书撤销机制实现被引量：8
- 2012年
- 主动状态证书撤销机制是一种新的证书撤销验证机制,如何实现该机制还未见具体的案例。在分析高级消息队列协议(AMQP)的基础上,结合主动状态证书的订阅/发布要求,设计了一种基于AMQP消息中间件的主动状态证书发布与订阅模型。通过实验分析表明,该消息中间件系统应用灵活,系统性能高效、稳定。
- 付建丹熊选东张亮忠王松锋王珏
- 关键词：消息中间件
