CPN

作品数：356被引量：730H指数：11
导出分析报告
相关领域：自动化与计算机技术医药卫生更多>>
相关作者：叶新铭李华朱连章刘靖杨春辉更多>>
相关机构：内蒙古大学北京交通大学华南理工大学中国石油大学（华东）更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机软件与理论x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的供应链合约的形式化验证被引量：1
《计算机科学》2023年第S01期707-713,共7页郑红 钱诗慧 刘泽润 杜渂 
2019年度上海市信息化发展(大数据发展)专项资金项目(201901043)。
智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码...
关键词：智能合约 形式化方法 模型检查 CPN 供应链 
基于改进的GEP-CPN模型的预测终端行为架构
《电声技术》2022年第2期125-128,共4页罗锦光 苏锦 
广西高校中青年教师科研基础能力提升项目“基于GEP-CPN的可信网络终端行为关键技术研究”(No.2020KY41018)。
可信网络终端数据具有不确定性、复杂的特性,导致评估结果具有片面性,同时缺乏安全可靠的数据采集机制,评估结果无法揭露恶意用户经过篡改或伪装数据,使得服务提供者通过评估结果来辨识服务的可信度不可靠。针对以上问题,在GEP-CPN模型...
关键词：可信网络 终端行为 区块链 神经网络 
“尚泰普吉”盛大开业
《中国国家旅游》2018年第10期158-158,共1页
2018年9月11日，泰国最大的零售开发商及顶级购物中心打造者Central Pattana有限公司（以下简称CPN集团）在普吉岛庆祝其最新豪华旗舰品牌“尚泰普吉”（Central Phuket）正式开业。CPN集团曾先后成功打造尚泰世界（Central World）、...
关键词：开业 CENTRAL 购物中心 中心区域 CPN 开发商 
CPN建模与on-the-fly方法相结合的测试用例生成被引量：1
《软件学报》2017年第10期2564-2582,共19页张玉荣 李华 邢熠 王显荣 阮宏玮 张素梅 
国家自然科学基金(61163011;61262082);内蒙古自治区自然科学基金(2015MS0612);内蒙古自治区高校科学技术研究项目(NJZY010);赛尔创新项目(NGⅡ20150112)~~
在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴...
关键词：on-the-fly测试 CPN层次模型 扩展可达图 同步乘积 测试例 
ArtiMate:一种以Artifact为中心的多粒度协作流程建模方法被引量：1
《小型微型计算机系统》2015年第12期2644-2650,共7页黄冬梅 张喆昱 赵丹枫 
国家自然科学基金项目(61272098)资助;科技部″九七三″项目(2012CB316200)资助;上海海洋大学科技发展专项基金项目资助
业务流程是组合服务的主要表现形式之一.跨组织多方协作流程往往包含多重粒度,难以基于任何单一粒度建模.Proclets方法将多粒度单体流程分解为一组交互协作的单粒度流程,以实例的基数、多重性来约束其间的交互关系.然而,在此类方法中如...
关键词：业务流程建模 ARTIFACT 多粒度 交互策略 着色Petri网(CPN) 
基于颜色Petri网的有偿交互QA系统投诉模型
《计算机科学》2014年第7期110-113,共4页李彦成 曾庆田 鲁法明 薛洁 
国家自然科学基金(61170079;61202152);公益性行业(农业)科研专项(201303107);教育部高等学校博士学科点专项科研基金(20103718110007);山东科技大学杰出青年基金(2010KYJQ101)资助
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所...
关键词：有偿交互问答系统 颜色PETRI网 投诉模型 CPN TOOLS 
BitTorrent协议中激励机制的设计与分析被引量：1
《计算机科学与探索》2014年第3期275-287,共13页贾垒 刘靖 马燕林 叶新铭 
国家自然科学基金No.61262017;内蒙古自然科学基金重点项目No.20080404ZD20~~
激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能。原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,因此提出了一种新的激励策略,并给出了具体的实施算法。对应用这...
关键词：BITTORRENT 激励策略 着色Petri网(CPN) 模型模拟 
基于CPN的工作流异常处理模型设计被引量：1
《计算机安全》2014年第3期33-37,共5页张婷 张鑫 段新东 林玉香 
河南省科技计划项目(122300410315);河南省科技计划项目(142300410108);南阳师范学院校级项目(QN2013047)
工作流异常处理是工作流管理系统中的重要组成部分,但是它的实现既复杂又耗时。为了支持面向服务的工作流,层次化地描述异常处理,提出一种基于CPN的异常处理模型。在形式化描述工作流异常的基础上,采用补偿法作为异常处理方式,详细描述...
关键词：着色PETRI网 工作流异常 层次化建模 补偿案例 
Web应用工作流的CPN建模及测试序列生成
《内蒙古大学学报（自然科学版）》2013年第5期545-551,共7页董路路 李华 张素梅 
国家自然科学基金项目(61163011);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金项目(2011MS0912)
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减...
关键词：PETRI网 CPN 建模 合理性 测试序列 
CPN在数据结构教学改革中的应用
《电子商务》2013年第4期93-94,共2页郑文艳 
离散数学作为一门理论抽象、内容广泛、结构严谨的计算机专业核心基础课程,它几乎是所有后续专业课程的重要基础,而学生在学习离散数学的过程中普遍都感觉到比较抽象理解上比较困难,而且很难和计算机联系起来。因此,如何提高离散数学的...
关键词：离散数学 ML语言 颜色PETRI网 关键路径 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部