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

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

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

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

一类非线性规划问题的等价性证明

给出了非线性规划问题中目标函数单调变换前后的一个等价性证明.     

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

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

强伪凸函数的某些性质

强伪凸函数是凸函数的重要推广函数之一。文中在给出强伪凸函数定义的基础上讨论了它的一些性质,另外还给出了它与强凸函数之间的关系。     

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

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

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

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