描述逻辑εL循环术语集的保守扩充

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz 等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox 具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。     

改建城市控制网的探讨与实践

阐述了进一步实现城市控制网现代化建设的目标和原则,提出在有条件的大城市中宜先建立基于ITRF的三维地心坐标系,并由此而精确地转换到已有的相对独立的平面坐标系统。据此在宁波市进行了实践,实现了GPS附合网真三维平差,转换模型中采用了与城市投影面最优拟合的区域性椭球面,并据此开发研制了相应的GPS networks平差转换新软件。按这种不同于常规的数据处理方法所得到的2004年宁波市基本控制网的结果,圆满地达到了预期目的,并已作为正式成果使用。     

乾隆年间河东盐商经营贸易额的估算

河东盐商是晋商群体的重要组成部分,但目前对盐商经营贸易数量方面的研究相对较少。本文分析了河东盐商在清代乾隆年间运销河东盐中的经营情况,对运商在乾隆年间的食盐售价及贸易额等方面进行了估算。