-
公开(公告)号：CN108712224B
公开(公告)日：2019-07-16
申请号：CN201810443556.6
申请日：2018-05-10
申请人： 西安电子科技大学
IPC分类号： H04L12/761 , H04J3/06
摘要： 本发明公开了一种最小时延最大匹配的时间触发业务调度表生成方法。主要解决现有技术在生成调度表时TT业务时延大，网络链路利用率低的问题。其包括：获取业务参数和网络参数，并计算业务调度的矩阵周期和基本周期；将TT业务的传输时间点放入矩阵周期的一个或多个基本周期内，生成源端系统的TT业务带宽预案；采用最大匹配算法，对TT业务进行调度优先级排序，分配源端系统各基本周期中TT业务的发送时间，依次生成源端系统的发送表、交换机的接收表和发送表以及目的端系统的接收表。本发明生成的调度表能保证各网络节点有序、无冲突地传输TT业务，提高了链路利用率，且TT业务总时延最小，可用于时间触发以太网中TT业务的调度。
-
公开(公告)号：CN106326365B
公开(公告)日：2019-06-21
申请号：CN201610655018.4
申请日：2016-08-10
申请人： 电子科技大学
摘要： 本发明公开了一种基于铁路WebGIS的应用接口实现方法及应用系统。本发明在铁路WebGIS的基础上，结合地理信息数据库和铁路业务数据库，实现铁路上的相关应用。其主要包括：铁路公里标相关操作，以分块存储查找的方式实现铁路线上的精确定位，及在铁路线上按条件查询打点等；铁路区域告警，对铁路中的事故区域进行高亮告警显示，可警示工作人员，及快速查询事故周边的物资情况；铁路沿线设备的定位显示，实现设备的快速访问以及在设备位置处的定位显示及查看；铁路线上测距，精确计算出铁路线上任两点间的行车距离，用于铁路线上对路径的完整规划等。本发明在保证系统功能完善的同时，提高了数据访问效率及铁路沿线的设备定位的准确性。
-
公开(公告)号：CN108769285A
公开(公告)日：2018-11-06
申请号：CN201810508062.1
申请日：2018-05-24
申请人： 西安电子科技大学
IPC分类号： H04L29/12
CPC分类号： H04L61/20 , H04L61/6022
摘要： 本发明公开一种时间触发以太网业务的分层编址方法，主要解决现有技术中时间触发以太网端系统在进行发送调度，接收检查，冗余管理时存储资源浪费的问题。其技术方案为：1)将时间触发以太网中时间触发TT业务和速率受限RC业务的业务地址分为设备地址和本地地址两部分；2)为时间触发以太网中的端系统分配设备地址；3)为时间触发以太网中的业务分配本地地址；4)将业务对应的源端系统的设备地址和该业务的本地地址拼接作为该业务的业务地址。本发明提高了时间触发以太网端系统存储资源的利用率，可用于时间触发以太网的时间触发TT业务和速率受限RC业务编址的实现。
-
公开(公告)号：CN108712224A
公开(公告)日：2018-10-26
申请号：CN201810443556.6
申请日：2018-05-10
申请人： 西安电子科技大学
IPC分类号： H04J3/06
CPC分类号： H04J3/0652
摘要： 本发明公开了一种最小时延最大匹配的时间触发业务调度表生成方法。主要解决现有技术在生成调度表时TT业务时延大，网络链路利用率低的问题。其包括：获取业务参数和网络参数，并计算业务调度的矩阵周期和基本周期；将TT业务的传输时间点放入矩阵周期的一个或多个基本周期内，生成源端系统的TT业务带宽预案；采用最大匹配算法，对TT业务进行调度优先级排序，分配源端系统各基本周期中TT业务的发送时间，依次生成源端系统的发送表、交换机的接收表和发送表以及目的端系统的接收表。本发明生成的调度表能保证各网络节点有序、无冲突地传输TT业务，提高了链路利用率，且TT业务总时延最小，可用于时间触发以太网中TT业务的调度。
-
公开(公告)号：CN106326365A
公开(公告)日：2017-01-11
申请号：CN201610655018.4
申请日：2016-08-10
申请人： 电子科技大学
摘要： 本发明公开了一种基于铁路WebGIS的应用接口实现方法及应用系统。本发明在铁路WebGIS的基础上，结合地理信息数据库和铁路业务数据库，实现铁路上的相关应用。其主要包括：铁路公里标相关操作，以分块存储查找的方式实现铁路线上的精确定位，及在铁路线上按条件查询打点等；铁路区域告警，对铁路中的事故区域进行高亮告警显示，可警示工作人员，及快速查询事故周边的物资情况；铁路沿线设备的定位显示，实现设备的快速访问以及在设备位置处的定位显示及查看；铁路线上测距，精确计算出铁路线上任两点间的行车距离，用于铁路线上对路径的完整规划等。本发明在保证系统功能完善的同时，提高了数据访问效率及铁路沿线的设备定位的准确性。
-
公开(公告)号：CN106227514A
公开(公告)日：2016-12-14
申请号：CN201610547503.X
申请日：2016-07-12
申请人： 电子科技大学
摘要： 本发明公开了一种支持多行业的WebGIS中间件，其从上到下依次包括GIS基础层、GIS扩展层和GIS接口层，且每层都向其上一层提供服务，并使用下层提供的服务。GIS基础层通过对不同GIS平台的服务的获取，分别实现各自的地图服务和初始化，GIS扩展层包括所有GIS操作的内部实现，目的是在地图上添加信息点的处理和图层操作，GIS接口层直接为WebGIS应用提应用程序编程接口API，实现GIS数据的信息服务。本发明提供了一个不局限于GIS平台的、且可重用和接口规范的WebGIS中间件，在初次进行中间件开发时能快速完成地图访问和初始化等的开发；在对中间件进行维护或重写时也只需针对新的平台更改实现策略而无需更改中间件的结构和接口规范。
-
公开(公告)号：CN108429707B
公开(公告)日：2020-02-21
申请号：CN201810110044.8
申请日：2018-02-05
申请人： 西安电子科技大学
IPC分类号： H04L12/935 , H04L12/861 , H04L12/931 , H04L12/851 , H04L12/823
摘要： 一种适应不同传输速率的时间触发业务转发器及方法，其转发器包括过滤模块、全互联交换网络模块、调度模块、缓存区模块。方法包括：获取当前窗口信息，预取下一个窗口信息，开启接收窗口，接收数据帧，判断业务识别号正确性，将数据帧写入缓存区，循环冗余校验数据帧，丢弃校验错误和帧长过长的数据帧，关闭接收窗口，将数据帧从缓存区读出并向外部输出，修改当前窗口信息。本发明在时间触发以太网标准下，对交换节点接收的不同传输速率的时间触发业务数据帧进行过滤与转发，同时采用预取下一个窗口调度信息的方式，降低转发器对外部调度信息输入速率的需求。
-
公开(公告)号：CN106227514B
公开(公告)日：2020-03-27
申请号：CN201610547503.X
申请日：2016-07-12
申请人： 电子科技大学
摘要： 本发明公开了一种支持多行业的WebGIS中间件，其从上到下依次包括GIS基础层、GIS扩展层和GIS接口层，且每层都向其上一层提供服务，并使用下层提供的服务。GIS基础层通过对不同GIS平台的服务的获取，分别实现各自的地图服务和初始化，GIS扩展层包括所有GIS操作的内部实现，目的是在地图上添加信息点的处理和图层操作，GIS接口层直接为WebGIS应用提应用程序编程接口API，实现GIS数据的信息服务。本发明提供了一个不局限于GIS平台的、且可重用和接口规范的WebGIS中间件，在初次进行中间件开发时能快速完成地图访问和初始化等的开发；在对中间件进行维护或重写时也只需针对新的平台更改实现策略而无需更改中间件的结构和接口规范。
-
公开(公告)号：CN108429707A
公开(公告)日：2018-08-21
申请号：CN201810110044.8
申请日：2018-02-05
申请人： 西安电子科技大学
IPC分类号： H04L12/935 , H04L12/861 , H04L12/931 , H04L12/851 , H04L12/823
摘要： 一种适应不同传输速率的时间触发业务转发器及方法，其转发器包括过滤模块、全互联交换网络模块、调度模块、缓存区模块。方法包括：获取当前窗口信息，预取下一个窗口信息，开启接收窗口，接收数据帧，判断业务识别号正确性，将数据帧写入缓存区，循环冗余校验数据帧，丢弃校验错误和帧长过长的数据帧，关闭接收窗口，将数据帧从缓存区读出并向外部输出，修改当前窗口信息。本发明在时间触发以太网标准下，对交换节点接收的不同传输速率的时间触发业务数据帧进行过滤与转发，同时采用预取下一个窗口调度信息的方式，降低转发器对外部调度信息输入速率的需求。
-
公开(公告)号：CN106682343B
公开(公告)日：2020-09-25
申请号：CN201710003712.2
申请日：2017-01-04
申请人： 电子科技大学
IPC分类号： G06F30/18
摘要： 本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型，将状态编码；将编码与状态转移关系结合，建立邻接矩阵；将带求规范转化为语法树；将语法树中的操作对应计算公式运用于矩阵中；求出反例，得出结果，查看初始状态是否在最终结果状态集里面，若初始状态不在最终状态集里面，则说明原规范正确，输出true；若初始状态在反规范里面，则原规范是错误的，从初始状态开始，找一条满足反规范的路径，那么该路径就是一条与原规范相斥的反例。本发明的实施，比OBDD构建和化简要简单，可以提高其验证效率。
-
-
-
-
-
-
-
-
-
搜索结果
14 条记录 (耗时 0.032 秒)
