科研专业方向
研究领域:
计算机及终端设计与制造技术
研究方向:
Petri网,软件测试,程序建模,并行计算,程序语义
研究领域:
计算机及终端设计与制造技术
研究方向:
Petri网,软件测试,程序建模,并行计算,程序语义
合作单位 | 合作论文数量 |
---|---|
南京审计学院 | 1 |
华南理工大学 | 1 |
华南师范大学华南先进光电子研究院彩色动态电子纸显示技术研究所 | 1 |
襄阳市第五中学 | 1 |
湖北省大数据中心 | 1 |
湖北央中巨石信息技术有限公司 | 1 |
北京大学信息科学技术学院 | 1 |
论文标题 | 基金名称 |
---|---|
CCNeter:C程序代码Petri网自动建模工具 | 国家自然科学基金 |
程序代码中隐含数据与控制的Petri网建模技术 | 国家自然科学基金 |
C/S计算特性的定量分析 | 国家863高科技项目 |
暂无荣誉成就信息
一种基于多分类子链的政务数据质量管理架构
人工智能技术发展及应用综述
基于机器学习的多语言文本抽取系统实现
基于新视角合成的视频摘要交互式浏览
两亲性聚阳离子囊泡组装体用于基因和药物共传递的研究
CCNeter:C程序代码Petri网自动建模工具
程序代码中隐含数据与控制的Petri网建模技术
CCNeter:C程序代码Petri网自动建模工具
程序代码中隐含数据与控制的Petri网建模技术
程序属性的UniNet描述
基于C/S结构的Ada并行计算模型
C/S计算特性的定量分析
一种基于个人存储设备的网盘构造装置及方法
一种早期分类不平衡多变量时间序列数据的方法