论文部分内容阅读
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的磨光器,从而为自动加强不等式提供了一个有用的途径.
不等式的自动发现原理及其实现
【摘 要】
：
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
汕头大学学报：自然科学版
【发表日期】
：
2011年2期
其他文献
以木兰林管局北沟林场内典型落叶松-杨桦混交林、落叶松人工林、白桦天然次生林、山杨天然次生林为研究对象,利用分层切割法和分层挖掘法对华北落叶松、白桦、山杨的生物量进行测定,并通过解析木进行了生长量的测定,从而建立生物量、生长量模型对林分的碳储量和固碳能力进行了估算。其研究结果表明:落叶松-杨桦混交林较落叶松人工林、白桦天然次生林、山杨天然次生林具有一定幅度的增产效益。落叶松-杨桦混交林中落叶松、白桦
讨论了非连通图2D3,4∪G的优美性,给出了非连通图D3,4∪G是优美图的二十一个充分条件.证明了非连通图2D3,4∪G（k）＋a（a=2,3,4,5,6,8,9,…,23）都是优美的.
综述了2016年8月25日至27日在兰州大学举行的第十五届中国生态学大会的8场特邀报告,29个主题会场和＂全国生态学研究生论坛＂的多个报告,内容包括全球变化生态学、景观生态学、保
对于在两个正态总体样本容量成整数倍时的Behrens-Fisher问题，利用配对试验的t检验法和随机检验的原理，给出了一种新的小样本检验方法，并说明该检验是一致最优势检验（UMPT）．
揭示树干维持呼吸(RM)的时间变化特征及其调控因子有助于理解树木碳代谢过程及其对环境变化的响应和构建森林碳循环机理模型。采用红外气体分析法原位测定东北东部山区4个针叶树种(红松、红皮云杉、樟子松和兴安落叶松)的春、秋季节RM日动态及其影响因子。结果表明:秋季和春季4个树种RM日变化多随树干温度(TW)而变化,但RM峰值大小和出现时间以及日变化幅度因树种和季节而异。TW解释了RM(除春季樟子松外)变
借助于级数理论和maple数学软件,本文建立了Jordan不等式含参拓广形式,所建立的不等式的强度优于现有的众多结论,并分别对Shafer-Fink型不等式,Seiffert平均不等式作了含参推
笔者观察到一例3小时内连续吸烟40支引起缺血性脑血管病,临床治愈后经CT检查证实有脑梗塞。现报告如下: 崔某,男性,36岁,工人。头痛40天,左偏瘫1小时,1988,3,31下午6时入院。
A Nickel-Manganese-Modified Low Zinc Phosphate Solution for Cathode-Electrophoretic Painting of Stee
Phosphate coatings are partially dissolved in the cathodic area during the cathode-electrophoretic painting processes causing the result that the coatings adhes
铜陵有色地质勘察分公司结合自身实际,积极推广水力反循环连续取心钻进工艺,不失为一条提高钻探效率,降低成本,充分发挥钻探的优势,发展"以钻代坑",巩固内部市场,拓展外部市