论文部分内容阅读
王兴波等在文献[1]中给出了任意参数下的Frenet公式，说明了任意参数下的Frenet公式是经典自然参数下的拓广，可极大简化变形问题的求解过程，但其证明过程较为繁琐．利用数学软件Maple，给出此公式的机器证明．从整个过程看，数学软件Maple符号处理功能显著，机器证明快速简易．
任意参数下的Frenet公式的机器证明
【摘 要】
：
王兴波等在文献[1]中给出了任意参数下的Frenet公式，说明了任意参数下的Frenet公式是经典自然参数下的拓广，可极大简化变形问题的求解过程，但其证明过程较为繁琐．利用数学软件Map
【机 构】
：
天津职业技术师范大学理学院
【出 处】
：
德州学院学报
【发表日期】
：
2012年6期
【基金项目】
：
天津职业技术师范大学科研发展基金（KJ11-22）
其他文献
阐述了绘图软件CASS7.0在应用中应注意的事项和笔者的一些经验。
提出了基于AT89S51的视频压缩系统的软硬件实现方案,该系统可完成对模拟视频信号的压缩和存储,并可在上位机上显示出解压后的图像。该方案实现简单,成本低廉,具有较好的实际应用前景。
Web日志挖掘已成为目前研究的热点课题,本文系统分析了Web日志挖掘过程中各环节的关键技术,从数据预处理到模式发现再到模式分析,并提出了一个基于Web日志挖掘的应用模型。