有限模型相关论文
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且......
<正> 一、引言一个数据库通常包括两个部分:数据资源和推导规则。数据资源是指存储在数据库中的事实。例如在一个家庭关系数据库中......
利用非线性动力显式有限元方法,建立了一个详细的小客车整车有限元模型,进行了小客车正面碰撞刚性墙的仿真.仿真结果表明这个小客......
模态逻辑语义学是经典逻辑语义学的一个扩张，对“可能”、“必然，，等词进行了刻画，而概率从某个角度来说是对“可能”的更加精确的表示......
通过对闽南粤东沿海地区NW向断裂构造与沉积建造、地貌特征、地形变、热震效应和地球物理特征等关系分析,确定本区的NW向断裂带是......
