大数据时代的警务信息工作探讨

大数据时代给警务信息工作的发展提供了重大机遇,公安机关的“情报主导警务”、“大情报、大信息”都离不开大数据的应用.分析当前警务信息综合应用平台在大数据时代存在的问题和不足,提出在警务信息工作中加强大数据应用的对策.     

一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

空气甲醛显色球的制备

为实现快速准确测定空气中的甲醛,对4种氨基酸作为乙酰丙酮显色法的胺源进行对比分析,发现甘氨酸的显色效果较明显;对显色温度和显色时间进行优化,发现显色温度在50℃,反应15 min,显色效果明显。把显色剂固定到透明聚丙烯酸树脂球上,制备出可在家庭中方便使用的显色球,通过肉眼观察即可判断空气中甲醛的质量浓度,检测限达0.008 mg/m3。     

声表面波对汽油胶质含量响应特性的理论与实验研究

从理论上分析了沉积于压电基片表面的汽油胶质对声表面波（SAW）传播特性的影响,在此基础上参照国家标准规定的汽油胶质含量测定试验条件,基于自制的SAW传感器,实验研究了SAW对不同汽油胶质含量的响应特性.结果表明SAW传感器的中心频率及幅度随SAW传播路径上沉积胶质的含量变化表现出敏感且单调的变化规律,这一结果可为车用汽油胶质含量的快速检测提供参考.     

基于作战模拟的联合作战效能评估研究

针对作战模拟中联合作战能力量化和效能评估的难点问题,提出利用“联合指数”法按打击力、机动力、防护力、信息力和保障力对武器装备的作战能力进行量化,并利用矢量求模的方式,求取武器装备整体合力,它克服了传统指数法无法对联合作战中各军兵种作战能力按统一标准量化的缺点。论文尝试利用“协同系数”方法对联合作战编组整体作战能力进行量化和分析,弥补传统指数计算中单纯利用线性聚合方法所造成的无法反映协同作战效果的问题。最后,根据指数-兰彻斯特方程对想定背景条件下的联合作战进行了效能评估。     

The quadratic minimum spanning tree problem

This article introduces a new optimization problem that involves searching for the spanning tree of minimum cost under a quadratic cost structure. This quadratic minimum spanning tree problem is proven to be NP-hard. A technique for generating lower bounds for this problem is discussed and incorporated into branch-and-bound schemes for obtaining exact solutions. Two heuristic algorithms are also developed. Computational experience with both exact and heuristic algorithms is reported.     

多机空战系统的歼击机建模技术

分析了多机空战系统的顶层模型结构,给出了机载雷达、武器控制和导弹等三个主要部件的模型,可以将其应用于多机空战仿真系统的数学建模和软件设计中.     

着眼信息化战争特点培养军事指挥人才

军事指挥人才作为作战行动的直接筹划者、决策者和指挥者,其素质能力的高低对战争的成败产生至关重要的影响。必须以军事斗争准备为牵引,着眼信息化战争的特点,在坚持政治素质第一的同时,加快培养和造就一批长于信息运用、善于谋划决断、精于联合指挥、勇于开拓创新的高素质军事指挥人才群体,为履行新世纪新阶段我军历史使命提供强有力的组织保证和人才支撑。     

论我军军事训练政治工作的历史经验

梳理和考察我军军事训练政治工作的历史,总结经验并加以借鉴,如,军事训练政治工作必须紧紧围绕履行我军的历史使命展开;以发挥好服务保证作用为根本目标;坚持以思想政治教育为中心环节;坚持以开展好群众性练兵运动为基本形式等;对于切实做好新时期军事训练中的政治工作具有重要意义。     

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

针对图计算应用的访存特点,提出并实现一种支持高并发、乱序和异步访存的高并发访存模块(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。