论文部分内容阅读
本文定义了MALC模型间的同构、同态等关系，并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟，得到MALC的合式公式在拓扑互模拟下具有不变性。
模态描述逻辑MALC模型的几个代数性质
【摘 要】
：
本文定义了MALC模型间的同构、同态等关系，并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟，得到MALC的合式公式在拓扑互模拟
【机 构】
：
黔南民族师范学院数学系,广西师范大学计算机科学与信息工程学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2010年10期
其他文献
传统的支持向量机（SVM）训练含有外部点或噪音数据时，容易产生过拟合（over-fitting）。通过模糊隶属度函数来降低外部点或被污染数据的选择。本文提出了一种新的核隶属度函数，这种新
目的观察下肢骨折术后患者应用综合护理对预防患者并发深静脉血栓形成的临床应用效果。方法2018年1月-2020年1月间从该院接受的下肢骨折手术患者中抽选出82例作为研究对象,按
本文考虑＂更新数据流＂场景下的连续Skyline计算问题。在该环境下,数据不再满足＂先进先出＂特性,使得传统基于滑动窗口数据流上的连续Skyline计算方法不再适用。在对问题进行了形式
本文系统阐述了张家川县农技推广的现状,全面总结了取得的成效,找出存在的问题,有针对性地提出了今后发展的对策建议,以期为张家川县农技推广的更好发展提供参考。
针对P2P流媒体系统资源定位问题，本文提出一种改进的P2P无结构网络模型及相应的搜索算法。网络模型中根据节点能力把节点分成不同级别，文件信息发布按照低级节点向高级节点逐级
标准遗传算法的求泛能力优于它的求精能力，在求解GA-困难问题时求解精度难以控制，本文由此提出了一种改进的ε-混合遗传算法。本算法在每代找出最优个体之后，以该最优个体为初始
陇南市马铃薯脱毒种薯生产推广经过连续几年的项目实施,取得了一定的成绩,但也存在一些不容忽视的问题,影响到马铃薯产业发展。本文就其中存在的问题给出了相应的建议,以期为