云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

Ni~(26+)离子态分辨光复合过程的R矩阵理论研究

利用基于相对论R矩阵理论的DARC程序系统计算了Ni 25+离子基态1s22s(2S1/2)和激发态1s22p(2P1/2,2P3/2)的光电离截面,并通过细致平衡原理获得了统一的光复合过程(即辐射复合和双电子复合)态分辨的截面,计算结果给出了辐射复合与双电子复合过程间的干涉效应.为了标识和分析KLL共振能区所有的共振峰,基于相对论组态相互作用理论(RCI)的FAC程序被用来计算共振峰的能量、强度及其相关的双激发态的辐射、俄歇跃迁几率以及共振宽度等.利用统一的光复合截面进一步得到了KLL双电子复合过程的伴线强度,并与孤立共振近似下FAC的计算结果以及以前的理论和实验结果进行了比较,对存在的一致性和偏差进行了分析和讨论.     

UJ24型电位差计的检修与调节

UJ24型电位差计使用时出现的故障,可以利用数字万用表排查故障,提出排查方案,进行维修与调节,使它尽快恢复到最佳工作状态,这样既节省厂家的维修时间又节省学校的维修费用。     

桐叶封弟新辨

桐叶封弟的真伪历来是学术界的公案,学者们大都对故事的真实性持否定态度。然而只要从故事的本身出发,注意分析当时故事核心人物间的关系以及权力对比,就不难发现,桐叶封弟故事的真实性是非常高的。桐叶封弟实为成王以桐叶戏弟为虚,行封叔虞于唐为实的一个借口,也反映出成王当时确有难言之隐。桐叶封弟中周公对成王的真实想法其实也早已心知肚明,"周公成之"是作为臣子的周公在故意配合成王。桐叶封弟的背后隐藏着周初朝中君臣权力间的博弈,对于君臣来说,故事的结果也是双赢。     

锂电池异常状态监测的FEKF方法研究

为了保障锂离子电池的使用安全，提出了基于带渐消因子的扩展卡尔曼滤波 （Fading Extended Kalman Filter，FEKF）的电池状态在线监测方法. 建立锂电池一阶等效电路模型，利用递推最小二乘法进行锂电池状态参数在线辨识，建立状态方程；引入最优渐消因子，构造FEKF，得到端电压残差；使用端电压残差序列构造χ2分布的诊断函数，计算误检率与状态参数异常阈值. 实验结果显示利用FEKF生成的残差能更早对异常状态进行告警，证明FEKF能够显著提高χ2检验对锂电池内部缓变型异常状态判断的准确率.     

(2+1)维KD方程组的一类非亚纯行波解

通过行波变换将(2+1)维KD方程组转变为复域中的常微分方程,给出复合的(2+1)维KD方程组2(wk-3l2+3ak2 C1)u=2k4 u″-k2 a2 u3+(6k2b-3kal)u2+C2,v=lku+C1的一类非亚纯解的结构.     

基于一维数据逐段均匀条件下的参考分布研究

聚类分析中一个重要的问题是估计聚类数,GS方法通过参考分布对聚类数进行合理的估计,解决了其他聚类方法无法对应分为一类的数据进行分类的问题,具有更好的分类效果;目前已通过理论证明得出,在分布为对数凹且一维情况下,GS方法的参考分布为均匀分布,而有关其在其他条件下的参考分布研究较少;针对这一情况,提出解决一维且逐段均匀条件下GS方法的参考分布问题,以类内平方和为评价标准,通过拉格朗日乘数法求解与问题等价的优化问题,理论证出条件下总体均匀分布是类内平方和最大的情况,进而得出对于一维数据,逐段均匀条件下的参考分布仍为均匀分布的结论。     

考虑非结构性的多级生产流程调度方法

针对智能化柔性制造过程存在的再制造过程,对中小型设备生产车间及其仓储转运的模型构建、分析方法、以及参量相关性提出了新的解决思路.为了最大限度的减少建设周期、合理化投资成本、以及优化生产流程,建立了考虑非结构性的多级生产流程的数学模型,以完成度、完工时间和调度频次为目标函数分析生产要素间的相关性.实验结果表明,融合再加工过程的智能化柔性制造单元中,生产要素为非线性相关,个别要素具备对称性,为实际工况中的生产改进及优化提供了一定理论基础.     

重卡驱动桥壳疲劳稳健性与轻量化设计

驱动桥壳轻量化设计对于提高承载能力、降低生产成本具有重要的意义.本文在驱动桥壳有限元分析和疲劳分析计算的基础上建立驱动桥壳多目标优化模型，对重型卡车驱动桥壳进行参数化设计，建立正交试验表，利用田口方法和综合评价方法对驱动桥壳的疲劳性能稳健性和质量进行优化设计.优化结果表明，此方法可以应用于驱动桥壳的多目标优化，优化后驱动桥壳的疲劳稳健性能得到提高，减轻了质量，因此节约了桥壳材料，降低了生产和运营成本，提高了设计水平.     

产状测量方式的空间两结构面共面性理论分析

针对空间两结构面不同产状测量方式的组合关系问题,利用向量代数和空间解析几何原理,计算出不同产状测量方式组合情形下空间两结构面的平面方程,通过比较不同方程间系数关系对结构面共面性进行了理论分析;分析了空间两结构面二面夹角的误差来源,结合结构面自身性质,利用数理统计原理给出了空间两结构面共面性判断条件.