方格图在小学数学教学中的有效应用

方格图作为直观形态的数学学习工具,将学科的理趣和学习的情趣相结合,具有帮助学生提高数学学习能力的作用。本文以人教版小学数学教材为依据,将方格图的表现形式、数学本质以及在培养学生数学学习能力等方面所起到的数学价值进行系统地剖析和总结;同时将方格图在人教版教材中的编排情况进行梳理及归纳,从绘制图形、统一度量、数的认识与运算、总结和推理四个方面诠释方格图在教学中的具体应用及研究启示。     

【邀请论文】军队审计应用区块链技术面临的机遇、挑战及推进策略

区块链技术是一种融数据库技术、计算机科学、网络技术、数学及密码学等为一体的现代信息技术,是未来信息化发展的核心技术之一,具有去中心化、公开透明、不易篡改及开源共治等特点。军队审计要坚定不移地贯彻科技强审战略,加强审计信息化建设,将大数据、区块链等现代信息技术与审计业务深度融合,大力推行在线审计、联网审计,促进审计力向保障力和战斗力聚焦。本文在系统阐述区块链技术给军队审计在控制审计风险、提高工作效率、实现审计全覆盖等方面带来机遇的同时,分析了可能面临的应用意识不足、应用经验不足、应用安全存在隐患、应用法规缺乏等挑战,在此基础上提出了区块链技术应用的推进策略,以期更好地推动军队审计信息化的进程。     

面向图计算应用的处理器访存通路优化设计与实现

针对图计算应用的访存特点,提出并实现一种支持高并发、乱序和异步访存的高并发访存模块(High Concurrency and high Performance Fetcher, HCPF)。通过软-硬件协同的设计方法,HCPF可同时处理192条共8种类型的内存访问请求,且访存粒度可由用户定义,满足图计算应用对海量低延迟细粒度数据访问的需求。同时,HCPF扩展了基于内存语义的跨计算节点定制互连技术,支持远程内存的细粒度直接访问,为后续实现分布式图计算框架提供技术基础。结合上述两个核心研究内容,基于流水线RISC-V处理器核,设计并实现了可支持HCPF的RISC-V片上系统(System-on-Chip,SoC)架构,搭建基于FPGA的原型验证平台,并使用自研测试程序对HCPF进行初步性能评测。实验结果表明,HCPF相比原有访存通路,最高可将基于数组和随机地址的两种随机内存访问性能分别提升至3.5倍和2.7倍。远程内存直接访问4 Byte数据的延时仅为1.63μs。     

基于ANP对装备网络体系中作战环节点效能评估

针对装备作战体系的网络结构特点,将作战体系网络分解成作战能力环。分析了作战环要素组成及要素间关系特点,提出将作战环转化成对应网络层次结构;将作战环中中心作战目标和作战环节元素分别设为对应顶层及二级指标层,作战环节装备对应具体战绩指标设为三级战技指标层;集成ANP(网络分析法)与能力需求度评判对作战环节点及作战边进行评估,为装备体系网络拓扑结构研究提供支持。最后,通过实例证明评估方法合理可行。