面向MPI集合操作的定制化片上网络

关键词：片上网络片上多核处理器消息传递接口集合操作定制化

根据计算趋近数据的原则，提出面向MPI集合操作的定制化片上网络设计方法，通过增强现有片上路由器的硬件功能实现MPI集合操作在网络层的加速。设计MPI归约操作，将其扩展至多种集合操作，并与一种针对确定性路由算法且可动态学习消息传输路径的自适应方法相结合，使集合操作可在扩展后的片上路由器上完成，加速处理过程并减少处理器核负载。此...
一种支持性能优化的软件部署描述语言

关键词：软件即服务部署描述语言性能优化部署方案概念模型

现有的软件即服务（SaaS）动态部署模型和语言在描述软件部署方案时，主要关注部署配置信息、性能需求及资源可用性需求，难以为面向SaaS软件部署方案的性能优化提供支持。为此，提出一种SaaS软件部署描述语言（SSDL）。SSDL根据SaaS软件部署的特点，结合SaaS软件性能优化所需的信息，从部署环境、部署对象、部署计划和部署约束4个方面构建SSDL...
Spark环境下基于SMT的分布式限界模型检测

关键词：软件验证限界模型检测弹性分布式数据集可满足性模理论求解器 spark框架

在基于可满足性模理论（SMT）的限界模型检测中，限界深度对于程序验证结果的可信性和程序验证效率具有重要影响。传统串行检测方法由于单机处理性能和内存的限制，不能在限界较深的条件下进行验证。针对该问题，在Spark环境下提出一种分布式限界模型检测方法。将源程序的LLVM中间表示（LLVM-IR）构造为Spark内置的数据结构PairRDD，利用MapRedu...
空间对接仿真试验台对接机构测控系统设计

关键词：空间交会对接仿真测控系统控制流程对接机构仿真试验台

为实现空间两飞行器的交会对接，需要对空间交会对接过程进行仿真调试。为此，构建空间对接半实物仿真试验台，克服无实物仿真环境的局限性，再现2个空间飞行器的交会对接过程。提出对接机构测控系统设计方案，描述其软件结构和控制流程，建立对接机构测控模型，通过RT-LAB实时仿真平台将模型下载到测控计算机上运行，实现对接机构传感器信号的...
基于时间Petri网的嵌入式系统构件建模与能耗分析

关键词：嵌入式系统软件能耗 petri网能耗模型状态可达图

现有软件能耗分析方法主要研究算法级和指令级能耗，对于软件体系结构级的能耗研究较少。为此，从嵌入式系统的软件体系结构出发，在传统Petri网的基础上加入价格和时间标签，建立价格时间Petri网。通过价格时间Petri网构建软件构件和连接子能耗模型分析系统软件能耗，并提出最小能耗可达路径算法降低系统执行能耗。实验结果表明，该模型测得的...
基于剩余能量与能量消耗率的改进稳定选举协议

关键词：能量异构无线传感器网络能量消耗率能耗均衡稳定选举协议

针对无线传感器网络运行过程中出现的节点能耗不均及网络稳定周期较短的问题，提出一种改进的稳定选举协议。采用综合考虑节点剩余能量和能量消耗率的簇头选举机制，优化节点阈值计算方法，使剩余能量越多、能量消耗率越小的节点被选为簇头的概率越大，从而避免能量过低的节点承担较多网络负载，均衡节点间的能耗。仿真结果表明，改进协议能有效...
基于云模型与证据理论的通信电子防御效能评估

关键词：云模型证据理论基本信度分配电子防御效能评估信息融合

针对通信电子防御效能评估过程中指标的不确定性描述问题，提出一种基于云模型和证据理论的信息融合评估方法。设计评语等级云发生器，根据云隶属度构造基本信度分配函数。基于证据距离修正的证据融合规则对不同指标的基本信度分配信息进行融合，并将融合后的基本信度分配与评语量化值进行线性加权，得到最终评估结果。以跳频通信装备为例进行通...
基于联合退避-功率感知机制的物联网节点信息防碰撞算法

关键词：物联网节点碰撞功率感知信号干涉时间窗口

物联网（IoT）节点防碰撞算法难以解决IoT节点数据冲突，造成严重的信号干涉。为此，提出一种新的物联网节点信息防碰撞算法。通过构建射频识别信号的离散正交调制与解调机制，降低节点间信号因互相干涉而导致的信道碰撞，建立联合退避一功率感知机制，定义节点数据退避防冲撞规则，以改善节点信号发射功率的波动幅度。实验结果表明，与ColorWav...
联合改进CEEMD与近似熵的脑电去噪方法

关键词：脑电去噪本征模态函数完备总体经验模态分解近似熵

针对现有完备总体经验模态分解方法在脑电去噪中的模态筛选偏差问题，结合改进的完备总体经验模态分解（ICEEMD）与近似熵，提出一种新的脑电（EEG）信号去噪方法。对EEG信号进行ICEEMD分解，得到一系列本征模态函数（IMF），再对IMF分别计算近似熵，比较并选择近似熵值最大的IMF作为去噪后的信号。基于模拟信号和真实脑电信号的实验结果表明，...
有约束的三维RFID读写器网络规划方法

关键词：网络规划遗传算法标签覆盖率染色体空间交叉

针对现有的读写器网络规划计算量大和优化困难的问题，基于微遗传算法，提出一种带有约束的网络规划方法，以优化无线射频识别读写器。运用空间交叉的方法解决种群数量较少导致的搜索能力退化问题，提高搜索能力。为降低迭代成本，校正方案包含了冗余读写器的消除操作，使得校正后的可行性染色体都是低成本染色体。实验结果表明，与典型遗传算法...
基于分层PE技术的MPLS-VPN架构优化

关键词：路由数据转发标签转发多路径传输质量网络层次

针对传统MPLS-VPN组网架构存在的扩展性不足、安全性不高与传输质量差等问题，提出一种使用层次化运营商边缘设备技术优化网络架构的方法。采用设备层级化的方式对网络拓扑结构进行优化改造，使设备的路由控制和数据转发实现最大限度的分离，引入链路利用率权值对等价多路径选择算法进行优化，并把优化前后网络的各项性能指标进行对比。实验结果...
一种端到端的医疗无线体域网轻量认证协议

关键词：无线体域网医疗应用认证协议资源受限端到端认证

在医疗无线体域网信息传输中，基于生物特征和可信第三方公钥基础设施等认证机制存在身份漏报、误报和部署成本高的缺陷。为此，在分析医疗无线体域网认证机制的安全及性能需求的基础上，将椭圆曲线密码体制加密与签名算法引入现有基于挑战应答的轻量认证协议，基于体验、性能、安全和成本的均衡考虑，提出一种端到端的轻量认证协议。理论证明和...
超椭圆曲线上斜-Frobenius映射及有效标量乘算法研究

关键词：超椭圆曲线椭圆曲线标量乘算法效率分析

为提高超椭圆曲线上标量乘计算效率，将椭圆曲线上的斜-Frobenius映射推广到超椭圆曲线上，在亏格为4的超椭圆曲线上构造斜-Frobenius映射，通过对亏格为2，3，4的超椭圆曲线上的斜-Frobenius映射，提出超椭圆曲线上斜-Frobenius映射的一般形式。基于超椭圆曲线上的斜-Frobenius映射的一般形式构造新的标量乘算法，提高计算超椭圆曲线上标量乘的...
基于小波包的AES相关功耗分析攻击

关键词：相关功耗分析小波包变换阈值信噪比去噪

在相关功耗分析攻击中，功耗曲线噪声的存在会影响攻击结果的成功率。为此，运用小波包阈值进行去噪，提出一种功耗曲线预处理方法。利用小波包阈值法对功耗曲线进行去噪预处理，使用去噪后的功耗曲线执行相关功耗分析。实验结果表明，小波包阈值去噪能最大限度地去除功耗曲线中不相关的噪声，提高有用信号的信噪比，减少密钥分析所需数据和提高...
基于改进欧式距离的硬件木马检测

关键词：欧式距离判别硬件木马检测功耗信息可调参数标准芯片

传统欧式距离判别方法用于硬件木马检测时，存在判别准确率较低的问题。为此，分析芯片运行时的侧信道功耗信息，根据木马模块触发产生额外功耗的特征，提出一种指数变换改进方案。加入可调参数，以增大硬件木马的可识别度。实验结果表明，与传统欧氏距离判别法相比，参数可调的欧氏距离改进方案可使判别性能提升29％，且木马检测准确率高达98％...
基于SM2与零知识的射频识别双向认证协议

关键词：sm2算法射频识别技术零知识双向认证协议 ban逻辑

为保证射频识别系统中阅读器与标签的无线通信安全，以国产公钥密码算法SM2为基础，引入零知识证明思想，提出一种双向认证协议。给出安全性分析和效率分析，并利用BAN逻辑进行形式化分析。结果表明，该协议在阅读器和标签只需交互2次的情况下即可完成双向认证，具有较高的安全性和通信效率。
ARX函数的两轮迭代线性化条件研究

关键词：模2加循环左移 arx函数线性化条件

含模加运算、循环移位运算和异或加运算的密码算法称为ARX型算法，3种运算的混合使用可以达到更好的扩散和混乱效果。为此，给出二元ARX函数的定义，研究其两轮迭代同时线性化的条件，利用统计分析方法得到线性化条件成立的元素个数的计算公式。分析两轮独立条件下得到的线性化条件成立的概率，发现利用统计分析的方法能够更准确地刻画线性化条...
基于元胞自动机模型的网络舆情导控机制研究

关键词：元胞自动机网络舆情主体属性舆情导控 matlab建模

为探究网络舆情的演化规律及导控作用，采用定量分析方法，提出一种基于元胞自动机的舆情导控机制。定义内在动力系数、倔强度系数等舆情主体属性，提出舆情导控力系数。在元胞自动机模型中，把主体属性以及导控强度赋值给每一个元胞，仿真实现并分析了外界导控作用、网民属性对网络舆情发展的强度和方向的影响。实验结果表明，在网络舆情传播形...
基于离散粒子群优化的云计算QoS调度算法

关键词：云计算服务质量离散粒子群优化截止时间调度预算可靠性

针对云计算环境下用户任务的多种服务质量（QoS）需求，综合考虑任务截止时间、调度预算和可靠性，提出一种多QoS约束离散粒子群优化（QoS-DPSO）的任务调度算法。对任务的QoS进行定义和数学建模，通过截止时间和调度预算约束DPSO的搜索空间，根据可靠性重新定义DPSO的适应度函数，由适应度值搜索最优的任务调度方案。实验结果表明，与PSO，DPSO...
基于知识图谱的Web信息抽取系统

关键词：知识图谱多领域 web信息抽取网页自动标注容错包装器归纳框架

为实现多领域海量网页信息的有效抽取，以中文知识图谱CN-DBpedia为基础设计Web信息抽取系统。基于知识图谱对网页数据项进行自动标注，建立具有容错能力的包装器归纳框架，从包含错误的标注集中归纳学习出正确的包装器。实验结果表明，该系统的准确率和召回率均高于传统人工标注方法，可显著降低网页信息抽取过程中的人力成本，灵活运用于大规...
面向比特流的分组快速搜索匹配算法

关键词：入侵检测模式串匹配比特流快速搜索算法编码思想

在比特流的模式匹配中，由于目标串和模式串字符集简单，匹配过程中匹配窗口平均跳跃长度短，导致快速搜索（QS）匹配算法效率不高。为此，分析QS算法坏字符启发规则匹配效率与字符集大小的关系，借鉴编码QS算法的编码思想，提出一种对模式串进行分组预处理并使用字符组计算跳跃集的分组QS算法，给出坏字符组启发规则与最佳分组长度的计算方法。...
基于互关联后继树的数学表达式检索

关键词：数学表达式索引检索 latex格式互关联后继树

数学表达式结构复杂多样，给检索带来困难。为此，提出一种数学表达式索引与检索方法。在索引阶段，通过对LaTeX数学表达式特点的分析与归纳，定义面向表达式二维结构特性的数学表达式特征表示方式，将互关联后继树索引模型应用于数学表达式索引的构建，以解决树结构表示表达式的层次增长问题。在匹配阶段，设计包括精确匹配、相容匹配、子式匹...
基于图像识别的移动端原始凭证电子化智能填单系统

关键词：原始凭证电子化特征提取规则搜索假设树决策树

为实现原始凭证的自动电子化，提出一种基于图像特征的原始凭证自动分类方法，根据规则假设树的凭证版面分析，设计一个能应用于手机、pad等移动设备的原始凭证电子化智能填单系统。在网上报销时，只需对准原始凭证扫描移动设备，即可将凭证信息自动录入到财务信息化系统，不仅能消除因人力录人造成的时间、资源浪费，更保证原始凭证与网上报销...
分离多路卷积神经网络研究

关键词：卷积神经网络深度学习特征提取图像分类图像识别通道特征

针对卷积神经网络主要使用图像的局部特征而忽略图像通道特征的不足，提出一种分离多路卷积神经网络。提取通道特征与卷积特征，并在全连接层进行融合，以此提升该网络的图像识别与分类效果。在cifar10和SVHN数据集上进行的实验结果表明，与ResNet，Network in Network，Maxout等8种卷积神经网络相比，该网络的平均识别率较高。
基于吉布斯采样结果的主题文本网络构建方法

关键词：主题模型文本网络吉布斯采样潜在狄利克雷分布航空安全报告

挖掘文档集合中主题词的概率分布可对文档内容做概要性了解。进一步探寻给定主题下单词之间的连接关系不仅能丰富主题词的含义，而且能更细致地表现主题的层次和聚集关系。为此，针对带标签的文档集合，基于标注潜在狄利克雷分布（LDA）分析后的吉布斯采样结果，提出一种给定主题下2个单词共现的概率计算方法，并在此基础上构建主题文本网络。与...
基于多目标烟花优化算法的正负量化关联规则挖掘

关键词：正负量化关联规则多目标优化烟花算法 pareto最优精英保留策略

为同时获得正负量化关联规则，并尽量减少人为干预的影响，在多目标烟花优化算法的基础上，提出一种正负量化关联规则挖掘算法。引入全面搜索关联规则，使用外部库存放非支配解，通过基于相似度的冗余淘汰机制保持库中关联规则的多样性，经多次迭代获得关联规则集合。实验结果表明，该算法无需人为指定支持度、置信度等阈值，一次运行后即可获得...
面向中文产品评论的完整评价对象抽取方法

关键词：评价对象完整性词性模式缺失性中文产品评论

传统评价对象抽取方法较少考虑低频、结构复杂和信息量较大的评价对象。为此，针对中文产品评论提出一种完整评价对象抽取方法。利用词性和语法分析结果提取基础词单元，通过每个词单元的完整值和缺失值对其进行扩展，根据连接稳定性判断扩展后的词单元是否合理，得到候选评价对象集合，采用过滤策略对候选评价对象集合进行过滤，获得最终的评价...
融合统计信息与语义相似度的特征扩展算法

关键词：短文本统计相关度语义相似度知网特征扩展

通过分析短文本的高维性和稀疏性，提出一种融合特征词间统计信息与语义相似度的短文本特征扩展算法。根据词的贡献度对候选特征集进行筛选，得到扩展集合初始值。计算特征词之间的统计相关度，构建二元相关词对集合。利用外部知识库知网中的语义关系获取相关词对的义项集合并计算语义相似度，将满足条件的义项扩展为短文本的特征词，得到扩展后...
基于潜在语义与图结构的微博语义检索

关键词：微博文本相关度图结构隐含狄利克雷分布语义检索

微博文本短小、特征稀疏、与用户查询之间存在语义鸿沟的特点会降低语义检索效率。针对该问题，结合文本特征和知识库语义，构建基于潜在语义与图结构的语义检索模型。通过Tversky算法计算基于Hashtag的特征相关度；利用隐含狄利克雷分布算法对Wikipedia语料库训练主题模型，基于JSD距离计算映射到该模型的文本主题相关度；抽取DBpedia中实体及...
基于跨事件理论的新闻事件时序关系识别方法

关键词：时序关系信号词条件随机场最大熵新闻事件

针对TempEval-2010会议所提供中文语料中的时序关系识别任务，采用基于条件随机场的方法自动识别获得信号词，并融入跨事件理论，利用基于最大熵模型的分类算法对信号词与其他语言特征进行时序关系识别，同时使用约束传播的推理方法解决语料稀疏问题。实验结果表明，基于条件随机场的方法信号词自动识别准确率为69．21％，融入跨事件理论的时序...
组合Skyline的求解与更新算法

关键词：组合轮廓多标准决策支配区剪枝规则更新

针对现有组合Skyline查询算法剪枝效率低、对低维数据集计算速度不理想的问题，提出一种快速求解与更新组合Skyline的算法。定义支配区的相关概念，给出相应剪枝规则裁剪无用的数据组合。对于数据集添加数据点和删除数据点的情况，在原有查询结果的基础上根据数据点所在分区实施不同的操作，从而实现查询结果的快速更新。实验结果表明，该算法可...
多层阈值函数下的小波图像去噪

关键词：阈值函数小波变换图像去噪均方误差峰值信噪比

传统的硬软阈值函数在阈值处不连续，容易产生振荡，且估计小波系数与实际小波系数有恒定偏差，存在过扼杀现象。为此，提出一种多层改进型的阈值函数，该函数不仅在阈值处连续，而且估计的小波系数能够渐进实际小波系数。通过加入阈值调节因子，根据采样点长度的不同调节阈值因子，解决固定阈值偏大的问题。实验结果表明，改进后的阈值函数无论...
基于DCT零系数与局部结构张量的局部模糊检测

关键词：离散余弦变换局部结构张量方向一致性局部模糊运动模糊运动目标检测

针对当前相关图像模糊测量方法不能有效检测纹理平坦清晰区域的问题，提出一种新的图像局部模糊区域检测方法，将其应用于存在运动模糊的静态图像运动目标检测。对图像进行分块操作，计算离散余弦变换后的图像块中零系数的个数，数目较多的为模糊区域，较少的为清晰区域。对被判断为模糊区域的图像块，计算模糊区域中每一个像素点处的局部结构张...
基于特征检测的曲面分片构造方法

关键词：表面重建分片重建特征识别尖锐边缘

目前主流曲面分片构造法大多无法直接应用于具有尖锐特征的目标表面重建。针对该问题，提出一种新的曲面分片构造方法。通过建立目标表面采样点的空间三角网格模型，对网格模型进行特征检测，根据特征检测结果计算网格顶点法向量集，并基于顶点空间坐标和法向量集进行分片二次曲面插值，实现目标表面三维重建。实验结果表明，该方法重建表面达到...
基于稀疏性理论与子问题耦合的多目标跟踪方法

关键词：多目标跟踪稀疏性耦合公式网络单纯形算法

针对多数目标跟踪方法在非受控环境中稳定性不高以及检测．跟踪模块分离的缺点，提出一种稀疏性检测器与网络数据关联技术相结合的多目标跟踪方法。离散化目标的移动空间，对于3D的每个可能位置，将目标投影到图像平面，形成码字并构建字典。扩展模型至多类别跟踪情况，并根据耦合公式分配给子问题和协调局部解以实现解的最优化。使用网络单纯形...
基于类别先验与深度神经网络特征的显著性检测

关键词：显著性检测深度学习深度神经网络类别先验图像特征图像分割

现有的显著性检测算法多基于图像底层特征，在内容复杂的图像上应用时容易受到干扰。为此，提出一种加入类别先验信息的显著性检测算法。基于深度神经网络生成的特征图谱，选择对预训练集分类结果有正向贡献的部分加权重组，根据保留的空间信息生成显著性图像，结合颜色对比和图像过分割算法进行显著性目标分割。在网络图像组成的公开测试集上的...
基于细菌觅食优化算法的多色彩空间嘴唇分割

关键词：视觉语言细菌觅食优化算法嘴唇分割边缘关键点边缘提取曲线拟合

结合多色彩空间处理、细菌觅食优化算法（BFOA）与关键点定位算法，提出一种新的嘴唇轮廓提取算法。对嘴唇图像进行色彩空间的转换，在不同的色彩空间对嘴唇图像进行色彩增强及色彩分割处理，利用BFOA结合Kapur最大熵阈值法对嘴唇区域图像求取最佳阈值，实现唇部精确分割。提取嘴唇的边缘关键点，并以提取到的关键点为输入，运用最小二乘曲线拟...
基于TLD的稀疏原型目标跟踪算法

关键词：目标跟踪稀疏原型仿射变换主成分分析基向量琐碎模板

跟踪-学习-检测（TLD）目标跟踪算法能够实现长时间的在线目标跟踪，但当目标平面旋转发生形变以及目标被严重遮挡时，TLD算法在跟踪过程中会产生跟踪漂移。针对上述问题，在TLD算法的跟踪模块上使用稀疏原型进行跟踪，提出一种稀疏原型（SP）-TLD目标跟踪算法。当出现由于平面旋转引起的目标形变时，通过仿射变换变化坐标位置，能够准确跟踪目...
基于FPGA的多通道数据采集控制器设计与实现

关键词：数据采集控制器时间戳实时性多通道现场可编程门阵列

为增强通用计算机数据采集（DAQ）控制系统的实时性能，设计多通道数据采集控制器。基于现场可编程门阵列技术，采用数据采集有限状态机时序代替CPU串行指令完成通道切换与数据缓存，降低系统负载。通过时间戳同步机制，提高DAQ控制系统在多级缓冲机制下的实时性，并将该控制器逻辑移植到CycloneIV芯片上进行实现。测试结果表明，该控制器可有效...
基于激光雷达的舞蹈机器人室内行人跟踪方法

关键词：激光雷达舞蹈机器人 dbscan算法行人识别粒子滤波行人跟踪

为使舞蹈机器人根据行人的运动轨迹进行路径的动态规划，增强与人共处的能力，提出一种基于激光雷达的室内行人跟踪方法。获取激光原始数据并进行预处理，根据激光数据的分布特点对DBSCAN算法进行优化，实现激光数据的快速聚类，完成环境分割，给出基于类簇到激光雷达的距离及行人身体宽度的行人识别方法，并将行人簇的位置作为初始跟踪位置，将...

计算机工程杂志

计算机工程学术信息

期刊导航：

面向MPI集合操作的定制化片上网络

一种支持性能优化的软件部署描述语言

Spark环境下基于SMT的分布式限界模型检测

空间对接仿真试验台对接机构测控系统设计

基于时间Petri网的嵌入式系统构件建模与能耗分析

基于剩余能量与能量消耗率的改进稳定选举协议

基于云模型与证据理论的通信电子防御效能评估

基于联合退避-功率感知机制的物联网节点信息防碰撞算法

联合改进CEEMD与近似熵的脑电去噪方法

有约束的三维RFID读写器网络规划方法

基于分层PE技术的MPLS-VPN架构优化

一种端到端的医疗无线体域网轻量认证协议

超椭圆曲线上斜-Frobenius映射及有效标量乘算法研究

基于小波包的AES相关功耗分析攻击

基于改进欧式距离的硬件木马检测

基于SM2与零知识的射频识别双向认证协议

ARX函数的两轮迭代线性化条件研究

基于元胞自动机模型的网络舆情导控机制研究

基于离散粒子群优化的云计算QoS调度算法

基于知识图谱的Web信息抽取系统

面向比特流的分组快速搜索匹配算法

基于互关联后继树的数学表达式检索

基于图像识别的移动端原始凭证电子化智能填单系统

分离多路卷积神经网络研究

基于吉布斯采样结果的主题文本网络构建方法

基于多目标烟花优化算法的正负量化关联规则挖掘

面向中文产品评论的完整评价对象抽取方法

融合统计信息与语义相似度的特征扩展算法

基于潜在语义与图结构的微博语义检索

基于跨事件理论的新闻事件时序关系识别方法

组合Skyline的求解与更新算法

多层阈值函数下的小波图像去噪

基于DCT零系数与局部结构张量的局部模糊检测

基于特征检测的曲面分片构造方法

基于稀疏性理论与子问题耦合的多目标跟踪方法

基于类别先验与深度神经网络特征的显著性检测

基于细菌觅食优化算法的多色彩空间嘴唇分割

基于TLD的稀疏原型目标跟踪算法

基于FPGA的多通道数据采集控制器设计与实现

基于激光雷达的舞蹈机器人室内行人跟踪方法

相关论文