星载电子系统数字化设计仿真平台

针对卫星数字化设计的趋势,建立起面向任务化、功能化、用户化,集设计、仿真验证、开发于一体的星载电子系统数字化设计仿真平台。该平台以SoC设计方法学为基础,吸收了现有的SoC体系结构研究的成果,将星载电子系统抽象为IP模块并借助FPGA验证平台对系统设计进行验证,集合软件开发平台进行系统开发以及相应的应用软件设计。该平台的建立使星载电子系统数字化设计仿真更为灵活,同时加强对复杂设计的管理,有效的降低星载电子系统设计中的风险,缩短设计周期,降低设计成本。     

基于事务的BOC(1,1)基带信号相关器仿真验证系统

分析了BOC信号的产生方法,并着重介绍了BOC(1,1)的自相关函数,设计了基于FPGA芯片的基带信号相关器总体结构。在描述基于事务的软硬件协同仿真验证方法的基础上,给出了BOC(1,1)基带信号相关器的仿真验证系统设计,详细介绍了其主要功能模块,如总线监视器、激励驱动器、C仿真模型、编程语言接口以及Matlab分析处理等。最后给出了模块级验证与系统级验证的结果,仿真验证结果表明,该平台可以用于BOC(1,1)基带信号相关器以及有关算法的仿真与验证分析。     

机载图像处理引擎实时仿真平台

针对航空电子系统中图像处理模块数字化设计的趋势,建立了一个完整的机载图像处理实时仿真平台。该平台以电子系统级设计（ESL）方法为基础,利用Handel-C语言将视频处理系统中关键算法模块抽象为知识产权核（intellectual property core）,同时进行系统级仿真与验证,并通过FPGA实现。解决了单纯用软件实现算法实时性差、难以协同设计验证的问题。座舱综合显示和视景增强子系统被用来作为案例在该平台上实现,验证了平台仿真的实时性。     

YH-PBDE的SoC系统建模与仿真技术研究

提出了基于约束任务流图模型的SoC系统建模与仿真方法,并在自行开发的软硬件协同设计环境YH-PBDE中实现了SoC系统建模与仿真工具。该工具能够在算法级准确的对SoC系统行为进行描述,对SoC系统进行功能验证和初步性能分析,并很好的支持系统模型模版的复用。数字化士兵音视频解码与播放器SoC的设计实例表明:这种SoC系统建模仿真方法保证了开发正确性,缩短了开发周期,取得了良好效果。     

空空导弹系统仿真模型验证平台

文章介绍了空空导弹系统仿真模型验证平台。该平台基于CLIMB方案，将不同数据资源分为五个等级。利用等级高的数据库对产生等级低的数据库资源的模型进行验证。平台集成了工程上用于仿真模型有效性评估的统计检验方法。平台验证方法完备且具有良好的开放性，易于扩充。最后用实例说明平台的工作界面。     

多处理器NoC仿真平台

面向多媒体和无线通讯领域的多处理器片上系统(MPSoC)对通信带宽的要求与日俱增,于是片上网络(NoC)被提出来满足这种要求.在NoC设计初期,建立一个速度、精度满足要求,能支持设计空间探索的仿真平台显得尤为重要.采用SystemC建模和仿真环境,建立了一个完整的多处理器NoC仿真平台,包括处理器模型、通信结构模型、存储器模型和并行编程支持软件,并且提出了基于读平台的设计方法学和应用开发流程.在仿真平台支持下,面向各种应用的多处理器NoC设计空间探索和原型验证等研究变得不再困难.DCT、FFT和JPEG解码器三种算法被用来作为案例在该平台上实现,验证了以上提出的仿真平台及其设计方法学.     

基于SoC的孤立词语音识别算法的C语言仿真

研究了用C语言对孤立词语音识别算法进行了仿真,对每个算法的效率、时间复杂性、空间复杂性进行深入的讨论和分析,对语音识别算法FPGA的实现以及语音识别SoC的研究和设计提供了一个C语言行为级仿真设计原型。     

基于HLA的深空探测系统仿真平台

为了仿真验证深空探测中的自主技术,采用基于HLA(High Level Architecture)的分布式仿真技术以及三维视景仿真技术,设计了分布式可视化深空探测系统仿真平台;实现了通用的联邦成员主体软件框架,该软件框架可嵌入不同的仿真实体模块,提高了项目开发的效率。以月球探测器软着陆仿真为例,验证了此仿真平台的可行性。该仿真平台也为进一步验证深空探测的自主技术奠定了基础。     

基于快速控制原型的风力发电半实物仿真系统

为提高风力发电MPPT控制器设计与测试验证的快捷有效性,提出了基于LabVIEW FPGA的MPPT快速控制原型(RCP)系统。在LabVIEW RT实时运行平台上,采用PXI-FPGA架构设计了风速、风力机和PMSG的实时仿真模型,以及MPPT快速控制原型。将功率变换器、实时仿真模型和MPPT快速控制原型相连接,构造出半实物仿真(HIL)闭环测试系统。通过渐变风速和自然风速的实时仿真测试,验证了所述快速控制原型系统设计的正确有效性,为风力发电系统的进一步深入研究提供了一套有效的实时仿真和半实物测试平台。     

分布式卫星SAR柔性仿真系统设计与实现

构建分布式卫星合成孔径雷达(synthetic aperture radar, SAR)仿真系统对于分布式卫星SAR系统设计、测试与验证、减少系统研制费用、降低决策风险,以及系统的在轨运行管理,都具有重要的意义。围绕分布式卫星SAR仿真系统设计需求,提出了分布式卫星SAR系统柔性仿真框架模型,并讨论了设计和实现过程中的关键技术。该系统的实现和应用验证了框架和技术路线的可行性,为未来进一步完善和广泛应用奠定了基础。     

A Method to Detect the Abnormal Phenomenonin PVM Program Based on Petri Net

1IntroductionWiththedevelopmentofcomputerscience,parallelmodelandparajleltreatingarepaidmoreandmoreextensiveattention.Parallelprogrammingunderparajlelenvironmentisthenecessarypathforpeopletoreajizetheconcurrentcomputation.However,programmingunderparallelenvironmentismuchmoredifficultthanserialenvironmentforparajlelprograminvolvesmorethanoneprocesswhichruninmorethanoneprocessor.Moreover,theseprocessesoftencommunicateeachother.Sotheparallelprogrammustensureboththecorrectnessofcomputationandcomm…     

城市轨道交通全自动运行系统仿真研究及应用

随着城市轨道交通全自动运行系统(Fully Automatic Operation, FAO)关键技术的发展和自主化全自动运行系统示范工程的应用,越来越多的城市轨道交通线路采用FAO系统。全自动运行系统的高可用性、高可靠性和高安全性也对线路开通前的测试与验证提出了更高要求。通过全自动运行系统仿真研究,结合北京轨道交通燕房线全自动运行自主化示范工程综合调试验证管理平台,建立基于场景的FAO系统仿真模型,分析FAO系统仿真关键技术及方法,探讨FAO系统的仿真模型和方法的应用,为下一代轨道交通前沿技术预研、产品研发、测试等提供更强有力的支撑。     

支持组合事务的失败恢复验证

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。     

混合系统的形式验证方法

在介绍混合系统形式验证概念的基础上，从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法，通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验正的难点问题和主要研究方向。     

对应点集移动相对性建模于脱机签名鉴定研究

提出并论证了欧氏空间中签名的对应点集具有移动相对性,基于该原理构建了一种新的脱机签名鉴定模型,并研究了签名间对应点集获取的方法。在鉴定方案中,待鉴定的脱机签名图像和参考样本的签名图像可以看作欧氏空间内两个不同坐标系中的图像,两者间能够建立相对应的点集合,而欧氏空间平面图像其对应点集具有确定的约束关系,利用该约束关系建立模型可以反映出对应点集移动相对性的大小,因此可以利用该值的差异进行签名真伪鉴定。该方法对于真签名的数量要求较低,并且不需要伪签名来进行训练,适用于脱机签名鉴定中存在的极少样本集情况。实验采用中、英文两种签名数据库验证了该方法的有效性。     

多相测试时钟低功耗BIST调度

内建自测试(BIST)是解决系统芯片(SoC)测试问题的首选可测性设计方法。为了缩短SoC中的BIST测试时间,应该使尽可能多的BIST模块并行测试。然而过度的并行会引起测试功耗过高,对SoC产生不利的影响。为了改善这个问题,提出了基于多相测试时钟以及在峰值功耗的限制下,通过遗传算法对各BIST模块进行时钟相位分配与时序安排的优化调度算法,使SoC在测试时间得到优化。通过对ISCAS标准电路组成的SoC进行算法仿真,实验结果表明这种方法可以有效地组织测试,提高测试效率。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

任务空间概念模型轻量级形式化校核方法初探

任务空间概念模型是现实世界军事知识的第一层抽象，是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量，任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述，定性描述占主要，定量成分非常少。因此，传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核，提出形式化校核过程。并建立了部分校核模型。