一类对偶平坦的黎曼度量

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

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

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

试析新中国成立初期人民解放军学习苏军活动

新中国成立初期,人民解放军展开了学苏军活动。这次学苏军活动,经历了全面学习、有分析有批判地学习以及确立“以我为主”方针等三个历史阶段。通过学习、借鉴苏军经验,人民解放军技战术水平和协同作战能力有了很大提高,正规化现代化革命化建设取得显著成绩,同时也积累了许多值得借鉴的经验教训。     

论斯大林军事理论的几大亮点(下)

斯大林是苏联共产党和国家主要领导人、武装力量最高统帅,在领导苏联国防建设和反侵略战争的长期实践中,形成了具有自己特色的军事理论。其中,国家要进行积极防御的准备,必须建立和建设一支无产阶级常备军,大力发展国民经济、建立雄厚的国防经济基础,建立和巩固反侵略同盟,经常保持、正确使用战略预备队和用大规模围歼战役歼灭敌军重兵集团,是最引人注目的6个方面。斯大林军事理论总体上适合于他所处的历史条件和实践提出的要求,反映了苏联进行国内战争、军队建设、国防建设和反侵略战争的基本规律,为巩固苏维埃政权,特别是为取得卫国战争的胜利发挥了重要作用。     

一类非正态误差下的AR模型定阶研究

对一类非正态误差的AR模型,在待定阶数P的情况下,给出误差项中未知实函数依概率有界的定理,可把非正态误差转化为正态情况。最后运用正态误差下AR模型的方法确定阶数和参数,并给出一个算例。     

空气甲醛显色球的制备

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

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

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

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

中远程空空导弹目标截获概率仿真计算

分析了影响中远程复合制导空空导弹截获目标的主要因素,建立了捷联惯导误差模型、载机雷达观测误差模型、雷达导引头误差模型等,提出了用蒙特卡洛法的方法计算截获概率,并给出仿真实例。仿真结果表明了模型和算法的有效性和实用性,为分析捷联惯导、载机雷达等对目标截获概率的影响提供了方法和支持。     

反潜飞机对潜搜索法研究

反潜飞机使用吊放声纳对潜搜索具有不连续性。针对该特点,提出一种在实际搜索中能方便执行并且具有一定实用价值的搜索法。该法的基本思想是:通过增大或者减小取整的方法来保证起始相遇点在起始点,终止相遇点在该搜索段的终止点。算例验证该法正确可信。