超大规模数字系统控制器的验证实现

数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。     

国产超大规模集成电路测试系统综合试验验证方法

为全面验证国产超大规模集成电路测试系统的工作指标和性能，提出测试系统的一种综合试验验证方法，根据测试系统不同的验证阶段，分别从系统仪器技术指标测试试验验证、系统软硬件功能测试试验验证和系统集成电路测试能力试验验证三个阶段开展综合试验，并针对各阶段的验证方法开展测试系统的试验验证实例分析，验证实例结果表明该综合试验验证方法能够全方位验证国产超大规模集成电路测试系统的工作指标、功能性能以及测试能力，进一步验证所述方法的可行性；该验证方法能够有效解决集成电路测试系统投入测试应用前的试验验证问题，也为新研集成电路测试系统的指标与功能性能验证提供一种有效的综合验证思路。     

基于多项式符号代数方法的高层次数据通路的等价验证

基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求. 由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法. 深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式. 从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法. 针对不同基准数据通路的实验结果表明了该算法的有效性.     

嵌入式系统描述与验证环境的实现

首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码,以完成系统的模拟验证;并介绍了该方法的一个应用实例。     

嵌入式系统协同验证环境的设计与实现

介绍了一个用来验证嵌入式系统硬件／软件,及其交互功能的硬件／软件协同验证环境,硬件／软件功能分别使用系统提供的ＥＨＤＬ语言及ＥＳＤＬ语言设计和描述,该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成,其采用了指令集结构的协同模拟模型,利用该集成环境,硬件／软件的设计错误可以在系统制造之前被发现并修改。     

在线签名验证系统

本文综述了在线签名验证系统的发展概况,阐述了利用签名作为个人验证手段的可行性、验证系统的输入设备、签名过程的特征抽取及选择方法,并介绍了几种较为成熟的处理算法,比较了各自的特点。最后指出在线签名验证系统所存在的问题及改进意见。     

飞行仿真系统通用数字控制器的设计及应用

论讨论了通用数字控制的硬件、软件的设计。并介绍了该通用数字控制 飞行模拟仿真系统中目标投影方位伺服系统、俯仰伺服系统和天／地景头位跟踪伺经三套全数字伺主目标变焦步进电动机控制系统中的应用 。     

多媒体数字处理芯片W99711的静态验证

本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。     

仪表系统的嵌入式控制器的开发研究

把嵌入式系统应用到仪器仪表领域,让传统的仪表,Internet和微处理器相结合,已成为仪器仪表行业发展的趋势.本文首先由基于嵌入式智能仪表的远程监控系统引出嵌入式控制器,然后结合嵌入式控制器,作者具体阐述了UML-RT和平台思想在嵌入式控制器系统设计中的运用,给出了嵌入式控制器设计的详细步骤和具体内容.     

多级数字光圈控制器的设计和实现

本文介绍了一种基于AVR单片机的数字胃肠造影系统光圈控制器的设计和实现。该控制器以单片机为核心,以PID控制理论为思想,通过外围硬件电路来达到控制目的。通过串行端口实时调整光圈大小,该光圈控制器具有响应速度快、控制精度高和稳定性好等特点。在实际运行中效果良好。     

数字集成电路参数测试能力验证计划的设计与实现

为了解国防科技工业实验室集成电路测试能力的整体水平,国防科技工业实验室认可委员会组织实施了数字集成电路参数测试能力验证工作。航天、航空、船舶、电子等行业和部队的20个实验室参加了此次能力验证活动,推荐的方法为：半导体集成电路TTL电路测试方法的基本原理、Texas Data bookSN54LS32J数据手册。结果显示：实验室满意结果率为79%。此次能力验证活动为国防工业检测校准实验室提供了数字集成电路参数测量一致性的比较平台并为实验室认可评审提供依据。     

安全的混成系统神经网络控制器生成与验证

控制器生成是混成系统控制中的重要问题.生成具有安全保证的控制器,关系着混成系统在安全攸关领域的使用.提出了一种为混成系统生成具有安全保证的神经网络控制器的方法.神经网络控制器的安全性由与其同时生成的障碍证书保证.为了生成安全的神经网络控制器,首先确定控制器的网络结构,并基于混成系统构造训练数据集;然后,根据保证控制器安全的障碍证书条件编码神经网络训练时的损失函数.当训练完成后,学习到的神经网络控制器对于训练数据集中的数据是安全的,但对于整个混成系统可能并不安全.为了检验学习到的控制器在整个系统上的安全性,将其安全验证问题转化为一组混合整数规划问题,并使用数值优化器求解,以得到形式化保证的结果.工作实现了安全神经网络控制器生成工具SafeNC,并评估了它在8个基准系统上的性能.实验结果表明:SafeNC可以生成包含6个隐藏层的具有1 804个神经元的安全神经网络控制器;同时,与现有方法相比, SafeNC可为更复杂的系统生成安全的神经网络控制器,更有效且更具扩展性.     

数字信号控制器的中断系统分析与实现方法

数字信号控制器(DSC)具有数字信号处理能力和MCU控制接口,其中断系统功能非常丰富,这为应用带来方便,同时也带来设置的复杂性。本文以MC56F8257为例,详细分析DSC中断系统及其设置方法;以MC56F8257中的QSCI模块中断及CAN模块中断为例,从不带中断优先级、带中断优先级和优先级嵌套三个方面,分析DSC中断设置过程及响应结果。分析结果进一步验证DSC中断具有优先级及屏蔽等特点,为推广DSC芯片的应用提供指导。     

微小卫星动量轮数字控制系统的设计与实现

微小卫星体积小,质量轻,自身转动惯量小,与普通卫星动量轮控制相比,控制单元需要更高的控制精度和更小的体积。针对这一难题,采用数字的设计方法,运用等精度测频原理,设计并实现了在单片中等规模的FPGA中集成包括控制算法运行、动量轮运动控制、动量轮速度测量在内的控制动量轮所需要的完整功能。通过原理验证平台验证,控制系统的测量精度优于10e-5,控制精度优于10e-3,满足微小卫星动量轮的控制要求。与常规卫星动量轮控制系统相比,具有精度高、体积小的优点。     

一种可自恢复的燃调数字控制器设计及实现

倒立摆系统具有多变量、非线性、强耦合和不确定的特点,常被用来验证控制算法的优劣性。H∞在干扰抑制和鲁棒性上均有较为突出的表现。在对倒立摆控制研究情况和 H∞控制理论发展情况进行简单介绍后,围绕一阶回旋式倒立摆的H∞控制进行研究。首先,基于拉格朗日方程对一阶倒立摆进行动力学分析,并近似地得到平衡点附近的线性方程;对倒立摆系统进行分析,得到倒立摆系统是能观能控系统、但平衡点不稳定的结论。其次,简单介绍基于里卡蒂方程的 H∞控制器求解方法,并证明该控制器能够保证系统的稳定性。最后,仿真确定加权矩阵各元素和 H∞性能指标的大小对系统性能的影响和对电机扭矩的要求,并最终确定一组相对合适的参数进行控制器设计。     

Design and Implementation of Robust-Fixed Structure Controller for Telerobotic Systems

The controller design for bilateral teleoperation systems involves a delicate trade-off between performance and stability. To achieve high performance, high order robust controllers may not be feasible for real-time implementation because of hardware and computational limitations. The main purpose of this paper is to achieve stability and transparency in the presence of time delay in communication channel as well as model uncertainty. To address these problems, a novel robust fixed-structure controller is proposed for uncertain bilateral teleoperation systems. Here, the traditional conventional Proportional-Integral-Derivative (PID) controller is employed to achieve the requirements. The simplicity and straightforward design are the significant advantageous of the proposed method. Robust stability analysis of the proposed technique is also provided. Results demonstrate that the structure is effective in providing stability and transparency in teleoperation systems.     

图像处理系统中SDRAM控制器的FPGA实现

简要介绍了SDRAM工作原理并认真研究了Ahera提供的SDRAM控制器,根据实际系统使用需要加以修改简化,设计了对修改后控制器进行操作的状态机.采用全页突发读写模式,每次读/写后自动刷新,省掉了传统设计中的刷新计数控制逻辑.整个设计采用VHDL实现,已在实际系统中成功使用.