HOG特征是一种简单高效的常用来进行物体检测的特征描述子，广泛应用于行人检测等领域，然而在处理海量图片时却面临着严峻的性能挑战。解决方法之一就是通过使用“神威太湖之光”超级计算机的处理器节点对海量图像背景下的行人检测算法进行加速。主要采用了两种并行方案：一种是一个处理器同时处理4张图片，另一种是同时处理256张图片。大量的...
高性能计算环境聚合了多个分布在不同地域、不同组织机构的高性能计算资源，面向用户提供统一的访问入口和使用方式，由系统中间件根据用户作业请求匹配合适的高性能计算资源。随着环境应用编程接口的开放以及作业请求数量的大幅增加，面对高并发作业提交请求时，目前采用的即时调度模型会由于网络等原因导致一定数量的请求处理失败，同时缺乏灵...
由于志愿者分布式计算可以为计算量庞大的科研项目提供足够的计算能力，甚至比超级计算机的计算能力还要强大，因此，志愿者分布式计算技术受到了很多研究人员的关注，很多不同的志愿者分布式计算架构被广泛应用。以往的很多志愿者分布式计算架构通常考虑的志愿者主机是PC电脑，或者单纯地把移动设备当作PC电脑一样进行处理。由于移动设备的很多...
布尔多项式求解是当今密码代数分析中的关键步骤，F4算法是布尔多项式求解的高效算法。分析了Lachartre为F4矩阵专门设计的高斯消去算法，针对其中布尔矩阵乘这一耗时的计算步骤，设计并实现了分布式异构（CPU＋MIC）并行算法。布尔矩阵相对于普通矩阵主要体现在矩阵元素取值区间不一样上，由于布尔矩阵元素（0,1）导致矩阵乘操作的特殊性，普通...
物联网感知流数据多以时序数据为主，具有数据量大、连续到达、多来源等特点。现有的基于HBase的交通流数据存储系统在数据写入并发量大时，仍然存在存储效率低与系统可用性不高的问题。针对该问题，设计并实现了基于负载均衡的多源流数据实时存储系统。该系统将数据扩展为集群架构，提出了一种基于负载均衡的任务调度算法，实现了任务与数据之...
节点导纳矩阵是一个稀疏矩阵，短路电流计算需要对导纳矩阵数据进行查询。为了既能保持快速按行列查询元素数值，又进一步提高按数值查询其所在行列的效率，以便于存储调用及后续矩阵的处理，提出构建高度平衡二叉树的改进十字链表方法，即在十字链表存储的基础上，拓展存储数据结点指针域，形成平衡二叉树，将高度维持在（O（log2 n）），平均...
网络节点能耗是影响无线传感器网络生命周期的重要因素。提出了一种基于混合压缩感知（HybridCS）的网络能耗优化方法。首先，为保证数据重构精度，根据参加数据收集节点数的不同，确定合理的观测矩阵维数范围。然后，通过分析不同维数观测矩阵对HybridCS发送数据量的影响,求出较优的观测矩阵维数,从而使所设计的方法达到降低网络能耗的目的...
针对无线传感器网络处理能力、存储空间、能量等有限的特点，设计了轻量级数据加密机制。该机制对RC6算法进行了改进，添加了“对称层”运算，使改进后的RC6算法在运算工作量变化不大的情况下，硬件实现更加容易，硬件资源消耗更小。为进一步提高密文的安全性与数据加密强度，使用双密钥对明文进行两级加密，并引入了随机密钥管理机制，使网络节...
针对现有算法恢复分区连通性存在容错性差的问题，提出了分区双连通性恢复算法DCRA。该算法旨在网络中心区域构建骨干多边形，分区以两条互不相交的路径与多边形连接，从而实现分区间的双连通。仿真实验表明，与现有一些双连通算法相比，所提算法不仅减少了部署中继节点的数量，而且算法的运行时间能够减少60%左右，可以快速确定部署的中继节点...
随着信息科技的迅猛发展，室内定位技术已经成为基于位置服务LBS的研究热点之一。基于接收信号强度RSS的位置指纹与步行者航位推算PDR相结合的定位算法能有效提高定位精度，但目前已有的算法难以同时满足较高的定位精度与较小的计算量，常见的卡尔曼滤波算法精度不够，而粒子滤波算法计算量较大。提出了一种基于多指纹联合匹配的混合定位算法，...
签密思想是将签名和加密融为一体的构想，相比传统的先签名后加密的体制，它的计算量小和运算速度快。自认证免去了公钥证书的管理，能为系统节约成本。鉴于两者的优点，提出了一个基于自认证的并行多重签密方案，提供了多个签名者对同一消息进行签名，多个解签密者可以同时解密的思路，可广泛用于电子现金领域和秘钥管理领域及路由器的消息分发...
提出一种扩展的基于角色的访问控制ERBAC模型，以解决RBAC在多域云系统的资源使用约束、策略管理和互操作安全性等方面存在的不足。首先，通过引入容器元素和两类角色基数约束，构建了基于容器元素＋动态角色基数约束的资源使用策略；其次，深入研究了多域角色继承管理，提出基于先检测后建立角色关系的域间策略管理函数，并给出各类安全策略冲...
攻击图模型是网络风险评估的主要技术之一，其通过攻击步骤之间的因果关系来描述攻击者从初始状态到目标状态的攻击过程，分析的整个过程也是以某种形式化方式表述的图数据为基础的，但分析时很少考虑网络链路、网络拥塞、入侵报警等不确定性。结合不确定图的概念将攻击图扩展为可能攻击图（PAG），给出了可能攻击图的构建方法，同时基于可达概...
AltaRica语言用于安全关键系统的建模，其拥有一套完整的建模分析工具，但随着AltaRica3.0的更新，ARC等传统的AltaRica建模分析工具已不再支持，而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进，以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础，提出了一种AltaRi...
安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说，不仅考虑安全性和活性的验证，还要考虑一些安全策略的性质，如非干涉性，这些不能用一般的性质来描述的安全策略可以被看作“超安全性质”。限界约束可通用地表示不同程度的访问频次限制，是安全相关性质验证中有效的辅助方法之一，在无线传感器网络协议、嵌入式...
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前，对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解，其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度，提出了一种基于可满足性问...
驱动程序是操作系统的重要组成部分。驱动程序运行于内核态,其可靠性对于操作系统的安全可靠非常关键。针对Linux驱动程序,研究基于符号执行的驱动程序缺陷自动检测方法。提出了基于性质制导符号执行的Linux驱动程序缺陷检测框架,以及多性质制导的符号执行方法,支持针对多个缺陷性质的快速缺陷检测。在LLVM和KLEE的基础上实现了提出的框架和方法...
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈［a,b］∪［c,d］,...
摄像机标定是三维重建时的必要步骤。传统的标定方法对设备要求高、操作繁琐，而自标定方法虽然简便，但精度不高，会严重影响三维重建的效果。因此,越来越需要一种操作简便并且精度高的自标定方法。采用SIFT特征点匹配算法，根据多视序列图像中对应点间的相互关系，利用光束法平差，提出了一种基于局部-全局混合优化的迭代优化方法。针对图像匹...
如何高效地组织和管理日益增长的多源海量空间科学数据、提高数据的可用性和易用性,是空间科学目前需要重点解决的技术问题。在充分分析现有空间科学数据管理技术和数据特点的基础上，提出了一种有效的系统架构，研究并利用空间关系数据库及分布式数据库技术，实现了海量异构数据的高效存储、检索与定位;研究基于三维数字地球的多层次细节展示方...
为了提高EEMD分解中噪声主导模态的去噪效果，利用模糊隶属度的优势，提出了一种EEMD和模糊阈值相结合的去噪方法。首先用二范数计算各个本征模态函数（IMF）与观测信号的概率密度函数（PDF）之间的相似度，得到噪声主导的IMF；然后对噪声主导的IMF进行模糊阈值处理，以去除IMF中的噪声；最后将所有的IMF重构得到消噪信号。分别采用仿真信号和EC...
为了有效地评价各种失真类型双目立体图像的质量，提出利用多核学习机学习立体图像平面纹理信息和3D映射信息的通用无参考立体图像质量评价IQA方法。该方法首先利用立体匹配模型对左右视图进行处理，获得相应的视差图DM和误差能量图DMEE；对左右视图、视差图和误差能量图进行相位一致性和结构张量变换，获得它们的平坦区和边缘区；分别提取左右...
主成分分析与线性判别分析是人脸识别的重要识别方法，它们都通过求解特征值问题实现特征提取，但由于维数灾难会导致小样本和奇异性问题。提出了一种简单的人脸识别方法,无需进行奇异值分解，能有效地降低计算代价。首先将图像划分成块，然后计算多项式系数，得到友阵用于特征提取。基于两张不同图像的多项式系数友阵来计算对称阵。最后通过计...
《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。本刊常年设有高性能计算专栏。
在对已有的点与多边形位置关系判断算法分析与研究的基础之上，提出一种新的判断点在多边形内外的算法。该算法用三维空间来解决二维平面问题，将二维平面内的点看作是三维空间在平面上的点，从而得出简单的待判断点与多边形顶点之间的坐标关系式。由于符号函数仅仅有三个值，巧妙地利用符号函数的特殊性来表示待判断点与多边形的顶点之间的坐标...
针对机器学习领域的人脸跟踪研究，其人脸首帧初始化由人工手动标注的问题，提出了一种基于深度学习的人脸跟踪自动初始化首帧方法。通过建立栈式稀疏自编码神经网络，对大量未标注的样本采用近似恒等的方法计算各隐层节点并运用反向传播法进行权值微调。预训练网络之后，连接softmax分类器，再用少量已标注样本对softmax分类器进行有监督训练，...
在比特流未知协议识别过程中，针对如何将得到的多协议数据帧分为单协议数据帧这一问题，提出了一种改进的凝聚型层次聚类算法。该算法以传统的凝聚型层次聚类算法思想为基础，结合比特流数据帧的特征，定义了数据帧之间及类簇之间的相似度，采用边聚类边提取符合要求类簇的方式，能快速有效地对数据帧进行聚类；并且该算法能自动地确定聚类的个...
微博网络中的每一个节点代表一个微博用户，微博用户之间除了存在一定的社会关系外，用户本身也具有一定的特性。用户之间明显的链接关系可以为社区发现提供重要的线索，但两个用户之间如果有相似的兴趣，那么即使用户之间没有明显的链接关系他们也可能加入到同一个社区，而传统的社区发现方法大多基于单个方面进行考虑。所以，提出一种结合链接...
针对经过多次迭代之后粒子滤波因粒子匮乏，对于光照、遮挡与旋转等问题会出现跟踪精度下降，甚至失败等问题，提出了一种似然分布自适应调整ALD方法，根据噪声因子的大小来自适应调整似然分布状态，增加先验和似然的重叠区域，有效提高滤波的稳定性，减少重采样次数；在跟踪精度不高或失败时，用局部三值模式LTP来判定所要跟踪区域，根据有效粒...
购物车(0)