黄少滨
- 作品数：62 被引量：204H指数：8
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家科技支撑计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术经济管理理学文化科学更多>>
- 一种UML状态图模型检测方法
- 2011年
- 为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式,用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素,缩减状态图迁移系统的状态空间及提高模型检测效率.
- 张涛黄少滨黄宏涛吕天阳刘刚
- 关键词：操作语义UML状态图
- HLA核心RTI测试方法研究
- 在介绍HLA体系结构的基础上,本文研究了RTI软件的功能和性能测试方法。本文以联邦管理服务为例作介绍了设计测试流程进行RTI功能测试的一般方法。本文对RTI性能指标属性延迟、吞吐量和丢包率的测试方法做了初步设计,并通过实...
- 刘成刚常红梅黄少滨陈志远
- 关键词：HLARTI
- 文献传递
- 社会保险信息系统差异性分析被引量：7
- 2012年
- 社会保险管理信息系统是社会保险政策执行和政策效果实现的重要载体。当前我国社会保险管理信息系统存在建设标准不统一、系统差异巨大、数据标准碎片化的客观问题,这不仅在技术层面造成了各地社会保险政策执行的不统一,还在社会保险实践层面给社会保险的异地转移接续和全国统筹带来了巨大障碍。本文从政策、险种、业务环节、管理部门、统筹层次、设计标准、数据库和数据存储位置8个维度,分析了当前中国各地社会保险信息系统差异的主要因素,指出了多种形态交叉混杂下社会保险信息系统差异的复杂程度。而后探讨了社会保险信息系统差异的根源与必然性,探讨了其对社会保险信息化建设、精细化管理、发挥内外部监督力量的影响,并提出三条针对社会保险信息化建设的建议。
- 吕天阳杨蕴毅邱玉慧黄少滨
- 关键词：社会保险信息化建设信息系统碎片化
- 关于PLA优化设计的一个综合算法被引量：1
- 1996年
- 讨论ＰＬＡ优化设计的组合函数分解问题和ＰＬＡ折迭问题，得出对算法有用的两个直接结果。最后将二者联系起来，给出一个综合算法。
- 黄少滨黄少滨
- 关键词：PLA优化设计可编程逻辑器件
- 基于可能性C-均值的鲁棒多视角聚类算法被引量：3
- 2014年
- 目前多数多视角聚类算法不考虑噪声问题,为了更有效地分析含有噪声数据的聚簇结构,提出了一种基于可能性C-均值的鲁棒多视角聚类(PCM-RMVC)算法,该算法同时利用多个视角空间中的特征信息,最小化每个视角空间中数据对象与聚簇中心的距离.推导出数据隶属度和每个视角权重的迭代更新规则,设计出聚类过程的迭代算法.实验表明:PCM-RMVC算法对噪声具有较强的鲁棒性,并且聚类效果优于五种有代表性的多视角聚类算法.
- 杨欣欣黄少滨
- 关键词：数据挖掘聚类鲁棒性
- 一种基于图的文档关键词和摘要协同抽取方法研究被引量：1
- 2021年
- 关键词提取和摘要抽取的目的都是从原文档中选择关键内容并对原文档的主要意思进行概括。评价关键词和摘要抽取质量的好坏主要看其能否对文档的主题进行良好的覆盖。在现有基于图模型的关键词提取和摘要抽取方法中,很少涉及到将关键词提取和摘要抽取任务协同进行的,而文中提出了一种基于图模型的方法进行关键词提取和摘要的协同抽取。该方法首先利用文档中词、主题和句子之间的6种关系,包括词和词、主题和主题、句子和句子、词和主题、主题和句子、词和句子,进行图的构建;然后利用文档中词和句子的统计特征对图中各顶点的先验重要性进行评价;接着采用迭代的方式对词和句子进行打分;最后根据词和句子的得分,得到关键词和摘要。为验证所提方法的效果,文中在中英文数据集上进行关键词提取和摘要抽取实验,发现该方法不管是在关键词提取还是摘要抽取任务上都取得了良好的效果。
- 毛湘科黄少滨余秦勇
- 关键词：关键词提取图模型
- 现代模态逻辑在计算机科学中的应用研究被引量：5
- 2013年
- 现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。
- 陈志远黄少滨韩丽丽
- 关键词：模态逻辑多AGENT系统量子力学
- 基于频繁密度分布模式的不确定数据流查询方法被引量：2
- 2018年
- 针对当前不确定数据流相似性查询问题中不确定对象建模不准确的问题,提出了一种面向不确定数据流的相似性查询方法 HB-UTS。利用非参数估计方法对不确定数据流中的对象建模,得到不确定对象的密度函数。通过谱聚类方法挖掘密度函数的频繁模式,将挖掘后的模式抽象为语义表示的不确定数据流序列。在相似性查询阶段,通过高阶Markov的状态转移矩阵模型构建不确定数据流的索引结构,它在记录不确定数据流存储地址的同时还记录序列元素的存储概率,可有效提高数据流的分步输入查询效率。本文进行了真实与仿真相结合的方法,通过在随机化处理后的真实数据集上的实验以及与其他相似性查询方法的比较,验证了HB-UTS在处理大规模不确定数据流时较好处理能力以及实施效果。
- 迟荣华黄少滨吕天阳
- 关键词：数据流相似性查询非参数估计马尔科夫
- 基于对比学习的大型语言模型反向词典任务提示生成方法
- 2024年
- 反向词典任务是一种新兴的任务,目的是根据给定的定义来查找对应的单词。大规模语言模型为这一任务提供了新的可能性,但是提示语句的质量会影响大模型的性能。为此,提出了一种基于对比学习的提示生成方法。该方法在从多个语义层面上理解定义语义的同时,还利用对比学习的原理在训练过程中引入了负例,提升了模型的泛化能力。通过这种方法,可以将目标单词缩小到一个小范围内,然后用大模型从这个范围内选择最符合定义语义的单词。实验结果表明,该方法可以有效地提升大规模语言模型在反向词典任务上的表现。提示生成模型有94.7%的概率生成包含目标词的范围,大规模语言模型有58.03%的概率直接选出目标单词,有74.55%的概率在给出5个候选单词时包含目标单词。
- 田思成黄少滨王锐李熔盛杜治娟
- 高等教育中“大班效应”的研究与对策
- 2013年
- 随着我国高等教育规模的扩大,教育资源尤其是教师人数却没有随之增加,导致高校班级规模迅速膨胀,授课效果也受到影响。文章通过对基础课课堂教学进行研究,归纳"大班效应"特点,分析利弊,从教师授课和课堂管理等方面,提出针对"大班效应"的对策,指出只有正视"大班"的现状,对学生耐心引导并采取有效应对措施,才能充分发挥"大班"的优势,提高教学效果。
- 郎大鹏高伟吴良杰吕天阳黄少滨
- 关键词：高等教育基础课
