论文部分内容阅读
应用来自Weispfenning的关于线以及二次线性优化的量词消去方法和Shostak解Preshourger公式的SUP－INF方法，研究了带有参数的二次目标函数的线性优化，给出了一种具有参数的二次目标函数的整线性优化的量词消去方法，分析表明，所用方法具有几乎最优的复杂性。
二次参数实整混合线性优化的量词消去法
【摘 要】
：
应用来自Weispfenning的关于线以及二次线性优化的量词消去方法和Shostak解Preshourger公式的SUP－INF方法，研究了带有参数的二次目标函数的线性优化，给出了一种具有参数的二次目
【机 构】
：
北京工业大学计算机学院
【出 处】
：
北京工业大学学报
【发表日期】
：
2002年1期
其他文献
目的研究不同纬度南极特殊环境对中国考察队员肺功能的影响。方法采用Scope Rotary便携式肺功能仪,对2003年12月~2005年3月期间曾居留的第20次考察队的长城站12名越冬队员,中山站16名越冬队员以及南极内陆冰盖Dome-A的8名度夏队员,进行出发前和返回后的肺功能检测。结果居留南极圈边缘12个月的长城站队员,最大呼吸流速(PEFR)比出发前增加12%(P<0.05)。居留南极圈内15
<正>维护房地产市场良好秩序、防范市场风险一直是房地产调控的重中之重。近年来,由于制度和监管体系的不完善,售后返租等房地产销售模式因违规操作引发了一系列风险问题。本
<正>一、课题提出1、我国课程改革的需要课程在学校教育中处于核心地位,教育的目标、价值主要通过课程来体现和实施,学校课程是把教育理想转化为教育现实的纽带,因而课程改革
会议
分析了地下空间总体效益，重点针对目前地下工程－如：地下交通工程，地下文化娱乐设施，地下公共服务设施，地下商业建筑，地下储存设施，地下市政工程与管网等现状，从统一规划、政策立法、科