基于Petri网的多线程程序死锁检测

关键词：多线程程序锁操作 petri网混合整数规划死锁检测

针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划（MIP）的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率...
基于混合存储的无盘网络服务器数据优化分布方法

关键词：固态硬盘硬盘驱动器无盘网络数据分布块分布模型动态块迁移

无盘网络服务器需处理大量I/O操作,导致其存储子系统成为系统性能提升的瓶颈。为解决该问题,提出基于固态硬盘（SSD）和硬盘驱动器（HDD）混合存储的数据分布方法,使工作站共享的操作系统和应用程序镜像数据分布于SSD,而将工作站运行过程中的镜像修改数据分布于HDD。根据无盘网络服务器I/O数据块访问特性,建立块分布模型,由此设计SSD和HDD间的数...
国防工程震害风险的脆性贝叶斯网络评估模型

关键词：风险评估国防工程复杂系统脆性贝叶斯网络

地震对国防工程造成严重威胁,其风险体系复杂脆性的演化经常导致系统崩溃,且存在因素关联解释模糊与推理计算的局限性。为此,针对风险体系的演化判别和推理计算问题,建立一种基于复杂脆性和贝叶斯网络的国防工程震害风险评估方法。通过辨析地震作用下国防工程风险复杂体系的脆性环境和结构特征,得到其脆性结构要素为贝叶斯网络模型的节点变量,确...
基于不完备集双聚类的缺失数据填补算法

关键词：缺失数据填补不完备集双聚类最大相似属性集数据清洗完美簇

缺失数据填补是数据清洗领域的一个重要问题。由于绝大部分局部填补方法基于全部属性进行分类,未考虑对象属性之间的关联性,因此基于不完备集双聚类,提出一种缺失数据填补算法。该算法利用双聚类完美簇的平均平方残基为0及簇内的属性值波动一致的特点,对缺失数据进行填补。通过数学分析,把寻找含有缺失值的最大完美簇问题转化为求解缺失对象与其...
一种基于管理员分权的用户特权提升机制

关键词：操作系统安全特权提升管理员分权最小特权强制访问控制

当前Linux系统通过限制root用户登录来防止管理员滥用权限,仅在需要执行特权操作时才允许普通用户临时提升至管理员特权。然而现有Linux系统中用户特权提升机制仅支持将权限提升至root,在启用管理员分权的安全操作系统中无法区分不同管理员的特权提升,致使用户无法处理相应的管理操作。在通过定制SELinux策略实现操作系统管理员分权的基础上,设...
并行飞机气动模拟工作台软件设计

关键词：飞机气动模拟计算流体力学高性能计算优化模块多目标优化

针对主流计算流体力学软件计算精度低、并行规模受限等问题,在中国计算流体力学软件CCFDV1.0的基础上,设计一种新的工作台软件。基于开放服务网关协议原理,采用微内核＋插件的架构实现批处理作业、双模式控制参数设置、计算过程监控等功能的用户友好操作界面,通过集成7个核心求解模块和一个优化设计模块,提高软件的并行规模。实验结果表明,与主...
基于网络编码的无线传感器网络多径路由模型分析

关键词：无线传感器网络网络编码多径路由可靠性成功交付率标准化冗余度

网络编码技术应用于无线传感器网络时可增加网络吞吐量及可靠性,同时降低能耗,均衡网络负载,实现保密通信并提高网络安全性。多径路由具有稳定性强和资源利用率高的特点。基于此,研究无线传感器网络的3种多径路由模型：普通多径路由模型,基于网络编码的不相交多径路由模型以及基于网络编码的相交多径路由模型。利用理论推导出这3种模型的成功交...
非理想频谱感知下认知无线电系统性能分析

关键词：认知无线电频谱感知连续时间马尔可夫链传输冲突信道利用率

采用连续时间马尔可夫链对多信道非理想感知条件下的认知无线电系统进行建模,构建不同状态间的跳转率、系统检测率以及用户到达率之间的关系方程,并给出系统状态平稳分布的通用求解方法。数值仿真结果表明,在该系统模型下,冲突率、信道利用率与次用户到达强度呈正比例关系,与信道数、误检率呈反比例关系。在实际认知无线电系统设计过程中可参考...
基于异构导频60GHz系统的压缩感知信道估计

关键词：60 ghz无线通信压缩感知导频信道估计信道均衡

研究压缩感知理论及已有的压缩感知信道估计算法,结合60 GHz系统导频结构的特点,提出一种非同构导频的压缩感知信道估计算法。该算法将导频序列乘以PN序列,得到导频序列矩阵并插入正交频分复用符号中,抽取3个符号进行正交匹配追踪压缩感知信道估计。仿真结果表明,该算法的估计精度、系统误码率与传统的格雷互补序列估计法相当,而使用的采样点只...
基于Morlet小波变换的自适应小波脊线提取算法

关键词：信号分选脉内特征小波变换小波脊线特征提取

传统小波脊线提取算法在不同信号环境下选择小波参数较为困难。为此,提出一种针对Morlet小波变换谱自适应提取小波脊线的算法。通过分析小波脊线算法,以迭代运算的成功与否作为反馈来调节Morlet小波的形状参数,使小波参数可以在各种信号情况下自适应做出调整。仿真结果表明,该算法可以在同一初始参数设置下,准确地提取出各类信号的小波脊线,且与...
基于最早截止期优先算法的任务对带宽转让研究

关键词：任务对带宽转让对齐再延迟最早可行时刻

针对最早截止期优先算法调度的实时任务集,研究新任务插入或现行任务加速引起的带宽转让问题。提出任务对带宽转让模式,使一个正在运行的任务出让带宽来满足另一个新任务的插入。证明在某个时间点,任务对中的新任务从该点开始的插入是平滑的,不会引起任何任务的截止期丢失。提出的定理显示,只要已知任务对中2个任务各自的周期和执行量,以及出让...
干扰信道中无反馈的干扰消除方法

关键词：干扰信道空时码字多用户干扰传输效率反馈

对于3个用户的多输入多输出干扰信道,提出一种无反馈的干扰消除方法。为每个用户设计具有Alamouti结构的空时码字,通过在码字中引入零矩阵,消除第3个接收端的多用户干扰,同时减少第1个接收端和第2个接收端的多用户干扰。利用Alamouti码字对应的等效信道矩阵的正交特性,消除第1个接收端和第2个接收端的多用户干扰。与相同场景中的已有方案相比,所...
面向多业务的内容中心网络拥塞控制策略

关键词：内容中心网络拥塞控制服务质量标签未来网络

现有内容中心网络中的拥塞控制策略在解决网络拥塞时,难以直接获得网络中的拥塞状态信息反馈,在多业务的情况下无法保证各业务的服务质量。为此,提出一种能够在多业务情景下提高服务质量的拥塞控制策略。利用中间路由节点实时监控到达的兴趣包,根据兴趣包队列中的业务情况判定拥塞程度,将链路状态信息反馈给发送端,据此调节发送速率。实验结果表...
基于双层片上网络的路由算法

关键词：多核处理器双层片上网络链路交换网络包交换网络路由算法

针对新型双层片上网络结构的路由问题,提出一种利用片上网络资源的快速路由算法。将核间通信依据通信频率和总量大小划分成4类,根据链路交换网络适用于大数据量核间通信的特点,优先将通信总量大且通信频率低的核间通信固化在链路交换网络中,再利用快速布线算法在最少占用片上网络资源的情况下解决路径配置问题。实验结果表明,与模拟退火算法相比...
基于图着色理论的短波无线接入网动态频谱分配方法

关键词：短波无线接入网智能跳频定频通信频谱分配模型图着色理论

针对现有短波无线接入网频谱分配采用固定式分配方法,难以满足使用智能跳频技术新要求的问题,分析智能跳频短波无线接入网的频谱需求,将短波无线接入网用户频谱分配问题转化为基于图着色理论的短波无线接入网动态频谱分配模型,并提出可用于智能跳频短波无线接入网的动态频谱分配算法。将使用此算法的智能跳频与使用固定式频谱分配方法的定频通信...
基于神经网络的数模混合信号调制识别算法

关键词：数模混合信号调制方式识别决策理论神经网络星间链路

通信信号调制识别技术可用于信号确认、干扰识别、电子战对抗以及星间链路通信等方面。针对低噪声下信号调制方式识别率低与识别种类少的问题,提出一种基于神经网络的数字模拟混合信号调制方式识别算法。简化并改进识别特征参数,降低参数对噪声干扰的敏感度,设计基于判决树的自动识别流程。通过自适应学习速率选取最优隐含层节点数,改进BP神经网...
全球导航卫星系统中的干扰频域门限检测技术研究

关键词：全球导航卫星系统干扰检测门限检测门限更新检测概率

针对全球导航卫星系统（GNSS）中干扰检测的需求,结合能量检测原理,从信号模型出发,推导出频域检测的检测概率和虚警概率,设计一种门限循环更新的GNSS干扰检测算法。将检测谱线进行快速排序,设定初始门限,将小于门限的谱线更新到新的门限,继续检测大于新门限的谱线,直到门限收敛,并输出检测结果。在高斯白噪声下,6种干扰样式的仿真结果表明,该算...
面向PHP程序的SQL漏洞检测系统

关键词：结构化查询语言漏洞动静态结合分析别名分析行为模型词法特征

针对PHP程序,提出一种基于注入活动分析技术的结构化查询语言（SQL）漏洞检测方法。以动静态相结合的分析技术为基础,对注入活动从数据流和程序行为方面进行分析,给出基于词法特征比较的SQL漏洞判定算法。通过检测模拟测试数据,并结合别名分析技术、行为模型和SQL漏洞判定算法设计并实现SQL漏洞检测系统。实验结果表明,与Pixy和RIPS系统相比,该...
能量均衡的数据融合隐私保护算法研究

关键词：分簇路由数据融合隐私保护簇组密钥完整性检测

针对传感器节点能耗不均的问题进行研究,为提高数据安全保护强度,提出一种簇间节点能量保持均衡的数据融合隐私保护算法。通过分簇路由均衡各节点能量,延长网络生命周期,利用同态Hash函数保护数据完整性,并引入簇组密钥,以降低节点数据被破译的概率,加强对隐私数据的保护。实验结果表明,与现有的基于向量秘钥的数据融合保护算法相比,该算法具有...
适用于空间DTN的非交互式密钥交换协议

关键词：时延容忍网络非交互式密钥交换无证书密码可证明安全随机预言模型

针对空间时延容忍网络高延时、连接易中断等特点,提出一种非交互式的密钥交换协议,并在随机预言模型下对其进行安全性证明。该协议无需用户交互即生成一个共享的对称密钥,可消除对传统公钥基础设施中证书的依赖,减少通信与存储开销,同时避免基于身份的公钥加密体制中存在的密钥托管问题。分析结果表明,该协议未使用耗时的双线性对运算,具有较高...
可证明安全的单向可变门限重签名方案

关键词：数字签名可变门限重签名密钥单向性

现有门限重签名方案的门限值基本是固定的,但实际应用中需要根据消息的重要程度灵活地变化门限值。为此,基于S_（uni）门限重签名方案,提出一种单向可变门限重签名方案。在每次进行重签名前,系统会动态设定门限值,每个将最初接收的部分子密钥进行重新计算,得到最新门限值下的重签名密钥及其对应的验证公钥,且系统只需提供受托者的公钥信息,避免...
基于TrustZone技术的安全移动远程控制系统

关键词：远程控制 trustzone技术远程帧缓冲协议虚拟网络计算 android系统 arm架构

移动设备的发展使得用户能够手持设备远程连接桌面环境办公,但移动平台的安全隐患给移动远程控制带来巨大的风险。为此,利用ARM处理器的安全扩展Trust Zone技术,设计一个具有高安全性的远程控制系统Trust RFB。通过对传输信道加密,并把远程控制客户端隐私相关的逻辑放入Trust Zone所提供的安全域内,有效地防止攻击者利用恶意软件、恶意系统甚至...
一种基于新隶属度函数的模糊支持向量机

关键词：支持向量机模糊支持向量机支持向量隶属度函数分类孤立点

传统的模糊支持向量机隶属度函数大多基于样本与类中心的距离设计,削弱了支持向量的作用。为此,结合2种隶属度函数,提出一种新的隶属度函数设计方法,将每一类样本划分为支持向量、非支持向量和孤立点。在赋予远离类中心的支持向量较大的隶属度同时,赋予远离类中心的非支持向量和孤立点较小的隶属度。实验结果表明,基于新隶属度函数的模糊支持向...
公平关切下的供应链产销协同自适应协商策略

关键词：自适应协商供应链协同公平关切径向基函数神经网络

为消解供应链产销协同计划冲突,提出一种多Agent自适应协商方法。在单个制造商Agent和多个销售商Agent协商情景下,考虑Agent的公平关切行为,采用不公平厌恶模型,通过径向基函数神经网络优化Actor-Critic学习算法,预测并调整双方Agent的让步幅度,提出自适应策略。在不同销售商Agent数量及关切程度下进行对比实验,结果表明,该方法增强了Agent的自...
基于跳跃基因的多目标差分进化算法

关键词：跳跃基因局部最优困难问题多目标差分进化算法

为解决现有多目标差分进化算法容易陷入局部最优的问题,引入跳跃基因算子,提出基于跳跃基因的多目标差分进化算法。改进现有的多目标差分算法,在传统交叉算子之后执行跳跃基因操作,以保持种群多样性。数值实验结果表明,该算法能较好地解决局部最优问题,在ZDT和DTLZ测试函数集上具有明显优于现有算法的收敛性能。
复杂网络社团挖掘中基于路径的模块性分析方法

关键词：复杂网络路径模块性社团挖掘概率分布支持向量机

在复网络社团挖掘过程中,传统的模块性定义依赖网络的邻接矩阵,仅考虑相邻节点间的关系,不能很好地描述真实网络的结构特征。为此,提出一种基于路径的模块性分析方法。根据网络节点间的路径及其概率分布构建模块性矩阵,用于替换传统基于边的模块性矩阵（邻接矩阵）,得到能反映网络结构的模块性参数,并将其应用于复杂网络的社团挖掘,根据得到的社...
基于隐马可夫模型的邻近方言差异系数研究

关键词：方言语音方言差异系数 htk软件隐马可夫模型方言半径

量化邻近地域的方言差异性研究,运用方言朗读独立字词文本A形成声音文件M,使用HTK工具包将M文件构造为声学特征参数集S_M,计算方言差异系数。在邻近连续i个地域基础上得到相应的Si_Mi,同时使声音Mi结合对比样本区域（i=0）音-字（词）映射表,形成i村落并对应文本Ai。差异系数ξ定义为Ai与A0（样本区域或村落）之间的文本内容差异之比。分析连续古...
基于划分融合与视角加权的极大熵聚类算法

关键词：极大熵聚类多视角聚类划分融合视角加权权重矩阵

针对极大熵聚类算法在处理多视角聚类任务时存在的局限性,引入划分融合和视角加权技术,提出一种改进的极大熵聚类算法。通过对视角分配权重体现其重要程度,在此基础上对每个视角进行单独划分,利用融合权重矩阵实现视角划分的融合,并采用新的集成策略得到全局聚类结果。在人工数据集和UCI数据集上的实验结果表明,与极大熵聚类算法、基于多任务的...
基于加权频繁模式树的通信网络告警规则挖掘方法

关键词：通信网络告警关联规则权重因子加权频繁项集加权频繁模式树算法支持度

传统通信网络告警处理方法主要由维护专家依据经验判断形成处理规则并固化在网络告警系统中进行实现,然而该人工维护方式难以适应海量数据环境下实时通信告警规则的处理需求。为此,提出一种基于加权频繁模式树（WFP-tree）算法的告警规则自动挖掘方法,将原始告警数据按时间窗口方式进行分段处理,通过BP神经网络、支持向量机、层次分析法生成告警...
一种基于标签关联关系的微博推荐方法

关键词：微博推荐标签检索标签关联关系

通过分析微博特点及现有微博推荐发现算法的缺陷,提出一种新的微博推荐方法。采用标签检索策略对未加标签和标签较少的用户进行加标,构建用户-标签矩阵,得到用户-标签权重并利用标签信息表征用户兴趣。为解决该矩阵中高维稀疏的问题,通过挖掘标签间的关联关系,继而更新用户-标签矩阵,获得最终的用户兴趣并进行相关推荐。实验结果表明,与忽略标签...
基于Fisher判别字典学习的可拒识模式分类模型

关键词：可拒识字典学习 fisher判别分析基于稀疏表示的分类流形最大线性块

针对模式分类任务中测试样本存在未知类别输入的问题,在稀疏表示分类技术的基础上提出一种可拒识模式分类模型。该模型在字典学习的目标函数中加入Fisher判别约束,使样本在该字典下分解的系数具有较大的类间散度和较小的类内散度,将训练样本在已学习字典下进行分解,并把分解后的系数构建多个局部线性块,为已构建的线性块建立超球覆盖模型,用于描...
Blogel-SPINAL：分布式PPI网络比对算法

关键词：分布式计算全局网络比对积图顶点划分可扩展性

高通量技术的发展使蛋白质-蛋白质相互作用（PPI）网络的规模日益增大,需要高速算法对其进行全局比对。为此,分析集中式全局比对算法SPINAL,将该算法中耗时超过95%的计算估计值阶段移植到分布式平台Blogel下运算,求比对图阶段则仍保持集中式运算,以此得到Blogel-SPINAL算法。理论分析和实验结果表明,与SPINAL相比,Blogel-SPINAL能提升比对速度,...
基于回溯树的语义Web服务自动组合优化方法

关键词：语义web服务完备回溯树服务组合剪枝操作语义相似度

针对现有基于图搜索的语义Web服务组合方法存在组合成本高且效率低下的问题,提出基于完备回溯树与用户请求输入闭包的语义Web服务自动组合优化方法。利用RICC算法构造用户请求输入闭包,在C_CBT_OVGP算法中,根据输入闭包判断用户请求是否能够在语义Web服务规则库中得到满足。当不满足用户请求时,算法直接结束,无需进行回溯树构建。当满足用户请求...
融合核主成分分析和最小距离鉴别投影的人脸识别算法

关键词：主成分核主成分核子空间鉴别投影人脸识别特征提取

针对人脸识别问题,在原有的最小距离鉴别投影算法的基础上,根据核主成分分析（KPCA）方法,提出一种新的融合核主成分分析和最小距离的鉴别投影算法。运用KPCA对高维样本空间进行降维,通过核技巧将样本映射到高维非线性空间,继而在降维后的核子空间上通过鉴别投影方法计算其相应的投影矩阵,采用最近邻分类方法对样本进行分类并最终实现人脸识别。...
聚合群体中关系强度对观点采纳的影响

关键词：聚合群体关系强度影响力传播关系网络

为研究聚合群体中关系强度对观点采纳的作用机制，基于关系强度理论，设计一种识别关系强度的方法。采用单源感染的易感者-染病者-免疫者传播模型，以λ=βα为节点间的传染概率，分析聚合群体中关系强度对观点采纳的作用机制。实验结果表明，观点权威性的加强与好友推荐策略有利于提高观点采纳广度和速度，对提升聚合群体中的广告投放效果与加速信...
基于自适应图像粒的目标对象边界周长估算

关键词：周长估算模糊复杂化图像粒自适应降维

在图像目标对象边界周长估计中，目标边界的模糊复杂化严重影响了周长估算精度，且周长计算时间较长。为此，结合粒计算，提出一种自适应计算不同边界周长的算法。设计基于图像粒思想的概率模型，用于定义目标图像的边界厚度，根据得到的边界厚度，选取最优的图像粒度对图像进行分块和粒化预处理，使得图像数据得到降维，并应用经典算法估算预处...
一种基于迭代式稀疏谱聚类的图像集分类算法

关键词：图像集分类子空间迭代谱聚类计算成本精度

现有图像集分类方法无法直接应用于不同类别的子空间，图像集分类既不独立也不相交。为此，提出一种迭代式稀疏谱聚类算法。每次迭代时利用NCut目标函数将一个母聚类划分为多个更小的子聚类，提升图像集中不同类型噪声的区分性和算法稳健性。为降低谱聚类的计算复杂性，不仅将谱聚类的计算成本降为原先的几分之一，而且提升了聚类质量和最终的分...
水平集图像分割核映射模型的改进

关键词：图像分割水平集离散区域灰度不均匀图像数据离散化粗糙集

为提高水平集演化迭代效率和图像分割质量，对核映射（KM）模型进行改进，依据粗糙集理论提出图像数据离散化的定义和方法。由于加权后的KM模型推导出的区域参数具有收敛性，且离散化后图像灰度均匀性有所提高，区域参数可以更好地表达对应演化区域的灰度值，使得图像能够被更精确地分割。在迭代演化过程中，加权后的KM模型对应的水平集权重最小...
一种基于信息保持的跨数据集图像分类方法

关键词：图像分类跨数据集特征选择 logistic回归稀疏主成分分析转换学习

跨数据集图像分类是在图像分类应用中经常面临的问题。由于训练集数据与实际待分类（或测试）数据既有内在联系，又具有较大差异，导致常见分类器在跨数据集分类中的性能明显下降。为此，根据数据信息提出一种新的跨数据集图像分类方法。将主成分分析中特征信息保留的思想引入到基于L1特征选取的Logistic回归中，从而在选取图像特征时有效保持数...
室外场景的多视角视频拼接

关键词：多视角视频拼接形状失真深度失真运动失真角度约束

扩展式摄像机系统的多视角视频图像拼接因角度因素容易产生形状失真、深度失真和运动失真。为此，对现有视频图像拼接方法加入角度约束进行改进。分离视频中的运动区域与静止区域，分别采用现有方法和改进方法加以实验验证，通过对比分析，选取拼接效果最好的APAP＋角度约束方法和APAP＋SPHP＋角度约束方法进行拼接，将拼接后的静止区域和运动区...

计算机工程杂志

计算机工程学术信息

期刊导航：

基于Petri网的多线程程序死锁检测

基于混合存储的无盘网络服务器数据优化分布方法

国防工程震害风险的脆性贝叶斯网络评估模型

基于不完备集双聚类的缺失数据填补算法

一种基于管理员分权的用户特权提升机制

并行飞机气动模拟工作台软件设计

基于网络编码的无线传感器网络多径路由模型分析

非理想频谱感知下认知无线电系统性能分析

基于异构导频60GHz系统的压缩感知信道估计

基于Morlet小波变换的自适应小波脊线提取算法

基于最早截止期优先算法的任务对带宽转让研究

干扰信道中无反馈的干扰消除方法

面向多业务的内容中心网络拥塞控制策略

基于双层片上网络的路由算法

基于图着色理论的短波无线接入网动态频谱分配方法

基于神经网络的数模混合信号调制识别算法

全球导航卫星系统中的干扰频域门限检测技术研究

面向PHP程序的SQL漏洞检测系统

能量均衡的数据融合隐私保护算法研究

适用于空间DTN的非交互式密钥交换协议

可证明安全的单向可变门限重签名方案

基于TrustZone技术的安全移动远程控制系统

一种基于新隶属度函数的模糊支持向量机

公平关切下的供应链产销协同自适应协商策略

基于跳跃基因的多目标差分进化算法

复杂网络社团挖掘中基于路径的模块性分析方法

基于隐马可夫模型的邻近方言差异系数研究

基于划分融合与视角加权的极大熵聚类算法

基于加权频繁模式树的通信网络告警规则挖掘方法

一种基于标签关联关系的微博推荐方法

基于Fisher判别字典学习的可拒识模式分类模型

Blogel-SPINAL：分布式PPI网络比对算法

基于回溯树的语义Web服务自动组合优化方法

融合核主成分分析和最小距离鉴别投影的人脸识别算法

聚合群体中关系强度对观点采纳的影响

基于自适应图像粒的目标对象边界周长估算

一种基于迭代式稀疏谱聚类的图像集分类算法

水平集图像分割核映射模型的改进

一种基于信息保持的跨数据集图像分类方法

室外场景的多视角视频拼接

相关论文