随机进程代数

作品数：18被引量：66H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：余镇危潘耘严博王励成梁辉更多>>
相关机构：扬州大学清华大学哈尔滨工程大学中国矿业大学（北京）更多>>
相关期刊：《兰州理工大学学报》《东北大学学报（自然科学版）》《山东大学学报（理学版）》《电子学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于随机进程代数的在线客服系统建模及优化被引量：2
《海军工程大学学报》2022年第4期53-58,共6页严博 周大伟 付钰 侯文瑞 
国家重点研发计划基金资助项目(2018YFB0804104)。
随着用户规模的增大以及智能客服技术的不断成熟,对在线客服系统资源配置进行合理优化,成为企业平衡用户服务水平与运营成本的迫切需求。首先,针对一类典型的存在不同用户类别的在线客服系统,利用随机进程代数语法分别描述了系统用户和...
关键词：在线客服系统 随机进程代数 服务质量 
基于SM-PEPA可生存系统认知模型及量化分析被引量：3
《华中科技大学学报（自然科学版）》2015年第5期99-103,共5页王健 赵国生 
国家自然科学基金资助项目(61403109;61202458);高等学校博士学科点专项科研基金资助项目(20112303120007)
为解决可生存系统的自主管理和维护问题以保持关键服务的持续提供,提出一种基于SM-PEPA的系统认知形式化模型及量化分析方法.首先建立了具有分层认知能力的可生存系统认知模型,即服务认知子层、网络认知子层和接入认知子层,然后提出了...
关键词：认知模型 随机进程代数 可生存性 反馈控制环 量化分析 
基于随机进程代数的P2P网络蠕虫对抗传播特性分析被引量：6
《电子学报》2012年第2期293-299,共7页严博 吴晓平 廖巍 李凤华 
国家自然科学基金(No.71171198);博士后科学基金特别资助(No.201003757);教育部重点项目(No.209156);北京市自然科学基金(No.4102056);新闻出版重大科技工程项目-数字版权保护技术研发工程(No.GXTC-CZ-1015004/05)
研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P2P网络蠕虫对抗传播的建模与分析方法.首先,分析了传播过程中蠕虫之间的对抗交互行为以及网络节点的状态...
关键词：对等网络 良性蠕虫 传播模型 随机进程代数 
任务关键系统可生存性的形式化建模方法被引量：2
《山东大学学报（理学版）》2011年第9期89-94,共6页王健 郭黎利 李扬 
黑龙江省教育厅2011年度科学技术研究项目资助(12511099)
通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角...
关键词：可生存性 随机进程代数 性能评估进程代数 形式化建模 
随机进程代数新技术综述(英文)
《软件》2011年第8期50-60,共11页戴慧 丁杰 
国家自然科学基金(61103018,61003180,61070133);江苏省自然科学基金(SBK201122850,BK2006064,BK21010311);北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-08)
本文以PEPA语言为例,对近年来发展起来的随机进程代数的缓解状态空间爆炸问题的新技术做一个综述.
关键词：综述 随机进程代数 PEPA 状态空间爆炸 
应用随机进程代数的网络系统可靠性预计方法被引量：6
《西安交通大学学报》2011年第6期40-45,共6页严博 吴晓平 付钰 
国家自然科学基金资助项目(60774029)
针对复杂结构网络系统可靠性预计建模与分析的难题,提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓扑结构,研究了网络系统随机进程代数模型的建立方法,根据随机进程代数操作语义,推导出一个带时间延迟的可...
关键词：网络系统 拓扑结构 随机进程代数 可靠性预计 
可信链的随机进程代数模型
《计算机应用研究》2010年第12期4650-4653,共4页刘昌平 范明钰 王光卫 
国家"863"计划资助项目(2009AA01Z403;2009AA01Z435)
计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进...
关键词：可信链 可信计算 随机进程代数 软件行为 形式化方法 
基于PEPA的信息系统可生存性形式化模型
《价值工程》2010年第27期166-166,共1页赵国生 刘海龙 苏岩 
黑龙江省教育厅科学技术研究项目(11531237);哈尔滨师范大学科学技术研究项目(KM2007-14)
本文提出了一种基于PEPA的可生存性形式化建模方法,对攻击者和信息系统的交互行为进行精简抽象,构建面向系统可生存性的状态转换图。在此基础上,建立可量化的生存性形式化模型,为可生存系统的设计提供理论指导。
关键词：可生存性 随机进程代数 形式化建模 
基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1
《计算机应用研究》2010年第8期2948-2952,2958,共6页苏峰 翟健 杨秋松 
国家自然科学基金资助项目(90718042;60903051);国家"863"计划资助项目(2007AA010303);国家"973"重点基础研究发展计划基金资助项目(2007CB310802);中国科学院知识创新工程领域前沿资助项目(ISCAS09-DR09)
为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算...
关键词：软件过程 随机进程代数 测试驱动开发 仿真 决策支持 
基于随机进程代数的Overlay网络上的QoS性能评价被引量：1
《北京邮电大学学报》2009年第B04期129-133,共5页潘耘 王励成 余镇危 梁辉 
国家自然科学基金项目(90718001);中国传媒大学"211工程"和"382人才工程"项目
论述了对Overlay网络中组播的服务质量进行量化评价的必要性,引入了组播树二度同胚约简的概念,推广了Bowman评价单播数据流服务质量的随机进程代数方法,提出用随机进程代数对Overlay网络中组播的服务质量进行评价的建模方案,并用PEPA wo...
关键词：随机进程代数 OVERLAY 服务质量 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部