Chisel构建处理器模型的功能验证方法研究

随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。

钢筋混凝土框架的三维非线性有限元模拟分析

采用ANSYS软件中非线性分析常用单元:SOLID65、LINK8及COMB IN39,分别模拟混凝土、钢筋以及钢筋与混凝土的黏结滑移,建立分离式模型模拟四层两跨钢筋混凝土框架的荷载位移曲线,通过与试验结果的比较,验证模型的正确性。然后根据ANSYS中建立分离式有限元模型模拟不同轴压比、不同混凝土强度及不同配筋情况下框架的荷载位移曲线,分析以上因素对水平承载力的影响。

装配式钢结构住宅的设计研究和实践

相较于装配式混凝土结构住宅体系,钢结构住宅体系的工业化程度更高,抗震性能更优,空间更加灵活,材料更加绿色环保,更符合高品质住宅发展的要求。位于上海市浦东新区的某住宅4号楼项目,主体结构采用钢框架+支撑结构体系,外围护结构则采用预制夹心保温混凝土外墙,为尽量减少预制混凝土结构对主体钢结构的影响,采用点支承和外挂式的连接方式,通过合理化设计和精细化计算确保结构的安全,同时通过采取有效的措施解决了建筑防水等问题,为钢结构住宅的推广提供了一定的参考价值。

无梁楼盖在地下车库中的配筋研究与设计优化

以上海浦江02-01及07-04地块的保障性安居工程项目为例,通过经验系数法、等效框架法及整体有限元法分别计算了其地下室顶板(无梁楼盖)的配筋及分布。根据受力情况,将板面钢筋分为板面通长钢筋、柱上板带加筋和柱帽加筋分别进行配筋优化设计,并建立分离式有限元模型分析受力机理,证明优化设计是合理的、经济的。最后通过裂缝开展情况及钢筋应力的分析证明斜交布筋优于正交布筋。取得的研究成果可为相关工程设计提供参考。

某大剧院的结构设计应用

以上海国际舞蹈中心大剧院为背景工程,在抗震分析与设计中,采用多种计算软件对抗震结构进行小震、中震、大震的计算,分析了结构不规则对整体结构抗震性能的影响,重点分析研究了关键构件斜框架和核心剪力墙的抗震性能。针对特殊部位进行专题结构分析,比如旋转楼梯借助有限元软件MIDAS/Gen和ABAQUS分析计算,为充分利用梯段板宽度,创新采用箱梁的结构形式替代传统梁的结构形式,降低了结构层的截面高度,达到了良好的效果。上海国际舞蹈中心大剧院结构设计既要保证结构的安全性,也兼顾了建筑的功能性和室内的整体效果,具有一定的技术创新,为剧院建筑的结构设计提供了一定的参考。

某装配式剪力墙住宅关键技术研究与应用

装配整体式剪力墙结构体系在高层装配式住宅建筑中得到了广泛应用,推动了住宅建筑工业化的发展。但在具体实施中还存在着不少问题,比如装配式建筑的预制外墙防渗、保温装饰防火、脱落和预制剪力墙连接的可靠性等问题尤为突出。以上海的某住宅项目为例,通过采用预制保温叠合外墙板体系以及剪力墙竖向螺栓连接技术,解决了以上防渗、防火、脱落和连接安全等问题,为以后装配式住宅设计提供了一定的参考价值。

改造人行道结构,提高桥上作业平台安全性能

由于设备老化及环境影响,桥涵人行道在使用中的安全性能降低,对作业人员人身安全构成威胁,在现有基础上通过改造人行道板的安设方式解决这一难题,是提高设备质量、安全性能的捷径。

浅谈桥梁混凝土的裂缝及预防措施

本文从理论和实践两方面,阐述了桥梁混凝土裂缝产生的原因及影响因素,提出了防止裂缝的措施。为桥梁混凝土施工提供参考依据。

板式橡胶支座裂纹病害分析及整治

桥梁支座是连接桥梁梁体与墩台之间的结构部件,受使用过程中所处环境及荷载受力等影响,会过早出现一定的病害。橡胶支座在空气氧化及荷载压力的作用下,会产生橡胶裂纹、凹凸等病害,通过对京哈线既有几座板式橡胶支座桥梁的病害数据分析,探究产生病害的原因,有针对性的提出整修建议,以延长支座和桥梁使用寿命。

中信泰富科技财富广场超限装配式高层建筑结构分析

介绍了中信泰富科技财富广场项目T3、T4的2栋装配式剪力墙结构塔楼的超限情况,并对预制竖向构件节点连接做了详细论述。针对超限情况,从结构周期、动力特性等对结构进行了弹性分析比较,并对预制竖向构件设计采用性能化设计,使其接缝满足中震弹性要求及大震下剪压比控制要求。这为类似工程的结构设计提供了参考。