删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

西北大学信息科学与技术学院导师教师师资介绍简介-郭小群

本站小编 Free考研考试/2021-07-04


职称:副教授


个人简介:

主要研究领域:软件工程及其形式化方法,工作流技术,Web服务与云计算
科研成果:
论文:

1. Pi+演算及其对Petri网的描述

2. 复杂分支和同步模式的Pi演算描述

3. 用Pi演算为业务过程建模的生命周期

4. Web 服务的Pi演算描述

5. Petri网和Pi演算模型的表达能力

软件著作权:

1.流程生产线可信评估工具系统

2.度量建模工具系统

3.服务组合流程建模工具系统

申请专利:

1. 基于Pi演算的分布式流程验证系统及方法

2. 流程管理生产线软件度量建模的系统及方法

3. 对生产线中的BPM构件可信评估的系统及方法
科研项目:
1. 863重点项目:面向流程管理的软件生产线,

2. 863计划子项目:嵌入式软件B方法需求描述与转换方法研究及工具开发

3. 国家科技重大专项专题:集成化中间件套件产品研发及产业化

4. 西北大学项目:软件工程的形式化方法。

5. 横向项目:B2AA软件系统的开发与测试

6. 横向项目:云计算及其支撑网络
教学情况:

主要讲授《软件工程》







相关话题/西北大学 信息科学

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 西北大学信息科学与技术学院导师教师师资介绍简介-张仲选
    职称:副教授个人简介:主要研究领域:图形图像处理、模式识别、隐藏技术科研成果:U-标算子的谱特征。灰度图象矩的一种快速算法。基于同形字符的一种信息伪装方法等科研项目:基于信息隐藏技术的信息安全保密软件的研究与开发。(省科技厅)机密文件的划分、保存与传输。(省教育厅)教学情况:主要讲授《离散数学》、《 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-龚晓庆
    职称:副教授/硕士生导师个人简介:主要研究领域:软件工程与软件理论,软件测试,工作流与中间件技术科研成果:出版《C++面向对象程序设计》、《面向对象设计UML实践》、《系统分析与设计基础》、《面向对象系统分析与设计》、《软件测试技术》、《面向对象系统的测试》、《编译原理》等教材和译著7部发表学术论文 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-郑杰
    职称:副教授/硕士生导师个人简介:主要研究领域:5G/6G网络、边缘智能和边缘协作计算等方面的应用研究。西北大学“青年学术英才支持计划”入选者。2014年西安电子科技大学综合业务网理论及关键技术国家重点实验室博士毕业,现就职于西北大学信息科学与技术学院副教授,CCF网络与数据通信专委会委员。主持国家 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-闫丽
    职称:副教授个人简介:主要研究领域:可编程技术;数字信号处理技术。科研成果:示波分析数字化测试系统西北大学学报(第一作者)二维介质目标重建算法西北大学学报(第二作者)科研项目:医学微波成像算法研究”西北大学科研基金项目“小波变换在三维可视化技术中的应用”省科委自然科学基金项目1.《模拟电子技术基础》 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-张德同
    职称:副教授/硕士生导师张德同,西北大学信息学院软件工程系副教授,主要研究领域为智能信息处理、算法分析与设计。参与了国家级、省级以及横向科研项目十余项,包括“文物三维模型的语义标注与本体检索技术研究”(国家自然科学基金,排名第二),“自动颅相重合身份认证关键技术研究”(国家自然科学基金,排名第三), ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-陈晓璇
    职称:副教授个人简介:主要研究领域:图像超分辨率重建算法、深度学习网络科研成果:发表科研论文10余篇,其中被SCI检索5篇科研项目:1.基于多尺度生成对抗网络的大倍数图像超分辨率重建算法研究,国家自然科学基金(青年基金)2.基于结构相似性和低秩矩阵恢复方法的图像超分辨率重建算法研究,陕西省教育厅科研 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-董卫军
    职称:副教授个人简介:主要研究领域:图像处理、三维可视化、虚拟现实科研成果:1.董卫军,周明全,耿国华等,利用小波分析进行基于形状的图像检索技术研究,西大学报自然科学版,2004,34(3):271-273。2.董卫军,周明全,耿国华等,基于内容的图像检索技术,计算机工程,2005,31(10):1 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-邢天璋
    职称:高级工程师/硕士生导师个人简历:邢天璋,博士。IEEE,ACM,CCF会员,ACMXi’an副秘书长,YOCSEF西安副主席,荣誉委员。普适计算专委会专委,网络与数据通信专委会专委。2004年本科毕业于西安电子科技大学通信工程专业,之后在西北大学信息科学与技术学院获取工学硕士与博士学位。今年来 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-唐升
    职称:高级工程师/硕士生导师个人简介唐升,博士,高级工程师,硕士生导师。2013年毕业于中国科学院大学,测试计量技术及仪器专业。主讲DSP技术及应用、高频电子线路实验等多门本科和研究生课程,多次参加全国和省级讲课比赛并获奖,指导本科生、研究生参加各类学科竞赛多次获国家级、省部级奖励。近年来,研究工作 ...
    本站小编 Free考研考试 2021-07-04
  • 西北大学信息科学与技术学院导师教师师资介绍简介-卜起荣
    职称:副教授/硕士生导师个人简介陕西神木人,本科和硕士毕业于西北大学电子系,博士毕业于西北大学信息科学与技术学院。目前为西北大学信息科学与技术学院计算机科学与技术系副教授、硕士生导师、计算机科学与技术系副主任、智能信息处理科研团队成员。研究领域机器学习与人工智能、数字图像处理、无线感知、医学影像分析 ...
    本站小编 Free考研考试 2021-07-04