分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone...分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.展开更多
LTE通信的诞生与其更高的上下行速度,使其衍生出了各种人性化、智能化的终端设备。其中就会提到近来较为流行以及未来必将大放异彩的车辆智能驾驶以及车辆云端控制。要实现车辆智能驾驶以及车辆云端控制,必须必备一种技术。我们称之为V2...LTE通信的诞生与其更高的上下行速度,使其衍生出了各种人性化、智能化的终端设备。其中就会提到近来较为流行以及未来必将大放异彩的车辆智能驾驶以及车辆云端控制。要实现车辆智能驾驶以及车辆云端控制,必须必备一种技术。我们称之为V2X(vehicle to everything)。文章将围绕ECU与TBox进行展开。展开更多
文摘分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.
文摘LTE通信的诞生与其更高的上下行速度,使其衍生出了各种人性化、智能化的终端设备。其中就会提到近来较为流行以及未来必将大放异彩的车辆智能驾驶以及车辆云端控制。要实现车辆智能驾驶以及车辆云端控制,必须必备一种技术。我们称之为V2X(vehicle to everything)。文章将围绕ECU与TBox进行展开。