王聪 作品数:38 被引量:137 H指数:7 供职机构: 解放军理工大学通信工程学院 更多>> 发文基金: 国家自然科学基金 江苏省自然科学基金 中国人民解放军总装备部“十五”预研基金 更多>> 相关领域: 自动化与计算机技术 电子电信 军事 文化科学 更多>>
通信系统性能仿真评估算法的研究 被引量:27 2004年 建模与仿真技术的应用为解决复杂大系统的性能评估提供了一种有效的技术手段。本文主要侧重于对仿真结果的评估,提出了以云模型为基础的系统性能评估算法。该评估算法用云理论实现定性属性值和定量属性值之间的转换。该评估算法以不确定性为出发点,在理论上借鉴了层次分析法的某些处理手段,可以较好地处理指标体系中广泛存在的泛层次树形结构现象,使评估结果更加可信。实践表明,该方法对于复杂系统的综合评价更为方便、可行。 王聪 江光杰关键词:云模型 仿真 通信系统 一种可用于军事电子信息系统的业务描述语言 被引量:3 2003年 准确、全面地获取系统需求是信息系统开发的关键问题之一。在需求获取过程中,面临的最大问题是用户和开发人员之间没有共同语言。为了解决这一问题,根据领域工程的思想,提出了一种系统需求的业务框架描述语言,该语言侧重于业务的概念,采用一些UML的方法描述业务的动态行为,从而在用户和开发人员之间建立起沟通的桥梁,使得开发人员易于得到系统的概念模型。 王聪 王智学 江光杰关键词:面向对象建模 C^4ISR系统三互性能云评估方法研究 被引量:2 2003年 本文通过对C4ISR系统“三互”性能的全面分析 ,首先给出了“三互”的定义 ,并相应给出了评估“三互”性能的指标体系。在此基础上 ,提出了以云模型为基础的系统性能评估方法 ,该评估方法用云理论实现定性属性值和定量属性值之间的转换 ,使评估结果更加可信。实践表明 ,该方法对于复杂系统的综合评价更为方便、可行。 王聪 江光杰关键词:C4ISR系统 互连 互操作 云模型 一种M2M网络中的能量有效媒体访问控制协议 被引量:4 2016年 为了减小M2M网络中MAC(媒体访问控制)层接入冲突,提高数据传输效率和节点能量利用效率,提出了一种新的混合分组协议HG-MAC(Hybrid and Grouping MAC);HG-MAC混合利用基于调度与基于竞争的两种接入方式;对节点进行分组分层管理,减少冲突和提供QoS保障;采用休眠机制提高能量利用效率;引入动态调整机制和可变帧长度提高协议灵活性;通过建立二维马尔可夫链,对竞争时长与数据传输速率之间的关系进行了理论分析;利用OPNET仿真工具,将HG-MAC与CSMA/CA和TDMA的性能进行了仿真比较;结果表明HG-MAC在数据传输速率、能量效率和信道利用率上具有一定的优势。 徐昶 王聪 刘灵雅 李宁关键词:媒体访问控制 “计算机与通信硬件基础”课程翻转式教学改革初探 2017年 "计算机与通信硬件基础"是一门跨学科的课程,由于其内容比较晦涩,所以传统教学方式的教学效果一直不好。本文探讨了在"计算机与通信硬件基础"课程中采用翻转式教学模式的相关问题,给出了教学实践过程中采取的具体改革措施和实施建议,为培养思路开阔、面向军队任职需求的复合型工程技术人才做出了有益探索。 王聪 吴连国 李宁 谢威关键词:在线教育 教学改革 基于类Matern点过程模型的异构蜂窝网建模 2014年 在研究异构蜂窝网基站部署及网络性能时,经常使用随机点过程模型,其中泊松点过程模型是一种常用模型.针对泊松点过程模型中存在多点聚合的现象,引入类Matern点过程模型,对比分析了使用类Matern点过程模型与泊松点过程模型时系统的接入概率和系统效能.结果显示,所用模型能在使用较少资源的情况下显著提升系统效能.进一步针对类Matern点过程模型与泊松点过程模型都存在用户更倾向于接入宏蜂窝的问题,引入一个偏好因子,使得选择毫微微蜂窝的用户更多,从而使网络负载得到均衡,网络性能得以提升. 任承蒙 张剑峰 王聪 谢威 徐友云容量受限网络选择中的时延影响分析 2014年 文中在用户容量受限的异构无线网络环境下,基于进化博弈理论研究了时延对用户网络选择行为的影响。设计了一种收益函数,以可用带宽和网络负载表征网络性能,并在收益函数中加入了惩罚项,使得理性用户不会去选择不可行的策略;提出了一种集中式的带时延的进化博弈实现算法,分析了迭代步长的选取。数值与仿真结果表明,网络存在时延的条件下,设计的收益函数和算法仍能保证种群演进到均衡状态。 张冬梅 随楠楠 王聪 钟卫关键词:网络选择 进化博弈理论 异构无线网络 基于自动机理论的UML活动图模型检验方法 被引量:5 2007年 UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。 王聪 王智学关键词:UML活动图 形式语义 BÜCHI自动机 法拉第磁光波导的耦合模分析 被引量:2 2004年 利用法拉第磁光效应可以设计光纤磁场传感器。在磁场传感过程中 ,磁光晶体薄膜波导的TE模和TM模式之间将发生转换 ,其转换效率与磁光晶体的法拉第旋转角度和双折射有关。本文建立了磁光波导的耦合模方程 ,分析了磁光波导中的TE TM模转换 ,提出了通过减小线性双折射和增大法拉第旋转角来提高TE TM模耦合效率的措施 。 周胜军 王聪 李玉权关键词:法拉第磁光效应 耦合模方程 磁场传感 基于有限状态机的空间信息网络故障自检测算法 被引量:1 2016年 讨论了空间信息网(SIN)未来发展趋势并提出了一种新的故障自检测方法。目前关于空间信息网络的研究十分有限,尤其是故障检测方面。针对空间信息网络发展趋势介绍了一种新的空间信息网络体系结构并对该体系结构特点进行了详细的分析,在此基础上提出了一种基于有限状态机的故障自检测算法。该算法通过创建一个故障探测器使得各卫星节点之间可以通过信息交互完成故障检测任务。通过故障检测器,各状态之间有条件的转移最终得到检测结果。每个卫星节点都参与检测器的状态转移过程达到自检测的目的。利用MATLAB仿真工具对算法进行仿真,结果显示所提算法具有较好的性能。 蒋媛 李宁 王发鹏 王聪关键词:自检测 空间信息网络 有限状态机 故障检测