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

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

一种改善遗传算法测试数据自动生成的策略

遗传算法（Genedc Algorithms,简称GA）有良好的全局搜索能力,针对该算法对于局部空间的搜索问题不是很有效,易陷入“早熟”（过早收敛）,在局部搜索不是很好的情况下,提出一种自适应免疫遗传算法并改造以提高算法的性能的实现方案。并着重探讨了其设计与实现。     

计算机自动生成试卷的OOP设计及应用

用计算机自动生成试卷来测试学生的综合能力是教育现代化发展的必然趋势，本文采用面向对象程序设计（ＯＯＰ）的方法，自动生成各种试卷以满足不同的需要，并提出改进的设想。     

基于GPS轨迹的矢量路网地图自动生成方法

提出一种基于GPS探测车轨迹的大规模矢量路网地图自动生成方法.该方法不需要路网地图的基图,可以只利用GPS探测车在路网中的行驶轨迹,自动将实际路网的真实拓扑结构反映在数字地图上.该方法分三个步骤:首先,实现GPS探测车轨迹数据的大地经纬度坐标到地图城建坐标的转换;然后,利用坐标转换后的GPS轨迹数据生成路网栅格地图;最后,将已生成的栅格路网地图进行矢量化处理.采用真实GPS探测车轨迹数据进行的实际路网自动生成实验表明,该方法能够成功地通过GPS轨迹自动生成路网地图,生成的矢量路网数字地图具有较高的精确度,可以满足交通诱导和汽车导航等系统中数字地图及时、自动更新的应用需求.     

基于模拟的验证技术在CPU设计中的应用

在一款通用CPU设计中，应用了多种验证技术，包括基于测试矢量的验证，基于覆盖率的验证等等，通过理论分析和实验研究，不同的技术显现出各自适用的时机和方式，实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性。     

基于改进的自适应遗传算法HCGA的测试数据自动生成

针对软件测试数据的自动生成,提出了一种自适应遗传算法和爬山算法相结合的改进算法HCGA. 通过设计自适应交叉和变异算子,加强了遗传算法的前期全局搜索能力;在进化后期嵌入了爬山算法,提高了局部搜索能力. 实验结果表明,该算法在测试数据的自动生成上优于遗传算法,提高了效率.     

使用Citect编程自动生成烧结生产报表

本文结合八钢南疆基地430m2烧结厂实例,介绍了Citect下编程实现生产报表的自动生成的必要性及具体方法。     

有限元网格自动生成的组合处理方法

给出有限元网格自动生成的相互配合协调处理的新方案，它处理的是平面上任意形状的多连通区域．边界描述采用边界顶点序列法，生成有限元分析的单元以四边形元（八点元或四点元）为主；根据边界形状的复杂性辅以三角形元（六点元或三点元）．所建议的组合处理方法具有容易控制网格密度、确保有限元分析中的单元质量、对于指定点（如集中荷载作用点或支撑点）可以自动成为网格的结点、可实现无人工控制的有限元网格自动生成等特点，对于有限元重分析系统尤其表现出高效率．本方法可推广到相当广泛一类三维问题中，在并行处理方面也有很大的潜力．     

基于模糊模拟的遗传算法在最短路径问题中的应用

模糊最短路径问题将网络中弧的权值描述成模糊的，突破了传统最短路径问题的局限性，更符合实际网络的要求。采用模糊期望值模型求解最短路径问题，由于模糊变量隶属函数的形式多种多样，对于有些模糊变量，很难求出其具体的期望值，所以本文设计了基于模糊模拟的遗传算法进行求解，获得了良好的效果。     

一种基于遗传算法的自动组卷算法

对传统遗传算法进行改进,提出了一种基于遗传算法的分段十进制编码,采用分段的单点交叉操作,对于个体而言,实现的是多点交叉操作,最后提出了相应的组卷算法.     

基于自动生成策略的供水管网抗震优化算法

以管网年费用折算值为优化目标、管网拓扑结构与管径为优化参数、管网节点抗震可靠度为约束条件,建立了供水管网抗震优化设计模型.基于自动生成策略,并结合环形管网判断方法,分别利用遗传算法、遗传-模拟退火算法和微粒群算法进行了供水管网的抗震拓扑优化分析.利用3种优化方法对2个典型供水管网进行了对比分析.对比分析表明,遗传-模拟退火算法具有最好的优化能力.     

基于Matlab GUI的电力系统自动发电控制仿真平台设计

利用Matlab中的图形用户界面(GUI),设计了一个电力系统自动发电控制(AGC)仿真平台.该平台应用于电力系统单区域一次、互联电网二次调频,同时加入控制策略模块,用于经典PID和模糊PID控制策略的分析.该仿真平台可直观地反映AGC系统调节下的频率变化趋势,以及两种控制策略的性能优劣,同时可便捷地设置参数.     

基于局部搜索的遗传算法求解自动组卷问题

针对目前大多数组卷系统所考虑的约束条件不完善、 组卷结果不理想问题. 提出一种基于局部搜索的遗传算法（GALS）, 解决了传统组卷约束不完善等缺点, 并得到了较好的组卷结果. 该算法采用基于按题型分段的编码方式, 3个遗传算子分别采用如下策略： 按题型分段交叉策略, 保证全局搜索能力及交叉后各题型被选题数不变; 基于禁忌表局部搜索的变异机制, 对题库进行随机关联搜索, 提高了算法搜索能力; 采用组合优化进化算法的μ+λ选择策略, 有利于算法局部搜索. 实验结果表明, 相同迭代次数下, 新算法找到的最优解明显优于传统的组卷算法.     

基于遗传算法的蛋白质折叠模拟系统

在模拟蛋白质折叠的遗传算法基础上，采用晶格模型，设计了一个用于蛋白质折叠模拟的软件系统，并举例说明该系统的用法。该蛋白质折叠模拟系统可用于蛋白质折叠预测和蛋白质进化研究，并可为蛋白质分子设计提供重要信息。     

基于系统代数的仿真模型自动生成研究

计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出Merge算子,使其更适合建立较复杂系统的仿真模型。并使用该方法分别对产品设计和简单物流系统进行了仿真。此方法能够快速产生多个仿真模型,节省了对同一系统的不同运行逻辑进行重复建模的时间,提高应用仿真方法对系统进行分析的效率。     

飞行等待程序自动生成算法和显示研究

在分析目前飞行等待程序标准规定的基础上,总结出一套飞行等待程序自动生成算法,采用Google Earth和VC＋＋编程技术,实时生成等待程序航迹,对有效评估等待程序设计的安全性和合理性有着重要意义.     

采用SIMULINK仿真遗传算法矢量控制系统

文章介绍了一种基于SIMULINK的异步电机按转子磁场定向的矢量控制系统仿真模型,采用遗传算法对系统中转速调节器的参数进行优化设计,验证了模型的正确性和SIMULINK作为仿真工具的有效性,表明采用遗传算法调节器参数寻优的矢量控制系统较常规调节器构成的系统具有更好的动、静态性能     

基于遗传算法的测试数据自动生成研究

分析了遗传算法在测试数据自动生成中的应用,提出了一种新的数据输出的方法,并通过实验,证明了该方法的优越性。