多线程离散事件模拟语言(Multithreaded Discrete Event Simulation Language,下文均简称MDESL)是一种类似于硬件描述语言Verilog......

介绍了区间时序逻辑ITL的语法、语义和公理系统以及通用的辅助定理证明工具PVS,研究了嵌入ITL到PVS的原理,给出了描述ITL的PVS模块......

为应对未来移动通信系统需为人类提供泛在的信息服务这一挑战,无线传输技术及网络架构亟待取得新的突破。毫米波大规模多输入多输......

随着移动智能终端的快速普及以及万物互联所带来的移动新业务的持续增长,使得第五代移动通信系统(5G)需要满足高速率、高频谱效率......

随着物联网的兴起和移动互联网业务种类的日渐丰富,人们对蜂窝移动通信数据传输速率以及服务质量提出了更高的要求。由于能够充分......