DMA控制器的一种硬件验证方法

在微处理器或SOC芯片设计过程中,DMA控制器的硬件仿真验证是难以解决的问题之一,因为DMA控制器与包括微处理器核和内存控制器在内的几乎所有部件都有数据通信,如将所有部件集成后进行仿真测试,则一旦发现错误后,定位错误会非常困难.本文为此提出了一种简化测试模型和验证方法,可以有效解决上述问题.     

基于发布/订阅模型的中间件实时拓展

基于发布/订阅模型的卫星数据模型中间件不具备实时性。为此,给出一种对其进行实时拓展的服务软件总体框架。提出将任务的中间件优先级映射到本地节点优先级的线性均匀分布动态映射算法。引入超周期思想,在静态优先级可抢占调度算法下,对优先级任意的硬实时周期和非周期混合任务进行可调度性分析。采用恢复块技术对其进行冗余备份以解决服务软件单点故障。分析结果表明,该框架基本可以满足实时系统的要求。     

交互状态机模型模拟矢量自动生成方法

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.     

基础转动结构随机风振响应分析的复模态法

对多自由度基础转动结构随机风振响应问题进行了系统研究。针对用上部结构第一振型展开所得方程为非经典阻尼和非对称结构以及脉动风谱为非有理分式风谱情况 ,用线性滤波过程生成脉动风谱 ,用复模态和扩阶法进行解耦 ,获得了等效风谱对应的以第一振型表示的结构响应解析解 ,对单自由度体系 ,此解即为结构响应精确解。该方法可用于带TMD或TLD结构的风振分析和优化设计。     

落实计算思维培养的大学计算机基础课程改革实践

为更好地落实大学计算机基础课程计算思维培养的目标,在广泛调研国内外同类课程建设情况的基础上,提出问题式的课程内容、问题引导、知识植入、增量设计的教学方法、以能力评估为核心的全过程考核方式等,结合国防科技大学的具体情况,介绍大学计算机基础课程改革实践过程,说明改革成效并提出思考。     

基于Ｃ－Ｐ谱分析设置支撑的广义Ｍａｘｗｅｌｌ阻尼器系统完全非平稳地震响应

对设置支撑的广义Ｍａｘｗｅｌｌ阻尼单自由度减震系统完全非平稳随机地震响应问题进行了系统的研究。首先,建立设置支撑广义Ｍａｘｗｅｌｌ阻尼器的等效本构关系,用积分微分方程实现结构时域非扩阶建模;然后,采用传递函数法,直接在耗能结构原始空间上获得减震系统在任意激励和非零初始条件下结构位移、速度和阻尼器受力、受力速率的时域瞬态响应解析解;最后,基于地震动的强度非平稳和频率非平稳,采用Ｃｏｎｔｅ和Ｐｅｎｇ所提出的完全非平稳地震动功率谱模型,获得减震系统的结构位移、速度和阻尼器受力、受力速率的完全非平稳响应解析式。所获得的结构系统时域瞬态响应解析解和完全非平稳地震响应解析式,可为建立结构系统各构件抗震动力可靠度和基于模态叠加的反应谱抗震设计法提供分析路径。     

一般线性粘弹性阻尼器耗能结构瞬态响应的非正交振型叠加精确解

对一般线性粘弹性阻尼器(含线性橡胶隔震支座)耗能结构的非正交振型叠加精确解法进行了系统研究。首先采用最一般的线性粘弹性阻尼器的积分型精确分析模型,用微分积分方程组实现一般粘弹性阻尼器耗能结构的时域非扩阶精确建模;然后采用传递矩阵法,直接在耗能结构原始空间上获得了一般线性粘弹性耗能变频结构在任意激励和非零初始条件下位移与速度时域瞬态响应的非正交振型叠加精确解;通过与3种典型结构的对比分析,验证了该精确解的正确性、简易性和普适性。该非扩阶精确解具有明确的物理意义,可视为现有比例粘滞阻尼定常结构的经典正交振型叠加精确解在一般线性粘弹性阻尼耗能变频结构的推广,能从本质上精确揭示耗能结构的振动机理,即尽管耗能结构的振型不具有正交性,但耗能结构响应仍然可精确分解为各振型响应的线性组合。此振动机理将为建立耗能结构精确的振型分解反应谱法提供分析路径,同时可将现有用于一般粘滞阻尼定常结构的参数识别、动力修改、最优控制及优化设计等方法推广到一般粘弹性阻尼变频非定常结构。     

结构在水平与竖向随机地震同时作用下的相关函数和谱密度

对单自由度结构在水平与竖向地震同时作用下的随机稳定性、响应及其相关函数和谱密度函数进行系统研究。首先利用Stratonovich和It随机微分方程与响应矩微分方程的互相关转化关系,建立了结构响应矩方程;然后根据Hurwitz随机稳定准则,获得了结构一阶和二阶响应矩渐近稳定的解析判别式;继而,利用复模态法获得了结构响应二阶矩的解析瞬态解和平稳解;最后利用It随机微分方程解具有的非可料函数性质,获得了结构位移、速度响应的自相关函数、互相关函数以及谱密度函数、互谱密度函数的解析解,给出了算例,并综合分析了各种参数对结构响应、稳定性以及相关函数和谱密度函数的影响。     

一种基于线性反馈移位寄存器的轻量级强PUF 设计

物理不可克隆函数(PUF),是一种新型硬件安全原语,可以用FPGA 和ASIC 实现, 避免芯片被过度制造和非法克隆。PUF 可以用于安全密钥生成和芯片认证,强PUF 是其中一种 重要的分类,强PUF 具有极大的CRP 空间,适用于设备实体的安全认证。经典的以仲裁器PUF 为代表的强PUF 设计面积开销大,唯一性不够理想,难以在一些资源集约的场景,如嵌入式系 统和物联网(IoT)设备中应用。为了减小硬件开销,提出了一种新型轻量级强PUF 设计,该设计 利用线性反馈移位寄存器对弱PUF 的输出响应进行混淆以获得大量的输出响应,结构简单,易 于实现。在28 nm 的FPGA 上实现并评估了该PUF 设计。实验结果表明,该PUF 的随机性为 49.8%,唯一性为50.25%,硬件开销很小。     

RTL验证框架--HRV

设计并实现了一个RTL覆盖率驱动的验证框架HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法．实验结果表明,HRV通过集成多种验证工具,提高了模拟验证效率,加速了错误检测和错误定位．