具有隐式可信第三方的云存储数据持有性审计

针对远程数据检查给云存储用户带来较大负担的问题,提出了基于隐式可信第三方的数据持有性审计架构.该架构以防篡改可信硬件为隐式可信第三方,代替用户进行数据持有性检查,并生成显篡改日志以供离线审计.架构自身支持公开审计和检查过程中的隐私保护,从而降低了对数据持有性检查算法在这两方面的功能要求.分别基于2个数据持有性检查算法实现了架构,测试结果表明日志引入的开销很小,在不显著牺牲效率的同时,提高了公开审计的可实现性.     

“《美术史图库》建设与研究”的现实意义

"《美术史图库》建设与研究"是一项基础性的文化工程,课题的研究立足于文化史的高度,综合审视、吸收中国与西方美术史学以及各种画论研究的主要成果,筛选出中西方美术作品三千余幅,这些作品都是各个时期的代表作(从远古时代至20世纪80年代)。我们按照历史的脉络,从各类人群的文化需求以及对作品的熟悉程度这个独特的视角分别进行系统的等级分类与评价。该课题的研究不仅梳理了中西方美术史,并将其从学科价值提升到大众文化价值,使其走入大众审美文化。     

超高强度钢与低合金钢的激光搭接焊性能

采用Yb:YAG激光器对超高强度钢EN10292 TL4225和低合金钢H340LAD进行了激光焊接试验,分析了不同焊接参数对接头质量的影响。利用光学显微镜观察了接头的微观组织,并通过硬度测试及拉剪试验对接头的力学性能进行了测试,最后采用扫描电镜(SEM,HITACHS-4300)对拉伸断口进行了研究。结果表明,采用优化的焊接参数获得的接头具有良好的接头组织和力学性能,焊接质量能够满足实际生产中的需要。     

半定性约束满足问题求解

从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。     

几乎优化扩张和Gorenstein同调维数（英文）

假设R是环,S是R的几乎优化扩张环。主要研究环R和环S上的Gorenstein同调维数的关系。首先,假设M是S模,证明MR是Gorenstein投射的充分必要条件为Ms是Gorenstein投射的。其次,证明了环R的左Gorenstein维数跟环S的左Gorenstein同调维数相等。     

八轮腿移动机器人平台越障性能研究

针对复杂地形环境,提出了一种八轮腿移动机器人平台,轮腿式移动机器人综合了轮式移动机器人高速、高效、灵活的特点和腿式移动机器人较强的越障能力.本文首先计算了该机器人平台的质心位置,并对移动机器人的稳定性判据进行了分析,在此基础上,针对斜坡、台阶和沟槽等不同类型障碍,就其越障能力与摩擦系数、结构尺寸之间的关系进行了分析,研究了该机器人移动平台越障性能,并求出了其在跨越台阶和沟槽时前后轮腿系统之间的转角关系,分析移动机器人平台姿态调整策略和越障策略.为机器人控制系统的设计做好了理论基础.     

基于BDI的智能垃圾清理系统

通过基于BDI的JADEX软件开发平台,实现智能垃圾清理系统的设计与运行,让多个智能体进行交互、协作,共同完成任务.     

2-羟基-4-氯-1-苯氧基-9,10-蒽醌的合成及其光致变色性研究

报道了2-羟基-4-氯-1-苯氧基-9,10-蒽醌的合成,并通过元素分析、核磁共振谱、质谱和红外光谱确定了结构.通过紫外-可见光谱探讨了其光致变色性以及取代基对蒽醌类化合物光致变色性的影响.     

聚乙烯醇水凝胶的制备及其溶胀性能

采用化学交联方法制备了PVA水凝胶，研究了PVA聚合度、醇解度等分子结构参数，反应温度、反应时间等合成工艺参数，交联剂用量、疏水单体用量、阴离子单体用量等化学组成对PVA水凝胶溶胀性能的影响。结果表明，采用聚合度为1700、醇解度为95％的PVA1795为基体，当交联剂用量为1mL，反应温度为80℃，反应时间为8h，所制得的PVA水凝胶具有较高的溶胀率。     

油井水泥降失水剂SPS的制备和性能研究

通过磺化改性,制备了磺化聚苯乙烯(SPS)作为油井水泥降失水剂.研究了反应条件对SPS磺化度的影响、SPS的磺化度与失水控制的关系、SPS水泥浆体系的性能.实验结果表明:在相同的条件下,磺化度越高,失水控制越好;在最佳条件下制备的SPS具有良好的降失水性能,SPS的水泥浆体系具有良好的流变性能和较好的耐温性能;在120℃下,其水泥浆体系的稠化时间,用常用的缓凝剂可调整到337 min,SPS对水泥浆其他性能无不良影响.