模态系统相关论文
模态系统的推理规则可以用强弱虚实这四种性质进行分类.在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些......
将多维模态理论应用到求解作横向运动圆柱贮箱中液体的非线性晃动问题．首先通过压力积分变分原理推导出描述液体作非线性晃动的一般......
应用Floquet—Lyapunov方法研究了作水平横向运动圆柱贮箱中液体“平面”晃动波的稳定性问题。首先利用Narimanov—Moiseev三阶渐......
模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的任意一个二元关系时,模......
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模......
首次将多维模态理论应用到求解航天工程中常见的圆柱贮箱液体非线性晃动问题中。针对贮箱作水平横向运动，根据Narirrmnov-Moiseev的......
晃动是指贮箱中液体自由液面的运动,它是由于对部分充液贮箱施加扰动而引起的。运动或静止贮箱中的液体晃动问题在航空航天、民用......
<正> 一本世纪初,我国少数学者到西方留学,开始接触到数理逻辑这一新兴学科。1920年,英国哲学家和逻辑学家罗素(B.Russell)来我国......
