简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立集I,都有G-I有完美匹配,则称G是独立集可削去的因子临界图.如果图G不是独立集可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+xy是独立集可削去的因子临界图,则称G是极大非独立集可削去的因子临界图.本文刻画了极大非独立集可削去的因子临界图.
简介:首先运用Phillips定理和Fattorini定理证明M/Mk,B/1排队模型概率瞬态解的存在唯一性,然后通过研究对应于M/Mk,B/1排队模型的主算子的共轭算子的豫解集得到该主算子的豫解集:在虚轴上除了零点外其它所有点都属于该主算子的豫解集.
简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立集1,都有G-I有完美匹配,则称G是独立集可削去的因子临界图.如果图G不是独立集可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+zy是独立集可削去的因子临界图,则称G是极大非独赢集可削去的因子临界图.本文刻画了极大非独立集可削去的因子临界图.
简介:行进间对准技术能够使惯导在运动状态下完成系统初始化,它对于提高载体机动能力具有重要作用。与静基座对准不同,行进间对准通常需要利用外部设备(在陆用导航领域,通常使用GPS或里程计)提供载体运动信息对惯性导航系统输出进行补偿和修正。由于里程计辅助的行进间对准具有全自主的特点,因而被广泛采用。本文通过对里程计误差进行合理建模,并采用位移增量匹配方法实现了里程计和惯导系统的组合。同时,针对复杂路面环境下由于车体侧滑、空转等造成里程计测量失准等故障现象进行有效诊断,以此提高了组合导航系统的可靠性。通过行进间对准试验,结果表明由里程计辅助的惯导系统经过10min初始对准,航向误差小于0.05°,精度和静基座相当。