序列中重复模式的识别与提取算法在数据挖掘、模式识别、数据压缩、生物信息学等领域中具有广泛的实际应用.提出一种全新的基于QSA数组计算所有带有约束条件的NE重复模式的算
概念模型验证是保证概念模型正确、可信的重要手段.针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,
阐明了"多层智能状态空间"建模方法的研究现状,针对复杂大系统建模中的不确定性与不确知性,尤其是人为主观造成的模糊性与采样数据随机性并存的问题,结合云模型的相关理论和
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器,本文首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制.在建模的过程中,详细的考虑
近年来,随着社会性网络服务应用(SNS)的流行与发展,SNS已成为人与人之间重要的交流渠道.SNS中大量用户产生的数据内容包含了社会网络中信息传播的客观知识,由此SNS可用于研究社
对不协调决策表中基于对象的近似约简问题展开研究.首先,给出近似约简的判定定理;其次,通过区分矩阵与区分函数给出约简的计算方法;最后,通过实例验证,决策表中基于对象的近
本文主要论述网络环境下档案信息化建设过程中存在的保密安全隐患,对保密安全技术进行分析与探讨.
本文在笔者科技档案有意识形成性原有认识的基础上,根据十几年来有关档案形成规律的争论,阐明了对档案形成规律的再认识,也进一步明确了档案“有意识形成论”的内涵.
数学论坛、Wiki等社会性网站对数学教育的影响日益增长,数学公式广泛存在这些网站中,如何对这些网站中的数学公式进行搜索,对学习和科研非常重要。数学公式提取是索引系统的
异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效.提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出