Rank, term rank, and chromatic number

Let G be a graph with a nonempty edge set, and with rank rk(G), term rank Rk(G), and chromatic number χ(G). We characterize Rk(G) as being the maximum number of colors in certain proper colorings of G. In particular, we observe that χ(G)Rk(G), with equality holding if and only if (besides isolated vertices) G is either complete or a star. For a twin-free graph G, we observe the bound and we show that this bound is sharp.     

结合关系建模与项重写技术的时序电路等价验证

提出一个新颖的时序电路等价验证的方法框架.该方法有效地结合了关系建模和项重写技术.首先利用带有测试条件的Kleene关系代数建模时序设计,进而通过对关系表达式的项重写来证明时序设计的等价性.与传统的基于状态空间遍历的时序等价验证方法相比,该方法提供了一种全新的思路.     

TD-LTEF频段高速铁路覆盖场景性能分析

本文通过真实环境进行测试验证,可靠评估高铁覆盖场景下TD-LTEF频段的车厢穿透性能、接入成功率、切换成功率、上下行吞吐量等性能指标。     

后3G时代LTE异军突起

介绍了下一代无线网络LTE(Long Term Evolution,长期演进)的背景和发展状况.分析了LTE的技术特征,阐述了LTE网络结构与核心技术,并通过与WiFi(WirelessFidelity)及WiMAX(World wide Inter operability for Microwave Access)的各项性能作比较,着重分析了LTE的技术优势.最后,指出了LTE在个人通信市场所面临的应用前景与挑战.     

基于速度触发的提前切换算法在LTE-R中的应用研究

随着高铁的快速发展,铁路移动通信系统对切换时延、切换成功率等要求更为苛刻。该文针对铁路长期演进(LTE-R)系统提出基于速度触发的提前切换算法,通过提前进行信令交互、设置切换预承载点切换的方式抑制过早或过迟切换所带来的通信中断、掉话等问题。通过信令流程图进行理论分析,并对长期演进(LTE)各结构类型数据计算可知,该算法均可缩短切换时延,其中TDD帧结构类型2时效果最为显著。最后通过仿真对比得到提前切换算法相比传统切换算法有着更高且更稳定的切换成功率,验证算法的有效性,为LTE-R在未来铁路专网的应用提供技术支持。     

Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

一种适用于SC-FDMA多小区系统的协作调度和功率控制算法

该文针对长期演进(LTE)上行单载波频分多址(SC-FDMA)多小区系统的性能受限于小区间干扰的问题,提出一种综合考虑协作调度和功率控制的方案。该方法分步执行小区间的协作调度和功率控制,首先调度各小区中的用户,在此基础上优化用户的发射功率。调度时首先估计小区间的干扰信息并分配频率资源块给每个小区内的用户,在优化用户的发射功率时,同时考虑由于用户功率改变所造成的目标小区和其他干扰小区性能的变化。进一步提出一种低复杂度功率控制方案,在优化目标小区用户的功率时,只考虑受目标小区干扰影响最大的几个小区性能的变化,其他干扰小区性能的变化则通过引入补偿因子来估计。计算机仿真验证了该文所提方法在系统吞吐量和小区边缘吞吐量方面的性能优势显著。     

The expectation hypothesis of interest rates and network theory: The case of Brazil

This paper investigates the topological properties of the Brazilian term structure of interest rates network. We build the minimum spanning tree (MST), which is based on the concept of ultrametricity, using the correlation matrix for interest rates of different maturities. We show that the short-term interest rate is the most important within the interest rates network, which is in line with the Expectation Hypothesis of interest rates. Furthermore, we find that the Brazilian interest rates network forms clusters by maturity.     

基于语义理解注意力神经网络的多元特征融合中文文本分类

在中文文本分类任务中,针对重要特征在中文文本中位置分布分散、稀疏的问题,以及不同文本特征对文本类别识别贡献不同的问题,该文提出一种基于语义理解的注意力神经网络、长短期记忆网络(LSTM)与卷积神经网络(CNN)的多元特征融合中文文本分类模型(3CLA)。模型首先通过文本预处理将中文文本分词、向量化。然后,通过嵌入层分别经过CNN通路、LSTM通路和注意力算法模型通路以提取不同层次、具有不同特点的文本特征。最终,文本特征经融合层融合后,由softmax分类器进行分类。基于中文语料进行了文本分类实验。实验结果表明,相较于CNN结构模型与LSTM结构模型,提出的算法模型对中文文本类别的识别能力最多提升约8%。     

基于认知的LTE系统动态频谱分配

传统的软频率复用(SFR)无法适应长期演进(LTE)系统中业务的动态分布,可能导致小区中心和边缘区域频谱利用率不均。针对此问题,该文提出一种基于认知的LTE系统动态频谱分配方法(Cog-DSA)。该方法利用基站间的相互协作获得频谱使用状态信息,从而确定可用频谱集合,并评估来自邻小区的同频干扰,最终根据可用资源块的通信质量,对重负荷小区边缘进行频谱的动态借用和服务基站的灵活选择。仿真结果表明,所提方法能够有效改善频谱利用率,减少小区间干扰,显著提升边缘用户的传输速率。