论文部分内容阅读
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat（K）给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明。
基于嵌套赋类的Bigraph反应系统模型
【摘 要】
：
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat（K）给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性
【机 构】
：
郑州轻工业学院计算机与通信工程学院,武汉大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2012年9期
其他文献
拥有Android关键资源使用权限的应用经常成为攻击者攻击的目标。而使用权限的申请完全是由应用完成的,用户往往是盲目的接受。针对这种情况,提出了一种基于数据流分析的Andro
针对森林仿真系统的需求或应用目标不断发生变化的问题,提出了一种业务流程驱动的森林仿真构件组装方法。该方法设计和实现了森林仿真领域的构件模型和仿真构件接口,并通过业
近年来,反向最近邻查询（RNN）算法研究得到了普遍的关注,成为了数据库领域的一个研究热点。欧氏空间中提出了较多的高效算法,而路网中的反向最近邻处理方面所做的工作不够,有关
传统的面向MPI的自动并行化使用的依赖测试技术,只能确定代码中是否含有循环携带依赖,而不对循环携带依赖的类型进行判定。经研究发现,当循环携带的是反依赖时,代码仍然可以
报表系统是呼叫中心信息化系统的重要部分。伴随着呼叫中心业务的不断拓展，传统报表系统无法灵活、动态地满足呼叫业务需求。提出了基于SOA的报表服务模型以及报表服务应用的
Xen4.1发布的两个调度算法,都无法在服务器多任务虚拟化时得到好的性能。首先分析虚拟机上运行的3种任务的特点及要求,然后提出优化方法：将I/O任务按已消耗时间排序,优先调度
针对现有水平集方法对于具有强噪声或弱边界的目标进行分割时存在的问题,提出了一种基于形状先验的图像分割方法。该模型采用变分水平集方法,融合了区域特征和边界轮廓特征,并通过相似性匹配选择最佳先验形状。该模型不仅对具有强噪声和弱边界的复杂图像具有较好的分割效果,而且有效地解决了曲线演化的初始轮廓的确定问题。与传统方法进行对比实验,结果表明,该方法具有较好的分割效果和较高的准确率。
基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;
研究基于业务规则引擎的人事培训信息管理系统设计与实现，通过对主要业务流程分析、功能模块的设计以及业务数据关系的描述，进行了主要业务规则的举例，并详细描述了关键规则的实