-
公开(公告)号:CN102789420A
公开(公告)日:2012-11-21
申请号:CN201210256470.5
申请日:2012-07-24
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于程序执行轨迹的动态切片系统,包括系统获得程序的执行路径信息、对Java的.class文件进行静态分析、对程序执行轨迹中每个序列的每条语句的附加变量集进行分析、对源程序中每条语句直接控制依赖结点的获取、对程序执行轨迹中每个序列的每条语句进行附加控制依赖工作及完成对Java过程内程序进行动态切片的功能。在程序切片的过程中不需要对程序进行回溯,大大提高了算法的效率,根据控制依赖关系和变量的定义引用信息提高了切片的精度。
-
公开(公告)号:CN102789420B
公开(公告)日:2016-01-20
申请号:CN201210256470.5
申请日:2012-07-24
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于程序执行轨迹的动态切片系统,包括系统获得程序的执行路径信息、对Java的.class文件进行静态分析、对程序执行轨迹中每个序列的每条语句的附加变量集进行分析、对源程序中每条语句直接控制依赖结点的获取、对程序执行轨迹中每个序列的每条语句进行附加控制依赖工作及完成对Java过程内程序进行动态切片的功能。在程序切片的过程中不需要对程序进行回溯,大大提高了算法的效率,根据控制依赖关系和变量的定义引用信息提高了切片的精度。
-
公开(公告)号:CN202331434U
公开(公告)日:2012-07-11
申请号:CN201120409594.3
申请日:2011-10-20
Applicant: 中国矿业大学
IPC: G06F11/32
Abstract: 本实用新型公开了一种具有温度提示功能的笔记本电脑,包括笔记本电脑、警示灯、单片机及温度传感器,其特征在于:温度传感器和单片机内置于笔记本电脑的内部,警示灯固定于笔记本电脑的边缘处;所述的笔记本电脑制作有显示屏、键盘、CPU、散热器及触摸板;所述的温度传感器读取笔记本电脑内部的温度值并将其传递给单片机,单片机根据收到的信号判断笔记本内部的温度是否大于门限值,以控制警示灯的亮、灭。使用该实用新型,可以及时提醒人们注意给电脑散热、降温,减少对电脑的伤害,避免不必要的经济损失;该实用新型以较低的附加成本解决了人们的一大难题,推广更容易。
-
公开(公告)号:CN202331277U
公开(公告)日:2012-07-11
申请号:CN201120409592.4
申请日:2011-10-20
Applicant: 中国矿业大学
Abstract: 本实用新型公开了一种能够自动调节键盘亮度的笔记本电脑,包括笔记本电脑、键盘背光灯、单片机及环境光传感器,其特征在于:环境光传感器和单片机内置于笔记本电脑的内部,键盘背光灯固定于键盘上;所述的笔记本电脑制作有显示屏、键盘及触摸板;所述的环境光传感器将键盘周围的光线强度转换成电信号传递给单片机,单片机根据收到的信号值控制键盘背光灯的电压值,达到调节键盘背光灯亮度的功能,方便人们打字。该实用新型较传统的笔记本电脑仅添加了键盘背光灯、单片机及环境光传感器,以较低的成本解决了人们的一大难题,推广更容易。
-
-
-