度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。     

Research on simultaneous localization and mapping for AUV by an improved method: Variance reduction FastSLAM with simulated annealing

At present, simultaneous localization and mapping (SLAM) for an autonomous underwater vehicle (AUV) is a research hotspot. Aiming at the problem of non-linear model and non-Gaussian noise in AUV motion, an improved method of variance reduction fast simultaneous localization and mapping (FastSLAM) with simulated annealing is proposed to solve the problems of particle degradation, particle depletion and particle loss in traditional FastSLAM, which lead to the reduction of AUV location estimation accuracy. The adaptive exponential fading factor is generated by the anneal function of simulated annealing algorithm to improve the effective particle number and replace resampling. By increasing the weight of small particles and decreasing the weight of large particles, the variance of particle weight can be reduced, the number of effective particles can be increased, and the accuracy of AUV location and feature location estimation can be improved to some extent by retaining more information carried by particles. The experimental results based on trial data show that the proposed simulated annealing variance reduction FastSLAM method avoids particle degradation, maintains the diversity of particles, weakened the degeneracy and improves the accuracy and stability of AUV navigation and localization system.     

Stability in a general oligopoly model

We analyze a general but parsimonious price competition model for an oligopoly in which each firm offers any number of products. The demand volumes are general piecewise affine functions of the full price vector, generated as the “regular” extension of a base set of affine functions. The model specifies a product assortment, along with their prices and demand volumes, in contrast to most commonly used demand models. We identify a fully best response operator which is monotonically increasing so that the market converges to a Nash equilibrium, when firms dynamically adjust their prices, as best responses to their competitors' prices, at least when starting in one of two price regions. Moreover, geometrically fast convergence to a common equilibrium can be guaranteed for an arbitrary starting point, under an additional condition for the price sensitivity matrix.     

国内“专利代理”研究热点与趋势分析

运用信息计量学、自研软件和以CiteSpaceⅡ为代表的知识图谱工具相结合的方法对1987至2016年国内"专利代理"领域内的基本情况和研究热点与趋势进行了初步分析与可视化展现。通过对数据的处理和分析得出了国内"专利代理"研究领域的期刊、作者、机构、高被引用文献等基本情况,并利用关键词共现、突现词检测等方法对国内"专利代理"研究的热点和未来的研究趋势进行了初步预测,对国内"专利代理"研究具有一定的借鉴意义。     

水面舰艇防空作战能力的需求生成方法

为了更好地量化表达水面舰艇所具备的防空作战能力,提出了一种基于元活动的能力需求生成方法。建立了能力需求生成框架,在此框架下进行元活动库的提取,能力指标的分解,元活动-能力指标映射规则的分析得到中近程拦截能力的能力指标并进行了冲突消解,验证了所提方法的有效性。     

一类非线性二阶多点边值问题多个正解的存在性研究

通过定义适当的锥,运用锥映射的不动点定理,结合上下解方法,给出了二阶多点边值问题多个正解存在性的判定方法.作为特例,获得了三点边值问题多个正解存在性的判定依据,从而推广了相关文献中关于二阶三点边值问题正解存在性的结果.     

对流层散射双向时间比对中对流层斜延迟估计

为精确估计对流层散射双向时间比对系统中对流层斜延迟,分析了估计卫星信号对流层斜延迟的Hopfield天顶延迟模型及CFA2.2映射函数模型并对其进行修正,从而适用于对流层散射斜延迟的精确估计。根据北纬35°~37°范围内的三个测站2010—2012三年的气象数据,验证Hopfield模型精度范围小于35 mm,并将三个测站按相互之间基线距离的不同分为三组比对站,利用2012年的气象数据,计算在不同入射角下一年的对流层散射斜延迟,并得出最大斜延迟对应的年积日和入射角。结果表明,三组比对站的最大单向散射斜延迟为21.82~35.45 m。在双向比对抵消90%的情况下,时间延迟为7.3 ns~11.7 ns;相互抵消95%时,时间延迟为3.6 ns~5.9 ns。     

对几种不同维数据融合方法的仿真对比研究

在多雷达系统组网对空情报处理中,不同的数据融合方法在融合精度、求解时间及计算量方面都有较大差异。为了验证不同融合方法的融合效果及系统处理时间和性能,分析了多雷达系统组网对不同维数据融合处理的映射法、升维法、分维法的融合框架和融合算法,并分别进行了计算机仿真,得出并分析了对比数据。仿真结果表明了分维法在数据融合中的优势。     

作战模拟态势显示中的通用性技术研究

态势显示是基于HLA的作战模拟系统中观察战场态势、辅助决策的关键一环.目前已经应用的态势显示系统暴露了态势显示通用性问题和态势显示适应性问题.这两个问题制约了态势显示手段在作战模拟领域中的应用.针对这些问题,提出了利用军标映射实现通用和仿真态势数据预处理方法两项关键技术来改进态势显示方法.随后实现了一个应用了这些技术的态势显示系统.最后总结了这种态势显示新方法的优势和不足并展望了态势显示系统下一步发展的方向.