基于扩展Petri网的控制器设计与分析

定义了一类扩展Ｐｅｔｒｉ网及其引发规则、标志矩阵和关联矩阵．并基于矩阵－状态方程，构造了一种适于该网模型分析的启发式算法．提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法，并用上述启发式算法对其进行了分析、验证，最后给出了实例．

跨区域车辆GNSS动态信息交换关键技术研究

跨区域车辆GNSS动态信息交换过程中,存在着区域跨度大,网络结构复杂,数据具有分布、异构、高并发、浪涌等特点。为解决数据传输的高效性和及时性,提高海量数据处理的效率,利用异构GNSS数据高速缓存路由技术、异构集群海量GNSS数据入库技术、异构集群海量GNSS数据入库技术,是解决问题的关键所在。