MPSoC软硬件划分的自动波竞争神经网络算法

针对基于可重用组件的MPSoC软硬件划分问题,提出了一种采用自动波竞争神经网络的优化算法。先将软硬件划分问题转化为图论中的多约束最短路径问题,然后重新设计神经网络中的自动波机制,从组件库中为系统中的每个任务模块选择合适的软件构件或IP核,在系统成本和实时性约束下,使得MPSoC功耗最优。该算法具有并行化、无参数、易于硬件实现的特点,可获得MPSoC软硬件划分问题的最优解。     

SoC软硬件协同技术的FPGA芯片测试新方法

针对传统的基于纯硬件平台的FPGA芯片测试方法所存在的种种问题,提出并验证了一种基于软硬件协同技术的FPGA芯片测试方法。该方法引入了软件的灵活性与可观测性等软件技术优势,具有存储深度大、可测I/O管脚数目多、自动完成配置下载(不需人工干预)和自动定位FPGA中的错误等优点,提高了FPGA的测试速度和可靠性,并降低了测试成本,与传统的自动测试仪(ATE)相比有较高的性价比。采用软硬件协同方式针对Xilinx4010的I/O单元进行了测试,实现了对FPGA芯片的自动反复配置、测试和错误定位。     

解决有复杂约束的最短路由问题的算法

介绍了有复杂约束的最短路由问题,应用K路由算法中的偏离算法解决该类问题。分析了在偏离算法的应用中影响算法效率的因素,提出了一种提高算法效率的改进方案,仿真结果表明改进方案是有效的。     

基于双十字TV模型的图像修复算法(英文)

当前的各种TV(total variation)算法均只利用待修复点及其邻域的4个点的信息进行修复,由于所提供的参考信息有限,使得修复后的图像精确度欠佳。该文提出的双十字TV算法利用原始的TV算法,将待修复点邻域中的8个点分为两组,分别利用每组4个点的参考信息计算待修复点的像素值,然后将这两个像素值进行加权平均得到最终的修复值。实例验证结果表明,在不增加时间复杂度的情况下,双十字TV算法有效提高了修复后图像的精确度。     

基于改进的蚁群算法的复杂制造系统物流配送路径优化

为了对复杂系统中物流网络进行规划,在分析复杂制造系统物流网络特点的基础上,用多级有向图来对物流配 送问题进行建模。针对物流路径的流量和时间限制,以寻找满足约束条件的最小成本的路径为目标,利用改进的蚁群算 法对配送路径进行规划,最后运用MATLAB语言编程仿真。改进后的蚁群算法克服了一般蚁群算法的不足,提高了算 法的性能,可以解决复杂制造系统的物流网络配送路径优化问题。     

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究(英文)

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。     

复杂适应系统(CAS)理论的科学与哲学意义

复杂适应系统(CAS)理论是现代系统科学的一个新的研究方向,实现了人们认识复杂系统演化规律的质的飞跃。作为一个完整的新学说,包括了许多方面,也有了许多重要的成功运用,具有重要的科学意义和哲学方法论意义。     

基于置乱算法的复杂网络零模型构造及其应用本期“复杂性科学”专栏评述

整理了无权网络、加权网络和时变网络中经常使用的各种零模型构造算法,重点总结了基于置乱算法的零模型构造过程和它们的实际应用。置乱算法既可以将网络上的连接关系进行断边重连,也可以在保持原有连接的前提下随机化某些因素。通过对这些置乱算法的分析和比较,有助于相关学者了解如何使用置乱算法来构造复杂网络零模型,在参考零模型的前提下合理计算各种统计量的相对值,进一步深化对各种复杂系统的理解和应用。     

有向复杂网络的Poisson模型

考虑了节点到达过程是Poisson过程的有向复杂网络.本文研究了这类网络的瞬态度分布和稳态平均度分布.利用Poisson过程理论对这类网络进行了分析,获得了度分布的解析表达式.结果表明,虽然这类网络的稳态平均入度和稳态平均出度分布与节点的到达过程无关,但瞬态入度和出度分布依赖于节点的到达过程.     

基于粗糙集理论的软计算融合系统研究综述

面向数据挖掘领域,综述了基于粗糙集理论的软计算融合系统的研究进展,按照粗糙集在这些系统中的数据预处理、不确定性度量和知识抽取功能,分别总结了这些系统的特点,指出了现有系统面临的问题以及今后的研究方向.     

一种简单的安全计算协议模型

利用离散对数困难性假设和RSA公钥加密算法,给出了一种简单的安全计算协议模型,把验证算法引入该模型中,对其安全性和效率进行了讨论.理论分析表明,该安全计算协议模型是安全有效的.     

三坐标雷达实际垂直探测威力模型及算法研究

在考虑阵地反射和地物遮蔽的情况下,针对分米波段和厘米波段的三坐标雷达,建立了雷达垂直探测威力模型.文中对模型中参数的获取、近似处理等问题进行了详细的讨论,并根据三坐标雷达的工作模式和天线扫描方式,深入研究了天线垂直方向性函数的取值问题.最后给出了一种三坐标雷达实际垂直探测威力算法,实现了雷达在任意方位实际垂直探测威力的自动仿真生成.     

面向工业应用的可穿戴计算技术

工业应用是可穿戴计算技术研究的一个热点问题。该文总结了可穿戴计算技术在各种典型的工业领域中的研究现状,对影响可穿戴计算技术在工业领域推广应用的关键问题,包括可穿戴性和可用性、可穿戴人机交互以及软件体系结构和支撑模式等进行了探讨和分析,最后介绍了面向可穿戴计算工业应用的创新车间信息环境模式——知晓车间,以及可穿戴现场作业辅助系统。     

BP模型的改进算法及其在负荷预测中的应用

分析了BP模型学习算法——累积误差进传播算法在接近极小点时收敛速度变得异常缓慢的原因,并通过对连接权值的调整量引入权重系数,提出了一种改进的BP模型学习算法,大大加快了收敛速度,提高了收敛性。还利用提出的改进算法对某省中期负荷进行了预测,算例结果表明了该算法的有效性。     

复杂网络中的社团结构算法综述

社团结构是复杂网络的一个极其重要的特性,网络社团结构挖掘在生物学、计算机科学和社会学等多个领域都具有很重要的意义。近年来,针对不同类型的大规模复杂网络,人们提出了很多寻找社团结构的算法。该文综述了该领域最新的比较有代表性的一些算法,重点分析了基于模块度指标的改进算法,能够体现社团层次性和重叠性的新算法,衡量社团划分算法好坏的基准图。最后展望了该领域的未来研究方向。     

云计算研究综述及未来发展

作为一种新型的计算范式,云计算已经成为近两年研究的热点,其目标是为用户动态地提供可靠的、可定制的、服务质量（QoS）保证的IT计算环境服务。研究综述从定义、服务层次、计费方式及未来发展等方面对云计算进行了分析,旨在为科学地评估云计算的运营和使用提供一定的参考。     

基于TRIZ的复杂系统FMECA分析流程和方法研究

大型复杂系统具有结构复杂和功能多样化的特点,严重故障的发生将会造成巨大损失,而现有的故障分析方法和管理手段明显不足。基于传统FMECA方法,结合TRIZ理论和方法,以神光系列激光装置为研究对象,本文提出改进的FMECA分析流程和方法,目的是开展故障模式及影响的多样性分析以及寻找完善的问题纠正措施,从而提高故障归零率,降低系统运行风险。