基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

木质素单体模化物的热解与产物分析

采用苯酚、邻苯二酚、愈创木酚和紫丁香酚为木质素单体模化物,利用两段裂解反应器-在线气相色谱仪（GCs）进行热解实验和产物分析,采用多色谱柱对无机气体（IGs）、C₁~C₅烃（C₁~C₅ LHs）、非芳基含氧化合物、酚和芳烃进行定量分析,以确定羟基和甲氧基对木质素热解过程中开环反应及产物分布的影响. 结果显示：羟基和甲氧基可以提高模化物的转化率,且羟基和甲氧基的存在影响芳基开环反应、芳基取代反应和重排反应间的竞争关系,使热解产物分布存在明显差异. 4种模化物热解产物主要是芳环的开环反应产物,包括IGs（质量分数为27.29%~33.56%）和C₁~C₅烃（20.46%~39.51%）. 一氧化碳产率（23.82%~29.18%）随羟基数增加而升高,随甲氧基数增加而降低;二氧化碳产率（0.19%~9.61%）随甲氧基数增加而升高. 羟基和甲氧基的存在降低了C₁~C₅烃的质量选择性,促进了烷基苯、大分子化合物和焦炭的形成.     

液力忆惯容器装置建模与特性试验

针对液力忆惯容器装置已有数学模型忽略因素过多的问题,考虑油液的惯性、动力学黏度以及装置内部的干摩擦,建立符合工程实际的非线性数学模型. 试制液力忆惯容器装置样机,并进行台架试验. 结果表明,当位移激励的频率较低时,液力忆惯容器装置提供的惯性力、黏滞阻尼力较小,可以近似等效为干摩擦阻尼器;当激励的频率较高时,装置等效为理想忆惯容器、非线性黏滞阻尼器、干摩擦阻尼器三元件并联. 装置的输出合力、惯性力、阻尼力试验值与仿真值最大偏差分别为5.70%、9.15%、5.47%,惯质特性曲线和寄生阻尼特性曲线的试验值与仿真值最大偏差分别为4.23%和8.50%,表明数学模型准确可靠,能够满足工程需要,为液力忆惯容器装置在减振系统中的应用奠定了基础.     

电场作用下液液系统中液滴变形的计算模型

基于单元变形的思路,由单元守恒方程出发,建立电场中液滴变形的数值计算模型. 在此基础上,将该模型与偶极模型相耦合,提出液滴聚结的计算方法. 由所建模型及计算方法,编制数值计算程序对几种参数下液滴的变形及聚结进行模拟计算. 结果表明,所建模型对液滴变形的预测与实验结果相符较好,对液滴聚结过程的模拟与实验结果大致相符,预测的聚结时间稍低于实验值. 如果进一步提高单元阻力的模化精度及单元离散精度,所建模型会有较好的适用性. 所建模型可实现对液滴的扁平形变形的预测. 研究结果对液滴电变形的理论分析及数值模拟具有一定的借鉴意义.     

基于观测器摩擦补偿的机电系统高精度控制

针对机电作动系统在低速阶段摩擦非线性明显且同时存在其他干扰,易导致系统跟踪精度、稳定性下降这一问题,设计基于非线性观测器摩擦补偿的自适应鲁棒控制器. 针对摩擦非线性,利用LuGre摩擦模型描述系统的摩擦现象,提出非线性观测器对模型的内部摩擦状态进行观测. 针对系统摩擦系数、转动惯量及其他不确定性参数,设计参数自适应律进行估计. 利用前馈补偿的方法,对摩擦非线性和参数不确定性进行补偿,设计鲁棒项克服系统的其他扰动. 利用Lyapunov稳定性定理证明了提出的控制器在存在扰动的情况下可以实现系统的有界稳定性. 实验结果表明,提出的控制器具有较高的控制精度与较强的鲁棒性,跟踪精度较传统的PID控制器提高了一个数量级.     

小型预制桩基础承载特性数值模拟研究

本文建立硬化土本构模型,针对江苏省软土地区的土质条件选取数值计算参数,通过PLAXIS 2D软件对小型预制桩在的单桩水平受荷及竖向受荷进行数值模拟,得到桩身弯矩沿桩长的分布以及荷载-位移曲线,分析小型预制桩基础桩身弯矩的分布特点,并探求其在水平及竖向荷载作用下的承载特性,进而能够为小型预制桩基础工程设计以及计算方面提供一定的参考依据。     

短开路耦合谐振器加载的宽带带通滤波电路

提出了一种基于短开路耦合器加载的宽带带通滤波电路. 该滤波电路通过在输入和输出端口之间,并连加载短路耦合微带谐振器和开路耦合微带谐振器实现5个传输极点和3个传输零点的带通选择特性. 对所提出的短开路耦合谐振器进行了奇偶模理论分析,揭示了其传输零极点形成的物理机理. 最后,对所提出的滤波电路进行了加工测试. 测试结果表明,所提出的宽带滤波电路能够在2.0～4.2 GHz频率范围内实现 3 dB 带通传输,工作相对带宽为73%,仿真和实测结果吻合较好.     

振荡翼改进运动模型的能量捕获性能分析

为了提高振荡水翼的水动力性能和能量捕获效率,基于传统简谐运动模型提出改进运动模型,通过引入俯仰运动系数k,推导改进后俯仰运动规律的一般形式,利用Fluent软件建立水翼的二维模型,综合分析半主动振荡模型下不同俯仰运动系数、折算频率和俯仰振幅等运动参数对水翼能量捕获性能的影响。结果表明:与传统简谐运动模型相比,改进运动模型能够使水翼升力系数在较长时间段内维持较大数值,提高水翼的升力系数和捕能效率;在相同的折算频率和俯仰振幅下,减小俯仰运动系数会增大俯仰角转动的角速度,进而增大俯仰运动所消耗的能量;不同俯仰振幅下对应不同的最优折算频率,折算频率越低水翼的捕能性能越不稳定,俯仰振幅越大,转动俯仰角所消耗的能量越多。在给定参数条件下,水翼的能量转化效率可超过40%。     

轧制工艺对高碳钢线材性能影响的研究

研究了高碳钢线材轧制过程中终轧温度、吐丝温度和冷却速度对线材性能的影响,并采用数值优化方法建立了性能预测模型,其结果表明,模型计算精度较高。     

铸造工艺方案的评价模型及其应用

利用系统工程理论和模糊数学的法则提出了一个定量评价铸造工艺方案的方法。详细介绍了铸造工艺方案评价模型和铸造工艺方案评价指数的计算式，并结合铸造工艺设计的程序和长期积累的经验详细讨论了评价的方法步骤、指标体系的确定、评价标准的制定、评价框图、数据处理方法以及结果分析。