有限模型相关论文
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且......
该文将内力影响面分析归结为求解一个等价荷载作用下的结构位移场，提出了普遍适用于以广义位移为独立变量的各种数值模型的内力影响......
<正> 一、引言一个数据库通常包括两个部分:数据资源和推导规则。数据资源是指存储在数据库中的事实。例如在一个家庭关系数据库中......
利用非线性动力显式有限元方法,建立了一个详细的小客车整车有限元模型,进行了小客车正面碰撞刚性墙的仿真.仿真结果表明这个小客......
模态逻辑语义学是经典逻辑语义学的一个扩张，对“可能”、“必然，，等词进行了刻画，而概率从某个角度来说是对“可能”的更加精确的表示......
然而，过滤技术的 Kalman 广泛地在许多应用被使用了为线性 Gaussian 系统的标准 Kalman 过滤器不能通常工作很好或甚至面对大模型无......
在惯性导航系统中，由于载体运动无法预知、惯性器件测量精度变化等因素的影响，引起导航系统误差模型存在结构不确定，同时由于随机噪声......
通过对闽南粤东沿海地区NW向断裂构造与沉积建造、地貌特征、地形变、热震效应和地球物理特征等关系分析,确定本区的NW向断裂带是......
