任意参数下的Frenet公式的机器证明

来源 :德州学院学报 | 被引量 : 0次 | 上传用户:fan20090603
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
王兴波等在文献[1]中给出了任意参数下的Frenet公式,说明了任意参数下的Frenet公式是经典自然参数下的拓广,可极大简化变形问题的求解过程,但其证明过程较为繁琐.利用数学软件Maple,给出此公式的机器证明.从整个过程看,数学软件Maple符号处理功能显著,机器证明快速简易.
其他文献
SQL注入是黑客攻击web站点的一种常见手段。本文对SQL注入攻击的定义、产生原理以及常见的攻击方式做了比较详细的阐述,并对基于.NET框架下的防护措施进行研究,从错误信息页
一、消化国外技术抓好技术攻关 1.装置简介大庆30万吨乙烯装置中的裂解装置为美国SW专利,日本JGC承包设计,是我国第一套以轻烃、液化天然气为主要原料、石脑油(轻柴油)为辅助
阐述了绘图软件CASS7.0在应用中应注意的事项和笔者的一些经验。
VOX-XG系统将视频、音频、计算机网络、数据等统一到同一的传输平台中,提供了丰富的业务接口,如Ethernet、E1、RS232/RS485/RS422、开关量、语音等,并且创造性地将分布式数字视频矩阵纳入到该平台中。
提出了基于AT89S51的视频压缩系统的软硬件实现方案,该系统可完成对模拟视频信号的压缩和存储,并可在上位机上显示出解压后的图像。该方案实现简单,成本低廉,具有较好的实际应用前景。
Web日志挖掘已成为目前研究的热点课题,本文系统分析了Web日志挖掘过程中各环节的关键技术,从数据预处理到模式发现再到模式分析,并提出了一个基于Web日志挖掘的应用模型。
ZigBee网络是拥有大量微型节点的新型复杂网络。本文采用神经元描述了ZigBee的网络节点,用神经元模型表示了ZigBee网络。给出了ZigBee矿井定位系统的神经网络模型,并将神经网
在深入分析和研究了多种文本信息查询模型和算法后,提出了基于内容分析的文本查询系统的设计思想和实现策略。该系统主要综合了基于概率统计模型简单且易于实现的优点,借鉴了
针对企业信息系统面临的安全威胁和相应的对策,介绍几种有效的安全控制方案:管理机制、防火墙技术、身份验证、权限控制、路由器控制、代理服务器控制、自动跟踪的安全策略、
每个学生之间都存在着个体差异、智力差异、学习基础差异、学习品质差异。由于这些差异导致初中学生学习数学存在两极分化现象,而课堂式教学采用"一刀切"的授课方式,很难面面