全平均曲率的一阶变分问题

设M是一个n维黎曼流形,考虑泛函τ（ft）=∫M｜H｜ndMt,其中H是F：M×1→ －M的平均曲率,dMt为流形的体积元。用变分学知识,可推导出τ（ft）在t=0时的一阶变分公式,并得到Euler-Lagrange方程。     

功能性电刺激脚踏车训练系统建模及仿真分析

针对FES脚踏车训练系统建立数学模型并对模型进行仿真。该系统模型由模式发生器,电刺激关节力矩模型及人机动力学模型组成。根据关节伸展弯曲时,脚踏车曲柄对应角度和速度关系及三组肌肉群的状态,建立模式发生器模型。对腿部肌肉群刺激时序优化得到最终刺激模式。通过计算肌肉在电信号刺激下的肌肉激活度、最大肌肉力、肌肉力长度特性及肌肉力速度特性建立电刺激肌肉力模型,得到电信号刺激肌肉时产生的肌肉力大小及肌肉力在关节处的合力矩。根据拉格朗日方程和关节力矩建立人机动力学模型。采用典型人体数据,以Simulink为仿真平台,通过差分、迭代等方法对系统模型求解,得出刺激信号与肌肉、关节及曲柄的动力学关系。以脊髓损伤患者对训练系统进行实验,对比曲柄处合力矩与曲柄角度关系验证脚踏车系统模型方法正确可行。

Abstract：

Aiming to study FES cycling system,the mathematics model and simulation were presented.The model includes pattern generator,stimulation-joint torque and man-machine kinetic model.Based on three muscles group state,the crank angle and velocity when the joint extending and flexing,the pattern generator model was built.Optimizing the stimulative time sort,the final stimulative pattern was explored.By calculating muscle active,muscle maximal force,the characteristic of muscle force-length and muscle force-velocity under signal stimulation,the electric stimulating muscle model,stimulative muscle force and the torque on the joint can be got.Based on Lagrange equation and joints torque,the man-machine kinetic model was built.Using typical body data and Simulink platform,the relationship of kinetics among the stimulation signal,muscles,joints and crank was found using the method of iteration and difference to solve the system model.From the experimental data of SCI patient on the system,comparing the results of crank torque and crank angle between simulation and experiment,it is showed the model of FES cycling is feasible.     

Chebyshev配置点法解Volterra型积分微分方程

采用Chebyshev配点法求解Volterra型积分微分方程,首先将Volterra型积分微分方程重新写成一个第二类的线性积分方程组,然后将方程组中的被积函数用Lagrange基函数展开,再将Lagrange基函数用Chebyshev多项式展开,在L_∞范数下作误差分析,最后用数值算例来证明该方法的可行性.     

Wang门限签名方案的分析和改进

在分析Wang门限签名方案的安全性的基础上,指出了该方案中真正起作用的只是私钥的一部分．提出了一个简化方案,证明了简化方案的安全性等价于修正后的Wang方案．由于采用的基本签名方案不适合门限签名,两个方案都易受内部伪造攻击,对此给出了解决办法．     

一种递归泛函网络模型及学习算法

提出一种递归泛函网络模型,给出递归泛函网络稳定性的一种判据,即把稳定点转化为某种函数的不动点;给出一般递归泛函网络学习算法,该算法是借助于Lagrange乘数法,作辅助函数对泛函参数学习过程归结为求一组线性方程组的过程;指出基于递度下降学习算法应用于递归泛函网络仅是一种特殊情形。最后,通过算例分析表明,该算法十分有效,具有模型简单、计算精度高等特点。     

航运资产整合下海运网络的航线、路径和船舶的集成优化

针对航运资产整合后新企业的海运网络重建问题,从营运船舶的角度提出了轴-辐式网络和多港挂靠相结合的混合模式.结合混合模式对基于航线、路径、船舶一体化决策的可能约束,建立了总成本最小化为目标函数的线性混合0-1规划问题,设计了拉格朗日分解、次梯度、预处理与可行解构造的求解算法.通过一组准实例的数值仿真,验证了该求解算法在解决大规模问题时具有较强的计算性能.结果表明:航运资产整合可为新企业带来明显的规模优势,但海运网络重建成本控制的关键在于船队规模及其结构的再优化;新企业应选择合适数量的枢纽港口来布局主干网络,并通过优先保证分支网络上适当船型的配置和兼顾主干网络上大型船舶的充分利用的方式来提升船舶利用率.     

ON VECTOR OPTIMIZATION WHEN THE ORDERING CONE HAS AN EMPTY INTERIOR

1.IntroductionLetXbeavectorspace,Ybeatopologicalvectorspace,Zbealocallyconvexspace,andletthetopologicaldualspacesofYandZbedenotedbyY*andZ*,respectively.LetCbeapointedconvexconeinYandKbeaclosedconvexpointedconeinZ.ThedualconesofCandKaredefinedasrespec...     

考虑光行时校正的高精度全球导航卫星系统测速算法

全球导航卫星系统（GNSS）测速算法认为多普勒测量值为接收机与GNSS卫星的相对运动速度在视线方向上的投影,未考虑光行时的影响,存在一个微小的系统性偏差,测速精度不高,限制了其在精密测速领域中的应用。在传统的GNSS测速算法基础上,给出了一至三阶的积分多普勒插值算法,用瞬时多普勒替代了平均多普勒,对于低轨道地球卫星（LEO）用户,使用二阶插值积分多普勒的测速精度较使用平均多普勒的测速精度提升了三个数量级;另一方面考虑了光行时的影响,修正了因收发时刻不一致引入的多普勒偏差,并分别给出了地球惯性坐标系（ECI）和地球固连坐标系（ECEF）下的修正算法,实验结果表明,光行时修正算法降低了系统性偏差,三维速度误差的均方根（RMS）降低至3.3 mm·s^-1,能够满足高精度测速的应用需求。     

二次曲面上L agr ang e插值结点组构造问题研究

以二元函数Lagrange插值研究结果为基础,对三元函数Lagrange插值结点组可解性问题进行了研究,提出了二次曲面充分相交和二次曲面上Lagrange插值可解结点组的基本概念,研究了二次曲面插值可解结点组的某些基本理论和拓扑结构,得到了构造二次代数曲面和二次空间代数曲线插值可解结点组的添加二次曲面法。这些方法都是以迭加方式构造完成的,这对于编译计算机算法程序,进而在计算机上自动完成插值可解结点组的构造,并得到插值格式创造了十分便利的条件。最后给出了实例验证算法的有效性。     

硬化土模型在FLAC3D 中的二次开发

为了对岩土工程领域相关问题提供数值参考,将硬化土模型与强大的非线性计算功能FLAC3D数值分析软件结合。基于拉格朗日有限差分方法,详细地推导了HS模型在FLAC3D中的增量迭代计算格式,并且给出了更新剪切屈服面应力的算法。在FLAC3D提供的二次开发程序接口基础上,利用VC++程序语言实现了计算过程,并将HS模型编译成动态链接库文件进行加载和调用。最后,通过模型计算与试验实测进行比较,验证了二次开发程序的正确性与合理性。