摘要：在物联网中,研究者主要采用中国剩余定理、时间槽法、二叉树等方法来研究对象的完整性检测问题,取得了一些性能良好的研究结果.然而,这些方法只适用于检测对象数量没有变动的情况.在已有工作的基础上,设计一种基于BLS短签名,采用优化的Merkle Hash Tree存储数据、运用双线性映射进行完整性验证的动态检测方案DDPP.该方案对监测对象数量动态变化进行检测,对检测过程中的交互信息进行加密处理及完整性验证,可以保护用户隐私.实验结果表明,在通信开销等性能上,DDPP方案相对于已存在的方案DPDP具有较大的优势.

摘要：利用大涡模拟(LES)对某典型车型瞬态流场进行仿真计算,应用Lighthill-curle声类比理论,采用宽带噪声源模型(BNS)及FW-H方程,对汽车车身部件气动噪声进行数值模拟研究。分析了车身各板块及凸出部件附近气流的分离情况及外场声压级大小,对比了有、无部件时车外声场的差异;并确定了车身各部件气动噪声的贡献量。通过气动噪声贡献量的对比发现,汽车各部件中近场总声压级贡献量相对较大的为底盘和车轮、天线和雨刮器相对较小;远场声压级贡献量中,车身和底盘相对其他部件较大,天线相对较小;且车外远场点声压级的大小和各部件辐射噪声的强度以及其辐射面积正相关;车身板块中贡献量相对较大的为侧围和轮腔,较小的为前挡风玻璃。

摘要：针对目前中国沥青混合料配合比研究现状和不足,以广西某高速公路AC-25沥青混合料配合比设计为基础,采用新SAC级配设计方法进行级配设计,利用VCADRF级配验证方法对设计级配进行验证和调整,设计出满足规范要求的合理级配,以马歇尔方法确定最佳油石比,得到设计级配最佳油石比为3.6%,并对其路用性能进行了评价。试验结果表明:采用新SAC级配设计方法和VCADRF级配验证方法,可设计出适用于高速公路各层次的合理级配,且具有优良的路用性能。

摘要：随着企业对于机械工程领域技术型人才的要求不断提高,高校也随之开设了相关专业。“机械设计基础”为一门基础性课程,而实验教学环节作为课程中的重要内容,在实际教学中依然存在一些问题。文章探讨了在进行实验教学内容时,如何调动学生的积极性,从而更有效地完成教学目标,并提出相关建议。

摘要：以高炉渣为吸附剂,探讨了高炉渣用量、吸附pH值、初始浓度及吸附时间等因素对亚甲基蓝的吸附性能影响。结果表明,高炉渣对亚甲基蓝的吸附过程与吸附pH值、初始浓度、吸附温度等密切相关,吸附pH值在6.0~8.0时吸附较为适宜,且高炉渣吸附亚甲基蓝在180 min即可达到吸附平衡状态。吸附等温线和吸附动力学研究表明,高炉渣吸附亚甲基蓝的过程符合准二级动力学模型和Langmuir吸附等温线模型,吸附过程为吸热过程。为采用高炉渣吸附去除亚甲基蓝的应用提供了一定的理论依据。

摘要：提出一种离散模糊非脆弱静态输出控制器的设计方法。在控制器增益存在加性摄动的情况下,基于并行分布补偿基本思想(PDC),提出一个判定了闭环离散模糊双线性系统稳定的充分条件。这些充分条件可进一步转化为线性矩阵不等式(LMI)的形式,模糊控制器通过求解线性矩阵不等式得到。仿真实例验证了所提方法的有效性。

摘要：核电数字化仪系统既涉及反应堆随时间变化的物理动态演化过程,又涉及计算机的离散控制过程,属于典型的实时混成系统。微分动态逻辑是近年在混成系统验证领域的新方法。提出以微分动态逻辑为基础的构建反应堆控制系统安全验证模型方法,验证反应堆控制系统中离散化的逻辑控制与反应堆连续性的物理连续变化过程之间的相互作用能否保证反应堆安全需求,从而提高数字化反应堆控制系统设计的安全性。

摘要：关于《大街》的艺术技巧,西方学术界长期以来的研究重点放在对讽刺文体和现实主义的关注上。本文认为,该小说融合了现实主义、现代主义和后现代主义的特征。辛克莱·刘易斯赋予了他的全知叙述者一种超越传统的"多元"特质,创造性地运用了一种"异质化"的叙事策略。

摘要：近年来,越来越多的人开始重视弘扬中国传统文化,并不断增强对民族文化的认识。本文以传承与发展民族特色文化为目标,以内蒙古六种奶制品为对象,选择双向拉伸聚丙烯/线性低密度聚乙烯(BOPP/LLDPE)复合薄膜作为直接接触食品的内包装材料,选用白卡纸作为外包装材料。设计了具有浓厚民族地域特色的蒙古草原风情系列奶制品包装。这些具有民族地域文化特色的奶制品包装设计为内蒙古奶制食品包装的设计提供了参考,同时增强了人们对内蒙古民族传统文化的认识。

摘要：针对随机切换拓扑条件下离散多智能体系统的二阶分组一致性问题进行了研究,设计了一种新颖的分组一致性协议。该协议不依赖于保守的假设条件,能全面反映系统中智能体在分组内与分组间的相互影响。基于矩阵理论和新协议,得到了在马尔可夫切换拓扑条件下,系统达到分组一致的充分条件。在证明过程的结尾部分,使用线性不等式(LMI)工具给出了获取协议中控制参数的算法。最后,通过数字仿真实例证明了理论结果的有效性。