一类新4维Hindmarsh-Rose碰撞模型的动力学分析

研究了一类4维H-R神经元碰撞模型平衡点的数目及稳定性,通过数值仿真清楚地刻画出参数变化对系统动力学特性的影响,结合理论与数值模拟方法,更加充分地说明了系统丰富的动力学特性.     

自动站与人工站气象观测数据差异浅析

运用自动与人工观测差异评估方法,对安宁站2006年至2007年自动与人工观测资料进行分析评估,并进一步探索其差值存在的原因.人工观测转为自动观测后,数据保持了完整性和连续性,自动站与人工站观测数据之间存在的差值主要是由于仪器观测原理差异、观测时空差异、采样方式差异与人为因素等原因造成的,这种差值在允许的范围之内.通过分析,发现自动观测数据优于人工观测数据,更能反映大气的真实状况.     

基于MODIS遥感和气象数据的API回归分析

以江西省景德镇地区为研究区域,通过MODIS近红外大气反演大气水汽算法,提出了MODIS反演大气水汽含量联合气象数据对API进行回归分析的方法.仿真结果表明,该回归模型能够在一定程度上反映出API的变化,并可为API的预测提供数据参考.     

Effect of four-dimensional variational data assimilation in case of nonlinear instability

The effect of four-dimensional variational data assimilation on the reduction of the forecast errors is investigated for both stable and unstable flows. Numerical results show that the effect is generally positive. Particularly,its effect is much more significant in the presence of nonlinear instability     

利用Kinect传感器获取振动表面的四维振动数据

针对目前大多数振动测量方法存在测点数量有限、维度底、成本高的问题,基于Kinect传感器的散斑测距技术原理和采样频率,研究将其应用于实时测量振动物体表面所有点的振动信息,实现高维、全域、低成本的振动测量。通过测量实验,比较不同频率下Kinect传感器和力传感器测得的数据,结果表明了Ki‐nect设备用于低频振动测量的可行性。     

Forming proper ensemble forecast initial members with four-dimensional variational data assimilation method

A method has been presented to improve ensemble forecast by utilizing these initial members generated by four-dimensional variational data assimilation (4-D VDA), to conquer limitation of those initial members generated by Monte Carlo forecast (MCF) or lagged average forecast (LAF). This method possesses significant statistical characteristic of MCF, and by virtue of LAP that contains multi-time information and its initial members are harmonic with the dynamic model, six groups of numerical control and contrast experiments were performed with T42 spectral 4-D VDA system. The results show that in dekad range ensemble forecast with initial members generated by this method is prior to that by LAP. The anomaly correlation coefficient (ACC) of 500 hPa height in 10-d average by employing this method is 0.01-0.04 larger than by LAP, and root mean square error (RMSE) less than 0.2-0.4 dagpm.     

SVM多分类器协同挖掘局域气象数据

为有效应对频发的局域气象灾害,急需深入研究局域环境下降雨量的气象数据挖掘技术,以提高降雨预测的准确率。提出了一个基于支持向量机的多组合器协同分析方法,构建了一个多组合器协同分析模型,通过用气象数据的实证性分析与实验,实验结果表明：该多组合器协同分析模型具有较高的预测准确性和分类稳定性。     

卫星云图云检测的一种综合优化方法

为了提高云检测过程的自动化程度和云检测精度,利用FY2C、MTSAT等卫星资料以及其他辅助资料,综合采用优化的ISCCP法、多通道阈值法、空间纹理法等,找到了卫星云图云检测的一种综合优化方法,经过近两年的实际研究和业务化应用,判云的准确率达到90%以上,并得出以下结论:(1)优化的ISCCP法在云检测中的贡献最大,消除了由于地表差异带来的阈值选取困难;(2)红外、可见光合成底图对于中高云检测较有效,而红外与近红外的差值合成底图,无论对白天还是夜间的低云检测都有较好的效果;(3)空间纹理方法对海上积云的检测效果较好;(4)对于洋面上的中高云应用基于气候SST数据的阈值方法可得到较好效果;(5)严格的多通道阈值方法,可以起到有效的补充作用。     

气象数据概化中的最佳聚类数研究

以黑龙江省中部地区2004年的气温和降水观测数据为实例,对数据挖掘中气象数据的概化问题进行研究．调查分析了概化方法和数据特征,确定采用模糊C均值聚类算法．重点研究了算法中最佳聚类数的确定,选取多种广泛认可的指标,对聚类结果进行有效性对比分析,采用综合最优的聚类数为最佳聚类数．研究发现这种方法聚类结果合理且具有较强的可拓展性．     

极轨气象卫星NOAA AVHRR数据的高精度定位

针对极轨气象卫星 Ｎ Ｏ Ａ Ａ Ａ Ｖ Ｈ Ｒ Ｒ 数据的高精度定位,提出了一种从直接定位、导航定位、几何精校正三方面综合考虑的方案。该方案通过建立精确的卫星运动轨道模型、卫星摄动模型,采用对称椭球体的地球形态模型和融入卫星姿态的地面扫描点位置的计算方法,使直接定位精度达到３ 个像元。通过定量分析影响导航定位精度的主要因素,提出了融合卫星时间漂移校正、调整卫星轨道根数和估算卫星姿态偏差的导航定位新算法。在导航定位和几何精校正中,利用具有足够定位精度的１∶１００ 万数字地图数据和高分辨率 Ｌａｎｄｓａｔ Ｔ Ｍ 图像,提取地面控制点和控制块,使 Ａ Ｖ Ｈ Ｒ Ｒ 数据导航定位精度达到１ 个像元,几何精校正定位精度达到０５ 个像元     

气象传真图格式转换及压缩的实现

气象传真机在航海作业中具有重要的作用,是航海安全的保障.图像压缩及格式转换对提高气象信息传输和储存效率具有重要影响.在介绍GIF图像文件结构的基础上,分析了当前几种LZW图像压缩算法的特性.针对气象传真机的具体应用,给出适合气象传真图压缩及格式转换的算法,并通过对压缩结果的比较,对该方法进行了验证.     

Maxwell方程组Lorentz表述四维张量形式的讨论

在经典Maxwell方程组的基础上，利用四维空间矢量和四维电磁场张量的变化规律，将Maxwell方程组Lorentz表述的场方程组变换成四维张量形式，证明了Lorentz表述四维张量形式的特点，验证了Maxwell方程组的协变性以及Lorentz表述的四维张量形式的对称性，从而更好地解释了电磁场的运动规律。通过列举实际算例验证了本文算法的实用性和有效性，简化了运动介质相关的问题，体现了在解决运动介质方面问题的优越性，为运动问题的解决提供了一定的帮助。     

Towards comprehensive provable data possession in cloud computing

To check the remote data integrity in cloud computing,we have proposed an efficient and full data dynamic provable data possession(PDP) scheme that uses a SN(serial number)-BN(block number) table to support data block update.In this article,we first analyze and test its performance in detail.The result shows that our scheme is efficient with low computation,storage,and communication costs.Then,we discuss how to extend the dynamic scheme to support other features,including public auditability,privacy preservation,fairness,and multiple-replica checking.After being extended,a comprehensive PDP scheme that has high efficiency and satisfies all main requirements is provided.     

C#与Matlab混合编程及其在气象数据可视化中的应用

该文简要介绍了C#和Matlab及其混合编程的基本特点,探讨了C#和Matlab混合编程在气象数据可视亿上的应用方法,在此基础上通过一个实例详细说明了利用C#和Matlab混合编程实现气象数据可视化的具体步骤,为实现气象数据可视化提供了借鉴.     

山西省主要气象灾害特征及风险评估——基于暴雨洪涝灾害气象数据融合的实证视角

 立足于山西省暴雨洪涝气象数据融合的实证视角,通过对山西省109个气象站点,1957-2008年的暴雨洪涝灾害数据,山西省经济发展数据、地理数据的高度融合,从致灾因子、孕灾因子、承灾体因子和防灾减灾因子4 个维度出发,构建山西省暴雨洪涝灾害风险评估模型,并选择太原市、大同市、晋城市、朔州市、晋中市和临汾市进行实证分析,综合评估这6 个城市的暴雨洪涝灾害致灾指数。研究成果不仅能够从实践上指导山西省在暴雨洪涝预测及防灾减灾方面的实践工作,而且从理论方法上对气象灾害研究提出独特的分析见解。     

一个新四维超混沌系统的计算机仿真及同步控制

在Chen氏三维混沌系统的基础上构造了一个四维系统,对系统进行了动力学理论分析和计算机数值仿真研究。发现构造出的系统可以随系统参数的变化而产生周期、准周期、混沌和超混沌运动。详细分析了四维系统的特性,设计了超混沌系统的自同步控制器和异结构同步控制器,并通过计算机数值仿真证实了此同步控制方法的有效性。     

气象观测塔架周围风场水平风速畸变规律的定量分析

采用FLUENT软件,对位于中国巴丹吉林沙漠边缘高度为50 m的气象观测塔,定量模拟了处于水平来流流向风速作用下,塔架周围流场的畸变规律.定量模拟结果显示:流向风速在塔架背风区域的畸变与已有野外测量和风洞实验结果良好吻合,证实了本文定量模拟结果的可靠性.在此基础上给出了流向风速在塔架迎风区域的畸变规律,指出流向风速在塔架迎风区附近的亏损率随塔架方位θ基本服从高斯分布,且无论水平来流流向风速多大和距塔架表面多近,在方位角θ=±55°附近均可基本忽略塔架对来流风速的影响.揭示展向的塔架诱导风速随离塔架表面距离和方位以及水平来流流向风速变化的规律,发现塔架的诱导风速会随着水平来流流向风速的增大而增大,其最大值在展向可达到来流流向风速的15%左右.     

Towards a methodology for formal design and analysis of agent interaction protocols

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent-based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker-SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker-SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e-commerce protocol-NetBill as an example.