论文部分内容阅读
本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化。
重写系统中解决发散现象的扩充技术
【摘 要】
：
本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化。
【出 处】
：
计算机应用与软件
【发表日期】
：
2000年3期
其他文献
二OO二年元旦刚过便收到今年第一期总第54期《沧桑》。封面设计引起我的关注,欣赏良久。主体图案是我国古民居门扇上的一只门环及衬底,原质材或铁或铜,已成为一种文物,现代建
针对网络安全态势感知中的态势预测问题,提出一种基于PSO_SVR的网络安全态势预测方法。该方法将支持向量回归机(SVR)嵌入到粒子群优化算法(PSO)的适应度计算过程中,利用PSO算法的全局搜索能力来优化选取SVR的参数,在一定程度上提升了SVR的学习能力和泛化能力。仿真实验表明,通过与已有的其他预测方法作对比,该方法具有更好的预测效果。
研读《背影》时，笔者发现“终于”一词在文中先后出现了四次；细细品味这一词语，又发现其在不同的语言情境中蕴藏的含义不尽相同。
自周成王封其弟叔虞于唐，虞之子燮你改国号为晋后，晋国就开始了自己的历史。进入春秋时期，晋国国势强盛，疆域扩大。到春秋晚期，国中权卿争权夺利，互相兼并，最终在公元前４０３年，韩、赵、魏
近日，从江苏省镇江市质监局获悉，镇江市将全面实施一瓶一码的气瓶监管模式，条码成为了气瓶的“身份证”。气瓶是企业生产、居民生活和宾馆（饭店）等人员聚集场所广泛使用的具有易燃