【摘 要】
：
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法.该方法首先采用区间动作前缀和瞬时
【机 构】
：
西安电子科技大学计算理论与技术研究所,西安电子科技大学ISN国家重点实验室
论文部分内容阅读
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法.该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演.对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性.
其他文献
为了研究不同形式颗粒阻尼的减振特性及其在旋转条件下的阻尼效果,建立颗粒阻尼的线性离散元模型,提出了一种颗粒接触线性模型的参数选取方法。根据Hertz接触非线性模型,假设
针对电力系统负荷短时预测问题,从分析负荷数据的混沌特性入手,利用相空间重构理论对负荷数据进行重构,构建了一种新型的Volterra模型对电力系统负荷进行预测.该模型采用二次
为了分析转子/定子碰摩系统中的非线性模态,确定交叉耦合效应对非线性模态的影响以及非线性模态在预测系统干摩擦反向涡动响应中的作用,针对一个考虑了定子运动学特性以及转
摘要： 利用水热法合成了纳米棒状的MnO2/碳纳米球（CNPs）作为电化学超级电容器的电极材料.利用场发射扫描电镜（FESEM）、X射线衍射光谱分析（XRD）对样品的微观形貌、物相进行分析；利用循环伏安法和恒电流充放电测试材料的电化学性能.结果表明：纳米棒状MnO2/CNPs复合材料具有良好的电化学性能.在0.1 A/g的电流密度，1 mol/L Na2SO4电解液中，电极材料的比电容高达305.
图像分类作为图像处理和计算机视觉的重要组成部分,能够快速准确地对数字图像进行分析和管理.对基于bag of word(BOW)模型的分类问题进行了研究,针对图像理解中的图像相似度之间的关系,提出了一种最大间隔最近邻居分类算法,通过对成对约束的度量学习算法,在优化目标中增加原空间数据分类的约束,学习到了一个可以反映当前样本数据的距离函数,并且在k-Nearest Neighbor(KNN)分类器上使
东莞市万濠精密仪器有限公司是一家专门从事光、机、电一体化的精密光学检测仪器产品研制，生产和销售的高新技术企业。
技术依赖度高达60％的广东常常为人诟病基础研究薄弱，常常被人批评引进技术消化吸收水平低下……
大师之高明，不仅仅体现在学问的渊博方面，也体现在非同一般的个性方面。坚持原则，又不拘泥于成规；棱角分明，有所为有所不为。 有一回，西南联大中文系的一位老师向吴宓教授借了五元钱，说好一个星期以后还，但一个星期过去了，那位老师却没有把钱还给吴宓，于是，吴宓就亲自找上门去，要回了那五元钱。那位老师很不高兴，跟别人说：“吴宓真是个小气鬼，借他五元钱还好意思上门来要！”有人把这话传给吴宓，吴宓说：“我不是
广州市轨道交通三号线洛溪车辆段及综合基地下穿隧道位于场坪基线JCK0＋706．23～JCK0＋734.03段，全长350m。下穿隧道主要在淤泥层中修建，且由于与珠江相距较近，地下水侧向补给丰富，技术
许多同学在进行了大量作文训练之后依然对写好高考作文缺乏信心,究其原因,主要就在于大家对在高考时会遇到什么样的题目心中没底。虽然要想提前预知高考作文题目无异于痴人说