推导了电视塔-桩基相互作用体系的地震反应方程,并对方程的阶数进行了缩减;
The equation of earthquake response for the system of TV tower-pile foundation interaction is derived, and its order is reduced.
计算量采用修正标量位,这样在同样的节点数下相对于矢量位它可以减少联立方程的阶数。
The modified scalar potential is used to reduce the order of the coupled equations in the comparison with the vector potential under the same node number.
这是一个用于一阶和逻辑方程序的自动理论证明器,用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
It tells me that the best response to S2 is the ?1 that solves this equation, that solves this first order condition.
我们得出S2的最佳对策是?1,?1是这个方程的解,它满足一阶条件
应用推荐