长沙市废弃混凝土处理及回收利用现状分析与研究展望

废弃混凝土作为城市建筑垃圾的重要组成部分,其处理和资源化利用等问题备受关注。通过走访长沙市废弃混凝土处理和资源化利用的相关政府部门、企业和社会组织,了解了长沙市废弃混凝土的来源、处理方法和资源化利用现状以及相关政策。预估了长沙市从2009～2015年和未来三年废弃混凝土的年产生量,分析了废弃混凝土在资源化利用的过程中存在的问题,并结合国内外先进的方法进一步探讨合理的废弃混凝土资源化利用方案。     

IC设计中时序约束的自动化传播方法

在集成电路（IC）设计的过程中,准确地对顶层与模块的时序进行约束是时序分析及时序收敛的重要保证。为了提高效率,该文提出了一种时序约束的自动化等效传播方法,该方法包括时序约束的向下传播和时序约束的向上传播。相较于传统的时序约束的手动传播,自动化实现能有效地避免因设计与时序迭代而带来的时序约束的手动传播工作,减少了设计时序约束的人力成本,从而加速时序收敛的迭代周期,提高时序迭代与时序收敛的效率并节约人力成本。从实验结果来看,该方法在测试用例与项目工程应用中均能准确地生成对应的时序约束,显著提高了时序约束设计的效率及自动化程度。