Π-演算

作品数：39被引量：43H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李舟军傅育熙曹木亮林惠民吴智铭更多>>
相关机构：上海交通大学国防科学技术大学中国科学院软件研究所湖南师范大学更多>>
相关期刊：《上海交通大学学报》《韶关学院学报》《浙江师范大学学报（自然科学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金湖南省自然科学基金国家高技术研究发展计划湖南省重点科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
物联网服务的π-演算建模与验证被引量：1
《山东理工大学学报（自然科学版）》2021年第4期24-28,35,共6页李文翔 
福建省中青年教师教育科研项目(JAT190494)。
针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列。针对特定的应用场景,使用π-演算定义了物联网服...
关键词：物联网服务 Π-演算 μ-演算 模型检测 
温控系统的π-演算的描述与验证
《安庆师范大学学报（自然科学版）》2018年第3期65-68,共4页李文翔 
福建省教育厅中青年教师教育科研项目(科技类)(JAT160786;JAT171020);校级科研项目(KT201612)
根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明...
关键词：Π-演算 μ-演算 形式化建模 模型检测 温控系统 
地理现象时空逻辑过程建模方法
《测绘通报》2014年第8期48-51,61,共5页徐爱功 车莉娜 
辽宁省自然科学基金(201102087);高等学校博士学科点专项科研基金(20122121110007)
为了有效地对地理现象进行回溯和预测,必须对地理现象的发生过程进行准确描述,时空过程模型(STPM)是一种有效的方法。本文在研究时空过程概念模型的基础上,将概念层发展到逻辑层,研究地理现象时空逻辑过程建模方法;使用UML-RT标准化逻...
关键词：时空地理现象 逻辑过程模型 并发进程 Π-演算 
基于时空π-演算的信息物理融合系统组件可替换性判定被引量：4
《电子与信息学报》2012年第10期2494-2500,共7页王鹏 向阳 宗宇伟 张骐 
国家863计划项目(2011AA010101);国家科技计划项目(2012BAD35B01);国家自然科学基金(71171148);上海市科委科技攻关项目(10dz1122600)资助课题
信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算...
关键词：信息物理融合系统(CPS) 面向服务 时空π-演算 可替换性 
Email系统特征交互问题的π-演算检测被引量：1
《华侨大学学报（自然科学版）》2011年第2期175-177,共3页李文翔 潘孝铭 
福建省自然科学基金资助项目(A0810013);华侨大学科研基金资助项目(04BS313)
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
关键词：特征交互 EMAIL系统 Π-演算 μ-演算 移动工作台 
面向服务的动态体系结构描述语言SO-DADL被引量：1
《计算机工程与应用》2011年第6期68-74,共7页秦辉 史维峰 张丹 
西安市科技计划项目(No.CXY09016)
面向服务的架构(SOA)是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DAD...
关键词：软件体系结构 面向服务的架构 体系结构描述语言(ADL) 服务 高阶多型π-演算 动态行为 
基于时间π-演算的移动商务过程建模
《管理学报》2010年第6期885-890,929,共7页乔爽 张春城 顾宏 
在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间π-演算为移动商务过程建模,目的在于便于分析时间绩效改进。然后,具体指出了π-演算和移动商务过程的对应关...
关键词：移动商务 商务过程 过程代数 Π-演算 
一种扩充的π-演算及事务性等价关系研究被引量：3
《计算机研究与发展》2010年第3期541-548,共8页袁敏 黄志球 曹子宁 肖芳雄 
国家自然科学基金项目(60873025);湖南省自然科学基金项目(09JJ3114);湖南省教育厅重点基金项目(08A064)
为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过...
关键词：WEB服务 Π-演算 膜活动 等价事务 互模拟 
一种基于多Agent的分布对象全局一致性模型
《微电子学与计算机》2009年第9期121-124,128,共5页王小刚 
上海教委优青专项基金项目(29-006-2);上海电机学院校级科研基金项目
提出了一种基于多Agent的分布对象全局一致性模型,该模型模拟了一种复制的分布对象在更新(写操作)时的一致性问题解决方法,使用演算精确地描述了模型中各主机Agent之间的并发交互过程,体现了基于感知复制的分布对象交互.此模型在系统不...
关键词：多AGENT系统 分布对象 全局一致性 Π-演算 
分布式元组空间协同模型的设计与描述
《计算机工程》2008年第17期10-11,14,共3页黄永忠 陈左宁 周蓓 王磊 
元组空间是一种结构化的分布式共享存储编程方式,使用一个共享的元组空间进行生成式通信。该文针对集中式元组空间的性能瓶颈、单点失效问题及可扩展性差等不足,提出一种混合式的分布式元组空间的体系架构,给出基于π-演算的分布计算演...
关键词：分布式元组空间 Π-演算 钩互模拟 位置 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部