Furthermore, based on T- invariant and the completeness of input resolution, unit resolution and supporting resolution, we give the definition of elementary transformation for matrix, discuss its properties, provide many methods of matrix inference and prove the completeness.2.
根据Petri网中T-不变量推理判定法的思想，并结合输入归结、单元归结以及支撑归结，提出了多种矩阵归结的推理方法，证明了推理算法的完备性。
参考来源 - 基于Petri网模型的归结自动推理研究·2,447,543篇论文数据，部分数据来源于NoteExpress
The efficiency of input resolution is discussed and compared with that of unit resolution.
本文讨论了输入归结的有效性并把它与单元归结的有效性作了比较。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
The inmost Envelope is where the agile team works to execute the; software development, unit testing, component testing, integration testing and defect resolution.
最里面的信封是由敏捷团队来执行的工作：软件开发、单元测试、组件测试、集成测试和缺陷修正。
应用推荐