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实时调度和包过滤算法等主要部分进行了仿真和分析。     

差分混沌键控(DCSK)通信系统估值误差分析

在具有去噪声模块的DCSK（differential chacs shift keying）通信系统中，存在三种导致估值误差的因素，这三种因素分别来源于DCSK信号本身、加性信道噪声和去噪声模块。经过对上述三种因素的分析，提出了一种新型的DCSK通信系统，该系统使用混沌多相序列（CPS）避免DCSK信号本身带来的误差，同时采用相空间量子化的方法降低加性信道噪声的干扰。仿真结果表明，虽然这种新型的DCSK通信系统因去噪声算法带来的误差而使其噪声特性略逊于FM－DCSK，但是在CPU运算时间及系统结构上，该系统比FM－DCSK复杂性降低，易于实现。     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

基于混成自动机的车联网服务建模方法

针对汽车信息物理融合系统（CPS）软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.     

基于LTE系统的巨量机器类通信性能分析

主要研究基于LTE（long term evolution）系统开展巨量机器类通信业务的性能。介绍了机器类通信的业务特点,并以北京近郊区的抄表类业务为例,分析了现有LTE系统开展机器类巨量用户通信时存在的问题。从理论上分析得到了随机接入资源和调度资源受限是制约终端接入数量的主要因素。本文搭建了符合3GPP标准的系统级仿真平台,仿真了不同用户数和不同下行控制信道资源对系统吞吐量、时延、接入碰撞概率等的影响,仿真结果验证了理论分析的正确性。      

CPU系统级验证平台的研究与实现

随着CPU设计尺寸和设计复杂度的不断增加，功能验证已经成为整个设计过程中的严重瓶颈，文章回顾了系统级验证的一些技术，针对我们设计的64位CPU系统级验证，设计了CPU系统级自动化验证平台．实用表明，该平台简化了验证流程，提高了验证效率．     

基于系统级故障诊断矩阵方法的软件集团测试

本文讨论了基于系统级故障诊断矩阵方法的软件集团测试，定义了测试矩阵和邻接矩阵，由此能直观、简便地生成集团和极大独立点集．本文为软件集团测试算法作了准备．     

基于随机几何的无人机通信系统性能研究

为了分析无人机通信系统的实际性能,针对有限三维空间内的无人机通信系统进行研究,提出了一种基于随机几何理论分析无人机通信系统的模型。较好地捕获无人机基站分布的随机性和无人机基站间的距离关系,得到无人机通信系统实际性能的上界和下界,充分兼顾无人机发射天线数、天线功率等参数对无人机通信系统性能的影响。仿真结果表明,所提模型能有效分析无人机通信系统的频谱效率、中断概率,且可以通过增加发射机天线数和设定较低的发射功率得到较好的无人机通信系统性能。     

多属性决策的时间不确定事件流时序推理方法

针对信息物理融合系统时间不确定事件流调度顺序的决策依据单一问题,首先利用D-S证据理论在多证据源概率融合上的优势,充分考虑事件优先级、截止期、紧迫度、事件依赖等多个属性的影响,构建具备多属性特征的模糊结束时刻基本概率分配求解模型。然后,建立D-S证据理论与直觉模糊集的关联模型,求解模糊结束时刻隶属度与非隶属度;最后,利用直觉模糊集负向时间推理理论和相关计分函数推导模糊开始时刻概率得分,得到时序推理结果,并以此确定基于多属性判据的时间不确定事件流调度顺序。实验结果表明,当事件数量增长时,调度准确率可保持在85%以上;当模糊区间限制规模扩大时,调度准确率下降幅度不超过15%。