管子管板检测机器人爬行脚的吊装负载能力研究

在爬行机器人携带无损检测（NDT）设备的情况下,为了保证其对立式换热器管子管板角焊缝检测过程的稳定性和可靠性,重点对立式换热器管子管板检测机器人的关键机构——爬行脚的负载能力进行了数值模拟分析和实验研究,应用Hypermesh和ANSYS Workbench联合仿真平台对爬行脚在充气和自锁工况下的结构强度和接触状态进行了仿真。模拟结果表明,在负载逐渐增加的过程中,两种工况下爬行脚与换热管内壁之间没有发生滑移失效,一直保持了良好的稳定性和可靠性。同时对爬行脚实验样机进行了开发和验证,并通过两种工况下的吊装负载实验,得到充气工况最大负载为38 kg,自锁工况最大负载为15 kg,验证了其良好的稳定性。     

昭平台水库饮用水水源保护区的调整划定及验证

在对昭平台水库饮用水水源保护区现状及污染因素进行调查的基础上,分析库区及上游入库河流水质情况,运用二维水质模型划分饮用水源保护区范围,并结合近远期上游城镇发展,对划定结果进行模拟验证,结果表明在近期、远期一般和远期不利三种情景下,入库污染物的衰减结果均可保证一级保护区内水质达标,保证饮用水水源安全.     

乙酸乙酯-乙苯二元混合溶液的折射研究

计算混合溶液折射率的新方法:n=1 ∑wiρMDMi,对于无机混合溶液、乙醇水溶液和丙三醇水溶液等有着很好的适用性,但对含有羰基和苯环官能团复杂物质是否适用还不清楚.本文对含有羰基和苯环官能团的、不同浓度乙酸乙酯-乙苯溶液折射率进行计算,计算结果与实验测量值吻合的非常好,进一步证实了该方法对酯类、芳香族溶液的适用性,并给出了该溶液浓度、密度和折射率计算所需的重要参数值.这些结果也支持了该方法的理论基础,证明了该方法的电子云导体理论模型的合理性.还用Lorentz-Lorenz公式计算了这些混合溶液的折射率,并对2种计算方法的偏差进行了比较.     

一种高效的多副本数据持有性证明方案

为了验证云存储中服务提供商是否完整地存储了用户的数据副本,在分析支持动态数据的持有性证明方案(RDPC)的安全缺陷(无法抵抗替换和重放攻击)的基础上,对其进行了改进和扩展,提出一种基于同态哈希技术的多副本持有性证明方案。该方案能够同时对多个副本的持有性进行验证,具有抵抗替换攻击、重放攻击和伪造攻击的能力。通过对Merkel哈希树进行改进,使方案更好地支持动态数据操作,同时利用γ编码技术,使得对数据块的验证和更新等操作过程中通信的数据量更小。     

安全高效的流媒体服务器集群系统

为适应流媒体技术要求存储大容量、传输实时高效的特性,提出一种基于L inux的安全高效的流媒体服务器集群系统模型,。该方案利用身份验证保证用户的合法性,基于用户的级别分配不同的服务资源;利用网络负载平衡技术(NLB:Network Load Balance)实现服务器集群各节点的负载均衡;利用改进的两级高速缓存模块保证媒体文件的存储调度的高效性;在两级缓存中增加1台首数据段缓存服务器预处理用户请求,使用户响应时间减少40%。实验数据和结果证明了系统的可行性。     

一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题，提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段，以此片段为基准，将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算，将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低，得到优化方案.实验结果表明，基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间，并能保证假阳率和假阴率都为零.     

平纹编织复合材料层板维修的挖补角度优化分析与试验验证

鉴于平纹编织复合材料的广泛应用与该类型层板维修研究的缺失性,研究针对一系列不同修补角度的平纹编织复合材料层板维修工况,进行了三维有限元模型分析计算与试验验证,得到结论如下:修补角度的选取对于恢复强度的影响极为明显。研究使用的平纹编织复合材料层板结构最佳修补角度为4°,最大强度修复率达到了66.98%;分析采用的三维有限元修补模型得到的强度计算值与试验数据基本吻合,说明该计算模型能够满足维修设计的需求,为实际修理提供较好的维修指导。     

基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.     

林果业生产机械化水平评价与实证研究

为掌握多年生作物林果业的生产机械化发展现状,十分有必要建立一套指标体系来评价其生产机械化水平.从统计具有可操作性角度出发,对林果业概念界定、指标及权重设置、评价方法建立等方面进行了深入探讨.通过典型调查与专家咨询、定性与定量研究相结合等方法,从林果业全程生产的15项作业中重点考虑作业频次高、用工量大、作业费用多、机械化需求迫切的重点作业项目,选取了中耕、施肥、植保、修剪、采收、田间转运等6项,设置了相应评价指标,用德尔菲法确定了指标权重,构建了评价指标体系,采用线性加权综合评价法进行计算和评价.最后进行了应用验证,结果表明该指标体系能一定程度反映生产实况,且具有可操作性,为分区分类指导我国林果业生产机械化发展提供了科学依据.     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.