自动化白盒模糊测试技术研究

软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型。     

支持HLA的战场态势仿真系统设计与实现

采用共享内存的方式,设计一种支持高层体系结构的战场态势仿真系统体系结构。通过引用“快照”概念,在逻辑层面消除了静态与动态态势目标的区别,以内存结构一致的方式管理。分析系统实现中仿真数据更新流程、轨迹数据实时插值、动态图层可视化优化等关键技术。在实验与实际应用中证明了该仿真系统的可行性与合理性。     

带电更换500 kV耐张绝缘子串工具的研制

500kV输电线路由于导线长、重量大，且绝缘子串重量大，所以带电更换绝缘子串非常困难，带电作业工具也相当笨重。为此，华北电力科学研究院有限责任公司等单位联合研发了该项目，解决了500kV耐张绝缘子串无法整串带电更换的老大难问题。     

基于未建模动态补偿的非线性自适应切换控制方法

针对一类不确定的离散时间零动态不稳定的单输入-单输出(Single-input single-output, SISO)非线性系统,提出了一种基于未建模动态补偿的非线性控制器. 采用自适应神经模糊推理系统(Adaptive-network-based fuzzy inference system, ANFIS)和一一映射相结合的方法估计未建模动态.在此基础上,提出了由线性自 适应控制器、非线性自适应控制器以及切换机制组成的自适应切换控制方法.该方法通过对上述两种控制器的切换, 保证闭环系统输入输出信号有界的同时,改善系统性能.本文将要求未建模动态全局有界的条件放宽为线性增长, 建立了所提自适应控制方法的稳定性和收敛性分析.通过仿真比较和水箱的液位控制实验,验证了所提方法的有效性.     

混凝土连续板火灾后力学性能试验及理论分析

为研究受火跨位置和数量对混凝土连续灾后板力学行为影响,对一块常温连续板和五块混凝土灾后连续板开展力学性能试验,分析灾后板裂缝、变形、混凝土和钢筋应变以及灾后破坏模式等规律。基于塑性铰线理论,提出混凝土双向板破坏模式和椭圆方程,推导板块内力平衡方程,建立灾后板剩余承载力计算方法,并与其他方法计算结果进行对比分析。结果表明,相比常温板屈服线延性破坏模式,灾后板易出现脆性破坏,即加载点或内支座处冲切破坏,特别是爆裂严重工况。相比混凝土或钢筋应变破坏准则,变形破坏准则l/50更适用于确定灾后板剩余极限承载力。此外,本文方法可用于确定灾后板剩余极限承载力,计算结果偏于保守。对于灾后板,应分别采用弯曲理论和冲切理论进行剩余承载力分析,两者最小值可作为剩余极限承载力。     

火灾蔓延作用下混凝土连续板力学行为试验研究与模拟

为研究火灾蔓延作用对三跨混凝土连续板力学行为影响,对四块混凝土连续板进行仅边(中)跨和三跨依次受火试验,获得各跨温度、变形、裂缝、爆裂和破坏模式等变化规律。在此基础上,对一块混凝土试验板火灾行为进行数值分析,研究了几何(非)线性和混凝土热膨胀应变对火灾蔓延作用下连续板各跨弯矩分布和薄膜机理影响规律。结果表明:混凝土板裂缝和爆裂主要出现于受火跨,非受火跨裂缝较少;板底和板顶具有完全不同裂缝分布,即板底短裂缝多出现在板边区域,板顶多为平行短跨方向通长裂缝。同时,混凝土连续板各跨跨中变形趋势取决于自身位置和火灾蔓延方向,变形最大值取决于自身受火时长和炉温。此外,数值分析表明,火灾蔓延行为对连续板各跨最大弯矩分布和拉压薄膜效应发展有重要影响;相比Lie模型,EC2模型计算结果较为合理,且几何非线性影响不可忽略。     

基于改进模拟退火算法的针织生产线调度研究

针对含有多阶段生产流程的针织服装生产线调度问题，构建包含机器资源约束和成批约束的四阶段异构车间调度模型，利用多种调度规则对相邻阶段调度流程进行衔接。提出一种基于织片排序的带有多邻域搜索和重升温操作的改进模拟退火算法，以最大完工时间最小化为目标对上述模型进行求解。结合企业实际背景构建10种混合式订单作为案例进行仿真实验，并与现有优化算法进行对比，证实了该算法在求解针织服装生产线调度问题的有效性。     

基于Moldflow和响应曲面法的LGFRPP注塑工艺参数优化

基于Moldflow对长纤维增强聚丙烯注射成型充填过程进行模拟仿真分析，提出一种注射成型工艺参数优化方法。分析了注射成型工艺参数对纤维长度的影响，设计了以最短纤维长度为优化目标的二阶多项式模型，建立了以模具温度、熔体温度、充填时间为试验因子的响应曲面模型。通过计算响应曲面模型，分析3种工艺参数对物料剪切作用的影响，得到最短纤维长度在模具温度为80℃、熔体温度为240～250℃、充填时间为0.8～1 s区间可取得最大值；结合不同工艺参数交互影响的响应曲面，分析得到最优工艺参数组合为模具温度为80℃、熔体温度为247.5℃、充填时间为0.91 s。将最优工艺参数组合代入二阶多项式模型和Moldflow仿真模型，得到最短纤维长度预测值2.444 3 mm和最短纤维长度模拟值2.477 mm,相对误差为1.32%。     

基于VPN的分布式锅炉远程集中监控系统设计与应用

针对分布式锅炉供热系统相对于运营中心具有位置分散、距离远、网络情况参差不齐的现状，因地制宜、利用有线无线技术相结合的方式、优化网络结构，设计了基于VPN的一种优化的数据采集、传输、监控系统。通过现场数据采集系统、信息传输系统及监控平台的详细设计，实现了对分布式锅炉系统现场各子系统的整合、数据采集、传输，实现了对分布式锅炉供热系统的远程集中监控、现场无人值守，提升了整个系统的自动化水平，提高了运营人员的管理效率。     

螺杆转速对热熔挤出吲哚美辛混合性能的影响

热熔挤出技术已成为一种制备药物固体分散体的新方法，螺杆转速作为挤出过程中的工艺参数对药物的混合具有重要影响。以吲哚美辛(INM)和聚乙二醇(PEG10000)为原料，设计了挤出机混合段螺杆构型，采用Polyflow进行数值模拟，基于加权平均剪切应力、累积最大剪切应力分布、累计停留时间分布和平均回流系数，分析螺杆转速对INM混合性能的影响。同时，以INM为原料药，采用热熔挤出技术制备了不同螺杆转速下的挤出样品，使用扫描电子显微镜(SEM)和溶出实验对样品进行表征。结果表明，在一定范围内，随着螺杆转速的增大，药物的分散混合和分布混合性能增强，但是，螺杆转速较大会导致药物分布混合性能降低，不利于药物的混合。