学科分类
/ 13
255 个结果
  • 简介:本文考虑线性约束条件下连续与半微的伪线性(既伪凸又伪凹)函数的优化问题.使用伪线性函数的性质推导了解集的一般表达式,并基于用右侧导数代替既约梯度的广义凸单纯形法,给出了唯一解的条件以及当唯一性条件不满足时求出解集的计算步骤,最后给出了算例。

  • 标签: 非线性优化 解集 广义凸单纯形法 半可微函数 伪线性 右侧导数
  • 简介:发现没?街头上美女越来越少了,可是帅哥越来越多!发现没?过去的地铁站到处都是属“狼”的哥们,四处打量身边的美女;可是现在呢?是MM们站在那里欣赏帅哥,还旁若无人地对一些帅哥品头论足,再不然就直接过去搭讪.人们说男宠时代来临了,你想男宠吗?

  • 标签: 宠物 男人 地铁站 美女
  • 简介:通过对局部凸空间上凸函数微性的讨论,首先建立了关于凸函数β微性的特征定理;定义在局部凸空间E的非空开凸子集D上的每个连续凸函数f均在D的一个稠密的子集上β-微(也称E具有β-LP性质)的充分必要条件为其对偶E“中的每个w~*紧凸子集均是自己w~*一β暴露点的w~* 闭凸包;然后进一步证明了E~*上的w~*一β扰动优化定理成立,即定义在E~*的每个有界w~*闭集A~*上的w 下半连续有下界的函数g以及每个ε >0均存在x0 A及x E满足使得(g+x)(x )=infA (g+x)且{xi } A ,(g+x)(xi )→infA (g+x)推出xi -xo ,当且仅当E具有β-LP性质.

  • 标签: 变分原理 扰动优化 实值函数 局部凸空间 可微性
  • 简介:本文就可测函数是连续函数的推广做了进一步的论述。证明了任意测集合上的连续函数都是测函数。证明过程启发人们对测函数的结构进行更好的研究并由此对鲁津定理的理解更深透.

  • 标签: 可测函数 F_σ型集
  • 简介:针对亚轨道重复使用运载器(SRLV)的应用需求,在将卫星投送到预定轨道同时确保SRLV安全返回的前提下,对基于记忆原理的轨迹/总体参数一体化优化方法进行了研究。记忆优化算法是一种具有全局收敛性的随机搜索方法,每次搜索的试探解优劣状态由记忆元来存储。利用记忆原理的记忆增强和遗忘规律来衡量优化搜索过程中试探解的状态,并以燃料最省作为优化指标。同时采用三种不同的搜索策略,实现对试探解的随机搜索,避免陷入局部极小问题,并以此来提高搜索速度。仿真表明:卫星入轨速度偏差小于2m/s,高度偏差小于10m,轨道倾角偏差小于0.0001°。SRLV最终与着陆场的位置偏差小于100m,速度偏差小于5m/s。相较于传统的轨迹优化方法,新方法适用于复杂的轨迹/参数一体化优化问题,搜索速度快,求解精度高,有利于算法在工程实际中的应用与推广。

  • 标签: 亚轨道可重复使用运载器 一体化优化 记忆原理 试探解 随机搜索
  • 简介:n为非负整数序列,若存在以该序列为度序列的图,则称n为图的,特别的,若此图是一个定向图,该序列则称为是定向图的,本文提出了一个判断序列是否为定向图的充分必要条件,并且在定理的证明过程中给出了一个在定理条件下构造所求定向图的有效算法。

  • 标签: 定向可图 度(偶)序列 定向图
  • 简介:设G是一个有限的简单连通图.D(G)表示V(G)的一个子集,它的每一个点至少有一个最大匹配不覆盖它.A(G)表示V(G)-D(G)的一个子集,它的每一个点至少和D(G)的一个点相邻.最后设C(G)=V(G)-A(G)-D(G).在这篇文章中,下面的被获得.(1)设u∈V(G).若n≥1和G是n-扩的,则(a)C(G-u)=和A(G-u)∪{u}是一个独立集,(b)G的每个完美匹配包含D(G-u)的每个分支的一个几乎完美匹配,并且它匹配A(G-u)∪{u}的所有点与D(G-u)的不同分支的点.(2)若G是2-扩的,则对于u∈V(G),A(G-u)∪{u}是G的一个最大障碍且G的最大障碍的个数是2或者是|V(G)|.(3)设X=Cay(Q,S),则对于u∈Q,(a)A(X-u)==C(G-u)和X-u是一个因子临界图,或者(b)C(X-u)=和X的两部是A(X-u)∪{u}和D(X-u)且|A(X-u)∪{u}|=|D(X-u)|.(4)设X=Cay(Q,S),则对于u∈Q,A(X-u)∪{u}是X的一个最大障碍且X的最大障碍的个数是2或者是|Q|.更多还原

  • 标签: 匹配 n-可扩 障碍 CAYLEY图
  • 简介:称图G为导出匹配图扩的(简称为IM-扩的),如果图G的每一个导出匹配都包含在G的一个完美匹配中.本文给出了导出匹配扩图的一些局部运算.

  • 标签: 完美匹配 导出匹配 IM-可扩的
  • 简介:本文引入一类特殊的实值函数(模),并由此对Banach空间上凸函数的Fréchet微性,更一般地,β-微性进行了特征刻画.

  • 标签: 凸函数 可微性 次微分 连续模
  • 简介:设Sn是那个对称群让={1,2,…n},B^*中所有对对换的集合和B包含于B^*,关于B的对换图W,被定义为V(Wn)=,E(Wn)={[uv]L[uv]:(uv)∈B}。如果Wn是一棵树,则这个对换图称为一棵对换树Tn。Tn是Sn的一个极小生成集。在这篇文章里,我们研究了Cayley图Cay(Sn,Tn)的性质,证明了Cay(Cn,Tn)是(n-1)-扩的,即,Cay(Sn,Tn)的扩性达到最大。

  • 标签: CAYLEY图 对称群 n-可扩
  • 简介:称图G为导出匹配图扩的(简称为IM-扩的),如果图G的每一个导出匹配都包含在G的一个完美匹配中.本文给出了导出匹配扩图的一些局部运算.更多还原

  • 标签: 完美匹配 导出匹配 IM-可扩的
  • 简介:若图G的一个匹配M也是G的点导出子图,则称M是图G的一个导出匹配.我们称图G是导出匹配扩的,若它的任何一个导出匹配可以扩充成一个完美匹配.本文我们讨论无爪图的导出匹配扩性,得出如下结论,并同时指出这些结果是最好可能的.设图G是有2n个顶点的无爪图,1.若图G是最小度大于或等于2[n/2]+1,则图G是导出匹配扩的.2.若图G是局部2连通的,则图G是导出匹配扩的.3.若图G是k正则的k≥n,则图G是导出匹配扩的.

  • 标签: 无爪图 导出匹配可扩性 顶点 局部2连通图 完美匹配
  • 简介:本文介绍有限维齐次马尔夫模型,尤其引入几种在会计学上广泛使用的应用型马尔夫模型,诸如估价、成本分配、计划和控制等问题,而该模型可能应用的范围不仅是本文中所列举的一些例子,还可广泛推广到物理学、生物学、工程科学及其他社会科学等领域。

  • 标签: 马尔可夫模型 应收帐款 成本分配 状态空间 生产部门 吸收状态
  • 简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立集I,都有G-I有完美匹配,则称G是独立集削去的因子临界图.如果图G不是独立集削去的因子临界图,而对任意两个不相邻的顶点x与y,G+xy是独立集削去的因子临界图,则称G是极大非独立集削去的因子临界图.本文刻画了极大非独立集削去的因子临界图.

  • 标签: 独立集 独立集可削去的因子临界图 极大非独立集可削去的因子临界图
  • 简介:首先用微分中值定理推出了Newton-Leibniz公式,同时也用Newton-Leibniz公式推出了三个微分中值定理,从而证明了微分中值定理与Newton-Leibniz公式互相证明.

  • 标签: 微分中值定理 NEWTON-LEIBNIZ公式 互相证明
  • 简介:设Sn是那个对称群.让〈n〉={1,2,…,n},B*表示Sn中所有对换的集合和BB*.关于B的对换图Wn被定义为V(Wn)=〈n〉,E(Wn)={[uv]:(uv)∈B}.如果Wn是一棵树,则这个对换图称为一棵对换树Tn.Tn是Sn的一个极小生成集.在这篇文章里,我们研究了Cayley图Cay(Sn,Tn)的性质.证明了Cay(Sn,Tn)是(n-2)-扩的,即,Cay(Sn,Tn)的扩性达到最大.

  • 标签: CAYLEY图 对称群 n-可扩