您的位置： 专家智库 > >

赵杭

作品数：6 被引量：0H指数：0
供职机构：中山大学更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 5篇专利
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇搜索
  • 3篇局部搜索
  • 2篇断言
  • 2篇形式化
  • 2篇需求规约
  • 2篇语言模型
  • 2篇声明
  • 2篇搜索算法
  • 2篇自动化
  • 2篇文档
  • 2篇文档检索
  • 2篇局部搜索算法
  • 2篇句子
  • 2篇环境约束
  • 2篇规约
  • 2篇候选
  • 2篇抽取
  • 2篇抽取方法
  • 1篇异常检测
  • 1篇启发式算法

机构

  • 6篇中山大学

作者

  • 6篇赵杭
  • 5篇万海
  • 3篇曾娟
  • 1篇李佳

年份

  • 2篇2022
  • 3篇2021
  • 1篇2009
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
群体行为异常检测系统的设计实现
现代社会中，计算机网络以其丰富的信息资源以及方便的信息交换方式，让人们享受其带来的便利的同时，也逐渐改变着人们的生活方式。人类社会的政治、经济、文化各个领域无处不见网络的应用。随着网络对人们的影响不断增大，网络安全问题也...
赵杭
关键词：异常检测复杂网络网络环境
文献传递
一种面向事实检测的证据与声明联合抽取方法
本发明涉及一种面向事实检测的证据与声明联合抽取方法，包括：S1：指定用于检索的预料库以及一段待校验的声明，清洗语料库，并对声明进行实体抽取得到实体集；S2：文档检索：对给定的声明，根据实体集使用实体链接方法从清洗后的语料...
万海陈海城黄佳莉曾娟赵杭
一种基于局部搜索的故障树最大概率最小割集求解方法
本发明涉及一种基于局部搜索的故障树最大概率最小割集求解方法，所述方法包括：S1：对故障树进行初始逻辑转换；获取布尔表达式；S2：根据布尔表达式，对部分最大可满足性问题建模；S3：使用基于局部搜索的启发式算法对部分最大可满...
万海李佳罗炜麟曾娟赵杭范科峰
文献传递
一种形式化需求规约自动化修复方法
本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率...
万海钟洪桢罗炜麟范科峰赵杭
一种形式化需求规约自动化修复方法
本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率...
万海钟洪桢罗炜麟范科峰赵杭
文献传递
一种面向事实检测的证据与声明联合抽取方法
本发明涉及一种面向事实检测的证据与声明联合抽取方法，包括：S1：指定用于检索的预料库以及一段待校验的声明，清洗语料库，并对声明进行实体抽取得到实体集；S2：文档检索：对给定的声明，根据实体集使用实体链接方法从清洗后的语料...
万海陈海城黄佳莉曾娟赵杭
文献传递
全选 清除 导出
共1页<1>
聚类工具0