切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
二次参数实整混合线性优化的量词消去法
二次参数实整混合线性优化的量词消去法
来源 :北京工业大学学报 | 被引量 : 0次 | 上传用户:weishenmeme11
【摘 要】
:
应用来自Weispfenning的关于线以及二次线性优化的量词消去方法和Shostak解Preshourger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目
【作 者】
:
赵枫朝
于书举
刘俊千
【机 构】
:
北京工业大学计算机学院
【出 处】
:
北京工业大学学报
【发表日期】
:
2002年1期
【关键词】
:
量词消去
二次线性优化
整数优化
计算复杂性
二次目标函数
quantifier elimination quadratic linear optimizati
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用来自Weispfenning的关于线以及二次线性优化的量词消去方法和Shostak解Preshourger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目标函数的整线性优化的量词消去方法,分析表明,所用方法具有几乎最优的复杂性。
其他文献
与侵入性脑瘤有关的基因
据美国WedMD大众医疗新闻网(2009—12—28)报道,一篇刊载在最近的《自然》(Nature)期刊的研究发现,两个最新发现的基因能作为最具侵入性脑瘤(神经母细胞瘤)发生的主要开关。
期刊
侵入性
基因
脑瘤
神经母细胞瘤
《自然》
活性炭粉尘治理设备的研究
活性炭粉尘具有小体轻,硬度大,亲水性差等特点,净化难度大,目前国内对此种信号染治理尚无成功经验可寻,为此,我们利用新型袋式除尘器对这一领域进行研究,比较不同滤料对活性炭粉尘的
期刊
薄膜滤料
活性炭
粉尘治理设备
袋式除尘器
dust removal
membrance filter material
off-time pulse cl
激光快速成型送粉器及其特性
针对激光快速成形送粉器进行了研究,讨论了激光快速成型技术和工艺中所要涉及到的关键问题,指出送粉器的送粉特性对激光快速成型质量会产生决定性的影响,以现有的6种送粉器为例,
期刊
激光快速成型
送粉器
送粉特性
送粉原理
合金粉末
laser quick micro-making powder feeder
南极特殊环境增强中国考察队员肺功能
目的研究不同纬度南极特殊环境对中国考察队员肺功能的影响。方法采用Scope Rotary便携式肺功能仪,对2003年12月~2005年3月期间曾居留的第20次考察队的长城站12名越冬队员,中山站16名越冬队员以及南极内陆冰盖Dome-A的8名度夏队员,进行出发前和返回后的肺功能检测。结果居留南极圈边缘12个月的长城站队员,最大呼吸流速(PEFR)比出发前增加12%(P<0.05)。居留南极圈内15
期刊
南极
考察队员
肺功能
antarctica expeditioner lung function
商业地产售后返租模式的若干问题
<正>维护房地产市场良好秩序、防范市场风险一直是房地产调控的重中之重。近年来,由于制度和监管体系的不完善,售后返租等房地产销售模式因违规操作引发了一系列风险问题。本
期刊
售后返租
《商品房销售管理办法》
风险系数
商业地产
房地产市场
新课改背景下小学班主任角色转换问题及对策研究
<正>一、课题提出1、我国课程改革的需要课程在学校教育中处于核心地位,教育的目标、价值主要通过课程来体现和实施,学校课程是把教育理想转化为教育现实的纽带,因而课程改革
会议
北京地下空间的利用与开发
分析了地下空间总体效益,重点针对目前地下工程-如:地下交通工程,地下文化娱乐设施,地下公共服务设施,地下商业建筑,地下储存设施,地下市政工程与管网等现状,从统一规划、政策立法、科
期刊
地下空间
开发
地下建筑
the underground space
exploitation
efficiency
“面向职业”的中职语文教学改革探讨
面向职业的中职语文教学,要基于核心要素,注重面向职业的语文教学的实践性、功能性,以此让学生经历素养的产生、发展过程,明白素养的内涵,联系生活培养学生素养。如此,中职教师必须
期刊
面向职业
中职院校
语文教学
商品质量指标间相关关系的探讨
按国家标准测定了酱油和食用油的质量指标数值,考查了质量指标间的相关关系.提出了用“商品质量空间”,“商品规范质量空间”和“商品期望质量空间”“拟合”的方法评价商品质量
期刊
相关系数
质量指标
商品
标准
quality faction
correlation coefficient standard
commodity
估计构模误差矩阵范数上界的相关函数算法
在频域中研究复杂多变量系统构模误差矩阵的估计问题用M序列信号给出了构模误差矩阵(或L∞)范数上界的新估值,由于能够在线估计,故可使结构和参数不确定性系统的鲁棒稳定性条件较少
期刊
多变量系统
模型误差
相关函数
误差矩阵
范数
frequency-dormain
multivariable systems
modelling erro
与本文相关的学术论文