【摘 要】
：
软件产品线的规模较大时,由人工从领域特征模型演化出满足多个目标的有效应用特征模型,不仅需要判断领域特征模型的约束条件找出所有的有效应用特征模型,还需要对比所有的有效应用特征模型对多个演化目标的满足度,工作效率低且极易出错。为了解决这个问题,通过描述逻辑形式化方法将领域特征模型到应用特征模型的演化问题转化为多目标优化问题并使用多目标优化算法自动化求解,最后通过实验验证了方法的有效性。
论文部分内容阅读
软件产品线的规模较大时,由人工从领域特征模型演化出满足多个目标的有效应用特征模型,不仅需要判断领域特征模型的约束条件找出所有的有效应用特征模型,还需要对比所有的有效应用特征模型对多个演化目标的满足度,工作效率低且极易出错。为了解决这个问题,通过描述逻辑形式化方法将领域特征模型到应用特征模型的演化问题转化为多目标优化问题并使用多目标优化算法自动化求解,最后通过实验验证了方法的有效性。
其他文献
为了提高多旋翼无人机的适用范围和作业能力,保障任务执行的可靠性,设计一种新型水空两栖多旋翼无人机。通过多旋翼无人机和无人船的功能结构相结合,两栖无人机机身结构设计呈船型样式,空中飞行时由旋翼提供动力,水面航行时由水下推进器提供动力;采用STM32F407VET6芯片为控制板核心进行数据读取分析、姿态解算、输出控制以及信息通信;在模糊自适应PID基础上,融合串级PID控制,构成双闭环串级模糊自适应PID控制系统,提高两栖无人机控制系统的稳定性和控制精度。Simulink仿真和实物测试结果表明,所设计两栖无人
三电平逆变器存在冗余开关量,且控制系统较复杂,对此文中提出一种智能PR控制的三电平逆变器。模糊控制自适应直流母线变化,提高系统响应速度。控制内环采用比例谐振(PR)控制直接对交流指令信号做无静差控制,避免了旋转坐标变换引入的角度计算。三电平中点引出型(NPP)逆变拓扑均衡了各电平的有源器件,简化逆变系统。从功率拓扑电路工作机理角度做了分析,该拓扑均衡了各电平开关器件的损耗,采用智能PR控制相比传统比例积分(PI)控制器,提升了三电平逆变系统的动态响应性能,同时降低了逆变系统的复杂性。仿真和实验结果验证了该
针对传统的城市公园公共空间设施适老性评估系统面对事务压力剧增出现的健壮性差的问题,设计新的城市公园公共空间设施适老性评估系统。在硬件设计上,考虑公共空间的范围,采用双口RAM通信形式实现系统双机通信,扩展外部存储器,为数据存储和处理提供更多的空间,在软件设计上,确定公共空间设施适老性评估指标,计算每个指标的权重,依据硬件部分采集的数据为每个指标评分,将评分结果与指标权重结合在一起,计算出适老性综合评估指数,实现适老性的评估。至此,系统整体设计完成。实验结果表明:设计的城市公园公共空间设施适老性评估系统在压
网页界面受到网络攻击的影响,会导致网页界面视觉传达的用户体验效果变差。为了增强网页界面视觉传达系统的用户体验效果,文中提出了基于用户体验的网页界面视觉传达系统设计。通过网页界面搜索模块设计和网页界面导航模块设计,完成了系统的硬件设计;通过采集网页界面的视觉传达信息、检测网页界面的轮廓特征以及网页界面的视觉传达设计,完成了系统的软件设计,从而实现了网页界面的视觉传达设计。通过测试得出结论用户体验的网页界面视觉传达系统在缩短响应时间的同时,使系统的性能大大提升,从而增强了网页界面视觉传达系统的用户体验效果。
针对高速视频图像在跨时钟域数据交互中存在的帧交错及DDR3 SDRAM带宽利用率较低的问题,提出一种新的DDR3 SDRAM访存控制方法,实现多路视频数据快速、高效访存。以Kintex-7 FPGA为控制核心,在VIVADO MIG IP核基础上,实现读写位宽比为10∶1的异步FIFO,并结合RAM构建读写缓存控制模块,提高DDR3 SDRAM带宽利用率。设计不完全乒乓操作,并采用分区缓存确保帧数
岩屑图像的岩石位置检测一直都是地质勘探研究的重点之一。传统的岩屑检测方法采取人工提取特征的方式,难以获取更深层的和更抽象的语义特征,又由于岩屑图像采集的数量较少,往往不能满足深度学习所有大量训练数据集的要求,会降低其识别效果。为解决岩屑图像识别困难和准确率问题,提出一种基于SVM-FTVGG16的目标检测方法。该方法采用迁移学习的方法在VGG16网络的基础上,训练岩屑图像检测FTVGG16网络模型
由于网络数据爆发式增长,目前数据处理面临网络带宽要求高、服务器处理负担大、冗余视频数据多、实时性得不到保证等问题。解决这些问题不仅需要准确和高效的算法,还需要高性能和低功耗的硬件体系结构。本文梳理了轻量化神经网络国内外研究现状,介绍了神经网络硬件加速,探索在边缘计算环境下,卷积神经网络在移动和嵌入式设备的发展趋势。
通过将相同事务压缩成一行,对原始事务矩阵进行约简,利用事务矩阵与候选项集-项集矩阵相乘得到候选项集-事务矩阵,从而得到候选项集的支持度数;在连接步时采用事先剪枝的策略,减少参与连接的频繁项集;设计实现改进的基于布尔映射矩阵的Apriori算法,并将其应用于医院诊疗数据的挖掘分析。实验结果表明,算法挖掘获得妊娠期糖尿病的危险因素有:年龄≥35岁、身体质量指数(BMI)≥30、孕次≥3、引产次数≥3以及产次≥3。
为了解决传统网络教学系统存在的数据传输能耗高以及信噪比低的问题,文中提出基于虚拟仿真的网络教学系统设计与应用。根据教学需求,设计系统的框架结构,在此基础上分别设计系统的硬件与软件。硬件部分设计用户登录管理模块、教学资源管理模块、教学系统管理模块,以及通过虚拟仿真技术设计的虚拟教学模块。软件部分对网络教学系统中的资源数据进行分配,以提高教学资源数据传输的质量。对比实验结果表明,与现有的网络教学系统相比,所提系统的教学资源数据传输能耗低、信噪比高,有效提高了系统的应用性能。
针对动态环境下移动机器人路径规划问题,提出一种全局路径规划与局部路径规划相结合的二次规划方法。首先基于静态环境先验知识提出一种改进蚁群算法。在基本蚁群算法的基础上,修改蚂蚁路径搜索策略来跳出部分特殊形状障碍物;修改基本蚁群算法概率选择公式中的启发函数,将目标节点信息加入启发函数中,加速算法收敛;修改基本蚁群算法概率选择公式中的挥发系数,将时间和空间信息加入挥发系数中,提高算法的自适应性。在规划过程中,通过分析动态障碍物运动情况,针对障碍物不同运动状态提出相应的避碰策略。仿真实验表明,所提算法优于基本蚁群算