排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
袁红娟 《计算机工程与应用》2013,(23):106-111
事件序列上挖掘情节规则,旨在发现情节之间的因果关系。基于非重叠的最小发生的支持度定义及深度优先搜索策略,提出在事件序列上挖掘无冗余情节规则的GFExtractor算法。利用非生成子情节的剪枝策略,淘汰非生成子情节;利用向前、向后扩展检查,淘汰非闭情节;最终在情节生成子集Gen与频繁闭情节集FCE之间产生无冗余的情节规则。实验结果证实了算法在事件序列上挖掘无冗余情节规则的有效性。 相似文献
2.
交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性。然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析。 相似文献
3.
袁红娟 《南京师范大学学报》2013,(4):51-56,75
在事件序列上挖掘频繁闭情节时,为避免维护频繁情节集,加快挖掘进度,提出基于双向扩展的频繁闭情节挖掘算法BIDEFCE.该算法基于非重叠的最小发生的支持度定义和深度优先搜索策略,在生成新频繁情节的同时,采用向前和向后扩展检查,尽早判断并淘汰非闭情节,将待定情节加入频繁闭情节超集FCE中.然后再对FCE中的情节进行闭合性检查,保留真正的闭情节.该算法避免维护频繁情节集,只需维护频繁闭情节超集,节省存储空间,提高运行效率.实验证实BIDEFCE算法在事件序列上能有效挖掘频繁闭情节. 相似文献
4.
5.
6.
随着多媒体技术和Internet的日益普及,远程网络教学得到广泛的应用。充分利用最新的.NET和XML等技术,开发基于校园网的远程网络教学平台。实现教学资源共享,为学生提供一个跨越时间、空间限制的协同式教学平台。 相似文献
1