【摘 要】
：
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带.可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述
论文部分内容阅读
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带.可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述不同的非良基集合的域;可以运用非良基集合来研究模态逻辑的可导出性.今天,互模拟因为各种目的广泛地应用在并行系统中;并行理论不仅仅与计算机科学有关,而且用在许多自然现象的模型化中;随着互模拟应用范围的扩大,如何把一个模型的随机部分反映到互模拟概念中去成了互模拟的一个研究方向;概率模型通常在几个应用领域被分析和定义;定义新颖的构造性的状态空间归约技术会大大提高概率模型检测效率,扩展概率模型检测范围.
其他文献
我喜欢凑合过日子,并且发誓在我的美满姻缘到来之前就打算一直凑合下去.如果我的美满姻缘永远不来,那么我这一生只能凑合着活了.
有人说,写诗是年轻人的事,诗歌创作有严格的年龄界限,真是这样吗?现在的年轻人,又有多少在读诗和写诗呢?
浮世绘是日本江户时代(1607-1863年)之后,在江户地区出现并流行于民间的一种以实用为目的的装饰艺术和工艺美术.浮世绘经由了传统的大和绘和风俗画演变发展,结合明清版画的木
摘要：纵观古今中外、历朝历代，决定一个国家、一个企业、一个单位生死存亡的是执政者的廉洁程度，思想是行为的先导，执政者是否能够廉洁执政则取决于其是否具有廉政思想。高职院校廉政文化不应该是孤立的、静态的，它应该是一个包含着各种要素、各种要素相互作用能够自我运行、具有自身精华、修复功能的动态的系统。笔者就高职院校文化生态系统问题发表一点不成熟的看法，以求教于各界同仁。 关键词：高职院校;廉政文化;生态
服装设计是美学艺术中的重要类别,服装可以展示出一个人的个性特点,也能表达出人物的情绪,在舞台服装设计过程中必须要注重服装设计的要素,体现出服装的个性与美感.本文对舞
和许多民族一样,纳西族文化也是以男性为中心的文化,女性在文化中处于被解读和被描述的位置.从明代到当代不算太短的几百年历史中,纳西族作家文学由萌芽到兴盛,逐渐形成一定
一、新媒体环境麦克卢汉(Marshall McLuhan)提出的“媒介即讯息”理论揭示过媒介变革与人类社会的关系,技术媒介作为人的延伸,是构成一定社会形态的基础性物质架构。人类历史
目的 分析血糖检验和尿糖检验作用于糖尿病(T2DM)患者的临床效果.方法 随机选择2017.5至2018.5期间我院收治的92例T2DM患者作为研究对象,并根据检验方法不同将其分为观察组(
在课程改革的大背景下，在中考指挥棒的作用下，初中语文教学越来越受到学校、家长、老师们的关注，对教学质量和教学目标都提出更高的要求。语文，作为一种基础性工具学科，作为中学最