简介：文章通过对EFM（effectivefieldmodeling）模型进行简化,消除了原模型的非守恒性项和非双曲性特性项,发展了一种基于密度的气液两相流模拟方法：ρ-VOF方法.利用体积分数信息对控制单元内的自由界面进行重构,得到了控制单元内流体的空间分布,并采用AUSM^＋-up格式获得考虑气液流体接触间断信息的对流通量.新方法可统一处理激波间断和接触间断的相互作用,保持自由界面的尖锐性,并且其计算量与自由界面的空间复杂度无关.最后,数值模拟了液体激波管气液激波管和气体激波跨二维液滴传播等问题,并与文献结果进行对比,验证了本方法在气液两相流模拟中的准确性.

简介：本文利用马氏骨架过程理论讨论了冷贮备可修系统的可靠性．该模型由两个不同型部件，一个修理工组成，部件的寿命和修理时间均服从一般分布．

简介：我们给出每个绝对Henstock可积函数都是Mcshane可积的一个新的证明。

简介：本文就可测函数是连续函数的推广做了进一步的论述。证明了任意可测集合上的连续函数都是可测函数。证明过程可启发人们对可测函数的结构进行更好的研究并由此对鲁津定理的理解更深透．

简介：项目群的决策是项目群管理的一个重要组成部分，是一个涉及众多不确定性因素的系统工程。本文给出项目群中子项目的评价依据，在此基础上，将二元语义信息处理的方法应用于项目群决策，给出了基于二元语义信息处理的项目群决策的算法步骤，最后通过一个算例，说明该方法的有效性和实用性。

简介：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｜.更多还原

简介：研究了设备可制造性评价过程，建立了设备可制造性综合评价体系，给出了设备可制造性综合评价的方法。

简介：本文依据群体语言评价信息特点,基于二元语义信息处理、理想点评价模型及聚类分析等方法,给出了基于二元语义评价信息并适用于层次结构的个体优势特征识别方法;对某企业的文化优势特征进行识别,演示了方法的使用过程,并说明了所提方法的可行性和有效性。从二元语义的评价信息中,本方法能够比较充分地挖掘和体现被测行为主体的个体优势特征,能够为决策者提供多种维度的决策信息。

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

简介：给出关于可列非齐次马尔可夫链M元状态序组出现频率的一个新形式的强极限定理及其推广，所得结论对任意可列非齐次马尔可夫链普遍成立．

简介：本文引入一类特殊的实值函数（模），并由此对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）的可扩性达到最大。

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

简介：若图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是导出匹配可扩的．

简介：本文介绍有限维齐次马尔可夫模型,尤其引入几种在会计学上广泛使用的应用型马尔可夫模型,诸如估价、成本分配、计划和控制等问题,而该模型可能应用的范围不仅是本文中所列举的一些例子,还可广泛推广到物理学、生物学、工程科学及其他社会科学等领域。

简介：我“是个gay！”借着酒吧嘈杂的喧闹声，我终于听清楚阿剑的话。我当时的表情一定很难看，也很可笑，因为我从他脸上看到了前所未有的同情，

简介：记D（x）是使得TD（x，n）存在的最小的数．本文给出D（x）的一个上界．

简介：如果对一个简单图G的每一个与G的顶点数同奇偶的独立集I,都有G-I有完美匹配,则称G是独立集可削去的因子临界图.如果图G不是独立集可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+xy是独立集可削去的因子临界图,则称G是极大非独立集可削去的因子临界图.本文刻画了极大非独立集可削去的因子临界图.

简介：首先用微分中值定理推出了Newton-Leibniz公式,同时也用Newton-Leibniz公式推出了三个微分中值定理,从而证明了微分中值定理与Newton-Leibniz公式可互相证明.