周国富
- 作品数：11 被引量：47H指数：3
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金教育部留学回国人员科研启动基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于机器学习的多语言文本抽取系统实现被引量：4
- 2017年
- 基于统计机器学习的信息抽取方法正日益成为研究的热点,在研究与应用方面虽然也产生了一些实用的基于机器学习的文本信息抽取框架与系统,但大多面临着交互性弱、可扩展性低、语言移植能力差等缺陷。为此,研究并提出一种通用可行的支持多语言的信息抽取框架,并基于该框架实现了一个原型系统。原型系统集成了最大熵、支持向量机两种机器学习算法,使用这两种算法对中英文文本的实验验证了系统的实用性。
- 曾军周国富
- 关键词：信息抽取多语言最大熵模型支持向量机
- 程序代码中隐含数据与控制的Petri网建模技术被引量：3
- 2011年
- 应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.
- 周国富杜卓敏
- 关键词：形式化PETRI网程序语义
- 人工智能技术发展及应用综述被引量：35
- 2018年
- 近年来,随着移动互联网、大数据、物联网的发展以及基于云平台的大规模计算能力的不断突破,人工智能技术发展迅猛,可以通过深度学习独立完成日益复杂的人类所完成的任务,人工智能技术应用日益广泛。从宏观和微观层面概述了人工智能发展现状,阐述了人工智能的含义,梳理了人工智能技术体系四大模块,探讨了当前人工智能的主要应用领域。
- 肖博达周国富
- 关键词：人工智能
- 程序属性的UniNet描述
- 在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序.为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采...
- 周国富余鹏袁崇义屈婉玲
- 关键词：PETRI网
- 文献传递
- 基于Petri网的工作流模式——工作流模式分析研究
- 随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作...
- 余鹏周国富屈婉玲袁崇义
- 关键词：工作流PETRI网连接器工作流模式
- 文献传递
- 基于C/S结构的Ada并行计算模型被引量：1
- 1999年
- 在研究Ａｄａ９５并行计算语义的基础上，提出了一个基于Ｃ／Ｓ结构的Ａｄａ并行计算模型Ａｄａ－ＰＣＭ．讨论了在Ｃ／Ｓ环境下实现Ａｄａ并行计算存在的问题和解决方法．该模型不仅是研究Ａｄａ并行计算环境的基础。
- 陈世鸿周国富李石君彭蓉
- 关键词：并行计算C/S结构ADA语言
- 基于UniNet软件体系结构建模技术研究
- 该文提出了一种以UniNet为基础的软件体系结构建模技术.该文系统地提出了UniNet以及相关的概念,抽象出功能和控制在软件系统中并存的事实,并且通过变迁的控制哨和变量哨加强软件系统中操作与系统自我控制的描述,从而使得U...
- 周国富
- 关键词：PETRI网UNITYUNINET软件体系结构
- 程序属性的UniNet描述
- 2003年
- 在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序。为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序。
- 周国富余鹏袁崇义屈婉玲
- 关键词：PETRI网UNITYUNINET
- CCNeter:C程序代码Petri网自动建模工具被引量：2
- 2011年
- CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
- 周国富孙韵秋蔡宇
- 关键词：PETRI网CNET
- 一种基于多分类子链的政务数据质量管理架构被引量：1
- 2022年
- 多分类子链的政务数据质量管理架构基于区块链技术,针对政务数据分享的所有权与再加工数据的规范问题,提出一种数据所有者和数据使用者协同验证机制,保证数据所有者对数据再加工的监督和授权.为保证数据格式的规范性,增加第三方标准规范认证.在数据的树形组织基础上,将传统区块链单点单规则验证模式扩展为动态构建的由数据所有者、数据使用者和数据监管三方组成的分布的、异步的、基于规则库的协同验证模式,解决政务数据所有权方对数据再加工的监管权、数据使用过程可追踪、数据格式满足国家对数据的规范化要求.
- 杨建豪宋超周国富汤梦玲洪薇李京昆
- 关键词：规则集区块链
