Physical Uplink Control Channel Design for 5G New Radio

The next generation wireless communication system, 5G, or New Radio (NR) will provide access to information and sharing of data anywhere, anytime by various users and applications with diverse multi-dimensional requirements. Physical Uplink Control Channel (PUCCH), which is mainly utilized to convey Uplink Control Information (UCI), is a fundamental building component to enable NR system. Compared to Long Term Evolution (LTE), more flexible PUCCH structure is specified in NR, aiming to support diverse applications and use cases. This paper describes the design principles of various NR PUCCH formats and the underlying physical structures. Further, extensive simulation results are presented to explain the considerations behind the NR PUCCH design.Comment: 6 pages, 11 figures, accepted in IEEE 5G World Forum 201

Identifying Patch Correctness in Test-Based Program Repair

Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches. To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and patched programs are likely to behave differently. Also, if two tests exhibit similar runtime behavior, the two tests are likely to have the same test results. Based on these observations, we generate new test inputs to enhance the test suites and use their behavior similarity to determine patch correctness. Our approach is evaluated on a dataset consisting of 139 patches generated from existing program repair systems including jGenProg, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3\% of the incorrect patches to be generated, without blocking any correct patches.Comment: ICSE 201

Utility-maximization Resource Allocation for Device-to-Device Communication Underlaying Cellular Networks

Device-to-device(D2D) underlaying communication brings great benefits to the cellular networks from the improvement of coverage and spectral efficiency at the expense of complicated transceiver design. With frequency spectrum sharing mode, the D2D user generates interference to the existing cellular networks either in downlink or uplink. Thus the resource allocation for D2D pairs should be designed properly in order to reduce possible interference, in particular for uplink. In this paper, we introduce a novel bandwidth allocation scheme to maximize the utilities of both D2D users and cellular users. Since the allocation problem is strongly NP-hard, we apply a relaxation to the association indicators. We propose a low-complexity distributed algorithm and prove the convergence in a static environment. The numerical result shows that the proposed scheme can significant improve the performance in terms of utilities.The performance of D2D communications depends on D2D user locations, the number of D2D users and QoS(Quality of Service) parameters

Defense Expenditure and Economic Growth under External Predation

This paper develops a growth model of a country under a Hobbesian environment with international conflicts where national defense is the only way to prevent external predation. The long run growth path is determined by the equilibrium of a dynamic game with three players, the external predator, the government and the family. The equilibrium growth path has three phases, submissive equilibrium, tolerant equilibrium and full-protected equilibrium. Different defense strategies result in different growth prospects and sustainable growth will endogenously induce adjustment of defense strategies.economic growth; predate; defense expenditure

Cross-correlations mediated by Majorana bound states

We consider the correlated parallel transport through two quantum dots which are tunnel-coupled to the ends of a semiconductor nanowire where the Majorana bound states (MBSs) may emerge under proper conditions. In terms of the cross-correlation of currents, we reveal unusual behaviors originated from the nonlocal MBSs, including such as the distinct symmetry and antisymmetry of the spectral density in response to the dot-level modulations, and the vanished cross correlation occurred when any of the dot-levels is in resonance with the Majorana zero mode