万海
- 作品数：65 被引量：29H指数：3
- 供职机构：中山大学更多>>
- 发文基金：广东省自然科学基金国家自然科学基金广东省学位与研究生教育改革研究项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信社会学更多>>
- 一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统
- 本发明属于软件设计与软件测试技术领域，涉及一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统，其方法包括：给出工业软件的设计需求及其约束条件，采用有限线性时态逻辑公式描述约束条件；将训练集中的各有限线性时态逻...
- 万海罗炜麟邓浩天梁梓豪曾娟
- 一种基于图二阶相似性的知识图谱实体语义空间嵌入方法
- 本发明公开一种基于图二阶相似性的知识图谱实体语义空间嵌入方法，包括步骤：(1)输入知识图谱数据集、最大迭代次数；(2)通过一、二阶相似性特征嵌入处理，通过图注意力机制考虑实体之间联系，计算一、二阶相似性向量表示，得到一、...
- 万海夏勇涛曾娟
- 文献传递
- 一种形式化需求规约自动化修复方法
- 本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率...
- 万海钟洪桢罗炜麟范科峰赵杭
- 软件需求数据源向关系的挖掘与分析
- 本文根据数据源向关系有利于描述用户需求的特点，提出以表单流图作为挖掘数据源向关系的起点,利用数据源向图分析数据源向关系;并分别给出表单流图和数据源向图的定义、绘制方法及关键步骤分析.在需求分析阶段挖掘和分析数据之间的源向...
- 万海郑云翔李磊
- 文献传递
- 用近邻算法预测通信量时间序列被引量：5
- 2005年
- 为了对通信系统进行有效的调控,需要对通信量进行预测,而通信量具有在不同日期遵循不同规律的特点。本文采用基于实例的近邻算法进行时间序列预测,并在考虑动态长度序列、序列特征提取和近似样例的选取上做出改进,取得很好的效果。将近邻预测算法应用到广东省电话网智能管理系统(GTNIMS)中,能够为路由求解提供快速、准确的预测话务量,为更精确的求解创造了条件。
- 黄健聪万海郝小卫李磊
- 关键词：通信量时间序列预测智能管理系统度序列电话网话务量
- 一种面向社交平台表情包的多模态情感分析方法
- 本发明提供一种面向社交平台表情包的多模态情感分析方法，包括以下步骤：S1：使用爬虫工具从社交平台爬取表情包图片，并对表情包图片进行情感标注后，进行预处理；S2：获取步骤S1爬取到的表情包图片的语义信息，得到每张表情包图片...
- 万海张漫榕刘亚男黄佳莉曾娟范科峰
- 一种中文文本知识图谱自动构建方法及系统
- 本发明提供的方法能够实现中文文本知识图谱的构建，并且该方法在使用时随着使用次数的增长，其各个领域的文本库、关系库、实体库也逐步得到扩充，构建知识图谱的效果越好。
- 苏晓恒万海
- 文献传递
- 一种一阶并行、带优先级和逐点的限定理论计算方法
- 本发明公开一种一阶并行、带优先级和逐点的限定理论计算方法，包括：（1）将任意一个一阶限定理论在线性时间内翻译为另一个与之在任意结构上逻辑等价的在稳定语义下的一阶理论，包括四个基于语法层面的主要翻译；（2）对于一阶限定理论...
- 万海萧展豪曾娟
- 文献传递
- 一种基于二次主题空间投影的场景图谱低维空间嵌入方法
- 本发明公开基于二次主题空间投影的场景图谱低维空间嵌入方法，包括步骤：输入场景图谱数据集的参数；输入正例并采样替换后反例；预处理得到实体的邻居集合、实体邻居数量；对实体的描述文本进行清洗得到文本描述集合；利用主题模型输出实...
- 万海李雷来曾娟
- 文献传递
- 改进非线性单纯形全局优化算法及应用于动态路由问题
- 性单纯形算法可有效地求解无约束极值问题,但通常应用于连续优化问题.本文针对组合优化问题,提出改进非线性单纯形全局优化算法;在离散的组合优化求解空间应用连续优化的方法,通过构造状态空间、重构解空间,快速寻找全局优化解.动态...
- 万海李磊
- 关键词：全局优化算法动态路由组合优化
