基于效用的自适应协同多业务传输研究及系统级仿真验证

协同通信是目前无线通信的研究热点之一,协同通信中的节点选择,功率分配等问题已得到深入的研究,但对于多业务传输问题目前并没有得到足够的关注。通过建立协同通信中的资源分配模型,基于效用的自适应协同多业务传输(utility-based adaptive cooperative multi-traffic transmission,UACMT)算法解决了多业务在协同通信中的传输问题,并能够自适应的在协同与非协同传输模式中进行选择。系统级仿真结果表明与传统协同和非协同传输相比,UACMT能够在一定误块率BLER约束条件下提高用户的业务效用。     

大数据在交通强国建设中的应用

 探讨了大数据技术在交通强国建设中的作用及在交通管理、交通安全、交通信息服务、交通运输规划、公共交通等领域的应用方法和前景;对基于信息物理系统的交通态势感知系统、基于动态本体论的交通行业多模态知识图谱、基于边缘云计算的智能视频识别等前沿技术的总体架构、实现方法进行了案例分析。     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.     

具有输入量化的信息物理系统的安全控制

针对执行器攻击、量化编码器/解码器参数不匹配和外部干扰的信息物理系统(cyber-physical systems, CPS),设计一种新型的鲁棒自适应控制器确保其安全稳定运行。基于Lyapunov稳定理论推导出使信息物理系统具有鲁棒H2性能的充分条件,控制器的非线性结构包含两部分：一部分为干扰和量化补偿器,用于消除外部干扰和量化误差的影响,另一部分为基于隐蔽式假数据攻击上界信息的攻击补偿器,用于抑制异常检测器检测不到、未触发警报的攻击。最后,仿真算例结果表明控制器能保证闭环系统稳定并且具有较好的系统性能,说明了方法的有效性。     

SoC系统的并行性分析及划分

根据SoC发展的趋势,提出了将并行划分技术运用到SoC设计过程中的策略. 对SoC系统进行并行性分析,设计了一种SoC系统级的并行划分算法. 该算法建立在贪心算法的基础上,并改进了贪心算法的负载不平衡现象. 实验表明,在SoC系统中运用并行技术能有效地缩短执行时间.     

高温及等离子体环境下液态锡与钨筛网的相容性研究

本文利用真空管式炉和四川大学直线等离子体与材料表面相互作用平台（SCU-PSI）, 探究了静态高温以及高密度氢等离子体环境下液态锡（Sn）对钨基多孔筛网结构（CPS）的润湿及腐蚀行为. 实验结果发现,在静态高温环境下液态Sn润湿钨筛网（4层150目）的阈值温度为950 ℃,且随着实验温度升高,润湿效果越好. 当实验温度达到1050 ℃时,在钨筛网表面观察到大量SnO2棒状结构. 这种棒状结构可能是由于管式炉中存在少量的氧气,在高温作用下Sn和氧气发生反应生成SnO2纳米晶. 当液态Sn-CPS结构进一步被离子通量为7.71×1022 m-2*s-1和热负荷为54.55 kW*m-2 的氢等离子体辐照时,钨筛网出现大面积断裂,形成丝状结构;而在没有液态Sn润湿的情况下,钨筛网表面没有出现类似损伤. 这可能是在高密度氢等离子体辐照作用下,氢等离子体与SnO2的协同作用加剧了钨筛网的损伤,造成了钨丝硬化断裂. 本文的实验结果为未来液态Sn-CPS在聚变装置中的实际应用提供了一定的参考.     

MEMS系统级仿真建模理论与方法的研究

实现集设计、加工及运行等整个过程的计算机仿真为一体的微机电系统的计算机辅助设计是微机电系统真正走向商品化的重要基础。系统级仿真是MEMS CAD最为关键的重要环节。概括了MEMS CAD的体系结构;着重介绍了适合于MEMS系统级仿真的两个基本模型的基本思想、构造方法。提出用加权残值法（MWR）建立MEMS系统级仿真模型;论述MEMS系统级仿真的MWR建模原理与方法。提出运用演化算法进行自动化、智能化建模的基本思想。     

The Integration of CPS,CPSS, and ITS: A Focus on Data

Cyber-Physical System(CPS)and Cyber-Physical-Social System(CPSS)computing are now challenging existing research in many realms,including Intelligent Transportation Systems(ITS).In this survey,we highlight some advances in the coevolution of CPS,CPSS,and ITS,with an emphasis on traffic data.We first explain the hierarchical architecture of CPS-ITS in terms of five layers:perception,communication,computing,control,and application.Then,we analyze the characteristics of traffic data in CPS-ITS,and enumerate some new technologies for data operation and management.Two typical cases of CPS-ITS,vehicular-communication-based traffic control systems and smart parking systems,are illustrated to describe how CPS is changing our lives and influencing the development of future ITS.     

基于Ptolemy II嵌入式防火墙系统级设计与仿真研究

传统的防火墙难以抵御网络内部用户的攻击,而分布式防火墙又过分依赖于主机的操作系统,嵌入式防火墙研究已成为当前防火墙研究主流。本文提出了一种嵌入式防火墙的体系结构,介绍了嵌入式系统级建模仿真平台Ptolemy II,在该仿真平台上进行了嵌入式防火墙的建模,并对系统模型中的RTOS实时调度和包过滤算法等主要部分进行了仿真和分析。     

通信电源行业十步法技术策略模型的引入

基于中国通信电源行业现状,介绍了一种能为企业系统地、有效地制定技术策略的十步法模型,并详细说明了模型的内容及应用;该模型为通信电源企业制定技术策略提供了一种有益的借鉴.