排序方式: 共有68条查询结果,搜索用时 203 毫秒
1.
提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验.协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性.事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型,模型检查算法对建立的状态模型进行检测,最终得到性质检测结果.本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测. 相似文献
2.
3.
属性约简在教学质量评估系统中的应用 总被引:1,自引:0,他引:1
粗集是一种处理不精确的、不一致的、不完整的各种不完备信息,并从中发现隐含的知识,揭示潜在规律的方法,可以应用于数据挖掘,其中属性约简和核是粗集的核心内容。在教学质量评估系统中,为了得出评价的规律,必须对收集的众多信息指标进行处理,其中有些指标是关键的,获取这些指标有助于提高管理的成效。文中应用粗集理论对教学质量评估指标进行约简,获取最优的指标,在教学管理中有很大的价值。 相似文献
4.
5.
一种新的属性约简算法 总被引:1,自引:0,他引:1
杨宝华 《计算机技术与发展》2006,16(5):80-82
粗集是一种处理模糊和不确定性数据的工具,属性约简和核是粗集理论的核心内容,经过约简后的数据更有价值,更能准确地获取知识。很多属性约简算法以核为起点,计算繁杂。文中提出并分析了后删除属性约简算法,该算法不需要计算核,节约时间,减少占用空间,简化求解过程。文中以实例验证了算法的正确性。 相似文献
6.
心理障碍是许多种类的心理功能异常的统称。它是人的思维和现实关系失调的情况下,对客观现实的歪曲反映,并且影响到人的行为活动,损害了人适应校园生活和社会生活的能力。这些心理障碍如不及时加以引导与矫正,不仅影响家庭生活的安宁,也会给学校和社会带来困难。 相似文献
8.
9.
10.
以2005年-2016年小麦最低收购价为因变量,影响粮食最低收购价相关因素为自变量,构建基于支持向量机(SVM)的粮食最低收购价预测模型,并采用遗传算法(GA)对支持向量机参数进行优化。结果表明,支持向量机能够很好地预测粮食最低收购价,且预测2017年小麦最低收购价在120.88元/50kg上下浮动。 相似文献