基于人工蜂群CA模型的南京市土地利用变化模拟与预测

以南京市为例,构建人工蜂群元胞自动机（CA_ABC）模型,对2000—2007年的土地利用变化进行模拟以实现CA_ABC模型的校正,并以2007—2015年的土地利用变化为案例,验证该模型的有效性。模拟结果总体精度（OA）2007年为87.79%,2015年为80.61%;模拟结果的品质因数（FOM）2007年为21.23%,2015年为19.25%。基于CA_ABC模型和马尔可夫链预测未来城市土地总量,对南京市2025和2035年的土地利用格局进行了预测,对城市扩张和生态用地被侵占现象进行分析。模型预测结果表明,未来20年的城市扩张主要以牺牲耕地和林地为代价,2025和2035年80%的城市扩张面积来源于对耕地面积的侵占,17%的城市面积扩张是由2015年的林地转换得到的。研究表明,准确模拟、预测未来城市格局及评估城市扩张能够对生态用地侵占,以及为决策者合理规划城市、推动城市可持续发展提供帮助。     

移动荷载下三维半空间动力安定性下限分析

针对交通移动荷载,基于第一动力安定性理论预测了弹塑性半无限空间动力安定性下限值。通过建立无限元边界的三维动力有限元模型,研究了移动荷载作用下弹塑性半无限空间的动应力分布,构造了稳态动应力下的残余应力场,基于残余应力场的构造提出了动力安定性下限值的预测方法,分析了交通动应力下的安定性下限值以及车辆移动速度对安定性的影响,同时分析了均布荷载和Hertz荷载分布对动力安定性下限值的影响。当荷载移动速度低于Rayleigh波速时,安定性极限值随着速度的增加而增加,而当速度超过Rayleigh波速时,随着速度的增加而减小。研究还发现,当荷载和总重相等时采用圆形均布荷载和Hertz荷载的安定性极限值较为相似。     

基于系统动力学模型和元胞自动机模型的土地利用情景模型研究

综合自上而下的系统动力学模型和自下而上的元胞自动机模型, 从宏观用地总量需求和微观土地供给相平衡的角度, 充分利用系统动力学模型在情景模拟和宏观驱动因素反映上的优势与元胞自动机模型在微观土地利用空间格局反映上的优势, 发展了土地利用情景变化动力学LUSD (Land Use Scenarios Dynamics model)模型. 利用该模型对中国北方13省未来20年土地利用变化的情景模拟结果表明, 由于LUSD模型充分利用了系统动力学模型和元胞自动机模型的特点和优势, 同时考虑了土地利用系统宏观驱动因素复杂性和微观格局演化复杂性的特征, 因而提高了当前土地利用情景模型的可靠性, 这将在一定程度上为理解土地利用系统的复杂驱动行为, 评估脆弱生态区土地系统变化的潜在生态效应提供帮助. 同时, LUSD模型的情景模拟结果也表明, 农牧交错带地区是中国北方未来20年土地利用变化比较明显的地区, 而耕地和城镇用地则是该区域内变化最为显著的两种用地类型.     

基于替换的组合电路的等价性检验方法

介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。     

PKI安全认证模型的分析与研究

在开放式网络环境中,实现诸多安全服务,最重要的问题之一就是要解决网络中各实体之间的安全认证问题.安全认证模型作为网络安全技术的重要前提和基础,正日益成为网络信息安全领域研究的焦点.在对传统PKI认证模型分析的基础上,提出了一种全新的PKI安全认证模型,着重研究了PKI安全认证模型的体系结构,提出了适合于国家级的PKI安全认证模型.这为构建国家级PKI安全认证模型的研究提供了一个有价值的新思路.     

变值配置函数空间整体编码族的2维对称性

研究0-1多元变量的逻辑函数及其整体配置函数空间变值编码表示特性。根据对称特性,系统地定义一批整体编码结构:邵雍-Leibniz码、广义码、文王码、伏羲码和共轭码。展示变值向量配置函数空间规模以及函数群集的状态空间组织结构。对各类编码系列的可区分数目,给出计算公式。2维变值展示框架展现在变值配置函数空间中不同编码族具有的内蕴对称特性。分层结构编码配置函数空间和2维展现描述体系,为基于东方逻辑传统的现代逻辑架构:变值逻辑体系,利用高维分析工具探讨0-1序列非线性超复杂逻辑变换开辟道路。     

浙江省地理信息产业园——中国地理信息产业“南园”

正园区概况2012年,浙江省地理信息产业园全面启动建设,投资2.6亿元的园区道路已全面建成,建成平台框架1600亩。通过前期宣传推介,现已有北京国遥、山东正元、中测新图、北京四维远见等33家企业入园,广州中海达、杭州星软等8家企业签订入园意向协议,协议投资额达62.3亿元。现有30幢产业大楼开工建设,2014年将新开工36幢产业大楼。联合国全球地理信息管理高层论坛永久会址落户产业园,全面提升了产业园的知名度。     

四元数的基本概念与向量旋转的欧拉公式

为方便理解四元数,首先针对两个相互平行或垂直的向量,定义它们之间的一种不可交换乘积,命名为格拉斯曼乘积,同时约定这一不可交换积满足分配律。由此,进一步给出任意两个向量之间格拉斯曼积的具体表达式,并引出四元数的概念和运算法则。从理论上证明,任意四元数都可表示为两个向量之间的格拉斯曼积,并可以利用单位四元数的正交变换来表示向量旋转的欧拉公式。     

一种SINS/CNS/GNSS组合导航滤波算法

捷联惯性导航系统/天文导航系统/全球导航卫星系统(SINS/CNS/GNSS)构成的组合导航系统可有效提高飞行器的定位精度,而导弹等飞行器常用发射时刻的发射点惯性坐标系作为测量载体飞行的基准.为此,首先在发射惯性坐标系下推导并建立一种简洁的SINS/CNS/GNSS组合导航数学模型,该模型将SINS积分预报姿态四元数误...     

大伙房库区近30年来植被覆盖变化分析

根据像元二分模型原理,利用1983年、2000年、2011年大伙房库区遥感影像数据提取植被覆盖遥感信息,结合植被指数计算植被覆盖度,分析比较大伙房库区不同时期植被覆盖的变化,研究大伙房库区这三个时期植被覆盖动态变化规律,为大伙房库区的生态建设和可持续发展提供决策支持。结果显示:1近30年以来,大伙房库区植被覆盖等级分布不均衡,高植被覆盖区过分集中在北部地带,西部则多为低植被覆盖区;2大伙房库区高植被覆盖面积在减少、低植被覆盖面积在增加;3大伙房库区植被覆盖总面积在下降,库区的生态环境已经遭到了破坏;4政策建议:加强监测与监管力度,合理开发利用矿产资源,积极响应国家"退耕还林、退耕还草"号召。