您的位置： 专家智库 > >

陕西省自然科学基金(2011JQ8011)

作品数：4 被引量：13H指数：2
相关作者：于振华谢文军付晓李晔王映辉更多>>
相关机构：空军工程大学西安理工大学西安交通大学更多>>
发文基金：陕西省自然科学基金国家自然科学基金中国航空科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇信息物理融合...
  • 2篇PETRI网
  • 1篇动力学建模
  • 1篇信道
  • 1篇信道估计
  • 1篇形式化
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇声通信
  • 1篇水声
  • 1篇水声通信
  • 1篇通信
  • 1篇通信方法
  • 1篇自适
  • 1篇自适应
  • 1篇自适应算法
  • 1篇面向对象
  • 1篇非线性动力
  • 1篇非线性动力学
  • 1篇Π演算

机构

  • 4篇空军工程大学
  • 1篇西安理工大学
  • 1篇西安交通大学
  • 1篇西北工业大学

作者

  • 3篇于振华
  • 2篇付晓
  • 2篇谢文军
  • 1篇王映辉
  • 1篇黄建国
  • 1篇韩林
  • 1篇蔡远利
  • 1篇韩晶
  • 1篇何成兵
  • 1篇孟庆微
  • 1篇李晔
  • 1篇关志军

传媒

  • 1篇系统工程与电...
  • 1篇电讯技术
  • 1篇系统工程理论...
  • 1篇西安电子科技...

年份

  • 3篇2014
  • 1篇2013
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
信息物理融合系统的面向对象Petri网建模被引量：10
2014年
从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent.该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性.利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发.
李晔王映辉于振华
关键词：信息物理融合系统多AGENT系统PETRI网
信息物理融合系统可信软件形式化建模与分析被引量：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软件的建模与分析,验证了该方法的可行性。
谢文军付晓于振华韩林
关键词：信息物理融合系统非线性动力学
基于软信道估计的JIED水声通信方法被引量：1
2013年
为提高水声通信系统的数据传输速率和可靠性,提出一种新的基于软信道估计的联合迭代均衡译码(joint iterative equalization and decoding,JIED)水声通信方法。该方法利用软输入软输出(soft in soft out,SISO)译码器反馈的外似然比计算符号软估计信息,并应用于稀疏自适应信道估计器的抽头系数更新过程。经过译码器和均衡器之间多次迭代交换软信息联合处理接收信号,信道估计精度与均衡效果显著提高。水声通信实验结果表明在通信距离1.8km、2kHz有效带宽内,新方法在第2次迭代后即可实现2kb/s的无误码传输,可以有效提高系统可靠性和传输速率。
孟庆微黄建国何成兵韩晶关志军
关键词：水声通信
全选 清除 导出
共1页<1>
聚类工具0