基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

基于改进遗传算法的最快爬升航迹的优化分析

主要介绍一种基于改进遗传算法的优化技术,利用遗传算法优越的全局搜索的能力,研究了飞行性能中的最快爬升性能.使用改进遗传算法对快升航迹和最佳爬升速度进行了寻优优化,对遗传算法优化快升的航迹和接近最快爬升方式的航迹进行了对比,表明,以遗传算法优化的快升航迹进行爬升,飞机可以最快的爬升到巡航高度.而且本算法以及程序具有一定的通用性适用于其它求最佳轨迹爬升的航迹优化.     

基于目标跟踪与轨迹聚类的行人移动数据挖掘方法研究

随着物联网、大数据、人工智能等技术在安防领域不断取得突破性进展,公共视频监测系统近年来得到飞跃式发展.基于监控设备产生海量的非结构化视频数据,通过对监控视频中的行人轨迹进行分析和研究,可以挖掘出其中蕴含的行为模式,这对人群行为研究有着重要的研究价值.本文使用基于目标检测的多目标跟踪算法对地铁站出口,商场出口等场景中的行人移动轨迹进行提取,并在此基础上对行人的轨迹模式进行分析.针对行人轨迹的特点,在基于点密度聚类算法的基础上,提出并实现了基于轨迹相似度的轨迹聚类方法.结果表明,该方法能够有效的提取行人轨迹,并且从大规模轨迹数据中提取出轨迹模式.     

面向Y一代的高校图书馆文化建设研究

通过对Y一代学习特点、文化需求特点以及独特思维方式的分析,阐述了图书馆文化建设的指导思想,提出了图书馆文化建设的对策。     

基于强化学习的连续型机械臂自适应跟踪控制

针对空间主动碎片清除操作中连续型三臂节机器人系统跟踪问题,提出一种基于强化学习的自适应滑模控制算法。基于数据驱动的建模方法,采用BP神经网络对三臂节连续型机械臂进行建模,并作为预测模型指导强化学习实时调节所提出滑模控制器的控制参数,从而实现连续型机器人运动的实时跟踪控制。仿真结果表明：提出的数据驱动的预测模型对随机轨迹预测的相对误差保持在±1%以内,能够高精度地反映系统动态特性。对比固定参数的滑模控制器,提出的自适应控制器在保证系统达到控制目标的同时具有更低的超调量和更短的调节时间,表现出更好的控制效果。     

直驱式方波永磁同步风力发电机控制系统仿真

根据直驱型风力发电系统中风机惯性大、转速调节响应慢的特点,提出了一种改进的最大功率追踪(MPPT)的控制方法,并与传统的MPPT控制方法进行了对比.根据功率平衡的思想,结合交-直-交功率变换装置的结构特点,所提出的电气控制策略实现了升压电路和逆变器的分别控制.搭建了直驱式方波永磁同步电机风力发电系统中风速、风机、方波永磁同步发电机、Boost升压电路、电压型并网逆变器及其控制部分的仿真教学模型.以突变风为例,对1.5MW直驱式永磁风力发电系统进行了仿真研究.仿真结果表明新的控制方法能够保证发电系统稳定的运行.     

一种新型量子阱中三次谐波的研究

在一种新型势阱下,理论上研究了量子阱中三次谐波系数.在有效质量近似下,通过求解薛定谔方程得到了相关波函数和能级,并利用密度矩阵理论和迭代法得到了三次谐波系数的表达式.研究结果表明,三次谐波系数受到新型势阱宽度d和参数U0的强烈影响.     

基于外部知识筛选的主题文本生成技术研究

在自然语言生成任务中,主题文本生成是一项富有挑战性的工作,其主要难点在于：源信息量远小于目标生成的信息量.为了解决该问题,本文提出一个基于外部知识筛选的主题文本生成模型Trans K,通过引入与主题词相关的外部知识来丰富源信息,进而提高生成文本的质量.本文为了解决引入外部知识的“一词多义”问题,提出一种基于线性变换的主题向量计算方法,用于筛选和主题词语义一致的外部知识;提出一种基于注意力机制的外部权重计算方法,为每个外部词设定一个主题权重,使其更贴合文本语义;为了解决主题词（含候选词）在生成文本中反复出现的问题,提出一种基于多头注意力机制的内部权重计算方法.在EASSY数据集上的实验表明,与基线相比,Trans K生成文本质量的各项指标更优.此外,人类评估表明,该模型可生成与主题更相关、语言更连贯、且符合语义逻辑的文本.     

GATEST:使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

多风机通风系统的网络图自动生成

通过计算多风机通风系统中每个风机的主要作用范围，将系统中的巷道划分成若干个以风机为代表的分区，给出将分区转变成多个相互连接的“鸭蛋”形曲线网络图的方法，并进行了编程实现，通过实例应用表明生成的网络图分支交叉少，主要用风巷道突出。