M/G/1/∞(E,MV)排队系统的注记

考虑M/G/1/∞(E,MV)排队系统,利用全概率分解技术和Laplace-Stieltjes变换,得到了忙期开始时顾客数的分布律,并给出剩余休假时间分布函数的一种证明.

模态系统MV及其可靠性与完全性

模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型。系统MV的可靠性证明,就是证明它的定理在“所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中”都有效。关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段。任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的。

极地高纬度海域海底地形测绘技术方法研究

极地高纬度地区地理位置独特、自然环境恶劣,全球卫星导航定位精度较差,如何在极地高纬度地区开展海底地形测绘成为研究的热点。为了提高极地高纬度地区海底地形测绘精度,采用POS MV系统与多波束测深系统相结合的方式进行导航定位和扫海测量,以极地某周边海域的地形测绘为例,详细介绍了POS MV系统与多波束测深系统相结合的测量过程及数据处理方法,并进行精度分析。结果表明,采用POS MV系统与多波束测深系统相结合的方式在极地高纬度地区能够达到较好的测量精度,研究内容为极地海洋测绘提供重要参考。