信息物理融合系统可信软件形式化建模与分析

从多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可信软件进行建模和分析.     

基于扩展贝叶斯方法融合的作战效能评估研究

从多个视角采集评估数据源并进行武器装备的作战效能评估，是一种提高评估结果可信度的做法。在武器装备论证阶段，评估数据源主要来自专家经验和仿真结果，但因这两种数据源的差异太大，难以进行直接的评估聚合。为此，提出采用信念图模式统一两者的数据表达，再采用一种扩展的贝叶斯推理算法进行评估融合，最后得到评估装备的综合作战效能。以装甲主战装备改进型的作战效能评估为例进行验证，结果表明该方法符合评估实际，是一种有意义的新方法。     

基于H∞滤波的智能车辆多传感器组合导航研究

为适应自主驾驶智能车辆的高精度、高频率及高可靠性与鲁棒性的导航要求,对智能车辆的多传感器组合导航进行了研究。提出了一种基于H∞滤波的双向光电测速仪和CP-DGPS共同辅助SINS的智能车辆冗余组合导航方法。详细推导并建立了组合系统的滤波模型。仿真结果表明,该组合导航系统具有100Hz的高频输出、厘米级的导航精度以及良好的鲁棒性能与可靠性。即使系统特性发生了显著的变化,组合系统仍能为智能车辆提供可靠的导航信息。     

基于多边约束的数据融合网络定位

无线传感网络定位方法近几年来受到广泛的关注。分布式算法是传感网络定位的一个主要要求,它不仅能减小计算和通信负载,同时对络的非连通性有很好的鲁棒性,对测量噪声克服也有一个很好的实现方案。虽然多种测量技术都能实现位置估计,但都存在某些不足。数据融合是一个很好的解决方案。提出了一个数据融合的结构和模糊优化数据融合算法。对每个节点的TOA和RSS数据进行融合。仿真表明位置估计的精度能够得到显著的改进,同时算法的复杂度也得到了降低。     

三江平原小叶章湿地土壤有机硫矿化特征

利用密闭培养系统，在20℃条件下研究了小叶章典型草甸和沼泽化草甸土壤有机硫的矿化，结果表明：连续培养14周后，小叶章典型草甸和小叶章沼泽化草甸土壤有机硫的矿化量分别为9．61mg／kg和6.73mg／kg，其中48.70％和51．41％来自前两周的矿化；各形态有机硫均有不同程度的矿化，其中以酯键硫的矿化量最大，碳键硫次之，未知态硫最小。土壤有机硫矿化量与培养时间之间符合曲线关系，用一级动力学方程计算土壤有机硫矿化势表明，小叶章典型草甸和小叶章沼泽化草甸土壤有机硫潜在矿化势分别为9.68mg／kg和7．25mg／kg。小叶章典型草甸土壤有机硫的矿化速率和潜力均高于小叶章沼泽化草甸。图1，表4，参12。     

一种新的地心地固坐标系传感器配准算法

针对多传感器系统进行数据融合的需要,提出了一种新的地心地固坐标系下传感器的配准算法,充分考虑了地球曲率对配准算法本身的影响,当传感器之间相距很远时仍然适用。新算法将传感器配准问题表述成一个关于传感器测量的最小二乘判决函数,然后首次引入Levenberg-Marquarat算法来对其进行优化。最后通过仿真试验对新算法的性能进行了评估,结果说明新的算法对于不同数目的测量值具有良好的一致性。     

解析有线广播电视数字化技术存在的问题及对策

随着网络信息技术的快速发展,我国在有线广播电视数字化技术方面取得了显著成效,普及范围正逐步扩散到全国各个地区,在其发展过程中还存在一些问题,本文就其存在的问题及解决对策进行了分析与总结。     

基于异构信息融合的非线性动态系统估计技术及应用

复杂工程对象多为非线性系统，为实现对其有效的管理与控制，需要基于非线性系统的输入输出数据建立描述系统动态特性的数学模型，并对其中状态及参数进行高精度的估计与辨识，这是控制科学与技术领域具有挑战性的难题。     

甲烷高效转化相关研究获重大突破

<正>中国科学院大连化学物理研究所包信和院士研究团队基于"纳米限域催化"的新概念,创造性地构建了氧化硅晶格限域的单铁中心催化剂,成功地实现了甲烷在无氧条件下选择活化,一步高效生产乙烯、芳烃和氢气等高值化学品.题为"Direct,nonoxidative conversion of methane to ethylene,aromatics,and hydrogen"的研究论文于2014年5月在Science发表,并且被CEN作为热点进行报     

一种优化的高光谱图像特征提取方法

众所周知,特征提取方法在降低计算复杂度和增加高光谱图像分类精确度方面十分有效,针对此,提出了一种优化的图像融合和迭代率波的特征提取方法。首先,将高光谱图像分割成多个相邻波段的子集;然后,通过均值法把每个子集中的各个波段融合在一起;最后,对融合后的波段进行递归滤波处理,获得分类的特征信息。结果表明,该方法展示出较高的分类精确度。