论文部分内容阅读
应用来自Weispfenning的关于线以及二次线性优化的量词消去方法和Shostak解Preshourger公式的SUP－INF方法，研究了带有参数的二次目标函数的线性优化，给出了一种具有参数的二次目标函数的整线性优化的量词消去方法，分析表明，所用方法具有几乎最优的复杂性。
二次参数实整混合线性优化的量词消去法
【摘 要】
：
应用来自Weispfenning的关于线以及二次线性优化的量词消去方法和Shostak解Preshourger公式的SUP－INF方法，研究了带有参数的二次目标函数的线性优化，给出了一种具有参数的二次目
【机 构】
：
北京工业大学计算机学院
【出 处】
：
北京工业大学学报
【发表日期】
：
2002年1期
其他文献
据美国WedMD大众医疗新闻网（2009—12—28）报道，一篇刊载在最近的《自然》（Nature）期刊的研究发现，两个最新发现的基因能作为最具侵入性脑瘤（神经母细胞瘤）发生的主要开关。
活性炭粉尘具有小体轻，硬度大，亲水性差等特点，净化难度大，目前国内对此种信号染治理尚无成功经验可寻，为此，我们利用新型袋式除尘器对这一领域进行研究，比较不同滤料对活性炭粉尘的
针对激光快速成形送粉器进行了研究，讨论了激光快速成型技术和工艺中所要涉及到的关键问题，指出送粉器的送粉特性对激光快速成型质量会产生决定性的影响，以现有的6种送粉器为例，
目的研究不同纬度南极特殊环境对中国考察队员肺功能的影响。方法采用Scope Rotary便携式肺功能仪,对2003年12月~2005年3月期间曾居留的第20次考察队的长城站12名越冬队员,中山站16名越冬队员以及南极内陆冰盖Dome-A的8名度夏队员,进行出发前和返回后的肺功能检测。结果居留南极圈边缘12个月的长城站队员,最大呼吸流速(PEFR)比出发前增加12%(P<0.05)。居留南极圈内15
<正>维护房地产市场良好秩序、防范市场风险一直是房地产调控的重中之重。近年来,由于制度和监管体系的不完善,售后返租等房地产销售模式因违规操作引发了一系列风险问题。本
<正>一、课题提出1、我国课程改革的需要课程在学校教育中处于核心地位,教育的目标、价值主要通过课程来体现和实施,学校课程是把教育理想转化为教育现实的纽带,因而课程改革
会议
分析了地下空间总体效益，重点针对目前地下工程－如：地下交通工程，地下文化娱乐设施，地下公共服务设施，地下商业建筑，地下储存设施，地下市政工程与管网等现状，从统一规划、政策立法、科
面向职业的中职语文教学，要基于核心要素，注重面向职业的语文教学的实践性、功能性，以此让学生经历素养的产生、发展过程，明白素养的内涵，联系生活培养学生素养。如此，中职教师必须
按国家标准测定了酱油和食用油的质量指标数值，考查了质量指标间的相关关系．提出了用“商品质量空间”，“商品规范质量空间”和“商品期望质量空间”“拟合”的方法评价商品质量
在频域中研究复杂多变量系统构模误差矩阵的估计问题用Ｍ序列信号给出了构模误差矩阵（或Ｌ∞）范数上界的新估值，由于能够在线估计，故可使结构和参数不确定性系统的鲁棒稳定性条件较少