李勇华 作品数:18 被引量:31 H指数:3 供职机构: 武汉理工大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 中央高校基本科研业务费专项资金 更多>> 相关领域: 自动化与计算机技术 经济管理 更多>>
模拟执行操作目标的方法研究 2007年 模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。 李勇华 毋国庆关键词:需求规约 港口内运车辆作业轨迹异常检测 2022年 内运车是用于港口内部货物转运的车辆。如果在转运过程中缺乏监管,很容易造成偷货(将A货主的货转移至B货主堆位)、漏货(货物转运未经过计量设备)等行为,给港口带来严重的损失。为了有效杜绝这类情况的发生,提出轨迹真实状态序列提取方法并设计自适应有限状态机(Adaptive Finite State Machine,AFSM)对内运车作业是否产生异常意图进行判断。实验采用重庆市某港口内运车辆一个月(7547趟)的真实轨迹数据,结果表明轨迹真实状态序列提取方法能有效提取内运车作业轨迹的真实状态,使用AFSM进行轨迹异常检测的精度高达95%~96%。 胡俊雅 李勇华 李勇华关键词:异常检测 有限状态机 一种谓词驱动的目标求精方法 被引量:1 2007年 目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模,提出了谓词驱动的目标求精方法,通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比,该方法具有对需求分析员的依赖较小、自动化程度高等优点。 李勇华 王锋 毋国庆 江敏关键词:需求规约 嵌入式实时系统的原型化方法研究 原型化方法是需求检测中的重要方法之一.文章基于面向嵌入式实时系统的需求描述模型RTRSM,给出了一种嵌入武实时系统的原型化检测方法,同时将这种方法与组件库相结合,从而提高原型化检测方法的可用性和效率. 李勇华 毋国庆关键词:原型化方法 组件库 嵌入式实时系统 文献传递 网络资源链接 打印-扫描不变量结合双域的文本水印算法 被引量:2 2018年 提出一种打印-扫描不变量和双域相结合且抗打印-扫描的文本图像水印算法.该算法首先将文本图像字符进行切分,并分组为嵌入部分、调整部分和去除部分.然后用嵌入部分的打印-扫描不变量构造特征值矩阵,并进行离散余弦变换,在变换域内根据水印编码序列和阈值等参数修改高频系数,使逆变换矩阵和原矩阵差异最小.利用差异求出嵌入部分字符要翻转的黑色像素量,并在空间域根据优化后的翻转方案进行翻转;同时将调整部分翻转相反的黑色像素量,以保持文本图像黑色像素量的均值不变,从而实现水印信息的嵌入.实验结果表明:提出的水印算法对缩放攻击及打印-扫描等具有良好的鲁棒性,并具有较好的视觉效果. 姚寒冰 魏木鑫 周俊伟 李勇华关键词:数字水印 文本图像 字符切分 基于博弈论的散货港口堆场堆位分配算法 被引量:1 2021年 针对散货港口因堆场面积有限,在货物进港作业时,如何在进出港货物动态变化的情况下兼顾作业效率并安排货物在堆场中合理堆放的问题,提出了一种基于博弈论的散货港口堆场堆位分配算法(BSAABG)。首先,将堆位分配行为建模为动态博弈,并运用满足均衡分析该博弈。假设每票货物对分配所得效益都有一个预期,当所有货物都达到预期时博弈即达到满足均衡。然后,使用基于博弈论的散货堆场堆位分配算法BSAABG求解之前建立的该模型,从理论上证明算法的收敛性。实验结果表明,当货物票数为20时,基于博弈论的散货堆场堆位分配算法BSAABG的货物平均满足度比人工分配方法(用贪心算法(GA)模拟)和基于规则的堆位分配算法(SABR)分别提高了62.5%和18.2%,堆场分配效益是贪心算法(GA)的6.83倍,是SABR的3.22倍。可见所提算法能够有效地提高货物的平均满足度和堆场分配效益。 张舒瑶 李勇华 李勇华关键词:散货港口 博弈论 贪心算法 消除不可达路径的基路径自动获取方法研究 被引量:1 2009年 软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点。但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可达路径。通过分析判定节点的定义-判定序列的方法提出不可达路径的检测手段,并以该手段为基础,提出可达基路径自动生成算法,使得自动生成可达基路径集成为可能。 李勇华 吴莹 王锋 毋国庆关键词:基路径 软件测试 基于博弈论的内河港口作业车辆协同选路方法 2020年 针对以汽车运输为主且吞吐量较大的内河港口的交通拥堵问题,提出一种基于博弈论的内河港口作业车辆协同选路方法。首先,基于港口路网特征与车辆作业特点,将同时请求路径规划的作业车辆间的交互建模为不完全信息博弈,采用满足均衡(SE)的概念来分析该博弈。假设每个车辆对选路效用都有一个预期,当所有车辆都得到满足时博弈即达到均衡。然后,提出了一种车辆协同选路算法,算法中每个车辆首先按照贪心策略初始选路,之后将所有车辆按规则分组,组内车辆根据历史选路结果进行适应性学习并完成博弈。实验结果表明,当港区同时作业车辆数为286时,协同选路算法的车辆平均行驶时间分别比Dijkstra算法和自适应学习算法(SALA)少50.8%和16.3%,系统收益分别比Dijkstra算法和SALA提高51.7%和24.5%。所提算法能够有效减少车辆平均行驶时间,提高系统收益,更适用于内河港口车辆选路问题。 范家佳 刘洪星 李勇华 李勇华关键词:交通拥堵 路径规划 内河港口 博弈论 动态需求跟踪中多义关键词的语义判断方法 被引量:3 2019年 虽然与信息检索(IR)方法相比,基于本体的动态需求跟踪方法能提高跟踪链的精度,但构建一个合理、有效的本体特别是领域本体是一个相当复杂和繁琐的过程。为了减小构建领域本体带来的时间成本和人力成本,通过将修饰词和通用本体相结合,提出基于修饰词本体的关键词语义判断方法(MOKSJM)。首先,对关键词和修饰词的搭配关系进行分析;然后,采用修饰词本体结合规则的方式来确定关键词的语义,以避免关键词的多义性对动态需求跟踪结果造成的偏差;最后,根据上述分析的结果,对关键词语义作出调整,并通过相似度得分来体现其语义。修饰词在需求文档、设计文档等中数量较少,因此建立修饰词本体所带来的时间成本和人力成本相对较小。实验结果表明,MOKSJM与基于领域本体的动态跟踪方法在召回率相当时,精度差距更小;与向量空间模型(VSM)方法相比,MOKSJM能有效提高需求跟踪结果的精度。 唐晨 李勇华 李勇华 胡钢俊关键词:本体 修饰词 软件工程 从时序图描述推导目标描述的方法研究 被引量:1 2007年 面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理. 李勇华 毋国庆 刘小丽 张帆关键词:时序图