论文部分内容阅读
采用三角形不等式的R-r-s方法,给出了有关内角平分线与陪位中线的一个不等式,并应用计算机验证提出了三个猜想不等式.
三角形内角平分线与陪位中线的一个不等式
【摘 要】
：
采用三角形不等式的R-r-s方法,给出了有关内角平分线与陪位中线的一个不等式,并应用计算机验证提出了三个猜想不等式.
【机 构】
：
华东交通大学
【出 处】
：
湖南理工学院学报(自然科学版)
【发表日期】
：
2007年04期
其他文献
通过分析造成地震发生的各种因素之间的关系,提出了将极值理论和地震时间序列匹配相结合用于地震趋势研究的基本思想。针对传统地震时间序列匹配算法的不足,提出了将基于形态的时间-震级二维相似性匹配算法和极值理论相结合对未来地震趋势进行分析的方法。该方法采用时间-震级二维相似性匹配的方法寻找最佳地震匹配区域,用极值理论对该区域地震活动的复发周期和发震概率及其概率阈值进行数据处理,从而获得对该地区未来一段时间
为了提高软件可靠性的评估和预测精度,提出了一个基于测试覆盖的非齐次泊松过程类软件可靠性增长模型,通过将测试覆盖率信息考虑到软件可靠性模型中去,使模型能够更准确地描
NAT在代理服务器、路由器、防火墙等领域应用广泛,但在存储系统方面的应用还很少。为此,探讨NAT种类、应用及核心思想,及用Java网络包java.net实现NAT软交换的思路和方法,并
为了解决Virtools内置网络模块与不同软件平台间信息交互的局限性问题,研究了Virtools的软件架构和模块开发技术,通过将网络通信协议嵌入到Building Block中,成功开发出了新
<正> 一串红‘京妍1140’Salvia splendens 'Jingyan 1140'学名Salvia splendens 'Jingyan 1140'科属唇形科鼠尾草属形态特征‘京妍1140’为矮生型一串红品
受地压活动的影响，铜坑矿92#矿体大部分矿柱出现了矿岩严重破碎的现象，能否实现这部分破碎矿柱的安全回采，对于提高矿石回收率与安全生产意义重大。破碎矿柱无法沿用常规开掘切