前者先将混 合（离散和连续的）状态空间简化成一个等价的有限的“双拟关系” （Bisimulation），然后再对经过简化后的商空间（Quotient space）做进一步 探索；后者则是通过对状态集合中的布尔操作算子以及可达集中的操作算子...
基于6个网页-相关网页
双拟关系
Biomorphic relation
以上为机器翻译结果，长、整句建议使用 人工翻译 。
本文以两个自变量的拟线性双曲型方程的古尔沙问题为例，应用反函数和积分不等式证明了等价积分方程组解的存在唯一性，同时给出了解的存在区域和已知参量的依赖关系。
In this paper, we show the domain of the existence of the solution on Goursat problem for quasi—linear hyperbolic equation and obtain the Theorem of the existence and uniqueness in above domain.
youdao
应用推荐
模块上移
模块下移
不移动