在AutoCAD图形上直接进行数控编程的研究

本文介绍一种基于AutoCAD图形 ,用VisualBasic 5 .0为工具的交互式编程方法 ,较好地解决了数控程序的校验问题。     

函数可展成泰勒级数的一个充分条件

给出了函数可展成泰勒级数的一个新的充分条件 ,它是已有定理的补充     

微分学中几个不等式的等价关系

通过给出的1个定理及1个推论,揭示了微分学中2组(共8个)最基本的不等式之间的等价关系     

地表剩余沉陷的预计方法

将ＳｕｌｓｔｏｗｉｃｚＡ．假说引入预计地表静态位移变形式中，提出了预计地表剩余位移变形的方法，并以此为基础编制了ＹＬＨ－８预计程序，给出了该程序对实例的处理方法及由图形数据差值法得出的剩余位移变形等值线分析图。     

任意m(m≥2)个连续正整数n次幂代数和的奇偶性判定法

本文通过具体实例阐述了任意m(m≥2)个连续正整数n次幂代数和的奇偶性的求法及,奇偶性的判定方法,该判定方法将成为数的奇偶性理论中奇数和偶数的性质的重要补充。     

可证明安全的射频识别双向认证协议

由于射频识别系统中读写器和标签是在不安全的无线信道中进行通信,而且随着移动读写终端的出现,使得读写器和服务器通信也不安全,容易受到假冒攻击、窃听攻击、中间人攻击等安全威胁,针对此问题提出了基于中国剩余定理的射频识别双向认证协议。该协议利用对称加密、模运算等方式提高信息传输的安全性,引入时间戳来抵抗中间人攻击,并利用中国剩余定理对各方进行认证,最后采用随机更新密钥的方式进行密钥更新,并通过形式化证明的方法和常规攻击分析的方式来验证协议安全性。将该协议与其他协议进行安全性、计算量和存储量的比较,结果表明:文中协议安全性高、计算量小且存储量适中,在射频识别领域安全方面具有一定的应用价值。     

单位群可表示为(Z2+Zpm)的模n剩余类环

运用群论、环论及初等数论的相关知识,确定当(U(Zn)≌Z2+Zpm)时,n的取值问题,其中m≥3,p为素数.     

一类奇摄动抛物方程的周期解

研究了一类含有迁移项的奇摄动抛物方程的周期解问题, 给出了解的存在唯一性、渐近解及其余项估计.     

机动车微机检测与管理系统

机动车的安全检测与管理对交通安全及环境保护有重要意义。本文从工程角度介绍和比较集中控制式、分级分布式、分组控制式等几种微机控制系统的结构、布置和软件功能，探讨不同使用条件如何选择较合理的微机检测与管理系统。     

边界摄动情况下一类二阶半线性椭圆型方程的边界层现象

本文考虑一类二阶半线性椭圆型方程的Dirichlet问题在边界摄动情况下的边界层现象。运用多参数展开法简捷地构造微分不等式,得到解的存在性及高阶一致有效渐近解。