论文部分内容阅读
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式。
n-精化关系及其相关研究
【摘 要】
：
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出
【机 构】
：
南京航空航天大学计算机科学与技术学院
【出 处】
：
电子世界
【发表日期】
：
2017年2期
【基金项目】
：
国家自然科学基金Nos.11426136,60973045, 江苏省高校自然科学基金No.61602249~~
其他文献
包括人类的所有生命体中，水是维持生命形式所必需的。这不再是什么秘密。如果一个人一天内不喝足够的水，新陈代谢就会慢下来，可能导致体重增加，因为水是所有新陈代谢功能所必需的
SiCp/Al是颗粒增强铝基复合材料中研究较多、应用较广泛的一种.文中综述了SiCp/Al复合材料的制备方法,并简述了今后的研究方向.
目的:探讨血清总胆红素(TSB)/白蛋白(ALB)比值在新生儿黄疸临床诊断中的应用价值.方法:用全自动生化分析仪测定TSB和ALB,分析①当TSB<205.2,=205.2～256.6,>256.6μmol/L时TSB/
针对传统的以继电器逻辑控制为主的给煤机电控系统进行技术改造 ,阐述了以PLC、CPC 1 0 0控制器为主要部件的新型系统的组成原理 ,软、硬件结构和技术特点。
临床诊断重型胰腺炎的指标多且繁杂，CT检查受医院条件及经济条件的限制。我们探讨C-反应蛋白（C—CreationProtein，CRP）作为一项观察指标，有助于观测急性胰腺炎的诊断及预后判断。
<正>China continued to see a slowdown in export of textiles and garments in the first eight months of this year,due largely to weak demand resulting from econom
目的:对CT引导下经皮肺、纵隔穿刺术的临床应用价值进行评估.方法:CT 引导定位下用活检针进行75例患者穿刺活检.结果:75例均穿刺成功,获得组织学材料,病理组织学检查符合率为
以流体动力学为基础，提出了一种利用流体力学计算软件包和自编程相结合的方式对高压断路器灭弧室的气流场进行数值模拟计算的思想，并对一个压气式高压断路器的准稳态气流场进行
政治思想工作是高校后勤社会化改革的重要保证,文中论述了在社会化改革的新形势下,如何加强政治思想工作.