集成电路设计产业产品创新趋势研究——国际片上系统（SOC）IP核发展现状及对策分析

基于国际集成电路设计产业的分析，系统阐述了国际SOCIP核的发展状况，指出SOC设计将是集成电路设计企业技术创新的发展方向。提出了一些国际SOCIP核发展的对策，包括口核标准化、SOC技术平台开发及加强与Foundry的合作。     

构皮滩水电站上下游土石围堰索赔处理实例

水电站建设是一项综合性的系统工程,具有专业多、技术要求高、水文地质情况复杂、工期长等特点,工程实施过程中,出现索赔事件是合同双方不可避免的,其风险也是客观存在的。本文以监理工程师的角度,全面介绍了承包人向业主提出构皮滩水电站上、下游土石围堰索赔的处理原则、处理方法及处理过程等。     

利用补偿收缩混凝土进行建筑物缺陷预防及防水处理

利用补偿收缩混凝土产生的预压应力,可有效的防止建筑物裂缝缺陷的产生及对建筑物进行防水处理。     

非对称度量空间上不动点定理

提出建立在非对称度量空间之间的上收缩映射和下收缩映射的概念.考虑到非对称度量的不对称性,进一步定义了非对称度量空间到自身映射的左不动点和右不动点.最后,给出了非对称度量空间上的两个不动点定理.     

模糊数空间上下确界的度量刻划

在模糊数空间上定义了一种新的度量，证明用这种度量可以对序有界的模糊序列的上、下确界进行刻划。     

竖向不同排水条件和上覆压力作用下砂基超静孔隙水压力…

本文对砂基在表面作用或不作用上覆压力、具有四种竖向排水的条件下，推出了地震期间砂基内超静孔隙水压力的计算公式，并给出了一个算例。     

混凝土温度收缩裂缝的产生机理及对策

对混凝土温度收缩裂缝产生机理及影响因素进行研究。从原料的选择、配合比的设计、施工及养护等几方面控制温度收缩裂缝的方法，控制混凝土温度收缩裂缝的出现，对混凝土施工有一定的参考价值。     

用循环矩阵构造HADAMARD矩阵

用循环矩阵上构造的域以及域上定义的特定的符号函数,给出了Hadamard矩阵较为直接的构造方法。用该方法可以较快和较准确地给出例如500或者1020等等较高阶的Hadamard矩阵。