动态深度神经网络的硬件加速设计及FPGA实现

基于现场可编程门阵列(Field Programmable Gate Array,FPGA)实现的卷积神经网络由于具有优秀的目标识别能力,广泛应用在边缘设备。然而现有的神经网络部署多基于静态模型,因此存在无效特征提取、计算量增大、帧率降低等问题。为此,提出了动态深度神经网络的实现方法。通过引入模型定点压缩技术和并行的卷积分块方法,并结合低延迟的数据调度策略,实现了高效卷积计算。同时对神经网络动态退出机制中引入的交叉熵损失函数,提出便于硬件实现的简化方法,设计专用的加速电路。根据所提方法,在Xilinx xc7z030平台部署了具有动态深度的ResNet110网络,平台最高可完成2.78×104 MOPS(Million Operations per Second)的乘积累加运算,并支持1.25 MOPS的自然指数运算和0.125 MOPS的对数运算,相较于i7-5960x处理器加速比达到287%,相较于NVIDIA TITAN X处理器加速比达到145%。

验证带有线程的动态创建和退出的多线程程序

近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式,使用高阶逻辑描述指令的推理规则和安全策略,为证明带有线程的动态创建和退出的多线程程序的部分正确性提供了一种实用的方法.

基于非局域性正交乘积态的动态量子秘密共享方案

当前的量子秘密共享(QSS)存在资源制备开销较大、安全性不强的问题,该文提出一种基于正交乘积态的可验证量子秘密共享方案弥补上述不足,且多方成员能动态地加入或退出秘密共享。该方案将正交乘积态的粒子分成两个序列,第1个序列在多个参与者之间传输,前一个参与者对其执行嵌入份额值的酉算子后传输给下一个参与者,直到全部份额聚合完成;对于另一个序列,只有最后一个参与者(验证者)对接收到的粒子执行Oracle算子。然后,验证者对两个序列中的粒子对执行全局测量,得到秘密值的平方剩余。最后,借鉴Rabin密码中密文与明文之间非单一映射的思想,验证者联合Alice验证测量结果的正确性,并从测量结果确定出秘密值。安全性分析表明,该方案能抵抗常见的外部攻击和内部攻击,且验证过程具有强安全性;由于非局域性正交乘积态以两个序列分开传输,因此增强了秘密重构过程的安全性。性能分析表明,该方案使用正交乘积态作为信息载体,量子资源开销较小,且将正交乘积基的维度从低维拓展到d维,参与者人数能动态地增加和减少,使得方案具有更好的灵活性和通用性。

退出-呼吁动态、制度竞争与制度变迁——一个新的制度变迁动力学模型

制度变迁为何及如何发生?已有的诸多相关理论虽富于启发性,但忽视了制度需求的显示难题,留下了制度供给的诺思悖论,从而未能揭示制度变迁的动力学。本文从制度需求与制度供给互动的角度构造了一个新古典的制度变迁分析框架。其中,退出-呼吁动态刻画了制度需求,而制度绩效位差造成的国家或地区之间的制度竞争刻画了制度供给。在对退出-呼吁动态的响应中,制度竞争通过发现效应、创新效应、扩散效应和保障效应推动了制度变迁。这一工作有望为分析制度变迁问题提供新的思路。

基于利润场的云联盟合作伙伴动态选择机制研究

云联盟是云计算发展过程中的一种能优化资源配置的组织形式,在云联盟的发展过程中,选择合适的合作伙伴是保证云联盟质量的关键。针对云联盟的合作伙伴选择问题,结合现有的联盟合作伙伴选择机制,借鉴场论思想构建利润场模型,设置企业(云资源供应商)进入退出联盟临界点,形成基于利润场的云联盟动态进入退出机制。最后,通过实例分析论证了此方法的合理性和有效性。

经济新常态下“精准扶贫”的推进策略及实现路径

精准扶贫是国家在社会转型期实行"大扶贫"政策的重要举措。与"八七扶贫攻坚计划"相比,新一轮扶贫政策呈现出高起点的有利条件,但在经济新常态下,也面临着诸多复杂难题。对此,"精准扶贫"的推进实施中应突出精准识别,建立一套向贫困群众定位的合理方案,建立符合地方实际的动态退出机制。同时应集中提高扶贫的实际效益,健全全社会积极参与的一套合理机制,创新扶贫开发模式,充分发挥引智在扶贫开发攻坚战中的巨大作用,以"科技创新和人力资源"为支撑,完善工作机制,形成帮扶合力,真正从"精准扶贫"方面推动贫困地区治理体系的建构。

基于簇结构的多中心网格资源监测系统

网格资源监测系统是网格系统的基础设施和必要组成部分,也是网格使用资源的前提保证。针对大规模网络信息探测的任务特点,结合各类网格通用需求,研究网格资源信息监测中关键技术,提出了基于簇结构的多中心网格资源监测系统体系结构和网格资源节点的动态加入与退出算法。通过实验分析和讨论了决定系统规模的主要因素并获得了簇的规模阈值。

商业银行开展绿色信贷的运行机制研究

绿色信贷是商业银行践行科学发展观的重要内容之一。商业银行开展绿色信贷政策的运行机制包括信贷准入机制、信贷管理机制、风险预警机制和动态退出机制。