-
公开(公告)号：CN113765708A
公开(公告)日：2021-12-07
申请号：CN202110956792.X
申请日：2021-08-19
Abstract: 本发明公开了一种基于DSL的VLAN配置综合方法。本发明是为解决当前网络管理人员通过人工进行VLAN的分配以及配置，存在手工配置易出错以及链路利用率较低等不足。本发明通过定义DSL，使用户能够利用DSL描述拓扑信息以及自定义策略信息，实现满足拓扑结构和用户策略的VLAN划分以及对应配置生成，减少手工配置可能的错误并提高链路利用率。主要步骤为：1)获得网络拓扑信息；2)获得用户策略；3)VLAN划分；4)配置文件生成。本发明提出的一种基于DSL的VLAN配置综合方法，能够根据用户输入策略自动生成配置文件，减少了手工配置可能产生的错误，并且平衡各个VLAN之间的广播流量代价，提高链路利用率。
-
Patent Agency Ranking
公开(公告)号：CN113765708B
公开(公告)日：2022-06-07
申请号：CN202110956792.X
申请日：2021-08-19
IPC: H04L41/0803 , H04L67/30 , H04L12/46
Abstract: 本发明公开了一种基于DSL的VLAN配置综合方法。本发明是为解决当前网络管理人员通过人工进行VLAN的分配以及配置，存在手工配置易出错以及链路利用率较低等不足。本发明通过定义DSL，使用户能够利用DSL描述拓扑信息以及自定义策略信息，实现满足拓扑结构和用户策略的VLAN划分以及对应配置生成，减少手工配置可能的错误并提高链路利用率。主要步骤为：1)获得网络拓扑信息；2)获得用户策略；3)VLAN划分；4)配置文件生成。本发明提出的一种基于DSL的VLAN配置综合方法，能够根据用户输入策略自动生成配置文件，减少了手工配置可能产生的错误，并且平衡各个VLAN之间的广播流量代价，提高链路利用率。
-
公开(公告)号：CN112532517A
公开(公告)日：2021-03-19
申请号：CN202011220342.6
申请日：2020-11-05
Applicant: 东北大学
IPC: H04L12/721 , H04L29/08 , H04L12/751 , H04L12/24 , G06F9/445 , G06F8/41
Abstract: 本发明是基于领域特定语言实现OSPF协议配置综合方案，用户编写目标网络的策略文件与拓扑文件作为系统图输入，系统检验用户策略的可行性并自动为目标网络路由设备生成满足用户策略的配置文件。方案设计了描述OSPF协议流量策略的高层次语法，设计了验证用户意图可行性的方法，设计了将策略语句转译为一阶逻辑表达式的方法及优化，设计了配置参数生成求解的方法，以及整体系统的流程与架构。本发明能够为用户提供高效、正确的域内网络OSPF协议流量策略的自动配置，极大的减轻用户手动配置的工作量，减少了由于人工配置导致网络故障发生的可能。
-
公开(公告)号：CN112532517B
公开(公告)日：2022-04-05
申请号：CN202011220342.6
申请日：2020-11-05
Applicant: 东北大学
Abstract: 本发明是基于领域特定语言实现OSPF协议配置综合方案，用户编写目标网络的策略文件与拓扑文件作为系统图输入，系统检验用户策略的可行性并自动为目标网络路由设备生成满足用户策略的配置文件。方案设计了描述OSPF协议流量策略的高层次语法，设计了验证用户意图可行性的方法，设计了将策略语句转译为一阶逻辑表达式的方法及优化，设计了配置参数生成求解的方法，以及整体系统的流程与架构。本发明能够为用户提供高效、正确的域内网络OSPF协议流量策略的自动配置，极大的减轻用户手动配置的工作量，减少了由于人工配置导致网络故障发生的可能。
-
公开(公告)号：CN112636958B
公开(公告)日：2022-09-09
申请号：CN202011464295.X
申请日：2020-12-12
Applicant: 东北大学
Abstract: 本发明涉及一种意图驱动网络中的策略自动化验证技术，针对策略在实现时出现的各种问题提出对应的解决方案，首先，针对用户意图中的意图指标、性能参数可能在转译后与用户意图相违背的情况，设计了基于形式化验证的方法来验证意图转译带来的策略不一致性问题。其次针对策略在下发时与网络中现有的策略发生冲突的情况，设计了基于流规则的策略冲突验证的方法。最后针对底层网络资源不够无法满足用户需求，从而导致策略的实现与用户意图违背的情况，设计了基于实时数据库的资源可用性验证的方法。本发明通过对意图转译的策略进行验证，能够有效保证策略实现的正确性。
-
公开(公告)号：CN112636958A
公开(公告)日：2021-04-09
申请号：CN202011464295.X
申请日：2020-12-12
Applicant: 东北大学
Abstract: 本发明涉及一种意图驱动网络中的策略自动化验证技术，针对策略在实现时出现的各种问题提出对应的解决方案，首先，针对用户意图中的意图指标、性能参数可能在转译后与用户意图相违背的情况，设计了基于形式化验证的方法来验证意图转译带来的策略不一致性问题。其次针对策略在下发时与网络中现有的策略发生冲突的情况，设计了基于流规则的策略冲突验证的方法。最后针对底层网络资源不够无法满足用户需求，从而导致策略的实现与用户意图违背的情况，设计了基于实时数据库的资源可用性验证的方法。本发明通过对意图转译的策略进行验证，能够有效保证策略实现的正确性。
-
-
-
-
-
Search Results
6
records
(took 0.016 seconds)
