期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
机架式服务器热特性数值仿真与优化 被引量:4
1
作者 何凌川 杜平安 《机械设计与制造》 北大核心 2009年第12期196-198,共3页
现代电子产品的集成化程度和功耗的不断增加导致了系统热流密度急剧上升,由此带来的过热问题已成为制约电子设备发展的主要因素,而热仿真技术为解决该问题提供了有效手段。通过以2U机架式服务器的为研究对象,对所建的数学模型进行了仿... 现代电子产品的集成化程度和功耗的不断增加导致了系统热流密度急剧上升,由此带来的过热问题已成为制约电子设备发展的主要因素,而热仿真技术为解决该问题提供了有效手段。通过以2U机架式服务器的为研究对象,对所建的数学模型进行了仿真计算,给出服务器的热流场分布。通过对求解结果分析,找出初始设计的不合理因素,采用基于试验设计(DoE)的循序优化法(SO)和响应面优化法(RSO)分别对芯片布局和散热器结构进行优化设计,其结果满足服务器热设计要求。 展开更多
关键词 热分析 数值仿真 机架式服务器 试验设计 循序优化 响应面优化
下载PDF
GENERATING EXACT NONLINEAR RANKING FUNCTIONS BY SYMBOLIC-NUMERIC HYBRID METHOD 被引量:8
2
作者 SHEN Liyong WU Min +1 位作者 YANG Zhengfeng ZENG Zhenbing 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2013年第2期291-301,共11页
This paper presents a hybrid symbolic-numeric algorithm to compute ranking functions for establishing the termination of loop programs with polynomial guards and polynomial assignments.The authors first transform the ... This paper presents a hybrid symbolic-numeric algorithm to compute ranking functions for establishing the termination of loop programs with polynomial guards and polynomial assignments.The authors first transform the problem into a parameterized polynomial optimization problem,and obtain a numerical ranking function using polynomial sum-of-squares relaxation via semidefinite programming(SDP).A rational vector recovery algorithm is deployed to recover a rational polynomial from the numerical ranking function,and some symbolic computation techniques are used to certify that this polynomial is an exact ranking function of the loop programs.At last,the authors demonstrate on some polynomial loop programs from the literature that our algorithm successfully yields nonlinear ranking functions with rational coefficients. 展开更多
关键词 Program verification ranking function semidefinite programming symbolic-numeric hybrid method.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部