RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法,给出了该算法的正确性证明的理论框架;并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简,实现模拟矢量自动生成状态化简目的,实验结果表明：该算法对状态化简效果非常明显,可以有效地解决状态空间爆炸问题。     

基于LPC2214和μC/OS-II的iButton接口

为了在电力设备点检中正确区分各设备,采用iButton作为设备的电子数据标识.通过对iButton初始化及写入相应的操作时序,从硬件接口和软件编程两个方面,详细介绍在μC/OS-II实时操作系统中使用LPC2214读取iButton 64位标识码的设计方法.其接口设计已成功应用于点检机中.     

面向计算思维培养的大学计算机基础课程实训体系建设与应用

分析如何精准明确知识体系、如何构建配套实训体系,以落实计算思维培养的问题,提出并设计以计算思维核心能力为核心的知识体系,以及与该知识体系相配套的实训体系,并给出基于该实训体系进行计算思维核心能力培养的方法。     

微处理器敏捷设计方法综述

随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内外的实践表明,微处理器敏捷设计方法是一种能有效提升微处理器设计生产率的方法.通过对比软硬件设计的差异,分析出敏捷设计的本质及其应用于微处理器设计所面临的挑战.综述了微处理器敏捷设计领域近年来代表性研究实践,归纳出微处理器敏捷设计关键使能技术,探讨了该领域未来潜在的研究方向.     

高校校园橱窗版面设计之管见

高校校园宣传橱窗是学校开展政治理论教育、宣传党的路线方针政策、介绍学校工作动态、活跃校园文化生活的重要阵地,也是学校重要的宣传舆论阵地,对建设良好的校园文明和校园文化有着非常重要的作用,其版面设计的好坏直接影响着橱窗宣传的效果。文章基于版面设计通过列举高校宣传橱窗中的常见不足之处,提出了完善宣传橱窗的建议。     

结构在水平与竖向地震同时作用的非平稳响应

本文对单自由度结构在水平与竖向地震同时作用下的随机地震响应问题进行了系统研究。首先用简明的推导方法,建立了结构参激随机振动方程;其次利用Stratonovich随机微分方程、It随机微分方程、FokkerPlanck方程和矩微分方程的相互转换关系,用统一的公式法,建立了结构响应矩方程;然后根据Hurwitz随机稳定准则,获得了结构一阶和二阶响应矩渐近稳定条件的解析判断式;最后针对非平稳水平地震激励的最典型四种强度包络函数,综合应用复模态法,获得了结构非平稳响应二阶矩的解析解,给出了算例,并综合分析了各种参数对结构响应和稳定性的影响。     

超韧水泥基复合材料力学性能试验研究

本文进行了普通混凝土和超韧水泥基复合材料抗压强度对比实验,实验结果表明纤维掺入虽然对强度提高不明显,但是显著改变其破坏形态。同时对两种不同掺量的国产纤维增强水泥基复合材料进行四点抗弯实验,试件尺寸为400mm×100mm×15mm,结果表明纤维掺量为2%的聚丙烯纤维增强水泥基复合材料韧性最好,其跨中位移达到35.6mm。     

混合基础隔震耗能结构基于Clough-Penzien谱的地震动响应的简明解析解

在基础隔震层设置侧向黏弹性阻尼器组成混合基础隔震体系,可有效降低基础隔震结构过大的侧移,然而此类结构基于Clough-Penzien谱(C-P谱)的随机地震动响应解法较为复杂,提出了一种简明解析法.首先利用滤波方程,将混合基础隔震耗能结构基于C-P谱的地震动精确的转化为基于白噪声激励的地震动;其次运用复模态法获得耗能结...     

高层隔震结构实空间解耦及地震作用取值分析

对高层隔震结构响应实空间解耦及地震作用取值进行了系统研究。首先运用复模态法和拉氏变换,建立非对称非经典结构响应的实空间精确解耦法,将高层隔震结构位移响应方差在实空间上精确分解为系列标准振子位移与速度响应方差的线性组合,获得结构相关组合系数的精确解;然后利用系列标准振子最大响应与反应谱的对应关系,给出了基于最大位移响应的地震作用新定义,建立了高层隔震结构基于反应谱的最大位移响应及其等效静态地震作用取值的完备解析解法,并给出了算例,验证了所提出方法的正确性,该方法适用于一般非对称非经典结构响应的实空间精确解耦及其基于反应谱的地震作用取值分析。     

连续弹性拉索风雨激振理论模型研究

假设水线与拉索表面之间存在着库仑阻尼力和线性粘滞阻尼力,建立了水线运动与拉索振动相互耦合的连续弹性拉索风雨激振理论模型。通过振型分解,获得了以拉索各阶振型表示的拉索振动方程和水线运动方程。采用龙格-库塔法对拉索和水线运动方程进行数值求解,得到了拉索和水线的响应。对计算结果的分析表明:当拉索大部分长度处于起振的敏感风速范围内时,风雨激振发生。此时水线在拉索表面形成,且大部分拉索处于竖向平均气动力系数突降区。拉索振动包含拉索多阶固有振型,且振型间相互转化。地面粗糙度指数和来流风速的大小对拉索的振幅和参振振型有重要的影响。