有高温相变的电工钢热轧起浪的有限元分析

针对电工钢自由规程轧制过程起浪问题,开展电工钢不同冷却条件下的连续冷却相变转变温度分析测定和Gleeble热模拟实验,发现电工钢在975~875℃的奥氏体-铁素体两相区,随着轧制温度降低,变形抗力反而减小;电工钢大量同宽自由规程轧制下的工作辊出现严重的不均匀的箱型磨损和明显的热胀,综合辊形变化显著.考虑电工钢两相区变形抗力差异和综合辊形变化,建立电工钢热轧过程轧辊轧件的三维弹塑性耦合有限元模型,仿真分析轧制力、弯辊与窜辊对承载辊缝形状的影响,研究摩擦系数、压下量与轧制速度对带钢宽度方向内应力变化规律的影响,采用Shohet板形判据确定电工钢比例凸度残差变化路径,明确电工钢在"平坦死区"较大的上游机架出现"异常起浪"的生成过程.该方法为电工钢热轧板形的浪形控制提供了依据.     

基于改进轮盘赌策略的反馈式模糊测试方法

针对随机模糊测试方法测试盲目效率低下的问题,提出一种反馈式模糊测试方法,目的是通过流程优化来提高测试效果。首先,通过网络爬虫收集原始样本文件,确保原始样本的多样性。其次,通过代码覆盖率分析来从大量样本文件中筛选用于变异的最佳种子文件,在保证足够的测试空间的同时避免冗余测试。接下来通过变异种子文件的部分比特来生成测试用例,并根据测试结果基于改进轮盘赌策略不断调优种子文件的变异范围,以期发现尽可能多的软件故障。实现了一个原型系统OSSRWSFuzzer,在实验中发现了国产软件WPS Office的56个故障,体现了较强的漏洞检测能力。     

基于场景元模型的软件产品线追踪方法

针对软件产品线需求追踪方法进行了研究,基于软件产品线领域需求分析、设计、实现三个阶段的信息传播,提出了一种基于场景元模型的多层次软件产品线追踪模型,完整描述了追踪信息变化的整体框架;建立了需求—用例追踪矩阵、用例—动作追踪矩阵、动作—构件追踪矩阵;根据矩阵运算,描述了具体追踪实现过程,通过一个ATM案例验证了该方法对于软件产品线领域需求获取以及需求变更等问题的解决有较好的效果。     

基于车身侧视线条分析的汽车造型设计研究

为构建一种直观、快速分析交通工具造型设计的方法,对车身侧面线条进行提炼并归纳出3类关键曲线,即外轮廓线、分形线、内部分割线。结合奥迪A系4款车型,重点讨论外轮廓线与分形线的设计应用,通过外轮廓线定义车型、通过分形线表达设计定位、通过内部分割线完善车身细节。以一款车型设计为例,初步证明了该分析方法的合理性和可行性,结果表明:侧视线条分析是一种符合设计人员思维习惯的有效方法。     

基于SDWN的负载感知终端多点关联方案研究

软件定义无线网络（SDWN）是一种控制与转发分离的无线网络架构。该架构可以快速获取全局拓扑并且其可编程性结合资源虚拟化技术可以对网络接入进行动态控制。针对现有WLAN网络接入负载不均衡问题及移动终端与AP硬关联导致的切换速度较慢的问题,基于SDWN架构提出了一种负载感知终端多点关联方案。该方案对SDWN网络架构下的终端接入算法进行改进,采用多点关联技术,即终端在感知AP负载数据后,可关联多个虚拟AP,达到动态分流并提高网络吞吐量的目的。最后在SDWN的开源Odin平台上验证了方案的可行性,实验表明相比无缝切换至另一AP,此方案可改变原有终端与AP接入一一对应的接入关系,根据AP负载动态接入,可有效提升网络吞吐量。     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

泵驱动两相复合制冷机组变频运转特性

为研究泵驱动两相复合制冷机组的工作特性,特别是换热性能随工质泵频率和室内外温差的变化规律,搭建泵驱动两相复合制冷机组的实验装置,对其进行了实验研究.在本实验装置中,蒸气压缩制冷模式分别采用2.63 k W压缩机和3.75 k W压缩机作为驱动元件,泵驱动两相冷却模式采用带变频器的工质泵驱动.结果表明:室内温度25℃、室外温度10℃时,机组换热量随工质泵频率先增大后减小,在工质泵频率为35 Hz时达到最大值;能效比(energy efficiency ratio,EER)随工质泵频率初始变化不明显,然后逐渐降低.在室外温度为0~30℃时,实验获得了2种运行模式的性能变化情况和最佳转换温度.     

SDN架构下的安全审计系统研究与实现

为了解决软件定义网络(software defined networking,SDN)架构面临的安全挑战,针对SDN网络架构中的安全审计环节,将传统网络中的安全审计解决方案与SDN网络集中控制的特性相结合,依托Floodlight控制器设计并实现适用于SDN网络环境的安全审计系统,包括安全审计事件的收集、分析、存储、响应等功能.提出一种针对分布式拒绝服务(distributed denial of service,DDo S)攻击的攻击回溯算法对安全审计事件进行追溯,确定出DDo S攻击发起者及僵尸主机集合.同时,采用滑动窗口分割算法从安全审计事件中提取出用户行为序列模式,基于Levenshtein算法计算用户行为序列模式之间的相似度,并根据用户当前行为和历史行为的相似度来判断是否出现可疑的攻击行为.经实验验证,该系统能准确地回溯出DDo S攻击发生时被控的僵尸主机集合及攻击者,并且可以有效地检测出用户攻击行为.     

基于岗位职业能力的高职移动通信综合实训课程设计

文章以移动专业高职学生就业岗位工作过程为出发点,以目前较为主流的LTE类基站项目为载体,按照移动通信从业岗位所要求的通用能力与专业能力,设计开发了移动通信综合实训课程,让学生在完成LTE基站相关工作任务的同时,学习移动通信相关知识,训练技能点。     

移动互联网的软件测试系统的设计与实现

随着移动互联网的迅猛发展,各种智能终端以及智能化的移动互联应用越来越普及。随着软件行业的发展,软件开发的规模越来越大,系统变得越来越复杂。文章在传统软件测试理论的基础上,结合移动互联网的特点,以一个移动互联网软件项目的具体应用为载体,探讨适合移动互联网应用的软件测试方法和技术。