摘要：通过自学习使计算机生成兵力(CGF)具有决策能力,是机器学习技术应用于军事仿真的一个重要研究方向。运用基于Agent的建模方法和学习分类器系统技术,构建了基于遗传算法的CGF学习行为模型框架,详细论述了该模型学习过程的运行周期,并将记忆功能引入CGF决策模型来加速学习进程。最后,设计了一个可视化验证系统,实验结果表明该模型的有效性和可行性。

摘要：采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.

摘要：运用IP控制技术,将单片机与网络芯片结合在一起,通过TCP/IP协议,构成一个基于网络的分布式数据采集系统,并将音频、视频、雷达、GPS等信号完全数字化后,通过TCP/IP协议在网络上传输,实现了一个高速、稳定、灵活、扩展性强的船舶监控系统。

摘要：本文在深入分析K-means算法计算特征的基础上,基于FPGA平台提出并实现了一种细粒度的并行浮点K-means算法。设计采用了阵列多PE并行处理的任务划分策略,实现了处理单元间的负载平衡,采用数据驱动的流水线隐藏片外存储访问,设计了一种基于脉动阵列结构的主从多PE并行计算阵列,并在单片FPGA(XC5VLX330)上成功集成了4个PE。实验结果表明,我们提出的K-means算法加速器结构具备良好的可扩展性。通过实验测试,我们的实现方案相对于Pentium 4 2.66 GHz单处理器程序达到了15倍的加速比。

摘要：传统电传动设计方案下同时满足车辆大扭矩和宽调速范围的电机体积、重量大,难以集成在车辆有限空间内,针对这一难题,提出了一种新型多轮驱动电传动车辆设计方案。结合该方案,以原车性能指标为依据,进行了电机驱动系统的性能匹配计算,建立了基于Matlab/Simulink的驱动电机模块和基于RecurDyn/Track-HM车辆动力学仿真模块,并利用接口技术构建了机电一体联合仿真模型,而后通过车辆动力性能的仿真,对设计方案及功率匹配结果进行验证。仿真结果表明,匹配算法正确,所选参数合理,设计方案基本可行,为进一步研究奠定了基础。

摘要：目的针对航天型号非嵌入式软件在调试验证中的设计问题,研究其可视化技术。方法参考GraphML和ATML标准,使用XML模式定义测试描述语言,用于将可视化的测试设计保存为测试描述文件;定义测试程序模板,封装通用硬件接口的操作并定义了测试程序的基本框架;设计翻译程序,逐步解析测试描述文件并根据测试程序模板,生成测试程序。结果设计了具有通用接口和可视化设计界面的通用测试平台。该平台不仅可用于设计测试程序,对目标系统进行测试,而且可用于构建一个模拟程序,与其他系统进行协同测试。结论可视化测试平台可以简化航天型号软件的测试设计,并能提高测试效率。

摘要：以模糊推理为理论基础 ,根据专家系统的思想 ,通过对生产过程质量诊断基本要素的分析 ,建立了质量诊断专家系统算法的基本模型 ,对系统参数的确定方法进行了重点论述 ,并对实际应用中的一些问题提出了意见。

摘要：研究了振动二阶线性系统的鲁棒极点配置设计问题。基于矩阵方程参数化解提供的自由度,给出了能使闭环振动二阶线性系统具有希望极点的所有状态反馈控制律的参数化表达式。利用状太反馈控制律的参数化表达式,将衡量系统鲁棒性的误差指标参数化,从而鲁棒极点配置问题就转化为误差指标的最小化问题。给出了求解该振动二阶线性系统的鲁棒极点配置设计算法,该算法不包含"返回"过程,故便于工程应用。数值算例及其仿真结果表明该算法的简单及有效性。

摘要：针对电液伺服系统,提出了一种小波自适应鲁棒反演控制方法.用两个小波神经网络来逼近电液伺服系统中的模型未知部分、参数不确定项和虚拟控制的导数,所有小波神经网络的参数均实现在线调节.控制律和自适应律的设计保证了闭环系统一致且最终有界,从而达到对非线性电液伺服系统稳定跟踪控制的目的.鲁棒补偿器的设计进一步改进了电液伺服系统的跟踪性能.仿真结果表明,该方法能较好地满足控制精度的要求,同时系统具有较强的适应性和鲁棒性.

摘要：主要针对我国装备领域的一种嵌入式控制软件的数学仿真平台模拟测试，介绍了平台的结构及被测软件的设计，并对测试所收集的各项数据进行分析，同时简单讨论了可测试剖面及覆盖率的有关问题．