于枫
- 作品数：31 被引量：87H指数：6
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学理学经济管理更多>>
- 人工智能应用中基于区间代数的时态推理
- 2007年
- 时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用。区间代数是一种独立的与领域无关的时态理论。用区间代数能表示不确定的时态关系,可以很方便的用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理。在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示。
- 凌青华沈继峰胡广鹏于枫
- 关键词：区间代数区间矩阵时态推理人工智能
- 基于T-不变量消除的Petri网合法变迁引发序列判定算法被引量：5
- 2008年
- Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限。因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定。通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败。分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定。
- 于枫罗军舟李伟
- 关键词：PETRI网可达性
- 中外合作办学项目中教学管理系统的设计与实现被引量：2
- 2016年
- 中法合作办学项目是我校中外合作办学项目的重要组成部分。针对中外合作办学项目的特点和具体要求,开发了一个独立的教学管理系统,实现了中外双方教学计划的管理、教学安排、电子校历和课程查询等功能,提高了项目的管理效率。
- 涂娟娟于枫
- 关键词：中外合作办学教学管理
- 时态关系的向量表示及其推理被引量：1
- 2007年
- 作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。
- 于枫胡广朋凌青华
- 关键词：区间代数时态推理
- 面向网络状态的自适应用户行为评估方法被引量：9
- 2013年
- 用户复杂的行为往往会导致网络状态出现波动,破坏网络平稳运行,由于指标及权重的主观性和静态性,传统评估方法难以准确衡量用户行为对网络状态变化的影响程度。因此引入粗糙集理论,构建一种面向网络状态的自适应用户行为评估方法,使用属性约简和属性重要度方法对用户行为和网络状态数据进行挖掘,分析用户行为与网络状态变化的关联程度,以此自适应构建评估指标及权重,并随用户行为变化而动态调整,从而准确地量化用户行为对网络状态变化的影响程度。实验结果表明,该评估方法有助于准确发现造成网络状态变化的用户及其行为,能够为加强对用户行为的管控提供有效支持。
- 陆悠罗军舟李伟于枫夏怒
- 关键词：网络状态粗糙集
- 时间区间关系的定性与定量的混合推理
- 2007年
- 区间代数是一种用来进行定性时态推理的工具,它在人工智能中有着广泛的用途。现实世界中有许多定性的时态信息,也有许多定量的时态信息,将定性的时态信息和定量的时态信息在一起进行混合推理是有意义的,它更加贴近于现实,简化了问题的一致性场景的表示,提高了时态计算的效率。
- 胡广朋于枫夏永锋
- 关键词：区间代数时态推理
- 网络可信控制模型及形式化分析
- 互联网规模急剧扩张，异构性加强，业务与服务种类日益多样化使得当前网络已演变成一个非线性复杂巨系统，网络在可信性和可控性等方面都受到严峻挑战，建设可信可控网络已成为下一代互联网发展的必然要求之一，而保障对网络有效可信的控制...
- 于枫
- 关键词：互联网形式化分析
- 下一代互联网体系结构研究进展与分析被引量：3
- 2016年
- TCP/IP体系结构关注主机互连、数据可达,尽力而为、端到端、边缘智能、中心笨拙等设计思想是互联网成功壮大发展的重要因素,然而,其设计局限性也使其难以支持下一代互联网发展,迫切需要研究下一代互联网体系结构设计.在TCP/IP体系结构存在的问题分析基础上,详细介绍国际上已开展的重大下一代互联网研究项目进展情况,总结和借鉴这些研究项目对下一代互联网体系结构设计问题的观点,给出下一代互联网体系结构设计的需求目标,提出其体系结构参考模型设计指导原则,对目前国内外已提出的各种下一代互联网体系结构进行分类、综述和分析,并展望后续研究工作.
- 程科于枫潘磊高尚祁云嵩
- 关键词：下一代互联网体系结构参考模型TCP/IP
- 事件的持续时间的表示与推理被引量：2
- 2007年
- 现实世界中事件的持续时间是难以精确测量的,其起始时刻及结束时刻经常是模糊的。本文用事件的持续函数的概念来表示事件的持续时间,并用有限的近似区间的概念来描述无限的持续函数,应用Heisenberg测不准原理,将Allen的区间代数网络的13种基本时态关系压缩为7种基本时态关系,并构造了新的基本时态关系的复合运算表。
- 胡广朋王艳于枫凌青华
- 关键词：区间代数时态推理测不准原理
- 一种基于波动类型识别的路由节点行为预测算法被引量：10
- 2014年
- 路由节点行为预测可以为网络安全管理以及路由行为评估机制等提供重要的决策依据,而现有的路由节点行为预测算法存在诸如依赖专家经验、对样本要求较高以及在节点行为波动较大的情况下预测准确度下降等问题.为克服上述问题,该文在灰色预测模型的基础上提出了一种路由节点行为预测算法,该算法将路由节点行为序列中的波动类型被分为突发波动和迁移波动,结合Markov预测模型实现波动类型识别,随后基于不同的波动类型设立相应的未来行为值预测方法:对于突发波动,预测方法基于平滑级比序列的灰色预测结果;对于迁移波动,预测方法基于路由节点行为序列的灰色预测结果.最后,使用Markov模型对预测结果进行修正.实验结果表明,相比于已有的节点行为预测算法,该文的预测算法在预测精度上有较大提升.
- 夏怒李伟罗军舟于枫陆悠
- 关键词：网络行为
