【摘 要】
：
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金No.61602249.
论文部分内容阅读
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化的性质。为了增强并发加权逻辑的表达能力,对带不动点算子的并发加权逻辑——并发加权μ-演算进行了研究,给出了并发加权μ-演算的语法和标记加权转移语义,在表达能力与复杂性之间建立了良好的平衡。研究了并发加权μ-演算与轮替树自动机之间的联系,构建了一种特定的用于并发加权μ-演算的轮替树自动
其他文献
我们对枣庄市两所高校图书馆管理人员的心理健康状况进行了调查，并与高校教师对比分析如下。1对象和方法1．1对象 选自枣庄市两所高校图书馆的管理人员共46名（研究组），其中男9名，女3
我院2006／2008年收住重度有机磷农药中毒并急性呼衰24例，经气管插管、呼吸机辅助支持，合理应用氯磷啶及对症支持治疗疗效较好，报道如下。
城市可视化中的纹理再现,是场景真实性的关键。纹理再现通常需要大量的纹理数据,对于资源受限的移动终端,意味着巨大的网络流量和电量消耗,成为制约城市可视化技术在移动终端应用的瓶颈。提出一种多级纹理细节的立方体全景纹理再现技术(LOD-in-IBR)。根据人眼视觉系统信息选择策略中对场景各区域关注度存在的差异,用较低分辨率的纹理数据再现关注度较低的区域,从而减少所需的纹理数据,降低移动终端的资源消耗。场