排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
2.
模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型。系统MV的可靠性证明,就是证明它的定理在"所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中"都有效。关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段。任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的。 相似文献
3.
近年来,智能化发展迅速,为我国制造业提供了新的发展契机,但是智能化发展对我国制造业的研发创新能力、市场环境及劳动力水平等方面都提出了更高的要求,所以智能化背景下我国制造业想要加速发展就必须抓住机遇转型升级,改变原有的生产方式,创新发展策略,促进我国制造业向智能化方向发展. 相似文献
1