基于交易级建模的ATA控制器功能验证方法研究

交易级建模技术适用于构建大规模电路系统的功能验证平台.结合C 天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证,降低了设计模块间通信的复杂度,结构上具有良好的可扩展性和可重用性.着重阐述该验证平台中抽象通道与适配器的通用设计方法,提出了一种基于面向对象技术的创新的验证平台设计模式,并分析了交易级建模和RTL建模之间的区别以及交易级建模技术在提高验证效率上的优势.     

基于OPNET的LEO卫星网络协议仿真平台研究

在OPNET仿真环境下,通过对LEO卫星网络协议构架分析,合理简化协议体系结构,构建通用卫星节点模块,实现了LEO卫星网络协议仿真平台。该平台能够模拟无连接LEO卫星网络路由表的建立更新和数据包选路等过程,以及切换、长时延等一些卫星网络特性给其他协议带来的影响。最后通过对作者提出的一种路由算法进行仿真,验证了该仿真平台能够在一定精度上模拟LEO卫星网络环境。     

可任意灵活接入的虚实网络融合仿真方法

针对虚实网络融合仿真技术存在构建仿真链路不够灵活的问题,提出了一种可任意灵活接入的虚实网络融合仿真方法.分析了虚实网络融合仿真系统的体系架构,主要包括接入端设备和虚实融合仿真平台,并描述了该平台的关键技术和功能实现;通过平台的灵活接口将接入端设备任意灵活接入到虚实网络,并分析其实验原理,完成不同链路间通信的任意切换;通过构建虚实网络拓扑实例,采用灵活接入的方法分别进行不同链路间的PING命令实验与WEB应用访问.实验分析结果证明了方法的可行性和有效性.     

基于RTLinux实时系统进程间通信的研究和在数控系统中的应用

主要讨论了实时系统内部各模块间通信的特点和不依赖于平台的通信机制，并给出了在基于RTLinux平台的数控系统中通信机制的实现方案．     

一种核安全级千兆通信模块的设计与实现

随着过程控制及安全重要性技术的发展,核安全级(1E级)仪控系统控制站间的通信传输面临着越来越高的要求。针对其控制站间通信传输数据量大,实时性强,可靠性高的要求,本文设计实现了一种以32位微处理器为平台,采用"FPGA+SRAM"组成"数据池"以实现三取二逻辑降低通信不确定性的千兆通信模块。该模块设计符合1E级产品要求,采用工业较为流行的符合IEEE802.3标准协议的千兆通信,以双路冗余的方式提高通信传输可靠性。本产品填补了国内核级仪控产品在控制站间大数据量传输方面的空白,达到了国内领先水平。该产品已通过鉴定测试并成功应用于某核电机组控制保护系统发展项目。     

基于Minix的进程间通信系统的设计与实现①

进程间通信作为操作系统中最重要的原语之一,提供了在多个隔离的进程之间相互通信交流的可能性.提出了一种适用于微内核操作系统的进程间通信系统,并在具体的Minix操作系统平台之上予以实现,解决了Minix系统中由于进程间通信模块的缺失而导致开发人员无法顺利移植其他平台的实用程序的问题。实验数据表明,该进程间通信系统具有高效的特点;同时由于该系统的设计原则,它保持着易扩展的特点。该系统的实现虽然是基于Minix平台,但该设计同样适用于其他微内核的系统,对其他操作系统具有借鉴意义。     

基于Minix的进程间通信系统的设计与实现①

进程间通信作为操作系统中最重要的原语之一,提供了在多个隔离的进程之间相互通信交流的可能性．提出了一种适用于微内核操作系统的进程间通信系统,并在具体的Minix操作系统平台之上予以实现,解决了Minix系统中由于进程间通信模块的缺失而导致开发人员无法顺利移植其他平台的实用程序的问题。实验数据表明,该进程间通信系统具有高效的特点;同时由于该系统的设计原则。它保持着易扩展的特点。该系统的实现虽然是基于Minix平台,但该设计同样适用于其他微内核的系统,对其他操作系统具有借鉴意义。     

可重构模块化机器人研究

可重构模块化机器人是机器人学的一个新的发展方向,其研究的核心和基础问题是可重构机器人的模块设计以及模块组合的运动规划。设计了一种新型可重构模块化机器人,该机器人具有独特的平面连接机构,实现了结构、驱动、运动和功能的模块化,能够根据需要重新构形,完成实时任务。分别介绍了模块单元的机械结构设计、连接机构以及基于CAN总线的控制系统结构。构建了基于OpenGL技术和VC++开发平台的机器人仿真实验系统,仿真机器人构形和运动,验证了模块设计的正确性和整体运动构形规划方法的有效性。     

事务级AHB总线模型研究*

为了克服RTL级AHB总线模型的局限性,提出了采用标准C++扩充的软硬件统一建模语言SystemC构建事务级的AHB总线模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB总线标准,运行速度远高于RTL级下的同类模型。该模型可以有效地克服软硬件协同设计中的时间瓶颈,提高SoC的设计效率,降低设计复杂度,缩短芯片产品的上市时间。     

基于MIPS内核的HDTV-SoC平台总线接口模块

介绍了使用MIPS32^TM4KC^TM处理器作为CPU内核的高清晰度电视（HDTV）SoC平台,着重提出了该平台上系统总线接口（HIF）模块的设计方案。并通过仿真和综合实验,验证了该模块能够达到系统总体设计的要求。     

基于Simulink的数模混合电路仿真平台设计与实现

针对数模混合电路仿真精度与性能之间的矛盾问题和仿真工业级复杂数模混合电路时仿真工具存在主流芯片和电路模块不足问题,提出了一种粘合模式的数模混合仿真平台模型架构,基于该架构设计并实现了一种基于Simulink软件,通过嵌入数字电路和模拟电路主流仿真引擎获得充足主流芯片和电路模块支持的数模混合电路仿真平台,设计了一种结合了拓扑排序算法的仿真控制方式,实现了对工业级复杂电路进行流程化、模块化的数模混合仿真;最后通过一个能够时序上可以逻辑拆分的典型数模混合电路仿真验证了仿真平台的有效性。     

制造系统虚拟仿真原型工具的研究

通过对制造系统的分析，基于将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制，提出虚拟仿真工具的模块化体系结构，开发了面向制造系统的专用虚拟仿真工具，并介绍该虚拟仿真原型工具的总体结构及其主要功能模块。     

航空电子系统仿真实验平台研究

介绍了大型客机机载航空电子系统通用仿真实验平台的整体结构设计思想及实现方法。建立了某大型客机仿真模型、航空电子系统各子系统的仿真模型,采用面向对象技术将各子系统的仿真模型封装成独立模块,深入分析了大型客机航空电子系统各子系统之间的信号联系关系,将各独立模块联接成整个仿真实验平台。     

一种基于任务表方法的实时集群平台

提出了一种基于任务表的集群方法,并介绍一个运用该方法的Linux实时集群平台.在运用该方法和平台构建实时集群应用系统的过程中,首先将应用对象分解为若干可并行执行的计算单元,用一个任务表来描述计算单元之间的关系;将任务表和计算单元程序模块嵌入集群平台,由集群平台完成并行任务分配、消息传递、故障容错等功能,从而实现集群计算.其中计算单元是传统串行程序模块.     

一种多机器人系统仿真平台的框架结构研究

针对多机器人系统实验平台造价高,硬件容易老化、损坏等问题,提出一种仿真平台实现模拟的框架结构。仿真平台基于客户机／服务器结构,利用内核模块管理其他功能模块,引入插件概念构造传感器插件有效的实现了传感器的模拟。实验证明其易用性与实用性。     

基于CORBA协议开放式算法仿真平台的体系结构设计

提出了一种基于简化CORBA协议的开放式控制算法仿真平台体系结构。类似于CORBA协议中的客户、服务和中介体系，在这种仿真平台的框架下整个仿真环境由使用类封装的算法模块、设备模块和仿真环境模块构成。模块与模块之间采用统一的接口协议，使得平台框架结构清晰，易于扩展。     

基于Simulink的序列密码仿真建模与分析

提出了利用Simulink对序列密码编码系统仿真的方法.根据基于移位寄存器产生伪随机序列的原理,使用Simulink的存储器模块模拟移位寄存器,在此基础上加上逻辑运算、双路选择等模块建立密钥序列生成器的仿真模型,并使用子系统技术,建立信息加(解)密系统的仿真模型.该方法直观易用,具有较高实用价值.     

超大型舰船航空保障模拟训练平台设计

 针对超大型舰船航空保障作业具有人员装备多、战位分布广、协同要求高、作业风险大等特点,设计了一个超大型舰船航空保障模拟训练平台,该平台采用n（C/S）的分布式架构,以及面向对象的设计思想和基于接口的技术;介绍平台各软件模块的仿真方法,提出基于脚本驱动的虚拟人运动仿真方法、基于脚本的装备描述和交互方式;采用组件技术基于事件和有向图的方法实现人机多种样式的交互技术,构建一套基于PC机的分布式协同保障训练平台。仿真实验表明,该平台可满足不同装备和不同战位之间的协同训练需求,具有良好的扩展性。     

高灵敏度GPS软件接收机开发平台

介绍了GPS软件接收机开发平台的软、硬件结构,重点阐述了基于频域的捕获算法和基于时域的跟踪算法,对导航数据的解调、同步、卫星的星历获取、用户位置解算以及信号仿真模块等做了简单描述,并利用实测数据进行了验证。实验结果表明,开发平台的几何定位精度因子PDOP=2.3534,与传统的硬件接收机相当。开发平台还可以产生多颗卫星、不同中频频率、各种多普勒频移和不同C/A码相位的GPS仿真信号,用于对GPS软件接收机的捕获算法和跟踪算法进行研究和验证。目前采用的捕获算法可以捕获信噪比为-37dB的微弱信号,相对于常规的-19dB的信号门限,灵敏度提高了18dB。     

航天器有效载荷高可靠集成仿真测试系统设计

随着航天器有效载荷的种类、功能及结构日趋复杂,对集成仿真测试系统的功能和性能要求也越来越高。有效载荷集成仿真测试系统是进行有效载荷系统级电性能联试、整器综合测试和发射场测试的重要工具。为满足不同领域、不同类型有效载荷的仿真测试需求,提高系统集成测试与验证的工作效率和适应性,在分布式高性能计算机网络体系结构基础上,提出一种航天器有效载荷集成仿真测试系统的设计架构。该系统遵从“强内聚、松耦合”的先进设计思想,各组成模块可以根据测试需要进行灵活重组,用于有效载荷研发的各个阶段,具有可靠性高、灵活性强、快速重构和扩展升级的优势。对有效载荷集成仿真测试系统中各测试设备的功能、组成及具体方案进行了详细介绍。