请教自动推理仿真的问题（100分）
随机给出一个形似如下的物理模型
model melting
variables
q:energy;input
t:temperature;output
parameters
melting_point:temperature
melting_energy:energy
relations
threshold[melting_energy+q(t=melting_point),Constant,M*](q,t)
怎么自动推理啊？
我的意思是，上面的物理模型实际上是一个形式化框架，如何设计一个推理机，实现定量仿真计算？
拜托高手指教啊！
[解决办法]
有点难度哦
[解决办法]
关系挺复杂的。
[解决办法]
能把这个东西形式化一下吗？
就是加点注释什么的！
[解决办法]
完全看不懂
[解决办法]
