基于AOS格式的扩展Chan-Vese模型及多水平集图像分割方法

对Chan-Vese提出的基于Mumford-Shah模型的多水平集图像分割算法作了改进.首先,使用AOS算法改进了原模型的差分格式,使得差分格式无条件稳定.其次,在水平集的构造中应用了快速推进法的改进算法,减少了水平集初始化时计算的点数和重复次数.     

信用支付条件下需求不确定的最优订购模型

针对零售商需求不确定的情况,给出了在模糊环境下基于信用支付的库存模型,并运用符号距离法将模糊模型转化为确定模型,给出了求解该模型的简便算法,进而确定零售商的最优订货策略。     

图与补图的符号圈控制数

设γs′c(G)表示一个图G的符号圈控制数,G表示图G的补图,该文证明了:对任意n阶图G,均有γs′c(G) γs′c(G)≥(n-1)(n-8)/2,讨论了几类直和图的符号圈控制数,并提出了若干问题和猜想.     

两类特殊图的符号控制数

图的符号控制理论与局部占优有关,而一般图的符号控制数难以给出具体的计算公式,同时,在图的应用过程中,某些特殊图的使用比较常见,因此,得到这些特殊图的符号控制数是十分必要的.通过对两类特殊图的符号控制数进行研究,给出它们的符号控制数的表达式.     

基于SDG和灰色聚类的系统故障风险评估方法

开展风险评估研究对于提高民航安全具有重要意义.传统的系统故障风险评估的分析对象是故障模式,在实际中一个故障模式往往可作为另一故障模式的原因或者影响,故障影响是一个逐渐变化的过程.为更准确、客观地评估系统故障风险,本文把故障模式的传播过程描述为一故障链,运用SDG模型推理得出故障模式导致的各种故障序列,将故障模式及其各种后续故障序列看作灰色系统,将风险评估过程视为一灰色系统工程,用灰色聚类决策对这些序列进行风险评估,解决了风险评估过程中评价指标和属性值难以确定和量化,风险分析和评估缺乏系统性和一致性的问题.应用实例表明,基于SDG和灰色聚类决策的风险评估方法能有效地应用于民机系统故障风险评估.本论文研究结果对于复杂系统的故障风险分析具有重要的参考价值.     

量化带标公式的消解

首先引入量化带标公式,然后研究了量化带标公式的消解并且证明其健全性和拒绝完备性.另外,还引入了二元消解并证明其针对正规量化带标公式(一个量化带标公式的子集)是健全的和拒绝完备的.最后证明如果正规量化带标公式的每一个子句如果最多包含两个文字,则该公式的可满足性问题是易解的.     

关于图的符号边全控制

设γ’st(G)表示图G的符号边全控制数,给出了一般图G和超立方体的符号边全控制数的一个下界和一个上界,计算了等完全二部图的符号边全控制数的精确值。     

基于软件中央控制器的多媒体教学系统实施方案

 本研究以《多媒体教学环境的工程建设规范[2]》为标准,提出了纯软件的中央控制器的设计的思想,并设计了由纯软件中央控制器组成的多媒体教学系统的解决方案。     

Decompositions of Revised Monotone Signed Fuzzy Measures

The concept of fuzzy measure was introduced by Sugeno in 1974. A notion of signed fuzzy measure is introduced in this paper, and its elementary properties are briefly discussed. An analogue of Hahn decomposition theorem is established under the null-null-additive condition. A version of the Jordan decomposition theorem is proved under the null-additive condition.     

完全图的全符号控制数

设G是n个顶点的完全图,得到了完全图的全符号控制数。