单开链迭加法是一种适应于在计算机上进行的机构类型综合的新方法。
The superposition method of single-open chain is a new method which is quite convenicnt for doing the type synthesis by computers.
霍布斯，换句话说，试图去变得易于接受，试图去变得更加愉快，马基雅维利的做法是，给现代国家提供一个，更加精确，更加法定的机构性框架。
Hobbes, in other words, tried to render acceptable, tried to render palatable, what Machiavelli had done by providing a more precise and more legal and institutional framework for the modern state.
应用推荐