论文部分内容阅读
给出互模拟精确且具有概括性定义（B），给出并证明了互模拟的5个特征，最后给出最大互模拟一定义，证明了～是一个等价关系，进一步证明了～是R中（B）的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值，并提出了某些尚待解决的问题。互模拟具有美好的发展前案和极大的发展空间。
互模拟的含义、特征及主要应用
【摘 要】
：
给出互模拟精确且具有概括性定义（B），给出并证明了互模拟的5个特征，最后给出最大互模拟一定义，证明了～是一个等价关系，进一步证明了～是R中（B）的最大固定点。概括了互模拟在模态逻辑和并
【机 构】
：
南开大学哲学系
【出 处】
：
重庆理工大学学报：社会科学
【发表日期】
：
2010年2期
【基金项目】
：
2008年国家社科基金“超集、互模拟以及在模态逻辑、计算机科学中的作用研究”资助项目（08BZX049）.
其他文献
在水轮机调节系统大波动过渡过程中,为了最大限度的减少水压上升值和转速上升值,我们对南方某一水电站利用正交设计法对水轮机导叶分段关闭规律进行了优化分析.优化分析结果
邯郸市煤气管网经过20多年的运行已进入了事故多发期，出现了腐蚀漏气、防腐层老化变质等问题，因此必须对全市煤气管网进行全面的腐蚀情况普查和安全性分析。本文论述了钻孔探测
受金融危机影响，我国农民工失业现象严重，如何为农民工寻找就业机会成为迫在眉睫的问题。面对诸如竞争激烈的市场环境、不合时宜的城乡二元体制、部分闲置的政府资源、落后于转
与典型物权相比，矿业权呈现出了一定的异质性，不过，两者之间具有更大的同质性。正是与典型物权的诸多类似属性决定了在性质上可将矿业权定性为一项类似物权的权利，并可适用或者准
医源性胆管损伤是胆囊切除术的严重并发症。防止胆管损伤是胆囊切除术中极为重要的问题。及时全面的诊断，适时恰当的修复，保持重建后胆管通畅是损伤后治疗的关键问题。现对我院
目的探讨支气管袖状肺叶切除术治疗中央型非小细胞肺癌的手术注意事项。方法回顾分析笔者所在医院35例中央型非小细胞肺癌患者进行支气管袖状肺叶切除术的情况。结果全组无死
讨论了我国中小型电动机出厂检验、现场使用、维护修理的现状,指出了现行的国家标准中有关检查试验难以实现的原因,提出了研制"三相异步电动机电磁参数智能测试分析装置"的必
目的检测胸苷激酶-1（ThymidineKinase-1，TK1）在乳腺导管癌的表达情况，并分析与Ki67、ER、PR、C—erbB-2等临床病理学指标的关系，以及其与患者预后的关系。方法收集40例乳腺浸润性
创新管理是企业发动力。进入９０年代以来，知识经济时代要求企业管理观念创新，运行机制转轨。在社会变革的时代，企业文化已成为企业生存的基础，发展动力，行为的准则和成功的关键。在塑