科研专业方向
研究领域：
基础软件
研究方向：
人工智能,软件分析与测试,软件工程,云计算与大数据处理
贾博士
讲师
湖北武汉市
科研重点分布
近年科研重点
2017
云监控 微服务 可扩展 多层次 服务组合 流程编排 服务协议 元数据2018
符号执行 Actor模型 并行 负载均衡科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：17
互联网技术：11
石油天然气工业：1
总数:
28
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 湖北中医学院信息技术系 | 4 |
| 第二炮兵指挥学院三系 | 4 |
| 广西财经学院信息与统计学院 | 2 |
| 武汉工业学院网络中心 | 2 |
| 南昌大学科学技术学院网络与信息中心 | 1 |
| 东南融通上海研发中心 | 1 |
| 南京比邻软件有限公司 | 1 |
| 武汉工业学院数学与计算机学院 | 1 |
| 长江师范学院计算机科学系 | 1 |
| 长江大学工程技术学院 | 1 |
| 桂林电子科技大学广西可信软件重点实验室 | 1 |
| 广西财经学院计算机与信息管理系 | 1 |
| 新疆大学信息科学与工程学院 | 1 |
| 北京信息科技大学计算机学院 | 1 |
| 中国电子科技集团公司第五十四研究所 | 1 |
| 中国电子科技集团公司电子科学研究院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 面向服务软件中异常处理模块重要性的仿真分析方法 | 国家自然科学基金 |
| 一种基于语义消息的Web服务组合方法 | 国家九七三重点基础研究发展计划项目 |
| 基于语义索引库的语义服务发现 | 国家高技术研究发展计划 |
| SHMA:一种云平台的监控框架 | 国家自然科学基金面上项目:面向性能改善的SaaS软件部署方案自优化方法 |
| 一种基于语义的业务活动推荐方法 | 国家自然科学基金面上项目:基于框架的面向服务软件异常处理方法研究 |
| 基于层次着色Petri网的网构软件性能建模与仿真分析方法 | 国家自然科学基金项目 |
| 基于层次着色Petri网的网构软件性能建模与仿真分析方法 | 国家自然科学基金项目 |
| 一个支持业务过程动态演化的可反射框架 | 国家自然科学基金资助项目 |
| 基于语义的服务资源描述模型RDF4S | 国家高技术研究发展计划 |
| 一种基于反射的非功能特性分析设计方法 | 国家自然科学基金资助项目 |
| 元数据驱动的多样化服务的混合编排方法 | 国家自然科学基金面上资助项目 |
| 一种基于反射的BPEL业务过程动态演化方法 | 国家自然科学基金资助项目 |
| 一种基于Spring的轻量级面向服务组件框架 | 国家高技术研究发展计划 |
| 一种基于日志聚类的多类型故障预测方法 | 国家自然科学基金基于Saa S软件运行日志分析的软件性能问题的在线识别和诊断方法 |
| 一种基于异常分类的面向服务异常处理方法 | 国家自然科学基金资助项目 |
| 面向服务软件中基于着色Petri网的异常处理模型 | 国家自然科学基金项目 |
| 一种基于语义网的服务资源描述框架RDF4S | 国家高技术研究发展计划863资助项目 |
| 一种基于Actor模型的并行动态符号执行方法 | 国家自然科学基金面上项目 |
| 基于故障树与Rete算法的电泵井工况诊断方法研究 | 国家自然科学基金面上项目 |
| 面向服务软件中异常处理的形式化建模方法 | 国家九七三重点基础研究发展规划资助项目 |
| 面向服务软件异常处理过程的可终止性验证 | 国家自然科学基金No.61070012国家重点基础研究发展规划 |
| 一种基于Actor模型的并行动态符号执行方法 | 国家自然科学基金面上项目 |
| 一种基于语义网的服务资源描述框架RDF4S | 国家高技术研究发展计划863资助项目 |
| 一种体系结构层方面组合的冲突处理方法 | 国家973计划重点基础研究发展资助项目 |
| 基于规则的语义流程异常处理机制 | 国家高技术研究发展计划 |
| 一种基于SOADL的Web服务合成方法 | 北京市2007年度科技发展计划基金面目 |
| 面向服务软件异常处理研究综述 | 国家自然科学基金面上项目 |
| 面向服务软件异常处理研究综述 | 国家自然科学基金重点项目 |
| 一种基于CPN的BPEL异常处理逻辑的开发方法 | 国家自然科学基金项目 |
| 一种基于CPN的BPEL异常处理逻辑的开发方法 | 国家自然科学基金重点项目 |
展开全部
荣誉&成就
暂无荣誉成就信息
科研成果
- 期刊论文
- 技术成果
- 专利
一种基于Actor模型的并行动态符号执行方法
SHMA:一种云平台的监控框架
元数据驱动的多样化服务的混合编排方法
一种基于日志聚类的多类型故障预测方法
基于故障树与Rete算法的电泵井工况诊断方法研究
基于层次着色Petri网的网构软件性能建模与仿真分析方法
一种基于语义的业务活动推荐方法
面向服务软件异常处理研究综述
一种基于CPN的BPEL异常处理逻辑的开发方法
面向服务软件中异常处理模块重要性的仿真分析方法
一种基于异常分类的面向服务异常处理方法
面向服务软件中异常处理的形式化建模方法
一种基于语义消息的Web服务组合方法
面向服务软件中基于着色Petri网的异常处理模型
面向服务软件异常处理过程的可终止性验证
一种体系结构层方面组合的冲突处理方法
基于规则的语义流程异常处理机制
一种基于Spring的轻量级面向服务组件框架
基于语义索引库的语义服务发现
基于语义的服务资源描述模型RDF4S
一种基于SOADL的Web服务合成方法
一种基于反射的BPEL业务过程动态演化方法
基于SOA/MVC的教育资源网站建设研究
一种基于语义网的服务资源描述框架RDF4S
一种基于语义网的服务资源描述框架RDF4S
一个支持业务过程动态演化的可反射框架
一种基于反射的非功能特性分析设计方法
一种基于Actor模型的并行动态符号执行方法
可信软件的构造方法和技术
一种基于数据盒的空间应用和数据一体化封装系统及方法
一种基于日志语义挖掘的系统故障诊断方法及装置
一种多源异构数据处理方法、装置和存储介质
一种基于Spark的应用软件运行日志的收集与服务处理系统及方法
一种支持性能分析的SaaS软件部署方案的构建方法
一种基于数据起源技术的程序异常传播模型构造方法
面向语义Web服务程序设计的语义数据表示和处理方法
展开全部
数据信息来源于网络，若有侵权请联系客服