一种自适应数据交易软件模型设计技术

在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。     

阿坝高海拔地区多环境介质中硒的分布研究

对我国重要大骨节病区川西高海拔地区的岩石、表层土壤、沉积物、地表水和地下水进行采样分析,用原子荧光光谱法测定其中硒的质量分数.结果表明,该研究区域中多种环境介质中硒的质量分数均偏低,均低于相应国内环境介质中硒的平均质量分数.岩石中硒的质量分数范围为0.030~0.132μg/g,平均值为0.065μg/g.表土中硒的质量分数范围为0.075~0.204μg/g,均值为0.107μg/g.沉积物中硒的质量分数范围为0.069~0.310μg/g,均值为0.152μg/g.地表水中硒的质量浓度范围为nd~0.096μg/L,平均值为0.056μg/L.地下水中硒的质量浓度范围为nd~0.196μg/L,平均值为0.045μg/L.且岩石、表层土壤、地下水中硒的质量分数与海拔有较为显著的相关性,而沉积物和地表水中硒的质量分数无明显分布规律.