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

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

关于检查井沉降与解决措施的研究

基于我国检查井施工中出现的不均匀沉降及相关施工问题的实际情况,针对导致上述问题出现的各方面原因进行分析,就优化设计、规范开挖及回填施工、强化检查井的砌筑等方面提出了相应解决措施.以期为我国市政管线建设中的检查井设计及施工提供借鉴.     

深水铺管船的动力定位能力评估系统

为解决评估铺管船作业能力的难题,提出一种适用于评估铺管船动力定位能力的方法,开发了动力定位能力评估程序系统,并针对高海况环境条件设计了优化的辅助作业方案.采用数值计算方法对铺管船作业期间的平均二阶力、风载荷以及流载荷进行仿真计算,建立了环境载荷与动力定位系统提供的推力之间的平衡关系,给出了用于评估铺管船动力定位能力的系统模块,采用动力定位能力包络线的方式表达动力评估结果.在高海况作业中给出安全建议,即采用辅助拖轮作用于船舶适当位置以增强动力定位能力,从而降低工程作业风险.     

试论古籍数字化背景下专业出版社的地位

信息时代,各类出版社被数字化浪潮推动着不断前进,数字化出版已经成为趋势.在古籍数字化出版的过程中,拥有专业优势的出版社应该是古籍数字化出版的主体,但是目前的状况却和我们的预期不同.在古籍数字化背景下如何实现专业出版社的主体地位,是我们古籍专业出版人的面临的困难与挑战.本文对当前专业出版社在古籍数字化出版中的地位问题以及如何实现其应有的主体地位等方面进行论述,以期对出版从业者提供工作思路.     

关于映射周期性的若干性质及其应用的注记

若f∈PfT(R)∩C(R),则F(x)=∫axf(t)dt,x∈R与周期函数有何关系,具有哪些性质?本文将就这一问题进行研究,获得了一个关于周期函数一个重要的若干性质的定理,应用其便捷的处理了一大批与周期函数有关的问题,进而给出了关于映射周期性的若干性质及其应用的注记,这对经济周期性研究有一定的参考意义。     

仿生非光滑花纹沟对轮胎抗滑水性能的影响

以205/55R16乘用车轮胎为研究对象,采用计算流体动力学建立了考虑胎面花纹变形的轮胎滑水分析模型;以气-液二相流数值模型分析了轮胎的滑水性能,并将临界滑水速度仿真值与NASA滑水速度预测值及轮胎发生滑水时力平衡下的速度进行对比.在此基础上,引入仿生减阻理念,研究了夹角为60°、高度为0.6mm的仿生对称V形结构对花纹沟排水量和水流阻力的影响,并将其结构特征信息等效移植到接地区轮胎花纹沟底,进行了仿生花纹轮胎的滑水性能分析.结果表明:所建滑水分析模型可用来分析轮胎滑水时的流体运动特性;相对原花纹轮胎,仿生非光滑花纹沟轮胎通过提高接地区花纹沟内水流速度,降低了胎面动水压力,提高了临界滑水速度.     

完全市场中的Yaari对偶效用最大化问题

效用最大化问题是经济学和金融学中的最重要和最基本的问题之一.经典的von NeumannMorgenstern期望效用模型在实践中都受到诸多挑战.Yaari对偶效用理论是重要的非期望效用模型之一.本文研究完全金融市场中的Yaari对偶效用最大化问题.前人在某种单调性条件下得到了该问题最优解的显式刻画.而在本文中,无需任何单调性条件,我们得到了最优解的显式刻画.     

含砂雾封层在桥面铺装工程中的应用

结合含砂雾封层在国道205桥面铺装上的应用,深入分析了含砂雾封层的防水、防老化作用机理,本文系统总结了国道205桥面雾封层施工质量的控制要点,并对施工前后封层各项性能指标进行跟踪检测,分析结果表明采取含砂雾封层措施确实能对桥面早期微裂缝进行有效封水,延缓桥面病害的发生,延长沥青路面的使用寿命。     

自学考试“助学二学历”优化管理探究——以南京农业大学为例

南京农业大学作为首批"助学二学历"试点单位之一,自2010年起,在本校范围内积极开展了"助学二学历"教育工作。经过几年的实践与探索,积累了丰富的教学管理经验,同时也取得了一定的成果。本文基于南京农业大学实践经验,分析了"助学二学历"开展的现状及存在的问题,提出了增强宣传力度,提高普及水平;立足学生需求,增设优势专业;加强组织建设,完善管理体系;重视过程管理,保障教学质量等策略。对自学考试"助学二学历"优化管理进行探讨,有利于高校推进自学考试事业的发展,培养复合型人才,更好地满足社会对人才多样化需求。     

兰州黄河岸边卵石层大吨位桩基自平衡法试验研究

对兰州深安黄河大桥进行桩基自平衡法试验。在对黄河岸边的岩土层进行桩基试验时,对桩基的极限侧阻力和端阻力标准值的取值提出建议,并在兰州地区进行自平衡法桩基试验时,对桩基侧摩阻力的取值提出建议。