空间有理Bezier曲线的逼近性质与几何性质

本文通过对空间参数有理Ｂｅｚｉｅｒ曲线的特征多边形的参数化，推得升阶多边形序列对曲线的逼近程度，进而得到一致收敛性。接着用几何方法定义了变差减缩性质，并且推得空间有理Ｂｅｚｉｅｒ曲线具有这种性质。最后是参数有理Ｂｅｚｉｅｒ曲线为凸的条件。     

道路标线图像采集中的几何畸变校正研究

为探索道路标线养护信息采集智能化，建立了基于机器视觉的道路标线图像信息采集系统，因摄像机光学镜头为广角镜头，且光轴与道路平面倾斜，因而采集的道路标线图像会产生鼓形畸变和倾斜畸变。在分析道路标线图像产生鼓形和倾几何斜畸变原因的基础上，采用三次多项式校正道路标线图像的鼓形变形，并提出了一种用几何物像关系校正道路标线图像的倾斜畸变，实验结果表明这种方法是可行的。     

汽车行驶阻力的计算机逼近方法

本文介绍一种通过构造汽车道路行驶阻力模型函数、转鼓阻力模型函数，及运用函数逼近的方法建立的校正模型函数，在底盘模拟测功机上，实现汽车行驶阻力的计算机逼近与校正方法。     

计算复杂性理论研究现状

根据对多项式时间复杂性的存在算法,得出计算复杂性理论把问题按其复杂性分为三大类:存在多项式时间复杂性的问题;肯定不存在多项式时间算法的问题,即具有指数时间复杂性的问题;未找到多项式算法,也不能证明其不存在多项式算法的问题。     

深水波频域格林函数及其高阶导数算法研究

文章研究了无限水深自由面格林函数一种新的算法,该算法将计算域重新划分为五个子区域,在每一个子区域内只涉及级数展开,没有使用插值表及数值积分,与现有格林函数算法相比,不仅给出一阶导数值,而且能高效地计算二阶导数,这在格林函数微分方程求解及高阶面元法中非常有用.数值结果表明,该方法计算速度快且一阶导数和二阶导数的计算精度达到10-9.     

车辆/轨道耦合作用下高速列车车轮振动影响灵敏度分析

考虑车辆一系、二系悬挂参数和轨道参数的随机性,在多体动力学软件UM当中建立了CRH2动车组拖车的随机性仿真模型;采用最优拉丁超立方试验设计方法抽取车辆参数和轨道参数的随机样本,利用多目标优化软件iSight调用随机样本,联合UM完成了随机样本仿真分析;在有限试验设计样本和仿真数据的限制下,以最佳近似精度为目标,结合最小角回归、低阶交互截断和留一法交叉验证等实现了多项式混沌展开,构建多项式混沌展开代理模型;采用Sobol法进行全局灵敏度分析,研究了直线、曲线2种工况下车辆参数和轨道参数随机耦合作用对于车轮振动特性的影响,找出了主要影响因子,并考虑了多参数之间的交互效应。研究结果表明:多项式混沌展开法能够基于已有的样本比较好地拟合出代理模型,计算出Sobol灵敏度系数,平均误差低于3%,从而可以高效、定量地分析各参数耦合作用对车轮振动的影响;转臂节点横向刚度、一系弹簧垂向刚度、一系弹簧横向刚度和二系横向减振器阻尼是对车轮振动响应方差具有较大贡献的车辆参数,轨道横向、垂向刚度是对车轮振动响应方差具有较大贡献的轨道参数,各参数之间存在明显交互效应。      

Precise zero-knowledge arguments with poly-logarithmic efficiency

Precise zero-knowledge was introduced by Micali and Pass in STOC’06. This notion captures the idea that the view of a verifier can be reconstructed in almost same time. Following the notion, they constructed some precise zero-knowledge proofs and arguments, in which the communicated messages are polynomial bits. In this paper, we employ the new simulation technique introduced by them to provide a precise simulator for a modified Kilian’s zero-knowledge arguments with poly-logarithmic efficiency (this modification addressed by Rosen), and as a result we show this protocol is a precise zero-knowledge argument with poly-logarithmic efficiency. We also present an alternative construction of the desired protocols.