公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

基于声学无线传感器网络的目标跟踪系统研究被引量：9: 2011年; 利用无线传感器网络对具有声音特性的目标进行跟踪的特点,研究了基于时延估计的声源定位方法。选择广义互相关法作为时延估计算法,并改进球形插值法用于声源定位,从而减小了算法复杂度;再利用IRIS节点设计了一个面向目标跟踪的声学无线传感器网络原型系统,并进行相应的实验。实验结果表明,利用所设计的原型系统能实现对移动目标跟踪,而且跟踪精度较高。; 于振华付晓王静胡正良刘宇; 关键词：声源定位目标跟踪时延估计无线传感器网络

基于ATM的MPLS域的可扩展性研究: 2004年; MPLS是最成功地把IP和ATM融合到一起的技术之一。对基于ATM的MPLS域的扩展性进行研究 ,介绍了改善MPLS网络扩展性的几种方法。; 付晓孟相如; 关键词：ATM MPLS 扩展性多协议标签交换

一种无线传感器网络形式化模型及应用研究被引量：3: 2008年; 由于无线传感器网络(Wireless sensor networks,WSN)开发缺少一种通用的理论模型,从多Agent系统的角度,以面向对象Petri网(Object-Oriented Petri nets,OPN)为语义基础,建立了WSN形式化模型(Wireless Sensor Networks Model,WSNM)。在WSNM中,从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义,可以形象、直观地刻画系统的整体和个体特性,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证。最后将WSNM应用于基于WSN的目标跟踪系统的建模与开发中。; 付晓于振华刘宇; 关键词：无线传感器网络多AGENT系统 PETRI网

信息物理融合系统中恶意软件传播动力学研究被引量：4: 2015年; 针对恶意软件在信息物理融合系统(cyber-physical system,CPS)中的传播机理难以描述的问题,提出了一种自适应SIQRS(susceptible-infected-quarantined-recovered-susceptible)传播动力学模型。该模型采用节点隔离机制描述CPS的感知和控制能力,引入链路重连机制刻画CPS的自适应性,进一步分析了恶意软件在CPS中的传播规则,并依据平均场理论建立了相应的微分动力学方程。不同参数条件下的仿真结果表明:当感染率小于存在阈值时,恶意软件无法在CPS内传播;当感染率大于存在阈值且小于传播阈值时,CPS发生滞后分岔并出现双稳态现象;当感染率大于传播阈值时,CPS稳定在地方病平衡状态;当参数满足特定条件时,CPS会发生Hopf分岔。研究表明,所提模型能够准确刻画恶意软件在CPS中的传播机理。; 谢文军付晓于振华韩林; 关键词：信息物理融合系统恶意软件非线性动力学自适应性

一种综合的MPLS流量工程拥塞控制策略被引量：1: 2005年; 提出了一种综合的适合MPLS网络的主动式流量和拥塞控制策略。通过仿真表明,与传统的TCP协议相比,该策略缩短了拥塞反馈时延,有效地避免了网络拥塞,提高了业务吞吐量。; 付晓孟相如马志强; 关键词：拥塞控制策略 MPLS网络 TCP协议网络拥塞主动式

信息物理融合系统可信软件形式化建模与分析被引量：2: 2014年; 从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统(cyber-physical systems,CPS)可信软件形式化模型(high-confidence software formal model,HCSFM).HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证;利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障.通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.; 于振华蔡远利付晓谢文军徐海平; 关键词：信息物理融合系统 PETRI网 Π演算

信息物理融合系统软件可信性演化动力学建模: 2014年; 信息物理融合系统(CPS)软件可信性建模是CPS可信软件开发过程中至关重要的一环,现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析。在深入分析CPS可信软件动态演化过程的基础上,结合非线性动力学的基本理论和方法,研究CPS软件可信性演化的动力学机制,对CPS软件在内外双重因素影响下的可信性演化过程进行建模,并分析其可信性演化规律,为CPS软件可信性研究提供了一种新手段。通过对一个工业控制领域中CPS软件的建模与分析,验证了该方法的可行性。; 谢文军付晓于振华韩林; 关键词：信息物理融合系统非线性动力学

全选清除导出

共1页<1>

付晓