南工大计算机学院,江南-欢迎访问湖北工业大学计算机学院官方网站

科研情况介绍(研究方向、研究课题、现正进行的科研项目)

研究方向:

计算机软件与理论。

近3年来主要个人成果、参加学术团体及社会兼职情况:

1、机械化定理证明研究综述.第一作者.软件学报. 2019

2、mJava到Micro-Dalvik虚拟机的编译验证.第一作者.电子学报2016.7

3、A Provably-Correct Micro-Dalvik Bytecode Verifier .第一作者. International Journal of Security and Its Applications. 2016.9

4、Java安全性机制的形式分析与证明.第一作者.计算机科学与探索. 2016.11

5、一个机器检测的Micro-Dalvik虚拟机模型.通讯作者.软件学报2015.2

6、计算机专业程序设计语言课程教学改革的思考.第一作者.计算机教育2017.6

7、编程语言类课程双语教学探索与实践.第一作者.计算机教育2017.5

8、计算机专业编程语言类课程教学的思考.第一作者.计算机教育. 2016.4

主持项目

1、新工科编程语言类课程体系建设:解决复杂工程问题能力和计算思维的培养.全国高等学校计算机教育研究会. 2019.1-2020.11

2、JAVA程序设计改革与实践.湖北工业大学. 2017.7-2020.7

3、一个可证明的Dalvik字节码验证器.省教育厅. 2016.1-2018.5

4、达内-Java程序设计(教学改革与实践) .教育部产学合作. 2016.7-2017.6

5、基于Java的编译器安全验证. 2015.10-2017.6.武汉大学

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/475017.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

邻接表的两种实现(链表和数组模拟)

struct node {int v; //边的结束顶点 int w; //边的长度node* next; //指向以同一起点的下一条边的指针 }*first[N]; //first[u]指向以u为起始点的第一条边 void init() {memset(first,NULL,sizeof(first)); } void add(int u, int v, int w)//添加边 {node* p new node;p->…

LeetCode 301. 删除无效的括号(回溯)

文章目录1. 题目2. 解题1. 题目 删除最小数量的无效括号,使得输入的字符串有效,返回所有可能的结果。 说明: 输入可能包含了除 ( 和 ) 以外的字符。 示例 1: 输入: "()())()" 输出: ["()()()", "(())()"]示例 2: 输入:…

计算机程序专利实用新型,涉及计算机程序的实用新型专利保护的思考

随着信息技术的不断发展,与计算机程序相关的计算机技术以及通信技术渗透到各个领域,越来越多的专利涉及了与计算机程序相关的技术。那么,是否包含计算机程序的相关专利申请都不能被授予实用新型专利权呢?本文从一件复审案例出发&a…

javascript数组去重方法性能测试比较

昨天参加的一个前端面试,其中有一题数组去重,首先想到的是对象存键值的方法,代码如下 方法一:(简单存键值) Array.prototype.distinct1 function() {var i0,tmp{},thatthis.slice(0)this.length0;for(;i&l…

LeetCode 428. 序列化和反序列化 N 叉树(DFS)

文章目录1. 题目2. 解题1. 题目 序列化是指将一个数据结构转化为位序列的过程,因此可以将其存储在文件中或内存缓冲区中,以便稍后在相同或不同的计算机环境中恢复结构。 设计一个序列化和反序列化 N 叉树的算法。 一个 N 叉树是指每个节点都有不超过 N…

计算机进入休眠状态后,Win7电脑进入休眠状态后又自动重启该怎么处理

在使用win7系统的时候,有的小伙伴遇到了一个莫名其妙的问题:当电脑进入休眠状态后却突然自动重启了,那么这是怎么一回事呢?又该如何解决呢?别着急,接下来,小编就给大家分享一下Win7电脑进入休眠…

Syslistview32+Systreeview32系统操作动态链接库和实际的商业化

Syslistview32和Systreeview32 是两个极其常用的系统控件,一个是列表控件,一个是树形框,只要能随意操控这两个控件就能够从外部控制住大多应用到这两个控件的软件。 一开始是想要控制VS平台的列表框来操作自动进房间,但是苦于没有…

LeetCode 325. 和等于 k 的最长子数组长度(哈希表记录第一次出现的状态)

文章目录1. 题目2. 解题1. 题目 给定一个数组 nums 和一个目标值 k,找到和等于 k 的最长子数组长度。 如果不存在任意一个符合要求的子数组,则返回 0。 注意: nums 数组的总和是一定在 32 位有符号整数范围之内的。 示例 1: 输入: nums [1, -1, 5, -…

测试网上哪款软件最好,手机测试软件哪款好用?4款测试软件推荐

手机强不强测试上见真章!不服测个试呗!虽不能代表作手机的品质,但可以直观的反馈出手机硬件性能。通过专业的手机测试软件可以对手机硬件进行评分,了解手机每个硬件性能情况。鲁大师:《鲁大师》是一款支持Android、平板…

Android4开发入门经典 之 第七部分:数据存储

数据存储基本知识 Android系统提供了多种数据存储的方式,如下: 1:Shared Preferences:用来存储私有的、原始类型的、简单的数据,通常是Key-value对2:Internal Storage:在设备内部存储器中存储数…

LeetCode 218. 天际线问题(multiset优先队列)*

文章目录1. 题目2. 解题1. 题目 城市的天际线是从远处观看该城市中所有建筑物形成的轮廓的外部轮廓。 现在,假设您获得了城市风光照片(图A)上显示的所有建筑物的位置和高度,请编写一个程序以输出由这些建筑物形成的天际线&#x…

计算机显示器性能指标的是,简述显示器的主要性能指标

1.分辨率:LCD的分辨率与CRT显示器不同,一般不能任意调整,它是制造商所设置和规定的。分辨率是指屏幕上每行有多少像素点、每列有多少像素点,一般用矩阵行列式来表示,其中每个像素点都能被计算机单独访问。现…

LeetCode 277. 搜寻名人(思维题)

文章目录1. 题目2. 解题2.1 暴力解2.2 高效解1. 题目 假设你是一个专业的狗仔,参加了一个 n 人派对,其中每个人被从 0 到 n - 1 标号。 在这个派对人群当中可能存在一位 “名人”。 所谓 “名人” 的定义是:其他所有 n - 1 个人都认识他/她&…

最近很火的计算机歌曲,抖音日活跃用户数超4亿 2019年度最火音乐竟是它

抖音今日发布《2019抖音数据报告》(以下简称报告),报告显示,截至2020年1月5日,抖音日活跃用户数超过4亿。根据报告,抖音上不同年龄段用户最爱拍摄的内容不尽相同,00后喜欢拍摄二次元相关视频,90后用户喜欢拍…

LeetCode 432. 全 O(1) 的数据结构(设计题)*

文章目录1. 题目2. 解题1. 题目 请你实现一个数据结构支持以下操作: Inc(key) - 插入一个新的值为 1 的 key。 或者使一个存在的 key 增加一,保证 key 不为空字符串。Dec(key) - 如果这个 key 的值是 1,那么把他从数据结构中移除掉。 否则使…

vs2010 rdlc 报表及报表控件

有个winfrom项目要使用报表,数据来源于自定义类(model),从网上找了好多教程,都是说如何拖控件,如何设值之类的。没有我想要的效果。 我想要的效果:将rdlc文件放到Debug目录下,以便一…

服务器如何安装应用程序,第四节 服务器端应用程序安装

1、友情提示:退路①备份配置文件Linux 系统环境下配置文件通常内容很多。如果不小心修改了不该修改的地方,自己有不记得做了修改,那么将来报错很难找到错误位置。为了避免这样的问题,我们可以在修改任何配置文件之前都多复制一份&…

设置 NSZombieEnabled 定位 EXC_BAD_ACCESS 错误

http://unmi.cc/nszombieenabled-locate-exc_bad_access-error, 来自 隔叶黄莺 Unmi Blog 我们做 iOS 程序开发时经常用遇到 EXC_BAD_ACCESS 错误导致 Crash,出现这种错误时一般 Xcode 不会给我们太多的信息来定位错误来源,只是在应用 Delegate 上留下像…

LeetCode 785. 判断二分图(染色法)

文章目录1. 题目2. 解题1. 题目 给定一个无向图graph,当这个图为二分图时返回true。 如果我们能将一个图的节点集合分割成两个独立的子集A和B,并使图中的每一条边的两个节点一个来自A集合,一个来自B集合,我们就将这个图称为二分…

css检测,CSS检测工具 CSS Lint简介

Nicholas C. Zakas最近发布了CSS Lint,旨在检测CSS代码中存在的各种问题,从而写出更高效的CSS。CSS Lint现有的一些规则:修复解析错误(Parsing errors should be fixed)避免使用多类选择符(Dont use adjoining classes)IE6以及更古老的浏览器…