【摘 要】
：
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造
【机 构】
：
内蒙古大学计算机学院,内蒙古大学网络信息中心
【基金项目】
：
国家自然科学基金项目（61163011,61262082）资助
论文部分内容阅读
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至状态空间爆炸等问题。针对上述问题,提出将符号执行与CPN建模相结合,并在CPN模型的执行过程中采用一种基于token选取的方法,进而得到CPN模型的状态可达图。通过对OpenStack云平台支持创建的单一平面网络进行CPN建模,针对传统方法和所提方法生成的状态空间,分析了
其他文献
随着普适计算的不断发展,室内定位技术的研究也成为当今研究的热点问题。室内定位技术的不断进步使得RFID也开始部署到各种各样的室内场景。为了提高室内空间中的定位精度,提
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增
物元分析源于实践，从实践出发，推广应用可拓工程方法，是我们研究开拓学的一个课题。笔者从自己从事的印染工作出发，尝试将可拓工程应用于其中，提出了染整工艺方法的观念。
针对Dempster组合规则在高冲突证据融合的情况下常常会得到违背直觉的结果，提出了一种基于向量冲突表示方法的Dempster（VCRD）组合规则。首先，通过实例分析了冲突因子和Jousselme
为了有效地削弱无线通信环境中的多径效应并提高信道参数估计的准确性,在散射体非均匀分布下,引入了到达路径物理概念,提出了一种合理的改进型信道模型。此模型能够准确地描
影响力最大化问题的目标是寻找社交网络中一组种子结点集合,在给定的传播模型下,使得这些结点最终传播的影响范围最大。Kempe和Kleinberg提出的贪心算法可以获得很好的影响范围,但是因复杂度太高而并不适用于大型社交网络。Chen和Yuan等人基于线性阈值(LT)模型提出了构造局部有向无环图的启发式算法,但是LT模型只考虑了邻居结点的直接影响力,忽略了结点之间存在的间接影响力。因此,在LT模型的基
ＡＲ７５０双氧水漂白稳定剂及其配套助剂是中国纺织大学研制成功的，系国家经委下达上海市经委的国家重点引进技术，消化吸收重大攻关项目：纯绵，涤棉，混纺织物高效短流程新工艺及配套助剂国产
针对车载自组织网络在城市道路车流量大的情况,车辆在不同的路边基站之间频繁地进行上下文切换,从而导致IPv6的移动性支持协议切换时延过长的问题,提出了一种基于代理移动路由的快速切换方案。采用代理移动路由在3G/WiMAX通信域的切换触发其它802.11p通信域内的车辆发生切换的方法,来达到宏切换与微切换相结合的目的,从而实现批量式快速切换。分析结果表明,该方案较现有方案提高了切换效率,减小了切换时延
增深固色剂Ｔ是一种含多官能活性基因的阳离子变性剂，它能与纤维和染料形成共价键，离子键的官能团使水溶性的染料成为不溶性沉积在纤维或织物上，从而提高了染色的牢度及得色量，特别