论文部分内容阅读
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性。
基于Pi-演算的移动自助服务系统缴费流程的建模与验证
【摘 要】
：
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整
【机 构】
：
宁夏大学信息工程学院
【出 处】
：
宁夏工程技术
【发表日期】
：
2016年2期
其他文献
电气设备安装作为建筑工程的分项工程，由于设备繁多，施工工序复杂，并贯穿于建筑工程施工的整个过程，是建筑工程施工的难点和重点。电气设备安装施工的质量直接影响着建筑工程的整
试验结合温室膜下滴灌技术,研究了不同微咸水净化灌溉管理模式对黄瓜光合、品质及产量的影响。结果表明,随着灌溉水矿化度的增大,黄瓜的光合指标与水分利用效率均降低,但品质
摘要：世界经济不断發展，科学技术不断提高，加速了人类文明向信息化时代发展的进程。信息化时代的来临给人类社会生活的方方面面带了巨大的变化，这就要求我们要随着时代的步伐做出相应的改变。在信息技术新媒体时代下，为满足人民对政府提出的更高要求，“互联网+政务”的新型政府服务模式应运而生。那么，在“互联网+政务”背景下我国政府怎样塑造其形象呢？文章从“互联网+政务”的基本知识，“互联网+政务”背景下我国政府
自动化控制是现代化工业控制的应用趋势，它有着安全稳定、节省人力等优点。本文就集中供热系统中的自动化控制系统进行了阐述，介绍了其锅炉自动控制系统和传输热网自动控制系统
初唐时期，当宫廷诗人用绮靡艳丽诗风点缀风雅之时，诗坛上相继崛起了锐意改革、位卑而名著的青年诗人“四杰”。他们在诗坛上首先树起了改革的大纛，拓宽了诗歌的题材，从市井宫苑走
摘要：随着我国的体操在世界级竞赛中取得越来越优秀的成绩，体操在我国成为非常重要的体育项目，我国当前高校体育教学中也开始把体操作为重要的运动项目。同时我国体育事业在快速发展，但是体操教学训练在高校面临着一定的困境，所以文中首先明确在高校开设体操教学训练课程的意义，然后对当前我国高校体操训练所面临的困境进行了探究，最终提出应该如何优化教学设施环境，以及优化体操教学的具体策略，希望高校体操教学训练有更好
大肠杆菌病是由致病性大肠杆菌引起的一种以败血症和剧烈腹泻为特征的急性传染病，常呈地方性流行或散发。2009年3月，辽宁省庄河市一绒山羊养殖户的一群1～3周龄绒山羊羔羊发生以
对于电网工作来说，其评价工作做得好与坏在很大程度上会受到指标体系的影响，所以说使用客观的、准确的以及相对有效的指标评价体系以及相应的评价方法，对我国电网规划的全面评价