开垦对草甸土有机碳的影响

本文利用经典统计学和地统计学相结合的方法,选取科尔沁沙地东南缘草甸土两块10×10m的样地为例,分析了草地开垦8a后的耕地耕作层土壤有机碳含量和空间分布格局的变化,结果表明:草地与耕地表层(0～10cm)土壤有机碳含量差异不显著,草地亚表层(10～20cm)土壤有机碳含量低于耕地(p<0.05);草地与耕地表层和亚表层土壤有机碳空间分布格局具有明显差异,表现为草地的表层和亚表层的结构异质性分别大于耕地,分数维小于耕地,空间依赖性强于耕地,空间分布格局的破碎程度弱于耕地。耕地表层与亚表层土壤有机碳含量差异不显著(p<0.05),但空间结构特征和空间分布格局存在明显的差异;而草地表层与亚表层土壤有机碳含量差异显著(p<0.05),但空间结构特征和空间分布格局比较相似。因此,开垦不仅影响草甸土有机碳含量的高低,而且影响其空间结构特征和分布格局。这对进一步了解草地开垦对土壤有机碳及全球碳循环和气候变化的影响具有重要意义。     

江苏表层土壤有机碳密度和储量估算和空间分布分析

基于1:50万的江苏土壤图和江苏土壤的数据,运用地理信息系统技术,对江苏表层土壤有机碳密度及储量做出估算,并且分析了土壤有机碳密度的空间分布差异。结果表明:土壤有机碳密度介于4.2kgm-2到20.32kgm-2之间,土壤有机碳储量为673892.8×106kg;土壤有机碳密度具有高度的空间变异性,兴化、南通和无锡的有机碳密度最高,沿海地区的有机碳密度比较高,最低的为淮阴及其附近地区。     

东北黑土有机碳、全氮空间分布特征

应用经典统计学方法,分析了东北黑土表层1100个样点的土壤有机碳(SOC)和全氮空间分布规律。结果表明土壤有机碳和全氮平均含量分别为19.25 g kg-1和1.89 g kg-1,从南到北随纬度增加而增加,土壤有机碳和全氮与纬度的相关系数分别为0.70和0.76;土壤有机碳、全氮与黏粒、砂粒在P<0.01水平上显著相关,其中与砂粒为显著负相关,而SOC与粉粒则在P<0.05水平下显著正相关;土壤全氮与粉粒没有相关性。     

第四代地理信息系统研究中的尺度转换数字模型

分析了空间插值模型,数字地面模型和它们与地理信息系统集成的研究进展,存在的缺陷和需要解决的理论问题,论述了建立基于曲面论和遥感反演方法数字模型及实现其与地理信息系统有效集成的必要性和可行性。     

滨海湿地碳源/汇模拟系统的构建与应用

目前,针对滨海湿地生态系统碳过程模型构建的研究有一定的进展,但在如何耦合生态过程模型与遥感技术去估算湿地碳源/汇的时空格局动态方面仍处在尝试阶段。通过对湿地生态系统碳过程模型和遥感反演模型的构建,数据库技术和地理信息系统(GIS)软件的二次开发完成了"滨海湿地碳源/汇模拟系统"软件的开发。在此基础上,以区域遥感卫片、野外湿地监测和气象观测数据为主要驱动变量,模拟了崇明东滩湿地潮间带芦苇群落和旱生芦苇群落的碳收支时空格局动态。系统可为管理者估算区域尺度滨海湿地碳源/汇时空动态,预测这一类型湿地碳汇潜能在人类活动和气候变化影响下的发展趋势,为管理者提供一定的理论与技术支持。     

基于遥感和GIS的人口数据空间化研究进展及案例分析

人口数据对于全球、洲际、区域尺度的人与环境交互作用研究的重要性已经被广泛地认知。但基于行政单位的人口统计数据难以与基于自然单位的环境数据相匹配,必须通过建模对人口数据进行空间化分布。人口数据空间化建模的基本思路是将人口数据和地球表面的地理因子关联起来,遥感和地理信息系统提供了有效的工具。介绍了国内外基于遥感和GIS的人口空间化研究的主要项目和方法思路。以黑河流域为研究区,在流域尺度上把典型的人口估计结果GPW、UNEP/GRID、LandScan和中国1 km格网的人口资料与政府人口统计数据进行比较分析,可以看出国内外的研究机构和研究人员已做了大量的相关工作。国外研究主要包括从遥感解译信息反演人口数据、从DMSP-OLS夜间灯光数据反演人口数据和从遥感获取的光谱特征直接反演人口数据。国内研究尽管起步较晚但发展很快,主要是根据土地利用数据和其它地理因子(如高程、道路、居民区等)建立回归模型。黑河流域人口空间分布的比较结果表明中国1 km格网人口数据是几种数据中与实践情况最相符合的。     

基于劈窗算法的Landsat 8影像地表温度反演

陆地表面温度（LST）是表征地表能量交换和地面特征的重要指标,目前遥感技术逐渐成为区域和全球尺度上LST反演的一种便捷工具,而采样不同算法及不同影像的热红外遥感LST反演研究层出不穷,其中基于Landsat数据的反演成果尤为突出。文章利用劈窗算法对Landsat 8遥感影像进行地表温度反演,对比探讨了根据经验值与借助MODIS热红外数据两种不同方式的LST反演结果,并进行北京市热红外波段辐射亮度温度比较,针对地表温度分级进行统计,分析了当地地表温度分布趋势。结果表明：劈窗算法下Landsat 8数据的反演温度更接近实际温度,精度较高且优于MODIS产品;北京市地表温度空间分布格局受地物结构与反射率所制约,高温区主要集中分布于中东部,中低温区分布与林地及水体分布结构较为吻合。     

基于SOTER的河北省土壤有机碳、氮密度的空间分布

本文在河北省土壤与地形体数据库基础上,计算了该省不同土壤组合的土壤有机碳和氮的密度,应用GIS技术分析了河北省土壤有机碳和氮密度的空间分布特征。结果表明:河北省土壤的平均有机碳密度为10.83kgm-3,平均氮密度为1070.96gm-3,C/N比为9.99;该省的土壤有机碳和氮密度的空间分布均呈现:不同类型土壤组合的有机碳和氮密度均随着纬度的增加而逐渐增加,而且其分布受气候、土壤特性、土地利用方式、植被特性以及人类干扰程度等的影响。     

海伦黑土有机碳和速效养分空间异质性分析

应用地统计学的方法结合GIS空间分析技术,对海伦市黑土农田区域采集的65个耕层(0~20cm)土壤样本进行了数据处理,并对其全碳、碱解氮、速效磷和速效钾含量的空间分异特征进行了研究和探讨。结果表明,海伦黑土全碳、碱解氮和速效钾半变量函数曲线的理论模型符合高斯模型,速效磷的理论最佳模型为球状模型。全碳、碱解氮和速效磷表现为中度空间相关,其空间变异受结构性因子和随机因子的影响各占一半。速效钾属于高度空间相关,其变化主要受结构性因子的影响。土壤全碳与碱解氮具有显著的正相关,二者在空间分布上吻合度较高。全碳和碱解氮都与速效钾呈显著负相关。地统计学分析土壤养分的空间变异特征和1978年海伦县自然资源综合考察对黑土农田土壤肥力调查的结果具有相同的异质性。利用地统计学分析的方法,对区域农业生产合理布局、综合治理水土流失都具有重要的意义。     

基于多源遥感数据的区域景观格局尺度效应

无论在景观生态学还是在遥感领域,尺度问题都是非常重要的问题,目前已有的研究主要考虑景观的粒度效应,很少涉及遥感影像空间分辨率对景观格局的影响。在遥感和地理信息系统软件的支持下,利用多源遥感影像,结合研究区的特点进行了景观分类,并从不同遥感数据的空间分辨率角度进行空间粒度放大试验,探讨景观格局的尺度效应。研究结果表明：基于不同空间分辨率遥感影像的土地利用空间数据具有尺度效应,其所反映的区域土地利用景观格局在宏观上是一致的,但类型的边界、形状和数量均产生较大的差异;景观格局指数能反映不同遥感影像所记录的地表信息,从不同遥感数据源、不同空间分辨率的角度定量化判断尺度放大过程中区域土地利用景观特征信息的尺度效应。     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

区块链+物联网在农产品溯源中的应用研究

近年来,农产品安全问题日益严峻,传统的农产品追溯体系面临公信力缺失、监管困境和扩展性问题,农产品质量安全追溯迫在眉睫。随着区块链技术不断发展,其具有的分布式、去中心化、不可篡改、可追溯等特性在改善农产品溯源系统数据安全性、透明性等方面发挥着重要作用,并受到了各个行业的广泛关注。在简述可追溯性和追溯系统概念的基础上,介绍物联网和区块链技术,并探讨了当前国内外学者将区块链和物联网框架融合应用到农产品溯源中的一些相关研究,同时阐述了溯源系统在物联网与区块链结合下带来的安全、可靠、透明等好处及面临可扩展性、效率问题、资源浪费等挑战,最后对当前农产品溯源体系建设提出建议以及未来的研究方向。     

联邦开发过程中的校核、验证与确认（VV＆A）

对联邦的VV＆A不仅能够使每一步的工作得到跟踪和衡量,还使每一步能够减少多余的工作量,巩固需要加强的工作,明确开发人员的角色和职责,从而使人力、时间、资金等资源得到更加有效率的利用,仿真的结果变得更加可预测和准确,在很大程度上减少了编程的风险.联邦成员描述了仿真模型的各对象类、交互类、相关的属性、参数等信息,而联邦是各联邦成员的有机集成,构成具有特定功能的仿真系统.因此,联邦成员的正确性是联邦正确性的前提,决定了仿真系统的成败.在VV＆A的过程中,最好采用一些自动化工具以便于工作,同时要根据具体仿真系统的实际情况来确定VV＆A所需要作的工作.     

元宇宙发展演变及安全风险研究

近期元宇宙热潮席卷全球,主要国家和知名企业纷纷布局以争夺未来数字领域话语权,但目前关于元宇宙并没有形成较为统一的标准定义和终极形态描述。我国在促进电子信息产业高质量发展、保障网络空间安全的需求下,亟需科学认识元宇宙的本质特征、演变趋势及安全风险。运用文献调研和情报分析相结合的研究方法,首先基于技术应用迭代、经济商业模式、社会关系作用等核心理念归纳提出了元宇宙的基本概念,根据空间范畴、时空维度、关键技术、虚实交互等演进程度,将元宇宙发展演变依次划分为数据创生、数字仿生、虚拟镜生、虚实共生4个阶段并阐述了各阶段特征及对应形态;接着从创新应用需求、虚拟生活转变、商业价值驱动、政治力量推动等角度,分析了元宇宙广受关注的主要原因;然后针对挑战国家治理体系、冲击主流意识形态、操纵收割资本市场、引发诸多社会问题、误导技术产业布局等方面,重点研判了元宇宙浪潮带来的政治、文化、经济、社会和技术等多重安全风险和威胁。研究建议,目前元宇宙尚处于概念完善和产品探索阶段,应理性把握元宇宙发展机遇,立足我国电子信息产业现状,提前做好风险应对准备,构建数字治理监管体系,激发产业创新开放发展,夯实网络信息安全支撑,营...     

基于RFID的供港蔬菜安全监管溯源系统

为保障供港蔬菜的安全,提高供港蔬菜的安全监管能力,本文从检验检疫部门监管工作实际出发,提出了基于射频识别技术的供港蔬菜安全监管溯源系统．首先介绍了RFID技术及其主要功能,通过检验检疫角度提出供港蔬菜的业务框架结构、技术框架结构和安全保障体系结构,在此基础上设计溯源系统种植基地、加工厂、口岸和超市四个点的功能需求,并规定了溯源系统与RFID的接口标准．实践证明,该系统能够实现供港蔬菜流转中的每一管理节点的上下游追溯,实现管理者对蔬菜从原料、生产、运输到销售全过程的了解和把握,使企业的生产、仓储、通关、配送过程更加便捷,全面保证了蔬菜集装箱在运输过程的完好性,满足了供港蔬菜的安全溯源监管体系需求．该系统对食品的安全监管、产品的伪劣甄别有着重要的启示作用和意义．     

基于WinSocket远程控制程序的设计与实现

详细介绍了Socket通信的初始化、建立,以及信息的传输、读取和执行控制指令的过程。该程序直接应用Windows系统的API函数,通过获取桌面图象,转换为位图格式进行发送和接收,以及图象处理和显示,还包括鼠标事件的获取、传输及实现相应鼠标操作事件等,实现屏幕控制技术。     

区块链分片技术综述

区块链作为分布式账本的关键技术之一,其去中心化、可匿名、不可篡改的特性受到学术界和工业界的青睐,被广泛应用于金融、数字货币、公共服务等领域。分片技术作为区块链扩容的主流方式之一,能够在不降低区块链去中心化程度的同时实现高性能的链上扩容,从而解决区块链可拓展性不足以及吞吐量较低的问题。介绍近年来出现的分片技术以及相关协议,总结分片技术的关键理论与方法,从分片配置、重配置、片内共识协议、跨片共识协议、状态存储等方面对分片技术方案进行对比,归纳不同分片方案在网络分片、交易分片、状态分片等设计中存在的优势和不足。同时,阐述一些经典分片技术在性能和实现方式上的特点,对许可区块链和无许可区块链、片内共识协议、跨片共识协议、准入性方案、状态分片方式等进行分析和概述。在此基础上,从分片内、分片间以及系统层级的角度总结分片技术当前所面临的困境和挑战,并对该领域的发展前景及未来研究方向加以展望。     

功能-行为-结构(FBS)模型方法研究综述

功能-行为-结构(FBS)模型通过引入行为变量(Behavior),丰富了传统功能-结构(FS)模型,目前已被广泛应用于设计领域。对FBS模型的发展和应用进行综述。首先,从FBS模型的定义、相关变量概念的提出和发展、及优化和完善等方面对FBS模型进行介绍;其次,通过对国内外相关文献的分析,对FBS模型的研究及应用进行分类,总结现有主要研究集中于：FBS模型自身的发展、基于FBS模型的方法集成和映射机制的应用等方面;最后,提出FBS模型目前仍存在的问题,并给出研究建议,为FBS模型的研究和应用提供参考。     

Overview of ATM networks: functions and procedures

The purpose of this paper is to present an overview of the ATM technique. The basic principles of the ATM transfer technique, the B-ISDN layered protocol reference model, as well as the architecture and the main functions of the ATM network, are described in this tutorial. In particular, we present the main characteristics of the ATM technique, the structure of the ATM cell, the functions which deal with the protection from errored cells (HEC procedure) and the identification of the boundaries of the ATM cells (cell delineation and scrambling). The VP/VC concept is explained in detail, and the main principles and functions of the three lowest layers (Physical, ATM and Adaptation) of the B-ISDN layered protocol reference model are surveyed. The issue of Quality of Service parameters in ATM networks is reviewed, and the problem of the allocation of the network resources in response to user demands, as well as the problems of congestion control, Usage Parameter Control (UPC) and traffic modelling in ATM networks, are assessed. Finally, we present ‘possible’ sets of traffic characterization parameters, and show how possible B-ISDN sources can be modelled according to the basic on-off ATM traffic source model.