自动推导相关论文
芮方法,即多体系统传递矩阵法,是近二十多年来提出并逐步完善的一种多体系统动力学新方法。它实现了多体系统动力学研究无需系统总......
句法规则自动推导一直是计算机语言学界研究的一个热点问题.本文研究了句法规则自动推导的内涵、目标及发展趋势,重点分析了近年来......
软件再工程作为能够增进对现有软件的理解,改进软件自身质量以提高其可维护性、可复用性和可演化性的一类活动,在软件工业中占据了越......
在当代非线性科学中,非线性方程的可积性是广大学者的重要研究方向之一.本文将结合著名数学家吴文俊的数学机械化思想,并以计算机代......
以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具,对一个具体的不可否认协议进行......