渐近拟非扩张映射关于混合迭代算法的收敛性

引入了关于两个渐近拟非扩张自映射和两个渐近拟非扩张非自映射的新型混合迭代算法.在Banach空间中,获得了渐近拟非扩张自映射和非自映射在新型混合迭代算法下的强收敛定理,所得结果推广了许多相关文献的结论.     

基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

COM组件编程探索

从现代编程思想出发，介绍了COM组件的本质以及在现实编程环境中所遇到的一些有关COM编程自关键技术，以简单的实例形式阐述了如何利用COM组件创建服务器程序和客户机程序。     

《Z+Z智能教育平台》的设计与实现

《Z Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN-LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能．     

一道射影几何名题的思考与探索

<正>文[1]给出了一道几何题的8种初等证法,其中,证法1是文[2]中华罗庚先生给出的简洁证明,证法2是文[3]中利用共边定理给出的更加简洁的证明.下面来探讨一下这个有趣的几何题.例1在四边形ABCD中,设K=AD×BC,L=AB×CD,M=AC×BD.     

疾病相关miRNAs识别方法研究进展

miRNAs是一类内源性短序列非编码RNAs小分子,广泛参与细胞的增殖、分化、凋亡等生物学过程.miRNAs的异常表达与包括肿瘤在内的多种复杂疾病的发生、发展有着密切的关系,筛选与疾病相关的miRNAs,对于药物靶点的发现及新型药物的开发,具有十分重要的作用.笔者拟通过逐步递进的方式,从miRNA靶基因预测、miRNA生物功能作用机制、疾病相关miRNAs计算筛选方法、miRNA小分子药物多个方面,综述疾病相关miRNAs研究进展,为推进miRNA在临床医学中的应用提供参考.     

质点法在SGARP中的新实现

可持续发展的几何自动推理平台(SGARP)支持用户发展多种多样基于规则的机器自动推理或人机交互推理方法,但缺乏处理符号计算的模块,其解题能力仍有待加强.质点法是最近发展的继面积法之后又一个能对可构造型几何命题生成可读机器证明的具有完全性的算法.基于一种在SGARP中快捷实现符号计算功能的方法,对质点法机器证明算法进行了新的实现.新添加的质点法模块使得用户能更便捷地验证更多的几何定理,从而使SGARP能更好地满足用户学习与发展几何机器推理的需求.