【摘 要】
：
信息物理融合系统（CPS）软件可信性建模是CPS可信软件开发过程中至关重要的-环,现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析.在深入分析CPS
【基金项目】
：
国家自然科学基金资助项目（61202128）,航空科学基金资助项目（20125896020）,陕西省自然科学基金资助项目（2011JQ8011）
论文部分内容阅读
信息物理融合系统（CPS）软件可信性建模是CPS可信软件开发过程中至关重要的-环,现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析.在深入分析CPS可信软件动态演化过程的基础上,结合非线性动力学的基本理论和方法,研究CPS软件可信性演化的动力学机制,对CPS软件在内外双重因素影响下的可信性演化过程进行建模,并分析其可信性演化规律,为CPS软件可信性研究提供了一种新手段.通过对一个工业控制领域中CPS软件的建模与分析,验证了该方法的可行性.
其他文献
0 前言随着水泥生产规模的扩大和自动化水平的提高,DCS系统、交流变频器、软起动器、气体成分分析仪等精密电子设备得到广泛应用。为了减少对信号的干扰、保证控制系统的稳定
针对测量船执行海上任务单船数据处理及弹道参数计算受时间和弧段限制局限性的问题,提出了采用加权最小二乘法解算双站目标坐标的综合数据处理方法,并在综合后的数据库增加了
针对基本粒子滤波重采样过程中粒子权值退化和多样性丧失的问题,将遗传算法引入基于神经网络的权值调整粒子滤波算法中,结合了遗传算法全局寻优的收敛性与神经网络局部寻优的快速性优点。将提出的算法与对数似然比方法结合用于GPS接收机自主完好性监测,通过建立一致性检验统计量实现对故障卫星的检测与隔离。通过采集实测数据进行验证,结果表明:该算法可以成功检测和隔离故障卫星,其性能优于基于基本粒子滤波的接收机自主完
6月25日上午，本刊编辑部工作会议在成都召开，中国电子科技集团公司首席科学家雷厉、主办单位所领导唐军副所长、科技委喻光正研究员、相关领导以及编辑部全体人员参加了会议，会
针对干扰环境提出了一种基于独立成分分析（ ICA）和支持矢量机（ SVM）的通信信号调制识别算法。算法利用多天线接收技术，采用独立成分分析方法寻求观测样本矢量的统计独立分量，设计了
相信每位玩过Win7的朋友．都对微软在系统中预置的各地风光图片印象深刻。且不说其他国家和地区，仅就说那六张独具神韵的中国风光图，就令人口水长流。用它们中的哪一张来当桌面壁
1采用泥灰岩替代部分石灰石和粘土配料生产鄯善天山水泥有限责任公司(以下简称"我公司")以前一直采用石灰石、粘土、铁矿粉三组分配料生产,因粘土中SiO2含量偏低,Al2O3含量较
福建水泥股份有限公司漳州水泥厂于2002年10月投运的挤压联合水泥粉磨系统,主要由HFCG120-45型辊压机配φ2.6m×13m型高效筛分磨组成.考虑磨机能力偏小,对该挤压联合水泥