论文部分内容阅读
从8个方面对三角形不等式判定程序agl2009进行了改进和补充，使改进后的程序能够处理更多类型的不等式；针对传统不等式证明器只对给定不等式判定的不足，给出了批量发现非平凡不等式的应用实例；提出了若干形式新颖的不等式猜想。
三角形不等式判定程序agl2009的改进及应用
【摘 要】
：
从8个方面对三角形不等式判定程序agl2009进行了改进和补充，使改进后的程序能够处理更多类型的不等式；针对传统不等式证明器只对给定不等式判定的不足，给出了批量发现非平凡不等
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
佛山科学技术学院学报：自然科学版
【发表日期】
：
2011年1期
其他文献
目的探讨滑膜软骨瘤病MRI表现及其诊断价值。方法回顾分析26例经手术病理证实的滑膜软骨瘤MRI资料,总结其表现特征。结果受累关节在MRI均显示关节滑膜增厚及结节样隆起,并见
打破传统的绝对可靠性经济评估的分析方法,提出了边际可靠水平的概念,并由边际可靠水平导出边际可靠收益和边际可靠成本的概念,以此来评估出设备在寿命期内各个时刻的可靠性
阐述放电灯利用汞作发光物质和缓冲气体时对环境、人体带来的危害,从灯的制造、汞的回收处理及开发、推广无汞灯等方面提出降低汞污染的具体措施。
假定工件和批处理机都在零时刻到达,工件被成批进行加工,一旦开始加工就不允许中断,每批的加工时间等于该批中最大的加工时间,而且假设每分一批都产生一个分批费用。第1个问
应用链脲佐菌素（Streptozotocin,STZ）建立SPF级SD大鼠糖尿病模型,糖尿病大鼠随机分为蚓激酶干预组和模型组。实验持续30周后,采用甲苯胺蓝染色方法对糖尿病30周大鼠、正常对照
PTN组网是城域传输网实现3G及全业务统一承载的先进组网模型,目前已成为各大移动运营商建设下一代中小型城域传输网的重要解决方案。提出了面向3G和全业务运营的绍兴移动PTN＋O
讨论了多维平稳时间序列均值向量和协方差函数的极限性质，并在多维移动平均（VMA）情况下，给出了最佳线性预报的误差估计。
采用文献资料调查法、专家访谈法、问卷调查法、数据统计法、逻辑分析法等对67名高校武术套路运动员在新规则下难度动作损伤情况按运动损伤的种类、组织部位、具体部位以及损
为了应对高层建筑的火灾,消防电源需要设置成独立的系统,对重要的设备设置双回路电源,且对不能停电的消防设备须自带不间断电源。很多消防电源的设计均在楼宇还没建设时已经