检索结果-维普期刊中文期刊服务平台

同构、P-态射、互模拟与模态等价性被引量：1: 1; 作者姚从军《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第2期64-69,共6页; 结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,... 展开更多; 关键词同构 P-态射互模拟模态等价结构框架; 在线阅读下载PDF 职称材料

模态逻辑两个定理的基于向前向后方法的证明被引量：1: 2; 作者潘孝铭《北京工商大学学报（自然科学版）》 CAS 2002年第4期62-64,共3页; 向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .; 关键词模态逻辑向前向后方法模态内插定理 VanBenthem定理模态等价公式; 在线阅读下载PDF 职称材料

模型等价性的一个充分必要条件: 3; 作者姚从军《学术论坛》 CSSCI 北大核心 2009年第10期27-30,共4页; 什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,... 展开更多; 关键词模型等价行为等价模态等价装饰等价; 在线阅读下载PDF 职称材料

100 m X-BOW型极地探险邮轮局部振动控制: 4; 作者刘甄真江国和《上海海事大学学报》北大核心 2024年第1期92-97,共6页; 为提高乘客舒适度,利用调谐质量阻尼器(tuned mass damper,TMD)对100 m X-BOW型极地探险邮轮的局部振动进行控制。建立邮轮的有限元模型,进行整船频响分析,通过比较仿真值与测试值间的误差,验证模型的有效性。根据整体模态等价质量求解... 展开更多; 关键词极地探险邮轮频响分析模态等价质量调谐质量阻尼器(TMD) 质量比; 在线阅读下载PDF 职称材料

题名同构、P-态射、互模拟与模态等价性被引量：1: 1; 作者姚从军; 机构南开大学哲学系; 出处《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第2期64-69,共6页; 文摘结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的。; 关键词同构 P-态射互模拟模态等价结构框架; Keywords isomorphism pseudo-epimorphism bisimulation modal equivalence structure frame; 分类号 B815.1 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名模态逻辑两个定理的基于向前向后方法的证明被引量：1: 2; 作者潘孝铭; 机构华侨大学计算机科学系; 出处《北京工商大学学报（自然科学版）》 CAS 2002年第4期62-64,共3页; 文摘向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .; 关键词模态逻辑向前向后方法模态内插定理 VanBenthem定理模态等价公式; Keywords modal logic back and forth method; 分类号 B815.1 [哲学宗教—逻辑学] O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模型等价性的一个充分必要条件: 3; 作者姚从军; 机构湖南科技学院思政部南开大学哲学系; 出处《学术论坛》 CSSCI 北大核心 2009年第10期27-30,共4页; 文摘什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,刻画同一个集合的两个可及点图是等价的模型,笔者将这种等价性定义为装饰等价性。进一步,什么样的模型才具有等价性?即两个模型等价的充分必要条件是什么呢?三大领域中模型等价有一个共同的充分必要条件,即互模拟性,这就从另一个角度说明互模拟诞生的一个共同的直接动因:探索模型等价性充分必要条件。; 关键词模型等价行为等价模态等价装饰等价; 分类号 N02 [自然科学总论—科学技术哲学]; 在线阅读下载PDF 职称材料

题名100 m X-BOW型极地探险邮轮局部振动控制: 4; 作者刘甄真江国和; 机构上海海事大学商船学院; 出处《上海海事大学学报》北大核心 2024年第1期92-97,共6页; 基金上海市科技计划(20DZ2252300)。; 文摘为提高乘客舒适度,利用调谐质量阻尼器(tuned mass damper,TMD)对100 m X-BOW型极地探险邮轮的局部振动进行控制。建立邮轮的有限元模型,进行整船频响分析,通过比较仿真值与测试值间的误差,验证模型的有效性。根据整体模态等价质量求解方法和局部模态质量的空间分布原则,提出混合模态中单个局部模态等价质量的求解方法,利用该方法求解邮轮局部振动区域的等价质量;利用该等价质量计算TMD的质量比;基于该质量比,求解出对应的TMD参数最优解。通过分析可知,当质量比为0.05时,TMD在13.4 Hz处具有31 dB的吸振效果,同时在10 Hz和18.8 Hz处也有一定的吸振效果,分别为3 dB和2 dB,整体控制频段较平坦,鲁棒性也较佳。; 关键词极地探险邮轮频响分析模态等价质量调谐质量阻尼器(TMD) 质量比; Keywords polar exploration cruise ship frequency response analysis modal equivalent mass tuned mass damper(TMD) mass ratio; 分类号 U661.44 [交通运输工程—船舶及航道工程] U674.81 [交通运输工程—船舶及航道工程]; 在线阅读下载PDF 职称材料