【摘 要】
：
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金No.61602249.
论文部分内容阅读
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化的性质。为了增强并发加权逻辑的表达能力,对带不动点算子的并发加权逻辑——并发加权μ-演算进行了研究,给出了并发加权μ-演算的语法和标记加权转移语义,在表达能力与复杂性之间建立了良好的平衡。研究了并发加权μ-演算与轮替树自动机之间的联系,构建了一种特定的用于并发加权μ-演算的轮替树自动
其他文献
目的 探讨经内镜金属支架治疗胃癌术后胃出口梗阻的临床疗效.方法 10例均为胃癌复发伴吻合口狭窄.所有患者在内镜下置入导丝后再置入支架.结果 10例放置均成功,成功率100%,支
我们对枣庄市两所高校图书馆管理人员的心理健康状况进行了调查，并与高校教师对比分析如下。1对象和方法1．1对象 选自枣庄市两所高校图书馆的管理人员共46名（研究组），其中男9名，女3
我院2006／2008年收住重度有机磷农药中毒并急性呼衰24例，经气管插管、呼吸机辅助支持，合理应用氯磷啶及对症支持治疗疗效较好，报道如下。
近年来，我国饮酒人数逐年增加，急性乙醇中毒的发病率也随之增加，并成为急诊科常见急症，病情严重者可危及患者的生命。笔者所在医院白2005年6月～2009年6月使用乙酰谷酰胺注射液和盐
急性喉炎是儿科的常见病多发病,起病急、进展快易并发喉梗阻而危及患儿生命.笔者所在医院2007年4月～2009年10月共收治急性喉炎74例其中52合并喉梗阻,现将治疗情况作一分析.
<正> 高层住宅建筑中经常采用剪力墙结构体系。研究表明布置较少的剪力墙就能满足设计要求,从而节约大量材料,降低造价。布置较少的剪力墙要求有较大跨度的楼、屋面板以降低
城市可视化中的纹理再现,是场景真实性的关键。纹理再现通常需要大量的纹理数据,对于资源受限的移动终端,意味着巨大的网络流量和电量消耗,成为制约城市可视化技术在移动终端应用的瓶颈。提出一种多级纹理细节的立方体全景纹理再现技术(LOD-in-IBR)。根据人眼视觉系统信息选择策略中对场景各区域关注度存在的差异,用较低分辨率的纹理数据再现关注度较低的区域,从而减少所需的纹理数据,降低移动终端的资源消耗。场
护理质量和护理安全是护理工作的核心，是护理管理的重点。抓好护理管理是满足患者健康的需要，也是与时俱进，开拓创新的需要。只有提高护理管理水平，才能促进医惠和谐，有利于患者康
本文应用部分剪力连接理论，并根据文献（１）的研究成果，提出了压型钢板肋垂直于钢梁时压型钢板组合梁塑性抗弯强度的计算方法。计算分析表明，本文给出的计算模型具有较高的精度，与试验
<正> 一、前言部分预应力砼结构在我国正得到越来越广泛的应用,它的使用性能很大程度上取决于结构的有效预应力值。因此,预应力损失值的计算问题一直是研究预应力砼结构的重