基于控制流图遍历和切片前向遍历相结合的软件测试方法

    公开(公告)号:CN101916222B

    公开(公告)日:2012-07-11

    申请号:CN201010247742.6

    申请日:2010-08-09

    Abstract: 本发明提供的是一种基于控制流图遍历和切片前向遍历相结合的软件测试方法。是对基于控制流图遍历的选择性回归测试方法的遍历策略进行改进,对于代码中变量定义的改变,引用切片前向遍历算法,识别所有直接或间接被影响的变量定义使用对vdefine~vuse,并只选择遍历到这些变量定义使用对的测试用例,避免了选择所有通过某节点的测试用例而造成的测试时间和效力的消耗。由于策略改进和算法引入只是针对变量定义的修改,不考虑代码的删除,所以本发明公开的方法不会对安全性产生不利的影响,并且在一定范围内提高了测试用例选择的精确度。

    一种针对复杂线状符号图案单元的绘制方法

    公开(公告)号:CN102509325A

    公开(公告)日:2012-06-20

    申请号:CN201110348554.7

    申请日:2011-11-07

    Abstract: 本发明提出一种针对复杂线状符号图案单元的绘制方法,包括步骤一:确定所要绘制的复杂线状符号的基本图元;步骤二:确定未配置的基本图元长度;步骤三:计算该基本图元的未配置长度可容纳的基本图元个数,计算修改后的基本图元长度;步骤四:判断修改后的基本图元长度是否符合配置要求;步骤五:进行长度变化的渐进处理;步骤六:计算经长度变化的渐进处理后基本图元的外接矩形与相邻的角平分线是否相交。本发明通过对线状符号图元的虚、实部分分类以及视觉限插变化引入,更加灵活的处理线状符号使之在拐点处的视觉连续感加强;通过两拐点之间绘制图元个数阈值的情况选择不同的处理方法简化了处理程序的复杂度,使处理阶段更有效率。

    一种基于海流历史统计信息的水下潜器路径规划方法

    公开(公告)号:CN102175245A

    公开(公告)日:2011-09-07

    申请号:CN201110031277.7

    申请日:2011-01-28

    Abstract: 本发明公开了一种基于海流历史统计信息的水下潜器路径规划方法,包括确定航行区域,将航行区域栅格化、利用海流历史统计数据库生成航行区域内的海流场、利用电子海图作为环境场,将航行区域内的障碍物、岛屿、浅水区进行简化合并,生成禁航区、将海流信息和禁航区信息按照栅格进行存储、构造路径评价函数、利用粒子群算法进行最优路径搜索、输出路径,路径规划结束几个步骤。本发明利用海流历史统计数据库生成接近真实值的海流场,在充分考虑海流影响的情况下,设计了考虑航行安全性、经济性、光滑性相结合的路径评价函数,利用粒子群优化算法作为路径搜索算法进行水下潜器全局路径规划,以规划出更接近实际航行路线的潜器航行路径。

    一种集合卡尔曼滤波局地化方法

    公开(公告)号:CN105046046B

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

    申请号:CN201510312198.1

    申请日:2015-06-09

    Abstract: 本发明属于实测海洋环境数据同化领域,具体涉及一种集合卡尔曼滤波局地化方法。本发明包括:对大气海洋环境实测数据进行预处理;对每个观测资料,计算观测资料处的先验观测集合成员;计算观测的先验集合平均和方差;计算集合平均的观测增量;计算各个集合扰动的观测增量;将集合平均的观测增量投影到模式状态的集合平均上;将各个集合扰动的观测增量投影到模式状态的相应集合扰动上;获得集合成员分析场。本发明对集合卡尔曼滤波中的传统局地化方法进行了改进,有效地考虑了集合平均和集合扰动所代表的不同空间尺度,显著提高了集合卡尔曼滤波的同化精度。

    一种电子海图的数据保护方法

    公开(公告)号:CN104135368B

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

    申请号:CN201410234812.2

    申请日:2014-05-30

    Abstract: 本发明涉及一种电子海图的数据保护方法,策略管理者SA向设备制造商OEM签发OEM数字证书和颁发身份标识M_ID;设备制造商OEM和数据服务商DS之间的建立连接,数据服务方DS获得设备制造商OEM的公钥M_PKEY,获得数据服务方DS的公钥;设备制造商OEM为数据客户端颁发硬件标示符HW_ID,并制作用户许可证;数据客户端将用户许可证通过数据服务方DS的公钥进行加密后递交数据服务方DS;数据服务方DS利用自己的私钥解密用户许可证,根据获得的M_ID查找对应的设备制造商OEM的公钥M_PKEY,用公钥M_PKEY解密用户许可证中硬件标识符HW_ID部分,从而得到数据客户端的硬件标识符HW_ID,通过硬件标识符HW_ID加密单元密钥,为数据客户端生成单元许可,从而向数据客户端提供电子海图数据服务。

    一种基于优化的支持向量回归参数的船舶航迹预测方法

    公开(公告)号:CN102819663B

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

    申请号:CN201210246584.1

    申请日:2012-07-17

    Abstract: 本发明提供了一种基于优化的支持向量回归参数的船舶航迹预测方法,该方法首先给定训练集,选择核函数类型,并利用学习集进行模型训练,得到预测函数,判读预测函数的均方误差是否达到精度要求;若达到则利用该函数预测船舶航迹,若没有,生成参数搜索路径图,利用智能水滴算法搜索最优参数,直至达到精度要求。在搜索最优参数时,智能水滴在寻优过程中具有正反馈机制,搜索过程迅速有效;在每代水滴搜索结束后,路径含沙量都会根据当代最优水滴含沙量情况改变,避免早熟现象出现,搜索能力较强,使得最终预测函数能快速得到,且可实现船舶航迹的快速有效地预测。

    基于地形采样点位置的海底地形数据建立方法

    公开(公告)号:CN102819568B

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

    申请号:CN201210247624.4

    申请日:2012-07-18

    Abstract: 本发明公开了一种基于地形采样点位置的海底地形数据建立方法,属于地理信息系统空间领域。所述方法首先从电子海图中提取海底地形采样点数据,对海底地形采样数据进行四叉树空间索引,查找插值点所在四叉树空间索引中位置;根据插值点所处的位置得到合适的插值方法;最后对已经进行插值的次数和需要插值的总次数进行比较,如果小于需要插值的总次数,则继续插值过程,否则插值过程结束。本发明根据海底地形采样数据边界附近插值点无法获取连成环形自然邻点的特点,采用了自然邻点和加权平均法插值混合插值的方式,充分考虑到了插值方法的特点,有效减少了地形插值误差。

    一种基于改进的微分进化算法的船舶航路规划方法

    公开(公告)号:CN102788581B

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

    申请号:CN201210246581.8

    申请日:2012-07-17

    Abstract: 本发明是一种基于改进的微分进化算法的船舶航路规划方法,首先对待规划区域进行环境建模,选取实数编码方式进行航路编码并基于航线网络方法完成航路种群的初始化;然后对航路种群采用改进的微分进化算法进行变异和交叉操作,根据总性能评价函数进行选择操作;最后获得最优航路解。本发明基于固定航路点库随机选取初始航路点,生成初始种群,保证了初始种群的质量并避免了规划结果局限于固定航路点库的缺陷;所采用的改进的微分进化算法通过邻域权重系数进行调节,并在全局邻域模型中使用抖动缩放因子,提高全局搜索能力,保证不同的航路点组合之间进行充分的信息交流,以产生更优的航路解。

Patent Agency Ranking