基于资源的灾难恢复能力指标体系及其度量

关键词：灾难恢复能力灾难恢复资源指标体系动态指标度量恢复点目标恢复时间目标

为提高灾难恢复能力评估的科学性与准确性,结合灾难恢复国家标准,提出基于资源的灾难恢复能力指标体系。针对灾难恢复能力指标度量缺乏系统研究的问题,依据指标特性,设计基于阈值逻辑树影响分析、网络性能影响分析及基于威布尔分析的动态指标度量方法。该指标体系及其度量在评估中的应用结果表明,其通过逐级细化国标并引入考察影响因素的4类动态...
基于人眼侧抑制机制的自动色彩均衡化算法

关键词：自动色彩均衡化算法侧抑制机制高斯分布二维圆形区域对比度复杂度

针对传统自动色彩均衡化（ACE）算法增强后的图像局部效果较差、运算速度较慢等问题,提出一种基于人眼侧抑制机制的ACE算法。ACE算法模拟人眼的侧抑制机制,在目标点周边选取符合侧抑制有效作用范围的二维圆形区域,并在该区域内选取服从高斯分布的采样点,将目标点和采样点进行差分比较,增强对比度。该算法能使运算集中在相关度较高的像素点内,降...
Kaminsky域名系统缓存投毒防御策略研究

关键词：kaminsky域名系统 dns缓存投毒概率分析报文检查防御策略模型检查

当前缓存域名系统（DNS）服务器无法抵抗持续的Kaminsky DNS缓存投毒攻击。为此,提出一种基于应答报文检查的防御策略。应用概率学理论分析Kaminsky投毒成功概率与投毒持续时间的内在联系,通过报文检查策略抑制投毒成功概率随时间的积累效应,达到防御持续Kaminsky投毒的目的。利用概率模型检查工具PRISM进行仿真实验,结果证明该策略可以使攻击难...
城市建筑中移动通信信号的干扰抑制

关键词：码分多址多用户检测多址干扰码间干扰最小均方误差窄带干扰

城市建筑物的结构、高度和密度会对蜂窝移动通信产生影响,在多径扩散信道中产生宽带和窄带干扰。为此,设计一种次优化的盲最小均方误差检测器。在抑制通信系统中宽带干扰（多址干扰和码间干扰）的同时,消除窄带通信系统产生的窄带干扰（包括正弦波信号、自回归信号、多速信号系统中的数字信号等）以及环境噪声,利用子空间分解技术和辅助向量来简...
有向加权复杂网络抗毁性测度研究

关键词：复杂网络有向加权拓扑层抗毁性测度算法

为有效评估有向加权复杂网络的抗毁性能,考虑网络边的有向性和权重对复杂网络拓扑层抗毁性的影响,提出一种有向加权复杂网络抗毁性测度算法（IMADW）。IMADW利用最短调和距离度量节点之间以及整个网络节点对之间的连接紧密度,采用节点环路系数反映节点可选的路径数,由此得到网络拓扑层的全局抗毁性测度值。通过算法分析和实验仿真验证了该算法的...
基于插桩和布尔逻辑的运行时程序验证框架

关键词：rpa框架 rpal语言运行时程序验证程序插桩布尔逻辑事实推理

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发...
基于Petri网和混合蚁群算法的多星成像调度

关键词：多星成像调度综合指标petri网蚁群算法全局搜索

提出一种基于综合指标Petri网和混合蚁群算法的多星成像调度策略。在综合指标Petri网变迁中引入指标信息,处理多星并发观测和卫星资源竞争关系、反映卫星能量和存储等约束,使得问题描述更直观和完备。设计一种嵌入局部搜索技术的蚁群优化算法,通过启发式信息综合变迁中的指标,引导蚂蚁进行全局搜索。仿真实例结果表明,该策略能有效求解多星成像...
一种改进的多边形数据内点自动生成算法

关键词：地理信息系统多边形内点生成不确定性相交区间健壮性

基于最小外切矩形（MBR）的多边形内点生成算法在奇异情况下容易失效。针对该问题,引入矢量数据的不确定性区间,提出一种改进的多边形数据内点自动生成算法。采用不确定性区间和相交区间的处理方法对奇异情况进行统一修正,避免MBR算法对于切割线与节点相交情况的过多异常处理和分支结构。通过对比实验验证了该算法的健壮性和高效性。
基于多线程技术的分辨函数析取范式生成算法

关键词：属性约简分辨函数多线程技术并行模型析取范式

基于分辨矩阵计算信息系统的所有约简,都需要将合取范式转化为析取范式,但是该转化过程存在组合爆炸问题。为解决该问题,根据合取范式、合取运算和析取运算的特点,构建析取范式转化的并行模型,提出基于多线程技术的分辨函数析取范式生成算法,利用Windows的自动线程调度功能提高范式转换的效率。实验结果表明,该算法的析取范式转化效率会随着合取...
基于退火遗传算法的单元测试方法

关键词：软件测试参数化单元测试遗传算法模拟退火算法遗传算子适应值函数

为提高单元测试的效率,提出一种基于退火遗传算法的自动化单元测试方法。将遗传算子与进化代数进行关联,使其更快收敛于最优解。采用基于分支距离的方法构造适应值函数,根据代码转换功能,将判定结点处的代码转换为平行结构、将分支距离量化为[0,1]之间的数。实验结果表明,该方法能以更短的时间获得更高的代码覆盖率。
基于Petri网的联锁软件测试用例动态生成

关键词：petri网逆网最小割集联锁软件测试用例

根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。
基于项目和信任的协同过滤推荐算法

关键词：推荐系统协同过滤基于信任网络推荐冷启动推荐混合推荐云模型

为解决冷启动用户的推荐问题,对TrustWalker算法在相似度计算、可能性项目选择和预测评分等方面进行改进,提出一种基于项目和信任的协同过滤推荐算法CoTrustWalker。采用云模型相似度方法计算项目间的相似度,通过选择最相似的若干个项目的聚合结果作为随机游走的返回结果,从而提高推荐结果的稳定性。实验结果表明,CoTrustWalker算法在小规模数据...
一种可扩展的业务对象建模框架

关键词：面向对象基于组件可扩展建模框架业务模型驱动业务要素

传统企业业务管理系统将业务对象和规则混合在代码中,使系统的灵活性和可扩展性受到很大限制。针对该问题,提出一种可扩展的业务对象建模框架（SBOMF）,将企业业务逻辑映射到业务要素的外部实体上,实现业务逻辑与系统实现的脱离。通过对业务对象进行组件化建模,建立由统一模式的组件构成的企业业务管理系统。应用结果证明,SBOMF框架能缩短企业业...
程序局部性的量化分析

关键词：存储墙局部性重用距离时间局部性空间局部性缓存

给出与平台无关的局部性量化方法,从空间局部性和时间局部性2个角度,量化SPEC2000测试基准程序,以及这些程序的数据段、代码段和堆栈段。时间和空间局部性组成的二维局部性分布直观地展示了基准测试程序的局部性。实验结果表明,程序数据局部性主要由堆段的局部性决定,堆段的局部性最差,栈的局部性最优。
基于多角度关联模型的实体检索方法

关键词：文本挖掘关联规则实体检索实体名识别维基百科搜索引擎

针对信息检索领域特定类型实体的检索问题,在传统搜索引擎的基础上,提出一种基于多角度关联模型的实体检索方法,综合运用实体名识别（NER）、文本向量、关联规则等技术以及Wikipedia、Stanford NER等工具,并在TREC2010实体检索项目中进行评测。实验结果表明,与基于BM25和贝叶斯模型的检索方法相比,该方法的nDCG@R值平均提高11.49%和18.09%。
基于链接路径搜索的URL属性集成方法

关键词：链接路径网页标题半结构化数据结构化数据库锚文本 url属性

在W2DR算法实验中,部分网页因其锚文本提供的信息量不足,导致利用半结构化的网页信息填充结构化数据库内容效果不佳。为此,提出一种基于链接路径包的URL属性集成方法。采用将锚文本和网页标题相结合的机制,从被搜索网页集中,根据最佳匹配策略求解得到URL属性值,并将其填充到目标数据库。实验结果表明,与W2DR算法相比,该方法在2个不同数据集中的F...
基于API依赖关系的代码相似度分析

关键词：恶意代码相似度分析数据依赖控制依赖系统调用依赖图 jaccard系数

针对传统系统调用依赖图（SCDG）不能很好地消除API噪声、API重排等API特征混淆的问题,提出一种基于API依赖关系的恶意代码相似度分析方法。采用由API控制依赖关系和4类数据依赖关系组成的SCDG程序行为描述方式,通过数据依赖关系分析和控制依赖关系归一化,消除SCDG中的API噪声和API重排。实验结果表明,与API序列相似度分析方式相比,该方法能提高...
基于LabVIEW的嵌入式软件能耗测量方法

关键词：嵌入式软件 labview平台能耗测量近似计算数据采集

针对嵌入式软件的运行能耗评估问题,设计一种基于LabVIEW和NI多功能数据采集卡的嵌入式软件能耗测量方法。利用编写的数据采集程序,直接对测量目标的电流电压通道以及用于标记状态的数字通道进行同步能耗数据采集。目标程序被封装成测量单元,通过GPIO端口向数字通道发送状态。该状态用于区别采集到的电流电压数据样本是否为目标程序执行时的样本...
F2＋vF2环上的接近MDR码

关键词：线性码对偶码 mdr码几乎mdr码接近mdr码生成矩阵

根据有限域Fq上的MDS码与接近MDS码，提出F2＋vF2环上的接近MDR码环上的MDR码与接近MDR码，其中包括几乎MDR码。利用环F2＋vF2环上的接近MDR码与域R中加法群的一个同态q，根据映线性码的生成矩阵证明C是F2＋vF2环上的接近MDR码上MDR码，当且仅当q（C）为如上的MDS码，C是R上的接近MDR码，q（C）为R上的接近MDS码，并由此给出环F2＋vF2环上的接近...
分布式CoMP系统中联合预处理方法研究

关键词：多点协同传输分布式天线系统预编码空时分组码联合处理误码率

在分布式多点协同传输系统中,为进一步提升小区边缘用户接收性能和提高频谱利用率,提出一种联合预处理方法。该方法采用预编码和空时编码相结合的联合编码模型。在分布式天线系统的各远端天线单元（RAU）根据信道状态好坏,形成针对用户传输的协作集合。协作集合中各RAU采用相应的预编码规则对同一用户数据进行预处理,并通过空时分组码的方式发送...
基于HOT理论的网络抗毁性动态演化模型

关键词：网络抗毁性 hot理论幂率分布优先连接相继失效无尺度网络

建立一种具有抗毁性的网络动态演化模型,利用HOT理论,通过节点的择优连接机制,使系统的抗攻击能力和自恢复能力等特性朝最优的方向演化。通过调整节点自身的属性,产生节点度符合幂率分布的网络抗毁性动态演化模型。仿真结果表明,与相同规模的BA网络模型相比,按照该方法建立的HOT网络模型具有更高的抗毁性。
无线传感器网络低功耗多跳广播时钟同步算法

关键词：无线传感器网络时钟同步广播低功耗多跳

为满足无线传感器网络低功耗的要求,提出一种双广播域同步的低功耗多跳广播时钟同步算法。该算法基于接收端-接收端同步机制,通过一对已同步节点间对等广播消息,只需多发送一次消息,即可将该对节点的同步范围扩大为两广播域的并集,并采用双根节点的层级结构将算法扩展到全网络范围。OMNeT＋＋仿真结果表明,与MBS算法相比,该算法能有效降低全网络...
认知无线网络MAC协议的控制信道建模

关键词：认知无线网络媒体接入控制控制信道建模性能分析吞吐量

针对认知无线网络媒体接入控制（CRN-MAC）协议的控制信道饱和问题,提出一种控制信道建模方案。引入控制信道门限的概念,根据协议超帧、控制子帧、数据子帧的时间约束关系,建立控制信道门限的定量分析模型,得出门限值的数学表达式。应用定量分析模型评价CCMAC协议的理论网络吞吐量。仿真结果验证了该模型的有效性,并给出网络吞吐量与CCMAC协议参...
无线传感器网络中目标覆盖图的分解

关键词：分解冗余节点冗余目标独立子图网络规模

在无线传感器网络中,为降低目标覆盖问题的复杂度,给出3种减小网络规模的方法,即删除冗余节点、删除冗余目标、将目标覆盖图分解成多个独立子图。分别证明这3种方法的正确性,并提出构造独立子图算法。仿真结果表明,该算法可以减少30%的网络规模,并降低目标覆盖问题的算法复杂度。
基于WLAN与蜂窝网协同的终端选择算法

关键词：网络协同协同传输流量分配终端选择无线局域网络排队论

为保证基于无线局域网络（WLAN）组网的多网络协同分流传输中的业务服务质量,提出一种基于WLAN与蜂窝网协同的终端选择算法。利用排队论对协同传输系统进行建模,在最优化流量分配方案下,通过遍历比较不同终端集合对应的系统各链路总时延以确定最佳从终端集合。仿真结果表明,该算法可有效选出若干终端使得系统各链路总时延最小,并且系统性能较优...
基于信誉度的合作式频谱感知

关键词：认知无线电频谱感知合作自私信誉度位置信誉度数据融合

认知无线电网络中存在阴影和多径衰落效应等问题，从而导致单认知用户感知结果不准确。为此，提出一种基于二重双向信誉度的合作频谱感知算法。每个次用户有自己的自私信誉度，用于判定次用户是否为恶意用户。不同地区的次用户又有不同的位置信誉度，可反映出该地域是否受阴影和多径衰落的影响。基于用户之间的互动反馈，实时更新2种信誉度，并...
P2P流媒体服务方案及其关键技术研究

关键词：p2p流媒体覆盖网络数据调度激励机制网络编码服务质量

根据近年来P2P流媒体服务方案的研究成果,归纳并总结P2P流媒体的关键技术,包括覆盖网络构建技术、数据调度技术以及各种优化技术。由此可知,P2P流媒体是一种性价比高、扩展性好的流媒体服务体系,并指出P2P流媒体可进一步的研究方向为P2P流媒体的应用与测量、理论分析与建模、体系架构以及与视频编码、移动网络技术的结合等。
包抽样对异常检测的影响及其消除方法研究

关键词：异常检测包抽样时间聚合多尺度方法不重叠窗口聚合尺度聚集特性

针对当前流统计抽样在异常检测中存在的问题，分析包抽样和时域聚合导致流记录时间序列失真的原因，利用网络异常的尺度聚集特性，提出一种基于不重叠窗口聚合的多尺度分解方法，以消除由包抽样和时域聚合带来的信号噪声。仿真结果表明，该方法能降低抽样率对流尺度上信噪比的影响，提高异常检测的性能。
一种抗几何变换攻击的矢量数据盲水印算法

关键词：数字水印几何变换攻击几何不变域特征点

现有的矢量数据水印算法较难抵抗几何变换攻击。为此,提出一种针对线图层和面图层的矢量数据盲水印算法。利用Douglas-Peucker压缩算法提取矢量数据地物的特征点并计算地物特征点之间的距离比值,按阈值对比值序列进行划分,根据水印信息将特征点移动到相应的奇偶间隔之中,由此实现水印的嵌入。实验结果证明,该算法具有较好的不可感知性,对随机噪...
一种三方认证密钥协商协议的分析与改进

关键词：三方认证密钥协商协议假冒攻击中间人攻击椭圆曲线单向哈希函数 cdh假设

大多数三方认证密钥协商协议不能抵抗中间人攻击。为此,对Tan提出的三方认证密钥协商协议（Journal ofCommunications,2010,No.5）进行分析,证明其不能抵抗发起者假冒攻击、响应者假冒攻击及中间人攻击,并利用单向哈希函数和椭圆曲线密码学技术对协议进行改进。理论分析与形式化证明结果表明,改进协议继承了原协议的安全性,并能抵抗假冒攻击及中...
基于多比特输出点函数混淆器的消息认证码

关键词：消息认证码混淆器虚拟灰盒混淆带密钥的hash函数对称加密嵌套mac

大多数消息认证码的安全性只依赖于Hash函数,但部分Hash函数未被证明是安全的。为此,提出一种基于多比特输出点函数混淆器的消息认证方案,在此基础上,利用带多比特输出点函数混淆器和带密钥的Hash函数构造一个新的消息认证码方案。分析结果表明,该方案的安全性同时依赖于Hash函数和多比特输出点函数混淆器,可以更好地保证数据传输的完整性。
基于四元数的双彩色图像盲水印算法

关键词：盲水印算法离散四元数傅里叶变换双彩色图像混沌置乱脉冲编码调制

提出一种基于四元数的双彩色图像盲水印算法。对载体图像和水印图像分别进行离散四元数傅里叶变换后,对水印图像频域的低频、中频和高频系数做混沌置乱处理,并利用脉冲编码调制方法,在载体图像的低频、中频和高频嵌入置乱后水印的相应频带系数,通过逆离散四元数傅里叶变换得到嵌入水印的图像。实验结果表明,该算法保证水印具有较高的透明性,对剪...
基于ECC的RFID组证明协议分析及改进

关键词：无线射频识别椭圆曲线密码组证明协议隐私保护跟踪攻击安全性

由于无线射频识别（RFID）系统资源的限制,现有组证明协议大多采用对称密码算法,会带来安全和隐私保护方面的问题。为此,将公钥密码算法引入到组证明协议设计中。针对基于椭圆曲线密码（ECC）的组证明协议存在易受跟踪攻击的问题,提出一种改进方案,并对其安全性进行分析。分析结果表明,该协议能够抵抗跟踪攻击、伪造证明攻击、重放攻击和假冒攻...
一种基于匿名区域变换的位置隐私保护方法

关键词：基于位置的服务位置隐私 k近邻匿名区域变换匿名性

针对基于位置服务的应用中存在的用户位置隐私泄露问题,提出一种基于匿名区域变换的位置隐私保护方法。在离用户一定距离处选择一个锚点生成匿名区域后,利用邻近节点处理法计算用户邻近节点查询结果与用户真实位置之间的距离,从而实现在保护用户位置隐私的同时得到精确的查询结果。理论分析和实验结果表明,与Cloaking Region和SpaceTwist算法相...
一种可证安全的两方口令认证密钥交换协议

关键词：口令认证密钥交换协议服务器泄漏攻击字典攻击前向安全

口令认证的两方密钥交换协议无法抵御口令字典攻击和服务器泄漏伪装攻击。为此,提出一种改进的PAKA-X协议,用户保存自己的口令明文,服务器存储用户口令明文的验证值,由此弥补原协议的安全漏洞。理论分析结果表明,改进协议具有完美前向安全性,能抵抗Denning-Sacco攻击、服务器泄漏攻击、在线和离线字典攻击以及中间人攻击,并且仅需9次指数运算、6...
时滞无关的CNN稳定性分析及保密通信应用

关键词：细胞神经网络全局渐近稳定性时滞无关线性矩阵不等式保密通信

针对存在延时情况下的细胞神经网络系统稳定性判定问题,构造新型Lyapunov-Krasovskii泛函并结合Lyapunov稳定性理论及线性矩阵不等式,得到用于判定时滞细胞神经网络具有唯一平衡点和全局渐近稳定性的一组充分条件。数值仿真实验结果证明,该判定条件具有较好的可验证性和可实现性,且与时滞无关,适用于保密通信。
基于评分矩阵预填充的协同过滤算法

关键词：推荐算法协同过滤相似度信息熵加权jaccard系数

随着用户和项目数量的增长,用户-项目评分矩阵变得极其稀疏,导致基于相似度计算的推荐算法精度降低。为此,提出一种基于加权Jaccard系数的综合项目相似度度量方法,使用项目综合相似度对评分矩阵进行预填充。实验结果表明,在用户-项目评分矩阵极其稀疏的情况下,该算法能产生比传统算法更精确的推荐结果。
基于核的最小均方误差改进算法及其应用

关键词：模式识别人脸识别最小均方误差算法基于核的最小均方误差算法时间复杂度

传统基于核的最小均方误差（KMSE）算法在进行人脸识别时,需要求解多个方程,计算量较大。为此,提出一种用于多类识别的基于核的多元最小均方误差（KMSEMC）算法,该算法只需一个方程即可。在AR人脸库上的实验及数据分析表明,该算法在时间复杂度和识别率等方面计算量较小,在识别性能和计算时间上都优于同类传统算法。
模糊最小包含球支持向量机

关键词：泛化支持向量机模糊最小包含球超球分类机核函数

为提高支持向量机的模式分类性能,综合模糊支持向量机和球形支持向量机等方法,提出一种模糊最小包含球（FMEB）支持向量机,对于模式分类问题,通过引入模糊隶属度,寻找2个分别包含二类模式的同心最小包含球,使类间间隔最大化,同时二类模式类内分布最小化,从而增强泛化性和鲁棒性。实验结果证明FMEB的模式分类性能优于其他方法。
一种基于目标分割的实时跟踪方法

关键词：遮挡多目标跟踪主颜色特征大小特征目标匹配前景分割

为减少颜色相似背景在目标跟踪过程中对跟踪结果的影响,提出一种基于目标分割的实时跟踪方法。利用背景差分的方法进行目标分割,使用目标位置、大小及颜色的特征完成目标状态的更新,对连续帧之间的目标实施匹配跟踪,当2个目标重合分离时采用目标大小、颜色特征实现匹配。实验结果表明,该方法匹配跟踪速度较快、跟踪效果较好。

计算机工程杂志

计算机工程学术信息

期刊导航：

基于资源的灾难恢复能力指标体系及其度量

基于人眼侧抑制机制的自动色彩均衡化算法

Kaminsky域名系统缓存投毒防御策略研究

城市建筑中移动通信信号的干扰抑制

有向加权复杂网络抗毁性测度研究

基于插桩和布尔逻辑的运行时程序验证框架

基于Petri网和混合蚁群算法的多星成像调度

一种改进的多边形数据内点自动生成算法

基于多线程技术的分辨函数析取范式生成算法

基于退火遗传算法的单元测试方法

基于Petri网的联锁软件测试用例动态生成

基于项目和信任的协同过滤推荐算法

一种可扩展的业务对象建模框架

程序局部性的量化分析

基于多角度关联模型的实体检索方法

基于链接路径搜索的URL属性集成方法

基于API依赖关系的代码相似度分析

基于LabVIEW的嵌入式软件能耗测量方法

F2＋vF2环上的接近MDR码

分布式CoMP系统中联合预处理方法研究

基于HOT理论的网络抗毁性动态演化模型

无线传感器网络低功耗多跳广播时钟同步算法

认知无线网络MAC协议的控制信道建模

无线传感器网络中目标覆盖图的分解

基于WLAN与蜂窝网协同的终端选择算法

基于信誉度的合作式频谱感知

P2P流媒体服务方案及其关键技术研究

包抽样对异常检测的影响及其消除方法研究

一种抗几何变换攻击的矢量数据盲水印算法

一种三方认证密钥协商协议的分析与改进

基于多比特输出点函数混淆器的消息认证码

基于四元数的双彩色图像盲水印算法

基于ECC的RFID组证明协议分析及改进

一种基于匿名区域变换的位置隐私保护方法

一种可证安全的两方口令认证密钥交换协议

时滞无关的CNN稳定性分析及保密通信应用

基于评分矩阵预填充的协同过滤算法

基于核的最小均方误差改进算法及其应用

模糊最小包含球支持向量机

一种基于目标分割的实时跟踪方法

相关论文