【摘 要】
：
讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待
论文部分内容阅读
讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。
其他文献
随着计算机技术的发展,计算机技术越来越多地应用于各个方面。在地质勘探领域中,结合计算机技术和地质知识可以使得地质工作者越来越方便分析各种地质特性。并且将地质工作者
目的寻求一种创伤小,操作方便且行之有效的方法治疗高血压脑出血。方法我科2010年1～12月应用CT定位血肿位置治疗高血压脑出血患者20例,术后配合尿激酶血肿腔内灌注以溶解血凝
本文借助CFD技术,利用欧拉-欧拉双流体方法,针对用于悬浮床加氢的体积为0.0785 m~3的气升式环流反应器,进行了相间作用力模型、气泡尺寸、静液面高度以及流体物性对反应器内
本文从石狮市明异凯悦酒店的施工概况、施工组织与材料准备以及劲性柱的安装与校正，分析了劲性柱施工工艺，提出了要确保工程质量，钢骨柱的安装校正尤为重要，要加强工厂质检工作，严
木蠹蛾,又名蠹木蛾,是鳞翅目木蠹蛾科多种昆虫的总称,也是阔叶树主要钻蛀性害虫之一。木蠹蛾以幼虫钻蛀到阔叶树枝干或根部的木质部中心蛀食危害,具有隐蔽性强、危害期长、防
目的探讨数字化电视监视下子宫输卵管造影的诊断价值。方法对189例子宫输卵管造影的x线片进行分析。结果输卵管异常者95例，累及输卵管184条；子宫异常者8例，其中单角子宫3例，双角
随着新课改的深入推进,对核心素养的探讨也如火如荼。科学精神素养作为思想政治学科核心素养之一,强调重塑学生在认识社会和参与社会时的思维方式、实践能力和行为价值取向,是学生达成政治认同、法治意识和公共参与素养的前提条件,也是提升学生核心素养的关键一环。因此,本文围绕高中思想政治课培育学生科学精神素养这一主题展开探究与论述,在教育实习和实地调研的基础上,剖析当前思想政治课堂中培育学生科学精神素养时存在的
微课是近几年的一个热词,属于一种创新型的教学方式,通常以视频或者图片为教学媒介。教师利用微课的简短性和主题明确性特点,可以使学生在听课期间了解到教学当中的重难点。
目的：探讨完全腔镜下甲状腺手术的可行性及术中避免神经损伤及甲状旁腺损伤的方法。方法采取完全乳晕入路及胸乳入路完成腔镜下甲状腺切除术手术296例。结果296例手术成功，无中
日益盛行的绩效评估回应和强化了政府治理的技术导向。政府绩效评估的技治特征主要体现为绩效目标指标化、绩效生产标准化、绩效结果数量化与绩效应用简单化。这种技术治理在