基于参与冲突分析次数的动态学习子句评估策略

针对现有学习子句评估策略的单一性,提出一种基于学习子句参与冲突分析次数的评估策略,并将该策略分别与经典的文字块距离评估策略和活跃值评估策略结合,形成两个动态学习子句评估策略。基于2018年SAT国际竞赛部分基准实例,将动态评估策略与原评估策略进行参数适应性对比实验,并通过2018和2017年的基准实例进行评估。结果表明动态评估策略能更好地评估学习子句的质量,由此生成的求解器在求解数量和速度方面表现出较好的求解性能。     

权值法冲突解决策略的研究及其在保护动作行为分析中的应用

将基于权值法的冲突解决策略,应用于专家系统的推理机设计,提高推理机的效率及结果的可靠性。首先按模型诊断的原理求解并获取冲突集,随后按照不确定性推理的理念,将冲突集中对应的专家系统规则库的每一条规则赋予权值,按照权值大小的不同对冲突集中规则的优先级进行排序,从而确定该冲突集的启用规则。将此冲突解决策略,应用于专家系统的正向推理过程,同时结合继电保护的动作情况原理,实现专家系统推理机的优化与改进。     

独立院校“双师型”教师队伍建设——校企联合模式矛盾分析

独立学院人才培养目标是要培养应用型人才,这就需要建设一支既有扎实理论知识,又有丰富实训经验的培养应用型人才的＂双师型＂教师队伍.＂双师型＂队伍建设的有效途径有多种,而其中通过校企联合实现队伍建设的模式最行之有效.我国校企联合模式存在一定的矛盾冲突.对校企联合模式存在诸多矛盾进行分析的同时,提出了解决矛盾的相应建议.     

一种基于图像边缘的快速模板匹配方法

提出了一种基于边缘的快速模板匹配方法,算法首先把模板二值化,根据传统标记目标区域的方法对二值化后的模板图进行标记,利用八临域判别准则提取各个区域的边界,在匹配时只匹配区域边界上的点,同时设定阈值,若前面n个点与模板图的前n个点的绝对差和超过阈值,则跳过该搜索区域。实验结果表明,不仅减少了匹配计算量,而且能够保证匹配的精确性。     

基于MPLS与BGP的VPN构建与应用研究

针对GRE、IPSEC构建的虚拟私有网络存在数据隔离、互访控制难于实现等问题。文章分析了产生这些问题的根源,提出采用MPLS和BGP技术构建虚拟私有网络的设计思想,并通过仿真平台加以验证。实践证明,采用这种方法在解决路由冲突、数据隔离、站点间访问控制等方面要优于传统的VPN技术。     

产品协同设计的冲突消解方法研究

冲突在协同设计过程中是不可避免的，有效的冲突消解方法对协同设计的顺利进行是十分重要的。本文分析了协同设计过程中冲突产生的原因和特点，对协同设计过程中冲突消解的各种方法进行了研究。     

三峡-成都水调自动化系统数据库双向复制的应用实施

结合三峡-成都水调自动化系统数据业务特点和数据双向复制的应用实施方案,针对实施过程中的数据的冲突、数据区域权限管理等挑战以及运行效果进行了阐述和分析,具有重要实际意义和应用价值。     

一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法

软件定义网络SDN(Software-Defined Networking)是由美国斯坦福大学Clean Slate研究组提出的一种新型网络创新架构,可通过软件编程的形式定义和控制网络,其控制平面和转发平面分离及开放性可编程的特点,为新型互联网体系结构研究提供了新的实验途径,也极大地推动了下一代互联网的发展.OpenFlow是SDN的主要协议,定义了SDN控制器与交换机之间的通信标准.目前,很多基于OpenFlow的SDN设备已经在实际中得到了部署.但是,基于OpenFlow的SDN却面临很多安全挑战.其中一个重要的挑战是如何建立一个安全可靠的SDN防火墙应用.由于OpenFlow协议的无状态性,现有的SDN防火墙可以被通过改写交换机中的流表项轻松绕过.针对这一安全威胁,作者提出了基于Flowpath的实时动态策略冲突检测与解决方法.通过获取实时的SDN网络状态,能够准确地检测防火墙策略的直接和间接违反,并且一旦发现冲突,可以基于Flowpath进行自动化和细粒度的冲突解决.最后,作者在开源控制器Floodlight上实现了一个安全增强的防火墙应用FlowVerifier,并基于Mininet对FlowVerifier的性能进行了评估.结果表明FlowVerifier能够检测和自动化地解决SDN网络中由于流表改写而引入的策略冲突及其带来的安全威胁.     

Variable precision intuitionistic fuzzy rough set model and applications based on conflict distance

Due to the complexity and uncertainty of the physical world, as well as the limitation of human ability to comprehend, it is very difficult for any single method of uncertainty to effectively deal with the decision‐making problem that exists in real life. So, it is natural for us to think about incorporating the advantages of various theories of uncertainty to develop a more powerful hybrid method of soft decision‐making. In view of this recognition, the thought and method of intuitionistic fuzzy sets and variable precision rough sets are used to construct a novel intuitionistic fuzzy rough set model. With respect to the fact that the information system is intuitionistic fuzzy, the idea of measuring intuitionistic fuzzy similarity is used to define conflict distance. After that, this concept is combined with the variable precision rough sets so that a variable precision intuitionistic fuzzy rough set model is established, and its properties are investigated. After proposing an attribute reduction algorithm based on variable precision intuitionistic fuzzy rough sets, a case study is used to verify the feasibility and effectiveness of our novel model. The results show that our model indeed improves the classification ability of earlier models and possesses some ability to tolerate faults through adjusting the parameter λ and the confidence threshold β; it realizes the correct classification and extracts the decision rules.     

一种基于节点密度分割和标签传播的Web页面挖掘方法

获取Web页面中的重要内容如文本和链接,在许多Web挖掘研究领域有着重要的应用价值.目前针对该问题主要采用Web页面分割和区块识别的方法.但现有的方法将Web页面中重要文本和链接的识别视为两个相互独立的问题,这种做法忽略了Web页面中文本和链接的内在语义关系,同时降低了页面处理的效率.文中提出了一种Web页面重要内容挖掘的统一框架,该框架主要由3个部分组成:第一,先将Web页面转换为DOM树表示,然后采用节点密度熵为度量将DOM树分割为不同的页面块;第二,采用基于K最近邻标签传播的半监督方法自动扩展页面块训练集;第三,在扩展的页面块训练集上对SVM分类器进行训练,并用来对页面块进行分类.采用该框架可以将Web页面块区分为多种类型,并且该框架独立于Web页面的类型和布局.我们在真实的Web环境下进行了广泛的实验,实验结果表明了该方法的有效性.