摘要：研究和分析了手机电视所采用的H.264解码器的计算复杂度及其在解码过程中所需的运算量,并设计出一种H.264低功耗运动补偿IP块。仿真结果表明,在手机电视中,使用0.18μmEML工艺生成的低功耗运动补偿IP块,采用数据并行可将其频率降到20MHz。而嵌入的DRAM帧缓冲器又减少了外部数据的输入输出,功耗可因此降低31%。本文所设计的H.264低功耗运动补偿IP块提高了压缩效率,加快了帧速率。

摘要：为在一定的时间限制下得到最少的缓冲器插入数目和连线分段数目 ,提出了一种深亚微米电路设计方法 .该方法通过将传统的可变尺寸驱动连线模型改为缓冲器连线分段模型 ,得到了最优的缓冲器插入数目和连线分段数目 .实验结果表明 ,在不同的时间限制下 。

摘要：在把传统的遗传算法应用于优化分配问题时，会出现冲突、空缺和无解等现象．提出的一种对称型遗传算法，能避免这些缺点，等概率地从两父代解中继承优良模式，从而加快收敛，提高效率．经用于ＶＬＳＩ－ＣＡＤ的原理图布图实例中，证实本算法收敛稳定，效果良好．

摘要：在多芯片组件互连传输线的电路模型中，必须同时考虑线电感和线电阻，因此其互连延迟的研究比传统的ＰＣＢ和ＩＣ互连更具复杂性．研究了具有树状拓扑结构的ＭＣＭ互连网络的延迟：在明确了ＭＣＭ互连延迟的独特点后，着重给出了树状结构互连网络冲激响应的矩的求法。

摘要：提出了一种版图电路节点提取及节点压缩算法。通过在工艺文件中设定节点生成过程。

摘要：分级式ＤＲＣ在检查时，可能因为运算不当而改变图形形状，或单元本身存在不完整的图形，检查中又未能考虑单元的调用环境而产生伪错。同样问题也存在于分级式版图验证系统的其它工具中。文章对此进行了探讨，提出了相应的减少乃至消除伪错的办法。采取这些措施，将有助于提高分级式版图验证系统的实用化程度。

摘要：通过开展某大极孔比固体火箭发动机复合材料壳体结构设计及水压试验研究,探究了其在内压载荷作用下的力学行为。采用CADWind进行缠绕线型规划及铺层设计,实现壳体的高保真有限元建模,根据复合材料渐进损伤原理(特性)分析了壳体承压性能,揭示了壳体大极孔端的失效机理,并通过水压爆破试验验证计算模型的准确性。结果表明,通过CADWind进行线型、铺层设计能有效支撑大极孔比壳体缠绕成型,壳体的铺层厚度、角度输出数据与实物更加吻合,可进一步提高有限元建模精度;其次,基于Hashin失效判据的渐进损伤失效分析方法实现了壳体的破坏位置、失效模式以及爆破压强的准确预测;最终,壳体计算爆破压强20.3 MPa,试验爆压19.5 MPa,计算误差4.6%,筒段应变计算结果与实测值基本吻合。

摘要：开发的一个新的快速故障模拟器Ｐ＋Ｐ．该模拟器使用了并行码与并行故障模拟算法，实现了同步时序电路故障模拟的两路并行性．采用了全局故障分组、锥形操作、电路级化及改进的组号ＩＤ等技术．Ｐ＋Ｐ已在ＳＵＮＳＰＡＲＣ－２工作站上实现，运行了大部分的ＩＳＣＡＳＢｅｎｃｈｍａｒｋ同步时序电路．最后给出了实验结果．

摘要：2023年“中国电影国际传播”调研延续“以外国受众为调研对象、以中国电影国际传播为核心指向”的调研目标。调研以2020—2022年中国电影在海外传播平台上的整体表现为样本,从媒体关注度、社交平台表现、二次传播效果、意见领袖效能等方面出发,全面评估2020—2022年间,中国电影在海外网络的传播效果。调研结果显示,2020—2022年因全球社交隔离等原因,中国电影海外平台传播效果好于之前年份;要重视YouTube意见领袖影响效能;境外媒体整体对中国电影的报道较为积极;Letterboxd、TMDB等专业平台对影片热度有较大影响;Twitter普通群体对民生问题电影关注较多、粉丝超过1千万群体对中国动画电影关注较多。在此基础上提出,应重新建立中国电影海外传播评价体系、发挥中华文化主体性等加快“十四五”期间电影文化强国建设的方案与路径。

摘要：提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.