排序方式: 共有51条查询结果,搜索用时 0 毫秒
1.
初等不等式的可读证明的自动生成 总被引:2,自引:0,他引:2
结合不等式的证明及可渎证明的自功生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中。 相似文献
2.
高维度量几何的两个不等式 总被引:5,自引:0,他引:5
本文建立了高维度量几何中与“度量加”概念有关的两个几何不等式一定理2和定理3.并为以上目的,事先引进了作为分析工具的定理1. 在近期文献中发展了将矩阵不等式和二次型理论应用于度量几何的技巧,例如 相似文献
3.
针对视网膜图像采集过程中由于疾病引起的图像光照反射过强问题,提出了一种修正的形态学与Otsu相结合的无监督视网膜血管分割算法。首先运用形态学中的高低帽变换增强血管与背景的对比度;然后提出了一种修正方法,消除部分由视网膜疾病引起的光照问题;最后使用Otsu阈值方法分割血管。算法在DRIVE和STARE视网膜图像数据库中进行了测试,实验结果表明,DRIVE数据库中的分割精度为0.9382,STARE数据库中的分割精度为0.9460,算法的执行时间为1.6s。算法能够精确地分割出视网膜血管,与传统的无监督视网膜血管分割算法相比,算法的分割精度高、抗干扰能力强。 相似文献
4.
采用熔融共挤制备了尼龙6(PA6)/苯乙烯-马来酸酐共聚物(SMA)共混物,利用差示扫描量热法、热重分析、热变形温度测试及力学测试等手段研究了SMA含量对PA6/SMA共混物熔融结晶行为、热性能及力学性能的影响。结果表明,SMA的加入使共混物的熔融温度、结晶温度及结晶度降低;当SMA用量为5份时,共混物最大分解温度较纯PA6提高了33.5℃;共混物的弯曲强度和弯曲模量在SMA用量为2.5份时达到最大,分别为115.0、3 227 MPa,比纯PA6提高了26.4%、37.0%,拉伸强度在SMA用量为5份时达到最大87.5 MPa,比纯PA6提高了25.9%。 相似文献
5.
采用熔融共混法制备了尼龙6/苯乙烯-马来酸酐共聚物/N-苯基马来酰亚胺共混物(PA6/SMA/N-PMI),并利用DSC、TGA及力学性能测试等手段研究了SMA用量对PA6/SMA/N-PMI共混物熔融结晶行为、热学性能以及力学性能的影响。结果表明,共混物的最大分解温度较纯PA6有较大提高;SMA用量的增加,共混物的结晶温度、结晶度以及熔融焓均先降低再升高;当SMA用量为5份时,共混物的弯曲强度、弯曲模量以及热变形温度均达到最大值,分别为113.8、3 053 MPa及61.3℃,较纯PA6分别提高了25.1%、28.0%及19.0%;拉伸强度在SMA用量为7.5份时达到最大值81.4 MPa,较纯PA6提高了17.1%。 相似文献
6.
用熔融共混法制备了长玻纤增强聚丙烯/红磷/多壁碳纳米管(LGFPP/RP/MWCNTs)复合材料。氧指数(OI)测试结果表明:MWCNTs的加入提高了LGFPP/RP阻燃体系的阻燃性能。在LGFPP/RP阻燃体系中添加1%的MWCNTs后,LGFPP/RP/MWCNTs复合材料的OI提高到23.4%。热失重分析(TGA)研究表明:在氮气气氛下MWCNTs提高了LGFPP/RP阻燃体系的热稳定性。1%的MWNTs可使LGFPP/RP阻燃体系的热分解起始温度提高12.4℃。力学性能测试结果表明:MWCNTs的加入提高了LGFPP/RP阻燃体系的力学性能。在LGFPP/RP阻燃体系中添加1%的MWNTs后,LGFPP/RP/MWCNTs复合材料的拉伸强度、弯曲强度和冲击强度分别提高了3.2%、12.3%和7.7%。 相似文献
7.
为了提高推理引擎的推理效率,将Rete算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用Lisp语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率. 相似文献
8.
9.
10.
本文提出并解决了下列问题:设e1,e2,...,eN是预给出两两之间的度量的几何元素,包括点、超平面和超球。图形{e1?e2,...,eN}能否在n维欧氏空间实现?如能实现,如何给出它们在某一坐标系中的坐标及方程。 相似文献