一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

基于江西省站点资料对智能网格实况分析产品的检验评估

利用江西省2019年3月～2020年2月气象站观测资料,在小时尺度上,对中国气象局下发的智能网格实况的2 m气温、湿度、风速、降水等多个气象要素产品进行检验评估.研究分析各类产品的数据误差及其时空变化规律,验证该产品在研究区的适用性.研究结果表明:2 m气温、相对湿度产品与站点观测较为一致,其相关系数均可达0.9以上,2 m气温均方根误差在1.0 ℃左右,准确率可达80%以上,相对湿度均方根误差小于10%,准确率可达90%以上.风速产品的数据精度较低,相比站点观测风速明显偏弱,70%站点的风向准确率小于50%,风向准确率仅为40%左右.降水产品能准确反映年内逐小时变化趋势,但存在一定程度低估,相关系数基本在0.8以上,平均误差为-0.1～0.1 mm·h^-1,平均绝对误差小于0.2 mm·h^-1.与站点观测相比,降水产品对强降水明显偏弱.地形对实况网格产品准确性有较大影响,产品误差在地形复杂山区中比在平原地区中明显偏大.总体上,2 m气温、相对湿度产品质量较高,基本可满足业务服务需求.风速产品及降水产品在大降水量级下的误差较大,与业务服务需求有一定差距.     

鹤壁市一次人工增雨效果检验及评估

2018年鹤壁市气象局在全省地级气象部门率先开展了人工影响天气增雨效果的检验工作。检验手段应用中国气象局人工影响天气中心提供的统计检验技术方法,检验个例为2018年9月18—19日的降水天气过程,检验方法为序列分析、对比分析与双比分析。结果表明:9月18—19日的降水过程绝对增雨为0.58mm,相对增雨为10.9%,人工增雨效果明显。     

永久性结构变化下Dickey-Fuller检验的伪拒绝研究

使用傅里叶变换处理结构突变是单位根检验中的流行方法之一,其中整数频率和分数频率分别对应暂时性结构变化和永久性结构变化,这一区分在实证应用中具有重要的经济含义,但其对计量理论的影响尚不清楚.本文研究当真实数据生成过程包含分数频率傅里叶型结构变化时,忽略傅里叶项对标准Dickey-Fuller单位根检验性质的影响.通过重新参数化,推导了相应的极限分布,探讨极限结果对标准Dickey-Fuller检验性质的理论预测,给出了Dickey-Fuller检验伪拒绝发生的条件.模拟的证据与本文的理论结果一致.研究结果表明:永久性结构变化更容易引起DickeyFuller检验的伪拒绝问题.因此,忽略分数频率傅里叶项或将其误设为整数频率都会导致错误的实证结果.     

ECMWF细网格2 m温度在抚州市预报能力检验

基于2015-2017年3 a的ECMWF细网格模式2 m温度预报产品,采用格点映射站点法、天气学检验方法和逐步回归拟合订正方法,对该模式在不同季节、不同天气时的抚州市温度预报能力进行检验。结果表明:ECMWF细网格模式2 m温度预报的02:00和14:00可代表日最低、最高温度。冬半年的逐季最高气温预报准确率高出夏半年9.7%～27.4%。夏半年的逐季最低气温预报准确率高出冬半年7.0%～24.7%。A、B、C格点02:00预报的气温很好地代表临川区、资溪县、广昌县全年的日最低气温预报。拟合的ECMWF模式2 m最高温度预报订正方程适用于日最高温度预报,对24 h内的最高温度和最低温度预报提供参考依据。     

基于随机森林分类模型的古代玻璃制品成分分析

【目的】中国古代利用外来玻璃制作工艺制作出的玻璃制品，其化学成分与外界传入的并不相同。古代玻璃易受环境影响而被风化，内部元素和外部元素进行大量交换，成分比例会因此发生变化。通过分析玻璃类型等外部因素与表面风化的相关性及玻璃组成成分与表面风化的相关性，找出玻璃表面风化原因。【方法】通过分析玻璃外部因素的相关性和对玻璃进行独立样本Mann-Whitney检验，得到玻璃制品的成分，基于随机森林建立模型，构建不同分类标准。【结果】研究发现，玻璃制品纹饰等与表面风化的相关性较弱，与二氧化硅等玻璃制品的相关性大，且氧化铅成分在玻璃中的重要性最大。【结论】要防止玻璃发生风化，就要减少杂质成分。     

上海股市EMH实证检验

鉴于“有效市场假设”ＥＭＨ在经济领域的基石地位，本文旨在针对上海股市ＥＭＨ的成立状况给予系统的实证检验．首先介绍了ＥＭＨ的经济涵义，之后由其数学描述“随机游走模型”出发，将ＥＭＨ的验证工作剖解为价格的单位根检验和收益的独立性检验两部分．针对ＥＭＨ验证这两方面时所用传统方法的不足，引进提出了若干更符合ＥＭＨ经济涵义的检验方法．最后通过对“钱龙系统”提供的实际数据进行实证检验，得到的结论是：ＥＭＨ在上海股市不成立．     

关于秩和检验的一点注记

本文对两个样本容量相等的情况下，如何使用秩和检验做了详细补充说明。