我国学前儿童入学准备研究现状的可视化分析

随着《关于大力推进幼儿园与小学科学衔接的指导意见》的印发,首次从国家层面提出幼儿园和小学之间要实现双向衔接,而儿童入学准备也成为研究的关注点。文章采用文献计量学的方法从发文趋势、高被引文献、核心作者和发文机构的共现图中,直观地呈现出当前学前儿童入学准备研究的热点领域。对未来入学准备领域研究的发展提出了展望：评价工具需要增加评加项目和扩大研究范围;研究群体需要研究作者和机构之间要提高合作意识;研究内容需要从借鉴其他国家到逐渐本土化;研究对象需要多关注社会经济地位不利儿童的入学准备。     

典型作战场景下排爆机器人性能评价方法

针对目前反恐排爆机器人缺乏实战化性能考核方法的问题,结合其技术特点和典型作战应用环境,通过构建一种以通行、探测、转移、销毁等性能为主要考核科目的排爆作战场景,并以记分的形式给出一种简单、实用的排爆机器人作战评价体系.该评价体系经过武警部队装备部主办的全国首届"反恐突击-2019"智能无人系统挑战赛的实践验证,其具有良好...     

便携式防空导弹拦截巡航导弹可行性研究

分析了巡航导弹和便携式红外寻的防空导弹的攻防特点,对便携式红外寻的防空导弹拦截巡航导弹的可行性进行了探讨。攻防对抗仿真结果表明,防空导弹在一定条件下能够有效拦截超低空突袭的巡航导弹。     

论消防通信装备在使用中存在的问题及对策

介绍了我国消防通信装备在使用中的现状;重点从消防通信装备的配备、技术和管理几方面分析了消防通信装备在使用中存在的问题;从完善火场通信联络方式、不断改进常规、集群无线组网功能、推动数字化手机和消防通信头盔的运用等方面提出了解决问题的对策。     

基于Agent的坦克连CGF系统智能机动模型研究

分析了面向Agent的CGF设计方案,以坦克连为研究对象,设计了坦克连仿真系统体系结构,并就坦克连在虚拟环境中实现智能机动的行为进行了探讨,介绍了坦克连机动Agent的设计与实现.     

多样化军事任务异构数据集成应用方法

为实现多源异构作战数据高效融合共享,提出了改进型中间件异构数据集成框架,设计了作战数据融合运用核心组件,实现了多源异构作战数据综合应用平台,提高了各类作战数据的融合运用效率,为指挥员及时掌握战场态势,高效科学决策提供了数据支撑。     

多核数字信号处理器矩阵乘卷积算法性能评测

矩阵乘卷积算法能够为各种卷积配置提供高性能基础实现,是面向给定芯片进行卷积性能优化的首要选择。针对国防科技大学自主研制的飞腾异构多核数字信号处理器(digital signal processor, DSP)芯片的特征以及矩阵乘卷积算法自身的特点,提出了一种面向多核DSP架构的高性能并行矩阵乘卷积实现算法ftmEConv。该算法由输入特征图转换、卷积核转换、矩阵乘以及输出特征图转换这四个均运行在通用多核DSP上的并行化部分构成,通过有效挖掘通用DSP核中功能单元的潜力来提升各个部分的性能。实验结果表明,ftmEConv实现了高达42.90%的计算效率,与芯片上的其他矩阵乘卷积算法实现相比,获得了高达7.79倍的性能加速。     

综合性大学师范生公共教育学学习态度调查研究

公共教育学是综合性大学教师教育专业的教育类课程的核心和基础,担负着培养学生教育教学所需要的现代教育理念、教育教学能力以及提高综合素质等多重任务。但近年来,师范生对公共教育学的学习态度,一直是阻碍公共教育学教学质量的一大难题。文章通过问卷和访谈的研究方法,调查师范生对学习公共教育学的态度情况,并从中发现由于教材,教学方式,学习方法,课程评价等因素的影响,师范生对公共教育学的学习态度比较消极,因此,通过引导,改变教学方式,提倡多样化的学习方法,建立多样化的课程评价方式等途径,积极促进师范生对公共教育学学习态度的转变,从而提高教学质量。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

无人机硬件回路仿真系统的设计

研究无人机自主飞行需要空旷的场地并具有一定的危险性.硬件回路仿真则能够在室内较高地模拟出无人机的实际飞行环境.它可以用来测试硬件的可靠性,系统的整体性能以及调节参数.介绍了一套基于Linux的硬件仿真系统的设计.仿真结果表明该系统具有良好的仿真效果,从而降低了无人机实验的成本并提高了实验效率.