学科分类
/ 5
93 个结果
  • 简介:本文利用马氏骨架过程理论讨论了冷贮备系统的可靠性.该模型由两个不同型部件,一个修理工组成,部件的寿命和修理时间均服从一般分布.

  • 标签: 冷贮备系统 马尔可夫骨架过程 可靠性 修理
  • 简介:基于绩效保障模式,设计了一个由备件仓库和维修车间组成的装备部件闭环保障系统,推导了备件库存水平状态的稳态概率分布,计算了可用度等几个保障绩效度量指标,建立了基于可用度约束的保障系统运作优化模型,并通过仿真分析探讨了保障系统运营管理策略问题。

  • 标签: 绩效保障 可修部件 备件库存水平 可用度 运营管理
  • 简介:TH7032005031635MOCVD-Ga0.4In0.6As0.85P0.15/InP分布布喇格反射镜的反射率=ReflectivityofMOCVD-Ga0.4In0.6AS0.85P0.15/InPdistributedBraggreflectors[刊,中]/蒋红(中科院长春光机所激发态物理重点实验室.吉林,长春(130033)),金亿鑫…∥发光学报.-2004,25(6).-686-690采用MOCVD方法,获得高质量的InP和较高质量的GaxIn1-xAsyP1-y外延层,通过GaxIn1-xAsyP1-y/InP交替生长制备出在工作波长为1.55μm时具有较高反射率的分布布喇格反射镜。根据光在多层介质膜中传播的传递

  • 标签: 二元光学透镜 光学系统 二级光谱 干涉光谱仪 大口径光学元件 几何光学
  • 简介:本文就可测函数是连续函数的推广做了进一步的论述。证明了任意测集合上的连续函数都是测函数。证明过程启发人们对测函数的结构进行更好的研究并由此对鲁津定理的理解更深透.

  • 标签: 可测函数 F_σ型集
  • 简介: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图
  • 简介:利用MATLAB软件模拟了核裁军核查领域中用于核部件认证的中子计数截断成像方法的处理流程,研究了该方法的有效性和入侵性。通过引入截断矩阵,使该方法具备了通过调节截断参数改变入侵性的能力。数值模拟结果表明,通过限制探测器计数方式,可以在满足认证结果有效的同时,降低主动中子成像技术的入侵性。

  • 标签: 军控核查技术 铀部件认证 中子成像 截断计数器
  • 简介:称图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连通图 完美匹配
  • 简介:本文介绍有限维齐次马尔夫模型,尤其引入几种在会计学上广泛使用的应用型马尔夫模型,诸如估价、成本分配、计划和控制等问题,而该模型可能应用的范围不仅是本文中所列举的一些例子,还可广泛推广到物理学、生物学、工程科学及其他社会科学等领域。

  • 标签: 马尔可夫模型 应收帐款 成本分配 状态空间 生产部门 吸收状态
  • 简介:本文采用补充变量法,讨论了修理工带有有限次休假的n部件串联系统的可靠性。得到了系统的可用度、失效频度、等待修理的概率和平均更新时间等主要可靠性指标,并给出了模型的特例及系统的效益分析。

  • 标签: 运筹学 休假串联系统 补充变量法 失效频度 效益