二值命题逻辑中限制逻辑等价关系及其应用

给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ )中基于真度的τ(A→X) =α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等“直径”的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.     

多体系统动力学微分—代数方程时域微分求积法

针对多体系统动力学非线性微分—代数方程模型,在时间域上设计微分求积法((DQ,differential quadrature method),得到以时间域中各时间节点处未知函数值的非线性代数方程组,利用牛顿迭代法求解各时间节点处的函数值,从而得到满足精度需求的数值仿真结果。以平面双连杆机械臂模型为例进行实验,结果表明,与经典Runge-Kutta法比较,该方法具有公式推导简单、精度高、编程易实现等优点,适用于多体系统动力学仿真。     

多体系统动力学刚性方程广义-α投影法

利用约束投影方法,将广义-α方法进行改进应用于多体系统动力学刚性方程求解．与位移约束、速度级约束和加速度级约束投影的结合可以使各级约束在长时间仿真情况下能够同时在较高精度上得到保持;将能量保持作为约束流形进行投影,可以在长时间仿真时将能量变化控制在较小范围内,避免广义-α方法引入数值阻尼后产生的能量衰减问题．     

索杆铰接式伸展臂柔性索变形仿真

对索杆铰接式伸展臂中的柔性索部件进行仿真模拟,采用传统弹簧质点模型方法建立绳索模型,将此三维网格模型作为标量场,通过改变三角网格所对应的梯度场和散度,并利用泊松方程在Eigen以及OpenGL的支持下实现柔性索的模拟变形。针对弹簧质点模型受到弹簧长度制约而导致的绳索不连续情况进行优化提高仿真效果,具备实时的仿真交互能力。实验结果表明,柔性索的模拟变形仿真具有较好的细节效果,能够更加平滑的模拟柔性索,并且在数值计算上更加精确。