论文部分内容阅读
基于重写规则及归结的定理证明器
【机 构】
：
清华大学
【出 处】
：
清华大学
【发表日期】
：
1997年期
其他文献
在估计一个矩阵的特征值时,我们有Gerschgorin圆盘定理,Brauer定理和Brauldi定理.QiLiqun在[4]给出了类似Gerschgorin圆盘定理的Gerschgorin型奇异值估计定理.该文给出了类似
该文研究了ODE计算机辅助分析系统的设计与实现,探讨了Dynamics系统的结构和工作原理,在原Dynamics系统的基础上,增加了对平面二次系统的奇点分析功能,并能画出该类系统和二
该文对资源约束条件下批量问题的不稳定性进行模拟研究,主要讨论了在确定性需求下单层,有约束,多产品的主生产计划问题.在滚动式生产计划环境下,通过模拟研究分析批量算法的
该文讨论带交易费用的期权定价模型.在针对风险厌恶的投资者的效用函数假设下,利用Davis提出的基于最优投资模型的欧式期权公平价格概念,由凸分析的结果证明了公平价格解的存
基于中断的嵌入式并发软件是航天型号软件系统中必不可少的部分，它的可靠性、安全性直接影响着整个型号软件的可靠性、安全性。随着航天型号任务复杂性的提高，基于中断的并发系
该项研究工作分为四个部分.首先,在分析技术发展和技术转移规律的基础上,剖析了技术引进的微观理论,结合引进中双方的竞争模型,探讨了技术引进的模式构造.其次,分析了技术引
随着我国经济的不断发展和人们生活水平的不断提高，加之我国人口老龄化的趋势不断凸显，家庭中出现老年人、残疾人“空巢”现象普遍存在。针对当前智能家居系统过于概念化、成本
该文用软件工程的思想、技术、MRPⅡ(制造资源计划)模式,描述了一个工厂计算机管理信息系统的应用软件总体设计方案.包括工程数据管理、销售与运作、主生产计划、物料需求计
随着云计算在各个领域的广泛应用，数据中心的高能耗问题也日益突出。高能耗不但会产生巨额的电费支出，影响系统的稳定性和可靠性，而且降低着空气质量，加剧雾霾污染。立足当下社会
该文共分三章:第一章概要地介绍了具有不同时间尺度的快慢系统和具有多个小生境的离散扩散系统的研究情况;第二章运用基于奇异摄动理论的几何方法,首先对广义的食饵-捕食快慢