连续流动体系仿真程序的形式化确定

以一个基本的连续流动体系为对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。最后，所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。     

埋地式变压器在城市配网供电工程中的应用

随着城市的规划发展和城市电网改造的深入,安全、可靠与用电空间小的变、配电设备正得到越来越多的关注,地埋式变压器系列产品的出现适应了架空设备入地这一趋势,逐渐成为城网配线改造的一个新方向。它不仅节约了投资,而且能够美化城市环境。论述了埋地式变压器的基本技术及应用情况,比较了与常规配电设备的优缺点,提出今后在城市供电工程中埋地式变压器应做的改进。     

容量法测定硝盐中硫酸根含量

本文介绍了采用容量法测定硝盐中硫酸根含量的方法及原理。进行了盐酸、铬酸钡等各种试剂用量的选择试验和样品回收率、实验方法精密度和准确度等方面的实验,结果表明,该方法稳定性和重复性好,测试结果准确可靠。这是一种操作简便快速准确的分析方法。     

Soft-Decoding SOM for VQ Over Wireless Channels

A self-organizing map (SOM) approach for vector quantization (VQ) over wireless channels is presented. We introduce a soft decoding SOM-based robust VQ (RVQ) approach with performance comparable to that of the conventional channel optimized VQ (COVQ) approach. In particular, our SOM approach avoids the time-consuming index assignment process in traditional RVQs and does not require a reliable feedback channel for COVQ-like training. Simulation results show that our approach can offer potential performance gain over the conventional COVQ approach. For data sources with Gaussian distribution, the gain of our approach is demonstrated to be in the range of 1–4 dB. For image data, our approach gives a performance comparable to a sufficiently trained COVQ, and is superior with a similar number of training epoches. To further improve the performance, a SOM–based COVQ approach is also discussed.     

基于STRUTS框架的自定义标签的应用与研究

针对当前众多基于J2EE平台框架中标签的广泛应用,提出并介绍了基于STRUTS框架WEB组件开发中标签的定制,同时结合项目开发中自定义标签的实例给出了定制标签的意义及作用.通过定制标签的应用,不仅使该项目的开发有很好的分工,提高开发效率,降低成本,同时也提高了JSP页面的重用性、可维护性,增强了系统的访问效率.     

BSP模型下基于边聚簇的大图划分与迭代处理

近年来随着互联网的普及和相关技术的日益成熟,大规模图数据处理成为新的研究热点.由于传统的如Hadoop等通用云平台不适合迭代式地处理图数据,研究人员基于BSP模型提出了新的处理方案,如Pregel,Hama,Giraph等.然而,图处理算法需要按照图的拓扑结构频繁交换中间计算结果而导致巨大的通信开销,这严重地影响了基于BSP模型的系统的处理性能.首先从降低消息通信的角度分析当前主流BSP系统的处理方案,然后提出了一种基于边聚簇的垂直混合划分策略(EC-VHP),并建立代价收益模型分析其消息通信优化的效果.在EC-VHP的基础上,提出了一个点-边计算模型,并设计了简单Hash索引和多队列并行顺序索引机制,进一步提高消息通信的处理效率.最后,在真实数据集和模拟数据集上的大量实验,验证了EC-VHP策略和索引机制的正确性和有效性.     

序列图像拼接过程中误匹配的消除

序列图像拼接过程中困难之一是当重叠区域内存在多个相似部分时,就会发生误区配而导致拼接失败。在采用图像特征区域配准算法中,基于同名区域面积差、区域重心同位、区域重心距离比及配准参数复用提出了四种误区配的消除方法。实验表明,这些方法能有效地消除误匹配,提高序列图像拼接的配准率。     

Broadband high‐gain slot grid array antenna for millimeter wave applications

A broadband high‐gain slot grid array antenna (SGAA) is proposed in this paper. Based on the electromagnetic complementarity principle, the metal elements in the traditional microstrip grid array antenna (GAA) are replaced by a wide slot element. Compared with the GAA, the proposed SGAA achieves broadband and high‐gain performance. In order to demonstrate this concept, a prototype with 9‐element SGAA is designed using wide slot radiation elements and fabricated on Rogers 5880 printed circuit board (PCB) substrates, which is fed by a 50 Ω coaxial probe. The measured and simulated results show a good agreement. The proposed SGAA achieves a measured peak gain of 14.8 dBi at 26.0 GHz, a 10‐dB impedance bandwidth from 22.2 to 28.5 GHz with a fractional bandwidth of 24.9%. These results indicate that the SGAA is with high performance and it is suitable for the fifth‐generation (5G) millimeter wave (mmW) wireless communication system.     

小波变换在雷达物位计信号处理中的应用

雷达物位计信号处理的关键是去除噪声,提取有用信息.通过研究调频连续波FMCW雷达物位计工作原理及信号处理的基本算法,对比传统的采用傅里叶变换进行信号处理的方法,提出了采用小波变换来去除回波的干扰信号.实际应用结果表明,小波分析可以有效地应用于分析物位计回波信号,为提高测量精度等后续工作的开展提供稳定数据.     

基于流形学习的光学遥感图像分类

随着光学遥感图像技术的快速发展与广泛应用,对光学遥感图像的准确分类具有深远的研究意义。传统特征提取方式提取的高维特征中夹杂着许多冗余信息,分类过程可能导致过拟合现象,针对传统的线性降维算法不足以保持原始数据的内部结构,容易造成数据失真这一问题,提出基于流形学习的光学遥感图像分类算法。该算法首先提取出图像的SIFT特征,然后将流形学习运用于特征降维,最后结合支持向量机进行训练和识别。实验结果表明,在Satellite、NWPU和UCMerced实验数据中,冰川、建筑群和海滩分类精度得到了有效提高,达到85%左右;针对沙漠、岩石、水域等特殊环境遥感图像,分类精度提高了10%左右。总而言之,基于流形学习的分类算法对通过降维之后的数据能够保持在原高维空间中的拓扑结构,相似特征点能得到有效聚合,预防了"维数灾难",减少了计算量,保证了分类精度。