纪明宇
- 作品数：12 被引量：40H指数：3
- 供职机构：东北林业大学信息与计算机工程学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家大学生创新性实验计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 个性化高校新闻分类推荐的应用研究被引量：10
- 2019年
- 随着信息化和数字化时代的到来,大数据广泛渗入到各个领域。信息过载使得用户无法快速、准确地获取个人最关注的内容,这严重影响了浏览页面时的用户体验。为了能精准地进行分类推荐,对新闻分类和推荐方法进行细致的研究,进而提出一种能够进行精准分类,准确获取信息的推荐方法。利用爬虫技术获取真实的高校新闻数据;采用基于肘部法则改进的K-means算法进行聚类分析;结合用户注册时选定的兴趣标签,利用基于内容与协同过滤组合的推荐策略,针对不同用户的需求进行个性化推荐;以列表等形式将个性化的推荐结果展示给用户。根据高校的真实数据进行实验,结果表明,该算法能够有效地对高校师生的个性化服务需求进行处理,提高获取新闻时的高效性、准确性和智能性。
- 毕曦文纪明宇吴鹏方静段仁翀郭鹏鑫
- 关键词：大数据个性化推荐
- 基于决策图的复杂系统模型对称约减方法被引量：1
- 2013年
- 针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法。通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图,用于表示概率回报模型中的迁移关系;基于迁移矩阵,提出了一种高效的对称约减算法,完成了迁移关系的约简。实验结果表明了该方法的可行性与有效性。
- 纪明宇王海涛陈志远李艳梅
- 关键词：形式化验证状态空间爆炸决策图
- 综合特征Markov模型稳态性质验证方法
- 2013年
- 针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确定性消解、离散化处理、状态消去等方法,实现了原模型中稳态概率的近似求解。理论分析及实例结果表明了该方法的可行性和有效性。
- 纪明宇陈志远王海涛
- 关键词：离散化
- 基于切片技术的复杂模型验证方法
- 2020年
- 针对模型检测中的状态空间爆炸问题,提出一种基于带资源消耗的复杂概率迁移系统模型的性质验证方法。使用PRCTL进行模型语义逻辑表示,对迁移步数约束采用基于栈的深度遍历算法完成检验,针对冗余的迁移和状态实施二次约减,完成复杂的概率迁移系统的模型简化;针对简化后的迁移图进行概率矩阵迭代运算以判定概率条件,同时完成资源条件的判定,并进行相应的实例分析。该模型验证方法能够在一定程度上缓解复杂系统带来的状态冗余和计算繁琐问题,为性质验证工作提供了新的思路。
- 纪明宇于明霞么一诺毕曦文
- 关键词：概率矩阵
- 基于胶囊网络和高斯自注意力的用户评论情感分析被引量：1
- 2021年
- 针对传统卷积神经网络和循环神经网络在文本情感分析领域对文本特征提取存在的语义丢失、无法识别文本关键词等问题进行改进,提出一种结合高斯自注意力机制的双通道文本特征提取模型。首先,该模型利用改进的胶囊网络和词性词向量提取更深层次的文本特征;然后,使用双向长短期记忆网络提取双向的语义依赖;最后,加入高斯自注意力层得到输入信息对分类结果的注意力分布。模型在两个标准数据集上进行验证,与传统的用户评论情感分析模型相比,在准确率和F1值上均取得了明显的提升。
- 纪明宇赵雪峰贾国庆李勃毅
- 关键词：情感分析文本特征提取
- 基于依存句法的句子相似度计算方法被引量：2
- 2020年
- 本文针对句子长短不一而影响句子相似度计算的问题,提出了一种基于依存句法的句子相似度计算方法。根据依存句法分析,找出句中各语法成分对句子语义表达的重要程度,制定句子特征提取规则、提取长句的主要特征和补充短句的重要语义信息。利用卷积神经网络中的2种卷积模式,扩张卷积和反卷积学习句子特征,并将句子特征进行全连接降维,得到句子的相似度计算结果。此算法在包含中、英文3个公共数据集上进行了验证,结果证明了该方法的有效性。
- 胡雨晴纪明宇王晨龙
- 关键词：句子相似度反卷积
- 基于综合性能的Markov过程验证与分析
- 2013年
- 面向复杂信息系统综合性能的形式化验证问题,以数据传输系统为例,使用一种基于改进的马尔可夫判定过程验证分析方法进行复杂信息系统的性能验证。在综合各种连续随机逻辑变体基础上,采用一种表达能力更强的时序逻辑来表示系统模型的复杂性质,运用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,并给出相应的算法描述。实例结果验证了该方法可有效地扩大模型检测技术的应用范围。
- 纪明宇王海涛陈志远
- 关键词：综合性能形式化验证马尔可夫过程时序逻辑自动机
- 面向智能客服的句子相似度计算方法被引量：15
- 2019年
- 针对金融领域中智能客服的句子相似度计算方法进行了研究。利用基于词性的分词纠正模型减少中文歧义词、金融相关词汇的分词错误;通过词向量方法和循环神经网络分别提取词语级和句子级的语义特征,并且得到句子向量;用融合层计算出句子向量间的差异特征;对差异特征进行降维和归一化得到句子相似度计算结果。实验结果表明,该方法具有较高的准确率和F1值。
- 纪明宇王晨龙安翔牟伟晔
- 关键词：句子相似度循环神经网络
- 基于SPOC的混合教学模式设计与实践被引量：8
- 2019年
- 如何有效地融合SPOC与传统课堂是当前教育教学研究的重要问题。文章从我国高校教学现状出发,基于建构学习规律,设计了一种新的基于SPOC与传统课堂的混合教学模式,并详细阐述了它的总体框架、教学设计和实施策略等。为验证其合理性和有效性,作者将该教学模式应用于《生产与运作管理》课程教学实践,并深入分析实施效果。结果证明,新的混合教学模式突破了传统课堂的时空限制,极大地拓展了课程容量,通过自主——协作——探究——个性化拓展的进阶模式较好地提升了课程教学质量,具有较好的实践性和可操作性。
- 滕志霞纪明宇郭钦钰
- 关键词：自我效能感
- 林业信息系统模型检测应用方法研究
- 2014年
- 模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态迁移图,通过引入转换函数对状态迁移图的变迁过程及状态性质进行了有效说明,然后将性质规范描述为相应的时序逻辑表达式,最后通过实例对模型检测过程进行了详细说明,本文的研究成果有效地说明了将模型检测应用于森林防火专家系统等林业信息系统的可行性与正确性。
- 吴迪纪明宇谭克山王慧张谨
- 关键词：知识库模型状态迁移图时序逻辑
