排序方式： 共有18条查询结果，搜索用时 15 毫秒
1.
2.
图形迭代是动态几何软件中的重要功能,分析动态几何中图形迭代的实现原理,设计并实现一种高效的图形迭代算法,以解决原有算法效率低的问题,通过实验比较表明新算法具有良好运行效率。 相似文献
3.
4.
提出了一个简明的炉阻计算公式，论述了炉阻实际上是由大量接触电阻构成的立体网络电阻。对电阻料之电阻率的离散性和起始炉阻的离散性作了比较深入的分析。给出了电阻料电阻率，相同装炉参数下炉阻的统计平均值和标准偏差。对炉阻异常，推荐了一种判断的方法。 相似文献
5.
低温各向同性热解炭的沉积工艺 总被引：4，自引：2，他引：2
一、前言热解炭由于其独特的理化性能,在航空、航天、核工业等很多领域得到了应用.其中低温热解炭由于弯曲强度大于4000psi(2812.4kgf/cm~2),弹性模量低,断裂形变大于2%,及在一定的限度内可以通过变化它的密度从而改变其热膨胀系数等特性, 相似文献
6.
本文简单介绍了VC++中访问数据库的几种方法,并介绍了ADO的基本特点,及在VC++中直接通过ADO对Access数据库进行访问的方法,并给出一个完整的使用实例。 相似文献
7.
可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求. 相似文献
8.
文章介绍了基于FCKeditor能自动隐藏的在线文本编辑器的设计原理,并提供相关的主要代码。该方法简单有效,代码可移植性非常好,用户也可方便地根据不同需求做相应的修改。基于这种设计原理,对于其他的在线编辑器也可进行相似的设计。 相似文献
9.
结合二分法教学课件的设计与实现,主要应用动态几何技术,创建了教师主导和学生主体相结合的新型教学结构,不仅实现了信息技术与数学课程内容的整合,而且改善了教和学的方式。 相似文献
10.
图形迭代是动态几何软件中的重要功能,分析动态几何中图形迭代的实现原理,设计并实现一种高效的图形迭代算法,以解决原有算法效率低的问题,通过实验比较表明新算法具有良好运行效率。 相似文献