根据2017年10月的中国高性能计算机性能TOP100排行榜的数据，对国内高性能计算机的发展现状从总体性能、制造商、行业领域、部署机构等方面进行了讨论分析，同时对未来发展进行了展望。
传统的流水线设计是以转移指令为中心的，大量逻辑资源被用于提高处理器转移预测的能力，以保证向流水线发射和执行部件提供充足的指令流。在阵列众核处理器中提出了一种以访存为中心的核心流水线设计。通过提高访存装载指令在流水线中的执行优先级，以及访存装载指令的预测执行机制，可以有效减．少顺序流水线因访存延迟所带来的停顿，提高流水...
使用TCAD模拟工具，分析了纳米工艺下N’-N结、P＋-P结和PN结深度的变化对PMOS以及NMOS单粒子瞬态（SET）脉冲宽度的影响，并考虑了电压温度变化下结深对晶体管单粒子瞬态的影响程度。结果表明，N’-N结的变化对PMOS晶体管单粒子瞬态脉冲宽度的影响最为显著。同时，还分析出N’N、P’-P结在不同电压下的差异性较为明显，PN结在不同温度下的差异...
随着分布式计算技术的发展，Hadoop成为大规模数据处理领域的典型代表，由于安全机制相对薄弱，缺少用户行为活动的监控，容易受到隐藏的安全威胁，如数据泄露等。结合主成分分析计算的特点，基于MapReduce对其做并行化处理，克服了传统主成分分析计算的缺点，提高了模型训练效率。提出了一种基于并行化主成分分析的异常行为检测方法，即比较当...
随着片上系统（SoC）技术的发展，芯片内各个模块交流频繁。异步系统因功耗低、速度提升潜力大和抗干扰能力强而备受青睐，但是异步电路设计复杂，数据的跨时钟域传输是亟需解决的问题。国际上目前最流行的方式是FIFO，但随着SoC复杂度的提升，一个系统上集成上百个模块，利用FIFO将会占用大量的资源，产生很大的功耗。通过分析异步传输的特点，...
kNN算法是机器学习和数据挖掘程序中经常使用的经典算法。随着数据量的增大，kNN算法的执行时间急剧上升。为了有效利用现代计算机的GPU等计算单元减少kNN算法的计算时间，提出了一种基于OpenCL的并行kNN算法，该算法对距离计算和排序两个瓶颈点进行并行化，在距离计算阶段使用细粒度并行化策略和优化的线程模型，排序阶段使用优化内存模型的双...
针对单输入单输出（SISO）线性时不变系统，提出了Grassmann流形上基于交叉Gram矩阵的双侧H∞最优模型降阶方法。首先，将误差系统的H∞范数通过交叉Gram矩阵表示，并且把它看成关于变换矩阵的代价函数。其次，引入Grassmann流形，将代价函数看作是定义在Grassmann流形上的非负实值函数。然后，在Grassmann流形上进行线性搜索，寻找使得代价函数...
所提出的软件定义网络SDN与传统IP网络互联的架构基于以下核心思想：把整体SDN当成一个传统IP网络的“路由器”，由IP网络和该“路由器”通过BGP协议进行域间网络层可达性信息NLRI的交互，从而使得全网的NLRI经过路由同步后达到一致。在此思想下分析设计了互联架构，对该互联架构进行了模块功能测试、多sDN场景下的仿真和性能测试。仿真结果表明...
无线传感器网络是当前信息领域的一个研究热点，由于无线传感器携带的能量有限，限制了无线传感器的使用寿命，通过减少由于邻近节点同时传输信号产生的干扰可以降低节点的能耗。拓扑控制技术可在保持网络连通的情况下，调整节点传输半径，以降低干扰。以接收者为中心的干扰模型中，求解无线传感器网络中基于拓扑控制技术的干扰最小化问题是NP难...
网络和信息系统已经成为关键基础设施乃至整个经济社会的核心，一旦遭受攻击破坏、发生重大安全事件，将严重危害国家经济安全和公共利益。如何检测网络攻击行为，保障网络基础设施的安全，是保障核心技术装备安全可控，构建国家网络安全保障体系的核心环节。系统地介绍了针对入侵检测框架、特征自动生成、安全检测理论及方法、网络拓扑监控与网...
在无线传感器网络定位中，基于RSS测量的定位方法是最常用的方法之一。由于传统的最大似然估计（MLE）算法的目标函数具有非线性和非凸性，在应用于无线传感器网络定位时，会产生多个局部最优值。针对该问题提出一种基于半定规划（SDP）的凸优化定位方法。首先采用泰勒级数近似对目标函数进行线性化处理，然后通过引入冗余变量将原无约束优化问...
无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络，无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击。事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法，可用于证明网络协议的安全性。以事件逻辑为基础提出一系列性质，其中包含多组合信息交互、不叠加、事件匹配、去重复、去未来，以降低...
剽窃是目前学术界和教育界面临的普遍问题，成熟的商业化剽窃检测系统运行时间和经济代价高，不适合实时性、轻量级的学生作业等日常检测。对基于文本指纹的Winnowing剽窃检测算法进行扩展，在提取指纹的同时记录文本定位及其长度信息，给出了指纹提取、文本定位、剽窃指纹索引合并等算法，实现了剽窃文本的检测、定位、标记。实验结果及算法在...
随着信息网络的快速发展，云服务走进人们视野，云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证，实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击，提出改进协议Nayak—T。Nayak-T协议在消息项内增加时间戳并更改加密手段，通过双重加密的手段来保证双方通信安全。利用四通道并行建模法...
大数据时代下迅速兴起的深度学习已在计算机视觉等多个领域取得了重大进展。近年来，随着软件制品的积累，这一方法也开始在软件工程领域发挥重要作用。概述了利用深度学习处理不同软件分析任务的研究进展，总结了主要研究方向和应用特点。目前已有一批重要成果发表，相关研究热度呈现上升趋势。最后探讨了现有深度学习技术在应用时的一些局限性...
航电系统作为安全关键系统，利用故障树对其进行安全性分析十分必要。然而，传统的故障树依靠手工构建，主要依赖于分析人员对系统的理解程度；同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题，提出了一种基于航电系统架构模型的故障树自动建模方法：通过向系统设计模型中添加相应的...
基于扩展有限状态机（EFSM）的回归测试过程需要根据依赖关系变化对软件所做修改的影响域进行分析。为了针对软件某一功能进行修复，通常需要对多处代码进行同步修改，已有依赖分析方法在这种情况下暴露模型中触发条件和行为语句错误的效率不高。提出以ALL—Uses覆盖准则引导回归测试的方法，引入依赖关系变化因素的概念，修改待覆盖子路径的产...
《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。本刊常年设有高性能计算专栏。
交互时态逻辑已被广泛应用于开放系统的规范描述，交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质，提出了一种模糊交互时态逻辑，并讨论了它的模型检测问题。首先，引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义，证明了其等价性。然后，基于其等价性，给出了模糊...
专利检索与普通的文本检索有着极大的不同，专利文本包括权利声明、摘要、全文等不同部分，自然不能简单地将普通文本的检索方法应用到专利检索当中来。专利检索通常面临着召回率低下的问题，首先，由于专利文本具有极强的专业性，有着复杂的术语表达方式，用户输入的关键词通常无法明确捕捉到检索意图，导致检索结果不理想。其次，专利撰写时有...
汉语复句层次关系分析是中文信息处理领域极具挑战性的课题之一。为解决关系词标识信息不充足所导致的复句层次关系识别准确率下降问题，挖掘了影响分句关联的形式化语义知识，在此基础上构建了小句关联体识别算法并将其应用于相应的复句层次判定规则之中，以辅助分析其层次关系；对于其余单、多重有标复句的层次识别，使用基于搭配规则的移进一...
针对传统火力分配中存在武器资源浪费的情况，以对敌目标与网络攻击收益最大、己方武器消耗最小为目标，建立一种考虑毁伤概率约束条件的多目标火力分配模型。对标准量子免疫克隆多目标优化算法进行优化，引入了混沌机制，修复不可行解，并对搜索策略和多样性保持策略进行改进，设计了一种改进的量子免疫克隆多目标优化算法。通过实验仿真，验证...
针对影响k-means聚类效果的聚类数目和初始中心点两大因素，提出了基于双重遗传的k-means算法。它用外层遗传算法控制聚类数目，用内层遗传算法控制聚类的初始中心点，并采用类间距离和类内距离以及二者之间的比值来评价聚类结果的好坏，在算法终止后，可同时求得较优的聚类数目和某聚类数目下的较优初始中心点。此外，根据内外层遗传算法的特殊...
针对输出权值采用最小二乘法的回声状态网络（ESN），在随机选取输入权值和隐层神经元阈值时，存在收敛速度慢、预测精度不稳定等问题，提出了基于蚁群算法优化回声状态网络（ACO—ESN）的算法。该算法将优化回声状态网络的初始输入权值、隐层神经元阈值问题转化为蚁群算法中蚂蚁寻找最佳路径的问题，输出权值采用最小二乘法计算，通过蚁群算法...
为了提高用户相似度计算精度和推荐准确性，缓解数据稀疏性，提出一种基于商品属性值和用户特征的协同过滤推荐算法。该算法首先从用户对商品属性值的偏好出发，计算用户对商品属性值的评分分布和评分期望值，得到用户一属性值评分矩阵；同时利用数据相似性度量方法寻找用户特征邻居，填充用户一属性值评分稀疏矩阵，进而得出目标用户偏好的最近...
基于接收信号强度的射频识别（RFID）定位是一种低成本、便于实现的室内定位方法，针对在RFID室内定位系统中使用参考标签法存在的小样本问题，提出一种基于支持向量回归机（SVR）的RFID室内定位算法。结合无源超高频RFID系统工作原理，在Matlab环境下，对比经典的LANDMARC方法，测试了基于支持向量回归机的定位算法性能，以及互耦效应、多径效...
粗糙集理论和概念格理论均为研究知识发现与不确定性决策问题的重要方法，二者之间紧密相关。在提出概念格上的变精度粗糙集的β-上、下近似定义的基础上，一方面，对于任意给定的变精度β，讨论了概念格上变精度粗糙集β-上、下近似的性质；另一方面，针对不可定义对象集，分别提出了概念格上的变精度粗糙集β-上、下近似算法；最后，实例验证了新...
购物车(0)