【摘 要】
：
并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim.G.Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子,增强表达能力,实现对复杂模块化系统的有效
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61602249)
论文部分内容阅读
并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim.G.Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子,增强表达能力,实现对复杂模块化系统的有效建模。对CWC进行了研究,给出了CWC的语法并阐述了CWC的标记加权转移语义。μ-演算与自动机理论密不可分,引入了轮替树自动机用于处理CWC,阐述了轮替树自动机与CWC之间的联系,构建了一种特定的用于CWC的轮替树自动机模型。一致性内插定理是Craig内插定理的加强和扩展,为了探究CWC上的一致性内
其他文献
在<邓小平文选>第三卷中,邓小平同志反复论述了"共同富裕和避免两极分化"的问题.中国走社会主义道路实现了"共同富裕",俄罗斯走资本主义道路出现了两极分化,二者分别从正反两
近年来，粗造集理论及其应用得到了广泛的认可．粗糙集作为一种处理不确定、不精确数据的数学工具，从新的角度认识知识，特别值得注意的是它与其它软计算方法有很强的集成能力．此种背
中国大陆地震活动受到周围板块运动的影响，通常主要考虑西南印度板块的碰撞与青藏高原的隆升的影响，实际上其他方向的板块也有影响，本文主要讨论东南部澳大利亚等板块活动对大陆
以英文原著小说The Magician's Nephew阅读教学为例,探析高中英语阅读课堂如何培养学生的创造性思维。认为在高中英语阅读教学中,教师应引导学生联系现实生活,代入角色进
简述高中生跨文交际能力培养的必要性,分析高中英语教学中跨文化交际能力培养在教学方式、内容范围等方面存在的问题.提出更新教育理念,加大跨文化交际内容投入;丰富教学方法
为了更好地适应大规模不确定时间序列数据的相似性耗时多、计算效率低的问题,基于传统的动态时间规整（DTW）相似性计算算法,在FastDTW算法已经进行粗细粒度化剪枝节省部分运算时
短跑放松技术对提高短跑成绩有很大的作用．从心理学、生理学、训练方法方面对运动员加强训练，可充分发挥运动员的体能，从而提高其运动成绩．
ETL系统是构建和维护数据仓库的基本构件,对异构数据源中的业务数据进行抽取、清洗、转换可通过ETL工具将其装载到数据仓库中。但是,当数据量上升到一定程度时,传统的ETL在数
1991年冷战的结束,为全球或地区性的军控与裁军创造了良好的环境,但在东南亚却出现了扩充军务的"逆裁军".究其原因,固然是由于东南亚自身的经济增长和南中国海的分歧与争端,
意境具有生动的形象,饱含艺术家的情感,包含了精湛的艺术技巧,它的含蓄能唤起欣赏者丰富的想象,因此,语文课教学中进行艺术美教育,首先应从意境入手.