不动点定理在微分方程中的进一步研究

文章主要是利用Schauder不动点定理来证明了Peano解的存在性定理,并且利用Schauder定理进一步来研究不动点在微分方程中具体应用。     

发展重化工业有悖于省情——关于浙江省经济转型升级的思考

面对浙江省经济转型升级中的一些问题,诸多专家学者对发展重化工业的观点持有不同的看法。通过对霍夫曼定理的分析可以得出：一个国家可以实施重化工业化战略,但是每一个地区和省份不能都发展重化工业,浙江省有自己的经济结构特点。为此,提出了不发展重化工业的理由及必须走发展新型工业化道路的思路,并对浙江省经济转型升级和持续发展提出建议。     

双连续α次积分C余弦函数的生成定理

基于双连续半群和α次积分C余弦函数的理论,提出了双连续α次积分C余弦函数概念.借助Laplace变换,考察双连续α次积分C余弦函数生成元和预解式之间的关系,以及Hille-Yosida算子和双连续α次积分C余弦函数之间的生成关系,并由此生成关系得出双连续α次积分C余弦函数的生成定理,从而对Banach空间中强连续算子半群的生成定理进行了推广.     

可信性空间上基于复模糊变量的学习理论的关键定理

给出了可信性测度空间上复模糊变量定义及一些性质;给出了复模糊变量的经验风险泛函、期望风险泛函以及经验风险最小化原则严格一致收敛的定义。在此基础上给出并证明了基于复模糊变量的学习理论的关键定理,为系统建立可信性空间上的复统计学习理论奠定了理论基础。     

一种加强的基于中国剩余定理的群签名

陈泽文等在2004年提出了基于中国剩余定理的群签名方案。该方案在加入或撤销群成员时其他群成员密钥和群公钥的长度保持不变,从而解决了撤销群成员的困难,提供了一种效率高和计算复杂度小的群签名方案。从该方案的研究中发现其基于RSA算法的方案不具有防陷害性和不可伪造性的特征。因此,参照ElGamal的算法,提出了一种加强的基于中国剩余定理群签名的新方案。在新方案中,保证了原有算法在加入和撤销成员具有高效性的同时,进一步改进了陈方案的不足,不再要求可信的群中心,并且群成员也分担了群中心的工作量,使系统更具有实效性。     

基于多素数和参数替换的改进RSA算法研究

为了提高RSA公钥算法在消息加密过程中的安全性,在深入分析传统RSA算法的基础上,对其进行一些改进性研究,提出了一种比传统RSA算法更加有效的方法优化其安全性。在将传统RSA改进为四素数RSA的基础上,再运用数学变换进行参数替换,消除了在公钥中对传输两个随机素数的乘积n的需要,引入了一个新的参数x代替原参数n。针对改进后的算法在运算效率方面的不足,采用中国剩余定理( Chinese remainder theorem,CRT)优化大数模幂运算。实验结果证实了改进算法的可行性,为通过公钥加密消息发送和接收提供了更安全的路径;同时,对改进算法与传统RSA 和四素数RSA算法的解密(签名)时间进行比较分析。实验结果表明改进后的算法对消息发送方和接收方之间签名效率也有一定程度的优化。     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

地球同步轨道SAR曲线轨迹二维空间分辨率分析

针对地球同步轨道合成孔径雷达(GEO SAR)中,卫星轨道是曲线轨迹,且由于地球自转等因素的影响,卫星相对于点目标的运动轨迹没有显式表达式,且航迹速度在不同的卫星轨道位置差异很大的问题,提出了一种基于相位梯度分析的高轨SAR二维空间分辨率计算方法.文中提出了一种猜想,并采用介值定理证明:在合成孔径时间内,存在1个等效航迹速度,使得理论方位向分辨率位于1个范围之内,并计算得到了该方位向分辨率范围.最后,后向投影算法仿真实验验证了该方法的有效性.     

Stress and Deformation Analysis of Cylinder-Crown IntegratedHydraulic Press with Large Capacity

Cylinder-crown integrated hydraulic press (CCIHP) is a new press structure. The hemispherical hydraulic cylinder also functions as a main portion of crown, which has lower weight and higher section modulus compared with the conventional hydraulic cylinder and press crown. In order to design cylinder-crown integrated hydraulic press with large capacity, the theoretical design of hemispherical hydraulic cylinder was first proposed, and the structural parameters of 150 MN CCIHP were listed. Then the simulation was carried out to analyze the stress and deformation of CCIHP, and weight comparison was conducted between CCIHP and conventional press. It is shown that the weight reduction for hydraulic cylinder and press crown is about 20% compared with that for conventional press, and the stress and deformation are both within the range of constraints including strength and stiffness conditions. It is possible to manufacture cylinder-crown integrated hydraulic press with large capacity.