一种基于遗传密码的软件通路编解码方法

    公开(公告)号:CN104182236B

    公开(公告)日:2017-12-12

    申请号:CN201410431087.8

    申请日:2014-08-28

    发明人: 康一梅 黄庆然

    IPC分类号: G06F9/44

    摘要: 本发明提供了一种基于遗传密码的软件通路编解码方法,以DNA编码方式以及DNA校验方式为蓝本,实现一种对软件流程路径控制的编码方式,包括对流程以及基本块的编码、转码、校验,通过对基本块的编码、校验保障软件流程的正确运行,从而增强软件可靠性,降低软件潜通路的风险。

    一种基于全局超级块支配图的插桩位置获取方法

    公开(公告)号:CN105159835B

    公开(公告)日:2017-11-03

    申请号:CN201510703492.5

    申请日:2015-10-24

    发明人: 康一梅 王天凤

    IPC分类号: G06F11/36

    摘要: 本发明公开了一种基于全局超级块支配图的插桩位置获取方法,应用于计算机软件测试和软件可靠性保障领域。所述方法包括以下步骤:根据局部超级块支配图和函数调用关系图生成全局超级块支配图;对全局超级块支配图进行节点关系分析,最终获取最少数量的插桩位置。本发明可有效减少被测程序中插桩点的数量,从而显著提高插桩后被测程序的运行效率。

    一种基于全局超级块支配图的插桩位置获取方法

    公开(公告)号:CN105159835A

    公开(公告)日:2015-12-16

    申请号:CN201510703492.5

    申请日:2015-10-24

    发明人: 康一梅 王天凤

    IPC分类号: G06F11/36

    摘要: 本发明公开了一种基于全局超级块支配图的插桩位置获取方法,应用于计算机软件测试和软件可靠性保障领域。所述方法包括以下步骤:根据局部超级块支配图和函数调用关系图生成全局超级块支配图;对全局超级块支配图进行节点关系分析,最终获取最少数量的插桩位置。本发明可有效减少被测程序中插桩点的数量,从而显著提高插桩后被测程序的运行效率。

    一种基于线阵CCD和线状红外激光的液体表面波探测方法及装置

    公开(公告)号:CN103438980B

    公开(公告)日:2015-07-15

    申请号:CN201310390953.9

    申请日:2013-09-01

    发明人: 康一梅 陈昱

    IPC分类号: G01H9/00

    摘要: 本发明涉及的基于线阵CCD和线状红外激光的液体表面波探测方法及装置,所述方法为:使线状红外激光器发射的激光线照射到液体表面,经表面反射后,通过可见光滤波片,照射到线阵CCD上,线阵CCD接收到光信号后输出数字视频信号,经图像处理后算出线阵CCD上光斑坐标发给上位机,上位机负责对测量结果进行处理和显示。装置由激光发射模块,光线位置检测模块,图像处理模块三部分组成。本发明用于液体表面波的探测。

    一种复杂背景下小目标快速识别方法

    公开(公告)号:CN102521591B

    公开(公告)日:2013-05-01

    申请号:CN201110388092.1

    申请日:2011-11-29

    发明人: 康一梅 岑毅

    IPC分类号: G06K9/46 G06K9/36

    摘要: 本发明提供了一种复杂背景下小目标快速识别方法,目的在于能够对在复杂背景的图像中,显示像素大于10×10小于40×40的目标进行高准确率的识别,并将识别结果(目标位置)实时反馈给系统。本发明所述方法包括:本发明首先计算目标模板图像的信息熵矩阵,然后对待识别图像进行小波变换并软阈值去噪,得到一系列的采样点,通过采样点来确定待识别区域,其次对所有的待识别区域计算信息熵矩阵,最后计算所有的待识别区域的信息熵矩阵与目标模板图像的信息熵矩阵的欧氏距离,小于判定阈值中欧氏距离最小的待识别区域所对应的点的位置,就是目标所在的位置。本发明与已有的相应技术相比,具有在复杂背景下对小目标高准确识别的能力,对识别速度进行了一定的改善。

    一种提高软件通路可靠性的实现方法

    公开(公告)号:CN104199658B

    公开(公告)日:2017-07-28

    申请号:CN201410432724.3

    申请日:2014-08-28

    发明人: 康一梅 黄杰

    IPC分类号: G06F9/44

    摘要: 本发明提出了一种提高软件通路可靠性的实现方法,该方法首先在程序中加入起始码、中间码和匹配码,当程序运行时则后面继承前面的码,以形成一个码来唯一标识一条通路,并在末尾与匹配码匹配。匹配成功为有效通路,失败为潜通路。本发明可以有效地发现和处理潜通路,提高了软件通路的可靠性。

    一种用于解决软件潜通路的软件体系结构系统及设计方法

    公开(公告)号:CN104182235B

    公开(公告)日:2017-04-12

    申请号:CN201410424481.9

    申请日:2014-08-26

    发明人: 康一梅 姚赟政

    IPC分类号: G06F9/44

    摘要: 本发明提供了一种用于解决软件潜通路的软件体系结构系统及设计方法,所描述的体系结构设计模式将一个软件系统分为主调函数构件、被调函数构件、控制器构件、事件构件和数据构件五个模块。在程序的所有数据交互之间增加控制器构件,实现对事件及模块之间数据交互的全局管理。控制器构件内部包括计时器组件、函数处理组件和函数注册组件,用于控制模块之间数据交互的时间。若在规定时间内数据未正常返回,则由函数处理组件强制返回一个错误数据并结束故障函数调用进程。本发明的优点包括构件复用、循序渐进的原型设计、构件可以并行开发且互不影响,最重要的是解决了潜通路问题,提高了软件的稳定性和健壮性。

    一种内存错误检测方法
    8.
    发明授权

    公开(公告)号:CN104133733B

    公开(公告)日:2017-03-29

    申请号:CN201410366790.5

    申请日:2014-07-29

    发明人: 康一梅 张浩中

    IPC分类号: G06F11/07

    摘要: 本发明公开了一种内存错误检测方法,应用于计算机应用程序的内存错误检测。所述方法包括以下步骤:对应用程序进行静态分析,完成对其的内存错误特征建模;运行所述应用程序,利用内存错误特征模型,创建并动态维护所述应用程序的合法地址库;应用程序每次访问内存地址前,计算出即将访问的内存地址并与合法地址库中的记录进行匹配,若无法匹配上或程序运行结束前合法地址库中仍有由内存分配函数创建的记录,均说明该应用程序存在内存错误。本发明能够有效地检测出计算机应用程序中包括越界访问、指针非法访问、内存错误释放和内存泄露等常见的四大类内存错误。

    一种基于水黾食物定位的移动目标渐进定位跟踪方法

    公开(公告)号:CN104331903B

    公开(公告)日:2017-03-29

    申请号:CN201410575824.1

    申请日:2014-10-25

    发明人: 康一梅 姚赟政

    IPC分类号: G06T7/292 G06T7/13

    摘要: 本发明涉及一种基于水黾食物定位的移动目标渐进定位跟踪方法,引入了水黾捕食的思想来规划主跟踪设备的运动轨迹,实现了对移动目标进行准确跟踪,同时减小了跟踪时视频识别所需要处理大量数据的压力,提高跟踪检测的实时性和准确性。具有跟踪速度快、抗干扰能力强的优点。

    一种基于水黾食物定位的移动目标渐进定位跟踪方法

    公开(公告)号:CN104331903A

    公开(公告)日:2015-02-04

    申请号:CN201410575824.1

    申请日:2014-10-25

    发明人: 康一梅 姚赟政

    IPC分类号: G06T7/20 G06T7/00

    摘要: 本发明涉及一种基于水黾食物定位的移动目标渐进定位跟踪方法,引入了水黾捕食的思想来规划主跟踪设备的运动轨迹,实现了对移动目标进行准确跟踪,同时减小了跟踪时视频识别所需要处理大量数据的压力,提高跟踪检测的实时性和准确性。具有跟踪速度快、抗干扰能力强的优点。