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

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

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

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

导电涂料的研制

为了获得性能优良的导电涂料 ,采用对比试验和正交试验的方法对导电涂料进行了研究 ,分别对导电涂料的电阻、硬度、耐冲击强度、柔韧性等性能进行了测试 ,经过试验 ,确定了无机导电涂料的最佳配方为 :石墨 10 0g ,铅酸钡 10g ,三氧化二锑 5g ,二氧化钛 35g ,碳化硅 10g ,硅酸盐溶胶 170g。以此配方研制出了一种成本较低、生产工艺简单、具有良好的导电、导热性能的无机导电涂料。     

混沌和超混沌系统的自适应有限时间投影同步

在混沌系统投影同步的研究中,针对驱动-响应系统达到投影同步的时间不确定问题,提出了一种可以预先计算出同步时间,且在此时间内混沌系统实现投影同步的方法.对给定的驱动系统,构造合适的响应系统;采用自适应控制法,仅在误差系统的部分状态变量上加入自适应控制器;采用李亚普诺夫稳定性理论证明了在所采用的自适应控制律作用下,误差系统稳定同时驱动-响应系统达到有限时间投影同步.以典型的统一混沌系统和超混沌系统进行了数值仿真,结果进一步验证了上述控制方法的有效性与可行性.     

基于正交试验的加工过程伺服系统参数优选

针对加工过程伺服系统参数优选问题,提出一种基于正交试验的伺服系统参数优选方法。在分析、建立加工过程模型的基础上,选取伺服系统参数优选正交试验的因素与水平、指标,进而搭建伺服系统仿真平台并进行仿真试验,通过数据分析、参数优选得到伺服系统的最优参数,以改善系统动态性能和稳定性能。结果表明:对于n=600 r/min、Kn=1 mm/(V·s)、Ks=1670 N/mm2、Ke=2 mm、p=1的加工系统,其伺服系统的最优参数是指数m=0.6、阻尼系数ζ=0.8、自然频率ωn=30 rad/s。     

R2O-RO-Al2O3-B2O3-SiO2系统在骨质瓷中的应用

实验采用正交实验法和对比实验，通过对R2O-RO-AlO3-B2O3-SiO2系统的成釉机理分析及熔融特性、熔体的粘度和表面张力等性能的测试，探讨了该系统在骨质瓷中的应用。     

车削加工过程中切削力的试验研究

运用DEFORM仿真软件对金属切削过程进行仿真实验,以金刚石为切削刀具,AISI52100淬硬钢为工件材料,采用正交仿真实验分析切削速度、进给量、切削深度对切削力的影响规律,并给出实验范围内的最优加工参数组合,当切削速度vc=120 m/min、进给量f=0.10 mm/r、切削深度为时ap=0.1 mm,切削力达到最小。最后运用回归分析方法建立切削力的经验模型,对得到的经验公式进行显著性检验,证明经验公式的可信性。     

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

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

基于显著性分析的气缸盖结构优化设计

为了改变缸盖的结构,提高气缸盖运行工况下的温度分布及结构可靠性,进行了以鼻梁区宽度等六组参数为设计变量、以其许用范围约束条件、以等效热应力最低为优化目标的汽缸盖结构优化。基于正交实验法,构建了6因素5水平的正交实验表,并建立相应的三维模型,仿真得到了温度场及热应力。通过均值化法去量纲,分析得到了各因素的显著性水平,基于各因素的显著性水平选取了最优方案,并进行对比。结果表明,优化尺寸优选后方案的最大热应力比原始结构降低了13.48%,为缸盖的结构设计提供了一定的参考。     

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

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