论文部分内容阅读
采用三角形不等式的R-r-s方法,给出了有关内角平分线与陪位中线的一个不等式,并应用计算机验证提出了三个猜想不等式.
三角形内角平分线与陪位中线的一个不等式
【摘 要】
：
采用三角形不等式的R-r-s方法,给出了有关内角平分线与陪位中线的一个不等式,并应用计算机验证提出了三个猜想不等式.
【机 构】
：
华东交通大学
【出 处】
：
湖南理工学院学报(自然科学版)
【发表日期】
：
2007年04期
其他文献
【正】万寿菊‘京鸿’Tagetes erect’Jinghong’学名Tagetes erecta‘Jinghong’科属菊科万寿菊属行态特征’京鸿’为矮生型万寿菊新品种,花朵为鲜艳的桔红色(RHS23A),蜂窝
通过分析造成地震发生的各种因素之间的关系,提出了将极值理论和地震时间序列匹配相结合用于地震趋势研究的基本思想。针对传统地震时间序列匹配算法的不足,提出了将基于形态的时间-震级二维相似性匹配算法和极值理论相结合对未来地震趋势进行分析的方法。该方法采用时间-震级二维相似性匹配的方法寻找最佳地震匹配区域,用极值理论对该区域地震活动的复发周期和发震概率及其概率阈值进行数据处理,从而获得对该地区未来一段时间
为了提高软件可靠性的评估和预测精度,提出了一个基于测试覆盖的非齐次泊松过程类软件可靠性增长模型,通过将测试覆盖率信息考虑到软件可靠性模型中去,使模型能够更准确地描
2011年国内钾肥需求量比预期减少。2011年1～11月，我国进口钾肥总量615万t。原预计全年钾肥需求总量能达到1000万t，实际上可能只有800万～850万t。导致需求量减少的原因有多个。一
根据巷道支护中顶梁和棚腿的受力特点，以梯形木支架支护为例，建立力学模型，分析其在长期支护过程中的破坏机理，得出了顶梁和棚腿的破坏过程是腐蚀一破坏-应力的多场耦合过程。
NAT在代理服务器、路由器、防火墙等领域应用广泛,但在存储系统方面的应用还很少。为此,探讨NAT种类、应用及核心思想,及用Java网络包java.net实现NAT软交换的思路和方法,并
为了解决Virtools内置网络模块与不同软件平台间信息交互的局限性问题,研究了Virtools的软件架构和模块开发技术,通过将网络通信协议嵌入到Building Block中,成功开发出了新
<正> 一串红‘京妍1140’Salvia splendens 'Jingyan 1140'学名Salvia splendens 'Jingyan 1140'科属唇形科鼠尾草属形态特征‘京妍1140’为矮生型一串红品
受地压活动的影响，铜坑矿92#矿体大部分矿柱出现了矿岩严重破碎的现象，能否实现这部分破碎矿柱的安全回采，对于提高矿石回收率与安全生产意义重大。破碎矿柱无法沿用常规开掘切
为临床观察分析眼睛的动态特征,提出在不同光照条件和不同刺激模式下同步采集双侧眼睛图像的方案。基于CCD摄像头、单片机等硬件设计出采集眼睛图像的装置,并在Visual C++6.0环境下,建立起眼睛检测系统,给出了系统的构成及主要设计。实验结果表明,该方案实现了眼睛的动态特征的检测,为医学研究和临床诊断疾病提供了新的技术手段。