【摘 要】
：
逐次差分代换算法（SDS）在不等式机器证明领域是有力工具.原来的逐次差分代换算法虽然可以被应用于带有逻辑连词“∧”（and）类型的不等式命题,但是不能应用于带逻辑连词“∨”（or）类
【基金项目】
：
四川省教育厅创新团队（15TD0050）,四川省科技创新团队（2017TD0028）,中央高校青年项目（2017NZYQN42）
论文部分内容阅读
逐次差分代换算法（SDS）在不等式机器证明领域是有力工具.原来的逐次差分代换算法虽然可以被应用于带有逻辑连词“∧”（and）类型的不等式命题,但是不能应用于带逻辑连词“∨”（or）类型不等式命题.主要工作是发展出了逐次差分代换的对偶算法（DASDS）.新建立的对偶算法不仅克服了上述困难,甚至对某些带有量词“”的不等式命题也是有效的.使用改进后的算法,一个公开的根式不等式问题被解决.
其他文献
本文分析了10年来收治35例经皮肤吸收的小儿有机磷中毒的临床资料,并重点讨论了其临床表现及误诊原因。由于中毒的潜伏期较长,临床表现不典型,易误诊为支气管肺炎及中枢神经
当今社会上经济高度发达,大量的广告信息冲击社会,使消费者目不暇接。在广告攻势下,在心理便不可避免地产生保护性抑制情绪。在这种情形下,广告采用幽默的表现方式,可缓解消
论点是议论文写作的灵魂,议论文写作应注意恰当提出论点。从八个方面指出了提出论点的策略。
目的评估1113+6周规范化超声检查筛查胎儿严重畸形的效能。方法分析接受1113+6周超声检查且有随访结果的3 515胎胎儿早孕期超声表现,并评估1113+6周规范化超声检查诊断胎儿畸
随着社会的前进,第四媒体互联网的迅猛发展,商业的广告运作不仅仅局限于传统传播媒体,而 已开始在各大网上进行宣传或者建立自己的网站,进行市场的宣传、营利.如何将企业商务
在分析当前化学复习课模式及弊端的基础上,以系列教学案例为载体,提出了旨在以培育学科核心素养为目标的复习课教学设计策略。
103例病毒性肝炎患者血浆Fn测定结果显示,急性肝炎发病期、肝功能恢复正常时血浆Fn升高,慢性肝炎活动期、静止期均在正常水平,而重型肝炎、肝硬化血浆Fn低于正常水平。凝血酶
我们常说的企业家是指企业资产的营运者或代理营运者,是实际掌握经营管理权的首要负责人.20世纪末产生了对剩余索取权广泛要求这一企业家制度重大变迁.其中原因至今还是一个
自 2004年 12月 11日起,我国流通领域已全面对外资开放,这对正在成长中的本土零售企业带来新的挑战.文章对青岛市本土零售企业进行了 SWOT分析,研究了青岛市本土零售企业的竞
随着社会主义义市场经济体制的逐步建立和完善,我国的金融体系已有部分不能与其相适应.现作者对其现状和存在的问题一一陈列 ,以供大家讨论.