浮点超越函数设计与实现 被引量：5

1

作者 杜慧敏 沙亮 +1 位作者 张彦芳 牛志璐 《西安邮电大学学报》 2015年第2期16-20,共5页

针对图形处理器中浮点超越函数,设计一种单精度浮点超越函数专用计算电路。该电路基于CORDIC参数扩展算法,通过映射和补偿处理扩展计算范围,修改初值设置方式节省部分计算开销,依据Matlab模型仿真设计FPGA电路实现。实验结果表明,在Xili... 针对图形处理器中浮点超越函数,设计一种单精度浮点超越函数专用计算电路。该电路基于CORDIC参数扩展算法,通过映射和补偿处理扩展计算范围,修改初值设置方式节省部分计算开销,依据Matlab模型仿真设计FPGA电路实现。实验结果表明,在Xilinx Virtex6器件上电路的最大工作频率可达182.916MHz,以39至67时钟周期完成一次计算,计算周期减少。 展开更多

关键词 CORDIC 参数扩展 浮点超越函数 图形处理器

下载PDF 职称材料

挣值法的参数扩展与修正研究 被引量：2

2

作者 李佑莲 《数学的实践与认识》 北大核心 2016年第17期1-11,共11页

传统挣值法基于确定性与稳定性的项目基准计划,仅考虑和集成了项目时间与项目成本两个参数(要素),忽略了货币的时间价值.针对这些不足,对其进行参数扩展和相关的修正:运用蒙特卡罗法制定具有不确定性的项目的基准计划,考虑和集成了项目... 传统挣值法基于确定性与稳定性的项目基准计划,仅考虑和集成了项目时间与项目成本两个参数(要素),忽略了货币的时间价值.针对这些不足,对其进行参数扩展和相关的修正:运用蒙特卡罗法制定具有不确定性的项目的基准计划,考虑和集成了项目范围与项目质量两个参数,将时间因素引入成本度量中.在此基础上,提出和定义了挣值法的有关指标,以期提高挣值法的集成度和准确度. 展开更多

关键词 挣值法 项目基准计划 蒙特卡罗法 参数扩展 指标

原文传递

基于CORDIC的浮点超越函数设计与实现 被引量：1

3

作者 宋晨阳 李涛 +1 位作者 牛志璐 李卯良 《信息技术》 2017年第9期113-116,共4页

文中对扩展CORDIC算法进行研究,在此基础上,设计并实现了浮点超越函数硬件加速器。该加速器可在向量模式下完成反正切、反双曲正切和对数函数三种浮点超越函数的计算,设计采用IEEE-754标准单精度浮点数格式,计算流程划分为X、Y、Z三条... 文中对扩展CORDIC算法进行研究,在此基础上,设计并实现了浮点超越函数硬件加速器。该加速器可在向量模式下完成反正切、反双曲正切和对数函数三种浮点超越函数的计算,设计采用IEEE-754标准单精度浮点数格式,计算流程划分为X、Y、Z三条数据通路,包含对阶、映射、迭代、补偿、规格化5步处理。实验结果表明,在Xilinx Virtex6器件上电路的最大工作频率可达221MHz,计算周期减少。 展开更多

关键词 CORDIC 向量模式 浮点超越函数 参数扩展

下载PDF 职称材料

IMC-PID控制器参数扩展整定方法的改进 被引量：11

4

作者 龚剑平 朱凤成 《北京化工大学学报（自然科学版）》 EI CAS CSCD 2000年第3期75-76,80,共3页

对用于时滞对象的IMC PID控制器参数扩展整定方法进行了改进 ,修正了扩展整定公式 ,评价了扩展整定方法中的不足。

关键词 IMC PID控制器 鲁棒稳定性 参数扩展整定方法

下载PDF 职称材料

简单循环约减三三组合测试用例生成方法 被引量：3

5

作者 艾华 宋晓秋 安恒 《计算机工程与设计》 北大核心 2018年第12期3728-3733,共6页

为解决最小三三组合测试用例集生成问题,在逐参数扩展策略的基础上进行简化,提出简单循环约减方法。将多种贪心策略融合应用到生成最小测试用例集的过程中,以全局测试用例集规模最小为目标,通过不断地水平直接扩展和垂直循环约减的方式... 为解决最小三三组合测试用例集生成问题,在逐参数扩展策略的基础上进行简化,提出简单循环约减方法。将多种贪心策略融合应用到生成最小测试用例集的过程中,以全局测试用例集规模最小为目标,通过不断地水平直接扩展和垂直循环约减的方式,有效避免逐参数扩展策略陷入局部次优解的风险,在较大解空间内进行循环约减,提高方法全局寻优能力,得到全局近似最小测试用例集。通过Java程序实现,并与其它算法进行实验比较,验证了该方法的有效性。 展开更多

关键词 三三组合 测试用例集 逐参数扩展 组合测试 软件测试

下载PDF 职称材料

基于DCS系统组件的变力度组合测试方法

6

作者 周进 刘杰 +4 位作者 肖安洪 曾辉 吴志强 陈智 阳小华 《计算机工程》 CAS CSCD 北大核心 2021年第9期178-184,共7页

系统组件间的交互故障及功能失效是导致核电厂数字化仪控系统(DCS)故障的主要原因,传统组合测试能有效检测组件之间交互作用,但存在测试数据冗余、检测能力下降等问题。提出一种基于逐参数扩展(IPO)策略的变力度组合测试方法IPO_VD。根... 系统组件间的交互故障及功能失效是导致核电厂数字化仪控系统(DCS)故障的主要原因,传统组合测试能有效检测组件之间交互作用,但存在测试数据冗余、检测能力下降等问题。提出一种基于逐参数扩展(IPO)策略的变力度组合测试方法IPO_VD。根据DCS系统组件开发的特性,从待测组件间实际交互关系,对水平扩展过程中参数的取值选择进行改进。实验结果表明,相比固定力度下的IPO算法,IPO_VD算法在测试数据规模、覆盖率以及检错能力上均有一定优势。在减小测试数据规模的同时实现对组件间实际交互关系的全覆盖。 展开更多

关键词 变力度组合测试 核电数字化仪控系统 测试数据生成 逐参数扩展 交互关系

下载PDF 职称材料

基于蚁群算法的逐参数扩展组合测试

7

作者 涂亚明 万国伟 +1 位作者 王国锋 边计年 《西南科技大学学报》 CAS 2013年第3期61-65,共5页

组合测试是一种高效的测试手段,但测试用例集的生成是一个NP完全问题。逐参数扩展的策略(In-Parameter-Order,IPO)是每次加入一个参数,将问题分解为水平(参数)扩展和垂直(测试用例)扩展,其水平和垂直扩展都使用贪心算法。针对IPO算法扩... 组合测试是一种高效的测试手段,但测试用例集的生成是一个NP完全问题。逐参数扩展的策略(In-Parameter-Order,IPO)是每次加入一个参数,将问题分解为水平(参数)扩展和垂直(测试用例)扩展,其水平和垂直扩展都使用贪心算法。针对IPO算法扩展时贪心算法容易陷入局部次优解的问题,提出一种基于蚁群算法的逐参数扩展组合测试用例生成算法,该算法在水平扩展中引入蚁群算法替换原有的贪心算法,有效提高全局搜索能力,避免陷入局部次优解。实验结果表明:该算法与IPO算法相比,生成的测试用例集的规模较小。 展开更多

关键词 组合测试 蚁群算法 测试用例 逐参数扩展

下载PDF 职称材料

具有固定长度密文的广播加密方案

8

作者 国佃利 杨鹏飞 +2 位作者 刘家磊 王萍 宋宁宁 《电子技术应用》 2021年第9期55-58,共4页

广播加密方案可建立一对多的密态数据传输通道,消息发送者可在执行加密操作前创建授权用户集合,惟有授权用户才能对接收到的广播密态数据进行解密。利用素数阶非对称双线性映射构造了标准模型下静态安全的公钥广播加密方案,密文扩展量... 广播加密方案可建立一对多的密态数据传输通道,消息发送者可在执行加密操作前创建授权用户集合,惟有授权用户才能对接收到的广播密态数据进行解密。利用素数阶非对称双线性映射构造了标准模型下静态安全的公钥广播加密方案,密文扩展量与用户密钥扩展量为O(1),公钥扩展量为O(N)(N表示广播加密系统内用户总数)。与之前相关方案相比,该方案能够在简单的非交互式安全假设下取得标准模型下静态安全性,并且取得最优化的密文与用户密钥扩展量。 展开更多

关键词 广播加密 标准模型 静态安全性 参数扩展量

下载PDF 职称材料

基于双参数统一方法的深海结构物疲劳裂纹扩展影响参数研究 被引量：6

9

作者 卞如冈 崔维成 +1 位作者 万正权 黄小平 《船舶力学》 EI 北大核心 2010年第5期516-525,共10页

影响裂纹扩展的因素很多,文章基于作者们在PRADS2007会议上提出的双参数裂纹扩展率一般表达式,分析了裂纹初始形状、初始大小对裂纹扩展的影响。并在该裂纹扩展率公式的基础上,基于改进的Wheeler模型,提出了一个考虑载荷比、载荷次序的... 影响裂纹扩展的因素很多,文章基于作者们在PRADS2007会议上提出的双参数裂纹扩展率一般表达式,分析了裂纹初始形状、初始大小对裂纹扩展的影响。并在该裂纹扩展率公式的基础上,基于改进的Wheeler模型,提出了一个考虑载荷比、载荷次序的双参数统一裂纹扩展率表达式。研究表明,文中给出的双参数裂纹扩展率公式能够考虑初始裂纹的形状、大小对裂纹扩展的影响;建立的过载扩展公式,能够反映过载对裂纹扩展的延滞效应,和高强度钢的疲劳试验结果相比较,两者吻合良好。 展开更多

关键词 双参数裂纹扩展率 初始裂纹 过载

下载PDF 职称材料

高频地波雷达目标高度估计起始的HPEKF算法 被引量：6

10

作者 张硕 金永镐 +1 位作者 于长军 权太范 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2007年第5期725-729,共5页

提出了在高频地波雷达背景下一种新的目标高度起始算法.应用高度参数化的扩展卡尔曼滤波(HPEKF)技术,递归计算各个不同高度初值滤波器的权值来逼近目标真实高度.Monte Carlo仿真表明,对于在起始阶段中等高飞行的目标,该方法可以提供相... 提出了在高频地波雷达背景下一种新的目标高度起始算法.应用高度参数化的扩展卡尔曼滤波(HPEKF)技术,递归计算各个不同高度初值滤波器的权值来逼近目标真实高度.Monte Carlo仿真表明,对于在起始阶段中等高飞行的目标,该方法可以提供相对误差较小的高度初值. 展开更多

关键词 高频地波雷达 高度估计 高度参数化扩展卡尔曼滤波

下载PDF 职称材料

多线程Java程序安全行为模型的静态检查方法 被引量：4

11

作者 金英 李泽鹏 +1 位作者 张晶 刘磊 《计算机学报》 EI CSCD 北大核心 2009年第9期1856-1868,共13页

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动... 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持. 展开更多

关键词 多线程Java程序 安全相关行为模型 静态检查 参数化扩展上下文无关文法

下载PDF 职称材料

高频地波雷达飞行目标高度估计 被引量：6

12

作者 赵孔瑞 周共健 +1 位作者 于长军 权太范 《系统工程与电子技术》 EI CSCD 北大核心 2012年第8期1571-1575,共5页

高频地波雷达探测空中目标时缺乏俯仰角度信息,不能直接获取飞行目标高度,目标状态初始值对跟踪精度影响很大。提出一种拟牛顿法与高度参数化迭代扩展卡尔曼滤波(height-parameterized iterated extend-ed Kalman filter,HPIEKF)结合的... 高频地波雷达探测空中目标时缺乏俯仰角度信息,不能直接获取飞行目标高度,目标状态初始值对跟踪精度影响很大。提出一种拟牛顿法与高度参数化迭代扩展卡尔曼滤波(height-parameterized iterated extend-ed Kalman filter,HPIEKF)结合的方法跟踪目标三维信息。首先利用雷达系统过去时刻和当前时刻的观测信息通过拟牛顿法估计目标的飞行高度;其次,用该高度值初始化HPIEKF,对飞行目标进行三维信息跟踪。仿真实验表明,拟牛顿法能够以较小误差估计出目标飞行高度,利用该估计值作为HPIEKF跟踪的初始值,提高了跟踪精度。 展开更多

关键词 高度估计 拟牛顿法 高度参数化迭代扩展卡尔曼滤波

下载PDF 职称材料

基于清晰度评价的水下退化图像盲复原 被引量：2

13

作者 陈从平 邹雷 王健 《三峡大学学报（自然科学版）》 CAS 2012年第4期86-88,共3页

针对水下图像信噪比低、图像模糊的特点,开发了一种基于图像清晰度评价的水下图像盲复原算法.在分析水下图像特点的基础上,选取带参数的点扩展函数,结合Lucy-Richardson算法对图像进行复原并获得随参数变化的系列复原图像,进而以最高清... 针对水下图像信噪比低、图像模糊的特点,开发了一种基于图像清晰度评价的水下图像盲复原算法.在分析水下图像特点的基础上,选取带参数的点扩展函数,结合Lucy-Richardson算法对图像进行复原并获得随参数变化的系列复原图像,进而以最高清晰度为评价指标,确定最优复原效果和参数,获得最高清晰度复原图像.实验证明,该算法获得了比较理想的复原效果. 展开更多

关键词 水下图像 盲复原 带参数点扩展函数 清晰度评价

下载PDF 职称材料

基于高频地波雷达的无角度双站雷达目标跟踪算法 被引量：1

14

作者 王喜梅 吕泽均 +1 位作者 张涛 颜可壹 《计算机工程》 CAS CSCD 北大核心 2015年第3期312-316,共5页

高频地波雷达对于远距离目标难以给出准确的方位角观测信息,从而严重影响超视距目标的跟踪精度。为此,提出一种基于高度参数化扩展卡尔曼滤波(HPEKF)的无角度双站雷达目标跟踪算法,仅需要2部雷达得到距离和径向速度信息。通过HPEKF技术... 高频地波雷达对于远距离目标难以给出准确的方位角观测信息,从而严重影响超视距目标的跟踪精度。为此,提出一种基于高度参数化扩展卡尔曼滤波(HPEKF)的无角度双站雷达目标跟踪算法,仅需要2部雷达得到距离和径向速度信息。通过HPEKF技术可以对目标进行三维定位与跟踪,忽略雷达量测的方位角信息,较好地弥补当目标距离较远时测量角度精度不够精确的问题,扩展了算法的应用环境。仿真实验结果验证了该算法的可行性和有效性。 展开更多

关键词 高频地波雷达 高度参数化扩展卡尔曼滤波 三维目标跟踪 二维雷达 海上低空目标 高度估计

下载PDF 职称材料

变周期RP-EKF时延纯方位角目标跟踪算法

15

作者 彭冬亮 郭云飞 薛安克 《传感技术学报》 CAS CSCD 北大核心 2009年第2期225-229,共5页

针对声传感器纯方位目标跟踪应用,提出了一种基于静态多模型的距离参数化变周期扩展卡尔曼滤波算法,将时延影响转换为模型的可变周期,并通过参数在线估计的方法,估计该可变周期。距离参数化方法将整个距离空间分成若干个区间,分区间对... 针对声传感器纯方位目标跟踪应用,提出了一种基于静态多模型的距离参数化变周期扩展卡尔曼滤波算法,将时延影响转换为模型的可变周期,并通过参数在线估计的方法,估计该可变周期。距离参数化方法将整个距离空间分成若干个区间,分区间对距离进行估计,进而搜索出目标与观测平台之间的正确距离值。仿真结果表明变周期距离参数化扩展卡尔曼滤波算法能有效解决经典扩展卡尔曼滤波算法在纯方位角目标跟踪时可能出现的滤波发散现象,并能处理声音信号的传输时间延迟问题。 展开更多

关键词 纯方位角跟踪 变周期距离参数化扩展卡尔曼滤波 滤波器组 声音时延

下载PDF 职称材料