空间曲线弧长公式的一个简洁证明

本文应用向量的方法,给出空间曲线弧长计算公式的一个简洁证明.     

道路复曲线内插缓和曲线长度公式的分析与推证

对广泛使用的道路复曲线内插缓和曲线长度的若干公式进行了重新推导，给出了正确的公式，并对原公式的错误作了分析，修正后的公式对于道路复曲线设计有重要的参考价值．     

提高高等级公路缓和曲线计算精度的方法

对高等级公路路线设计中缓和曲线的计算精度进行了探讨,分析了现有缓和曲线计算公式体系误差产生的原因,提出2种计算机编程方法,以提高缓和曲线计算精度,满足高等级公路路线设计的要求。     

圆曲线间缓和曲线任意点坐标计算

本文主要论述了圆曲线间缓和曲线上任意点坐标的计算方法及实例应用。     

缓和曲线的平行边线的性质及弧长计算研究

推导了缓和曲线的平行边线弧长计算公式，证明了平行边线的两个性质，对实际线路测设工作有指导意义．     

曲线桥梁缓和段几何设计计算方法

针对有缓和段的弯桥，本文以缓和曲线长度作为参数，推导出了设有加宽、超高的缓和段特征曲线的几何设计计算式以及超高计算式，并给出算例。计算表明，计算式精度高，使用方便。     

公路缓和曲线的设计及运用

介绍了公路缓和曲线的特征和分类,提出了回旋曲线作为缓和曲线时与各线元的组合方式及设计要点。     

近似弧长参数化插值曲线的三角函数方法

本文提出了一参数曲线近似弧长参数化的一种三角函数方法,参数曲线的弧长子数用三角函数作保调插值,得到的近弧长参数化曲线插值原参数曲线上后一组点,且曲线在这组点对应的弧长精确等它对应的参数值。     

弧长公式成立的充要条件

连续曲线不一定可求长，连续曲线可求长当且仅当它的参数表示是有界变差的，但弧长未必能用公式表达，利用勒贝格积分的基本理论证明绝对连续是弧长可用公式计算的充要条件。     

图的传递指数

利用图论方法，给出了图的传递指数若干性质，并给出了传递指数的上界与下界。     

插值与曲线拟合

对给出的一组数据（xi,yi）（i=0,1…n）,根据不同的原则我们可以利用插值法和曲线拟合法分别来构造近似函数表达式。通过例子来对比这两种方法的优缺点,虽然它们都有缺点,但都是实用性很强的方法,所以还是要多加重视。     

汉语动宾谓语句的形式刻画

运用认知范畴论的观点对动宾谓语句作类典型和非类典型的划分,着力分析这两类语句的不同特征;在此基础上,作者借助一阶谓词逻辑、类型论、λ演算等工具,对汉语类典型动宾谓语句与两种非类典型动宾语句作初步的形式刻画。     

两类特殊S0-模糊传递矩阵的收敛性

定义了两类特殊的S0-模糊传递矩阵,讨论它们的收敛性.首先定义了Sz-模糊传递矩阵,证明了对任意n阶Sz-模糊传递矩阵A有An=A2n=A3n=….其次定义了Z0-模糊传递矩阵,证明了对任意n阶Z0-模糊传递矩阵A,A(n-1)2+1中元素全是非零元,并给出A(n-1)2+1=A(n-1)2+2=…成立的充分条件以及振荡周期PA=n-1的充分条件.     

点可迁图的顶点划分

设G是k正则连通点可迁图。图G的一个边割S称为限制性边割，如果G－S不含孤立点，最小限制性边割所含的边数λ′称为限制性边连通度。已经证明λ′≤2k-2，等号成立时，称图G是极大限制性边连通的。本文证明了：如果G不是极大限制性边连通的，那么G的顶点集存在一个划分π＝（C1，…，Cm)，使得由Ch导出的子图同构于一个连通k-1正则点可迁图H,h=1,2，…，m，而且k≤|H|≤2k-3。     

基于椭圆曲线加密的系统安全性分析

文章阐述了椭圆曲线的概念以及常见的攻击方法，并在椭圆曲线加密系统(ECC)对比于其他公钥系统的基础上，对椭圆曲线加密系统的安全性进行了讨论．说明了椭圆曲线密码体制相对于其他公钥密码体制具有密钥长度短、运算速度快、计算数据量小等特点，因而ECC已成为已知的效率最高的公钥密码系统。     

可迁格序置换群的凸同余

给出了可迁格序置换群的凸同余与块所决定的可迁格序置换群的分类，讨论了可迁格序置换群的凸同余和块的性质以及它们之间的一些关系．     

自动词使役态与他动词的使用方法辨析

他动词构成的句子不考虑客体本身(有情物)的意志,主体对其施行的是强制性动作.自动词使役态构成的句子其特点是,无论是在主体允许下还是命令下的行为,其责任等都在于客体本身.因此,我们可以把他动词与自动词使役态的差异看作是直接作用与间接作用的差异.他动词为直接作用,自动词使役态为间接作用.     

群的自由积的高可迁表示

可数无限秩的自由格序群是同构于有理数集上的格序置换群A(Q)的2-可迁子群，THEOREM6．7)．McCleary证明了有限秩的自由格序群有一个Q上的2-可迁表示．McCleary给出自由格序群Fη(1＜η＜^s\τ )在Q上有一个o-2-可迁作用，这一想法被推广到格序群的自由积．若G是一个L-群，F是基数至少是|F|的无限生成子上的自由群，则自由积G∪H在一个基数|F|的秩域上有一个o-2-可迁表示，G1ass和Gurevich则证明了两个可数L-群在Q上有一个o-2-可迁表示。证明若G和H是在有理数集Q上有忠实表示的非平凡可数群，则它们的自由积G∪H在Q上有高可迁忠实表示；若G和H是非平凡有限和可数群，且H有一个无限阶元素，则自由积G∪H在自然数集上有高可迁忠实表示。