摘要：为满足结构在线健康监测大量数据快速计算的要求,以测试的应变信号为基础,探究结构在不同输入下的损伤识别方法。该方法在传统的以曲率模态为基础的能量损伤指标理论上,提出基于应变能量分布变化的损伤指标法(DIM),通过损伤前后结构的响应求出结构各单元的相对应变比能,获得各单元的DIM,进而根据其峰值位置和大小判别结构损伤位置与损伤度。采用该方法对一大跨斜拉桥进行数值分析,结果表明,该方法能够准确地识别出结构的损伤位置,且对结构在损伤前后受不同激励作用的情况均有效,抗噪声污染能力较强。

摘要：柴油车颗粒捕集技术可以有效降低黑烟排放量,但是随着捕集量的增大,排气背压也相应增大。采取喷油助燃再生方式可以去除过滤器内沉积颗粒,降低排气背压。针对目前喷油助燃再生控制系统难以开发、成本高的特点,采用STC89C52单片机设计了一套自动高效的闭环控制系统。本系统应用模糊控制算法实时调整喷油量与补气量,以智能调控柴油颗粒过滤器入口温度,从而达到减少再生二次污染,提高再生效率及延长过滤体使用寿命的目的。

摘要：设计安全的无线射频识别协议有助于实现"智慧城市"的规划和构建完善的智慧网络。安全的RFID所有权转移协议要求同时具备安全性和隐私性,标签的前向不可追踪性和后向不可追踪性是RFID系统实际应用中需要考量的两个重要的隐私性能。针对现有供应链系统中所有权转移协议存在的各种安全隐私问题,该文改进了原有前向不可追踪性定义的错过密钥更新过程的不合理的假设,提出了强前向不可追踪性的概念。提出了一个基于二次剩余定理的轻量级RFID所有权转移协议,并使用改进的模型和定义形式化证明了协议的安全性和隐私性。证明结果表明新方案既可以抵御内部读卡器恶意假冒攻击,追踪攻击,标签假冒攻击和异步攻击,又满足强前向不可追踪性和后向不可追踪性等隐私性能;新协议在实现低成本和高效率认证的基础上,比其他协议安全性和隐私性更好。

摘要：欠驱动TORA(Translational oscillators with rotating actuator)传统控制目标是实现平衡点的稳定控制。针对系统的周期性振荡轨迹,研究实用的轨迹跟踪控制方案。通过分析TORA系统的动力学,得到平移小车的自然振荡周期,在此基础之上设计一种平移小车周期运动和旋转小球保持定值的动态轨迹。为实现系统动态轨迹的跟踪控制,基于系统状态变量的轨迹跟踪误差设计模糊控制系统;通过设计融合函数合并系统状态变量,将模糊控制器的输入数由4减少到2,再设计模糊控制规则,得到易于实现的模糊控制器。最后,仿真和实验结果验证了所提控制方案的有效性与实用性。

摘要：目的在“互联网+教育”的时代背景下,探究提升在线设计教育体验的交互方法。方法通过分析建构主义学习理论指导下的学习模式,探讨其介入在线设计教育的意义,结合设计学科的教学特点,洞察在线设计教学中的用户交互行为问题与需求,以学生为中心,从情境、协作、会话以及意义建构四个方面构建在线设计教育的交互方法模型。结果总结了建构主义学习理论下在线设计教育的交互设计流程,结合在线设计教育平台的实践研究,提出了完善课堂情境创设、提升课堂指导效果、促进协作交流、优化在线氛围、辅助设计阐述训练等具体的交互设计方法。结论基于建构主义学习理论,优化在线设计教育的交互方法,能够更好地提升用户教学体验,有助于用户完成自身的意义建构。

摘要：预处理可以打破木质纤维素原料纤维素、半纤维素和木质素三大组分间的顽抗结构,从而提升纤维素基质可酶解性。本文针对目前常压甘油有机溶剂预处理花费时间过长的问题,尝试开展酸催化的常压甘油有机溶剂预处理研究以缩短预处理时间。实验通过单因素选择和响应面Box-Behnken设计优化,获得酸催化常压甘油有机溶剂预处理的最佳条件为:预处理温度245℃,预处理时间38min,硫酸添加质量0.1%。在此条件下获得基质48h酶解率的响应面预测值为94.0%,实际值为91.4%。结果表明响应面优化方案和回归模型适用于本实验,预处理显著提高了基质可酶解性。高浓度基质(15%~20%)酶解进一步证明了预处理后基质具有突出的可酶解性,20%浓度基质在酶载量5FPU/g干基质条件下批次酶解72h,酶解率达60%,葡萄糖浓度达83.4g/L。酸催化常压甘油有机溶剂酸预处理在明显缩短预处理时间的同时,能显著提高木质纤维素基质可酶解性,使后续工业化意义的浓醪酶解糖化成为可能。

摘要：针对目前文献中采用的充液航天器模型多为二维平面模型,而实际中充液航天器在轨运行环境为三维环境的情况,对一类贮箱关于航天器中心轴对称的三维面充液航天器进行了动力学建模与姿态控制研究,使其更具有实际意义。首先,根据航天器在轨运行的环境建立了参考坐标系,采用单摆模型等效液体燃料的晃动。在此基础上采用角动量守恒定律建立了充液航天器各个部分对其质心的惯性力矩,并将其与充液航天器动能方程推导得出的拉格朗日方程相结合,得出完整的动力学方程,完成了建模工作,并分析得出该欠驱动系统零动态不稳定的结论。最后,考虑航天器刚体部分常值转动惯量存在参数不精确,同时三轴力矩发生常值干扰的情况,设计了滑模控制器,保证了充液航天器在轨道坐标系上的姿态稳定。

摘要：采用实验与仿真相结合的方法研究了工艺参数及基体倾斜角度对激光熔覆GH3536熔池流场及轮廓的影响。研究结果表明:倾斜基体激光熔覆时,基体倾斜导致的激光能量密度及粉末浓度的降低对熔高有显著影响,送粉量及激光能量的适度增加能够有效弥补熔高的降低;熔池内部存在的马兰戈尼对流分为前后流场,前流场主导轮廓前沿坡角,后流场主导熔高;基体倾斜时重力会加强相应方向的流场,进而影响最终的熔池轮廓。上坡熔覆时熔池轮廓下凹,下坡熔覆时熔池前沿更加平缓。结合温度场及流场分析基体倾斜对激光熔覆轮廓的影响,对于采用激光熔覆技术修复工作区间有限的倾斜面结构如燃烧室内部,在工艺参数调整及修复路径规划方面具有重要的指导作用。

摘要：引导与控制是舰载机自动着舰的关键技术,为此本文对该技术进行综述。给出了舰载机进场航线和几种着舰工作模式,概述了基于跟踪雷达的着舰引导系统和基于卫星的着舰引导系统的工作原理及关键技术,着重分析了自动着舰的几种控制技术,包括控制律设计技术、直接力控制技术、推力矢量控制技术、甲板运动预估与补偿技术、舰尾气流抑制技术、动力补偿技术以及着舰安全控制技术。最后,从多系统集成着舰控制技术、多体制融合着舰引导技术两方面对自动着舰引导与控制技术进行了展望。

摘要：采用数学形式化方法对操作系统进行设计和验证可以保证系统的高度安全性.目前已有的操作系统形式化研究工作主要是验证系统的实现在代码级的程序正确性.提出一种操作系统形式化设计和验证的方法,采用操作系统对象语义模型(OSOSM)对系统的设计进行形式化建模,使用带有时序逻辑的高阶逻辑对操作系统的安全需求进行分析和定义.对象语义模型作为系统设计和形式化验证的联系.以实现和验证过的可信微内核操作系统VTOS为实例,阐述形式化设计和安全需求分析,并使用定理证明器Isabelle/HOL①对系统的设计和安全需求的一致性进行验证,表明VTOS达到预期的安全性.