简介：摘要：计算机连锁软件是一种有效的验证计算机连锁软件能否满足某些安全属性的形式验证。本文介绍了一种基于模型检验的方法，对联锁系统模型和安全属性模型的建立方法进行讨论，并结合具体的站场实例，对信号开放功能进行了模型描述和验证，结果表明，该方法在计算机连锁系统中的应用是可行的。

简介：

简介：微观经济学研究单体经济模型中经济活动个体的经济行为,核心是价格决定理论。商品的价格是由市场中对这种商品的供给和需求决定的。供给和需求相反的作用力,使商品达到市场均衡状态。当商品的生产成本发生变化时,供给函数发生变化,达到新的市场均衡。但均衡利润呈现出与生产成本变动相反的变化趋势。本文试图对其变化规律做出探讨。

简介：摘要：本文是以高校实验室改造的真实需求为背景，利用BIM+VR技术搭建含有不同模式的实训室3D数字化建筑模型，设计不同场景变化时各个模式（如教学模式、会议模式、晚会模式等）最快速的变换路径，并最终展示模型的应用，为后期实训室的建设、使用、管理提供依据。建成的BIM模型，也可以作为真实案例供教学使用。

简介：通过实际天文测得到的日长变化资料的分析研究，证实了将非线笥的跳步时间序列分析模型（LSTSA）结合到小波变换中，能够有效削弱小波变换中时频谱的端部畸变效应，显著提高对低频信号的检测能力。LSTSA模型将对不上波变换中时频谱技术的更好、更广泛的应用作出一定的贡献。

简介：文章采用逐步分析的方式对影响热量条件的少变因素（经度、纬度、海拔）与无霜期日数及稳定通过10°C积温进行分析,建立影响玉米生长的热量资源推算模型,再通过地理信息系统空间分析的栅格计算分析功能进行空间分布计算得到要素空间分布图,实现对赤峰市热量资源分布趋势的直观体现。

简介：随着城镇化水平的快速提高，地震灾害高风险暴露城镇数量将不断增加，震后有效的应急处置尤为重要。而当前城镇的地震应急处置主要依据平时制定的地震应急预案开展，缺乏针对性与可操作性。本文以提升城镇地震灾害应急处置能力为目的，总结以往城镇地震应急处置案例，提炼城镇地震灾害应急处置流程，结合城镇特殊的社会经济、自然地理等特点，在分析影响地震灾害应急处置关键因素的基础上，按地震烈度的不同，研究构建了具有区域特征且操作性较强的城镇地震灾害应急处置模型，为城镇地震应急处置的科学化、规范化提供了参考。

简介：传统的东、西半球版的多圆锥投影世界地图(经线世界地图),在表示世界海陆分布的格局和世界大洲、大洋等巨大的地理实体的空间关系方面有很好的效果,但两极地区的变形过大和北冰洋不能完整表示也是缺陷。郝晓光首创的纬线世界地图(即南、北半球版世界地图)采用的地图投影,把南、北极置于投影的中心位置,能使南极洲和北冰洋及其周边大陆变形很小和完整表示。纬线世界地图的优点弥补了经线世界地图的缺陷。从地图投影拓扑结构出发,通过引入中央经线对称型曲经线族、闭曲线、邻域、环极纬线族等概念,分析和阐释了经线和纬线世界地图投影的经纬网结构特点,给出了系列世界地图投影的数学模型。

简介：针对区域导航系统卫星轨道预报精度差、在轨卫星故障或者GEO卫星轨道机动后轨道快速恢复等问题,对独立时间同步体制下区域卫星导航系统的广域差分技术进行了深入研究,从非传统力学的角度提出了通过单历元广域差分进行星历误差改正的技术,完善了广域差分星历误差改正体制;并通过协方差矩阵分析了广域差分星历改正数误差传播规律,设计了控制误差传播放大的算法。模拟实验结果证明,在时间同步条件下可以通过发播等效钟差改正数、星历误差改正数实时地为服务区内用户提供高精度的卫星星历和卫星钟差改正参数。星历误差改正参数精度基本不受先验轨道、卫星钟差精度和观测数据累计时间长度的影响;在综合观测误差改正精度为2ns的情况下,可为系统实时提供平均精度优于5m的星历误差改正参数。

简介：5最新全球重力场模型EGM96介绍与分析如前所述,最近几年地面和海面观测数据无论是覆盖范围还是观测密度和精度都取得了很大的进展,联合应用最新的卫星观测数据、测高资料、地面重力和高程数据确定一个新的位模型自然提到议事日程,为了这个目的,美国宇航局(NASA)哥达德航空飞行中心(GSFC)和国防制图局(DMA,现改名为国家影像制图局NIMA),于1994年4月签署一个有关共同研究重力场模型的理解备忘录,其主要目的就是要改善地球重力场模型(EGM)和精化全球大地水准面结构,以满足地球和

简介：陆地生态系统作为地球表层复杂系统中重要一环是全球碳氮循环研究的核心内容之一,在陆地生态系统研究中模型作为一种必不可少的手段备受关注.近年来,国际上发展了多种基于不同原理和目标的模型,其模拟结果也不尽相同.为了对这些模型进行比较研究,国际上开展了多个模型比较研究计划.本文在简述各种模型比较计划的基础上,阐述了目前国际上一些比较成功的模型的研究进展;指出模型的进一步发展必须建立在对生态系统各个组成要素、生态过程及其对气候变化的响应与反馈机制研究的基础之上.耦合大气、岩石圈、生物圈从机理上模拟碳氮动态,同时在进行区域或全球尺度评价时引入遥感、地理信息系统等手段,将是未来模型发展的趋势.

简介：对Skyline三维模型重建过程中的数据预处理及建模关键技术进行了研究；并基于该平台，充分利用已有的传统的地理空间数据，将其应用到武汉大学信息学部局部校区的三维模型重建中，取得了较好的效果。

简介：合理的观测值权阵能提高BDS、GPS及其组合系统伪距单点定位的精度。对比分析了各系统在实测数据和模拟观测条件下等权模型、高度角模型、Helmert方差分量模型3种随机模型的定位精度。结果表明:在模拟观测条件下,BDS/GPS组合系统精度最高,BDS系统次之,基于Helmert方差分量模型的精度最优,高度角模型次之;在正常观测条件下,BDS系统平面精度高于GPS系统,但高程精度低于GPS系统,其余结论与模拟条件下结果一致。研究结果可在提高BDS、GPS及其组合系统伪距单点定位精度方法中起参考作用。

简介：摘要论文首先对交通需求预测模型的研究现状进行了概述，并以此为基础对基于活动链的出行需求预测模型进行了建模过程的数学解构，设计了模型的应用模块关系逻辑图，提出了分方式、分时段交通需求OD的计算步骤。

简介：摘要：我国一直很重视石油勘探项目的开展，但由于石油勘探项目具有一定的风险，这就要求相关的石油管理部门改革现有的石油勘探方式，以确保石油勘探人员的人身安全和勘探工作的顺利进行。基于项目管理成熟度模型的理论，从石油勘探项目管理成熟度等级，生命周期 ,管理知识体系维度，构建了符合石油勘探项目管理特点的石油勘探项目管理成熟度模型 ,并对实现各成熟等级的关键过程及其目标进行了研究，结合实际的勘探项目对模型进行了应用。研究结果表明 :该模型能够衡量石油企业勘探项目的管理水平，找出石油勘探项目管理中的薄弱环节，为提高石油勘探项目管理水平提供有力保障。

简介：一、引言数字高程模型（DEM）是进行3维空间数据处理，地形分析和进行三维视景仿真的核心数据。DEM常用TIN和GRID2种数据结构形式描述，其中，TIN由于具有可变的分辨率，精度高，能较好地表现不规则地貌的形态特征，因而具有非常广泛的用途。但一般情况下，地形本身的数据量很大，当需要实现对地形的多分辨率显示时，便需要对地形数据进行简化，以得到不同分辨率的地形模型。因此，如何在保持一定精度的前提下，对原数据模型进行简化，以减少数据量，消除数据冗余便成为人们关心的一个焦点，本文对该问题进行了研究，通过删除简化地形描述误差小于阈值的点，并对局部三角网进行Delaunay最优三角剖分，从而达到简化的目的，该算法能较好地保留地形特征点，使简化后的地形与原地形保持最大的相似性。最后，利用试验对本文算法进行了验证。

简介：采用大量数学模型分析泥石流、崩塌和滑坡的动力学。为了评价这些模型在具体作用中的实用性，以及研发新的模型，必须对现有模型进行分析和标准化。根据基本物理原理，将数学模型分为3种类型——连续模型、细胞自动机和非连续模型。连续模型又分为欧拉和拉格朗日子模型；而非连续模型根据所采用的方程组分为单元素和多元素子模型。下面按工程地质作用种类，简要介绍和分析这些模型的应用领域。

简介：探索研究流域非点源氮污染控制的有效措施,对于治理改善水环境恶化具有重要的现实和长远意义。以山美水库流域为研究区域,建立AnnAGNPS氮污染模型,通过情景模拟技术分别模拟了河岸缓冲带、适量施肥、免耕、少耕、梯田和退耕还林等最佳管理措施的非点源氮污染削减效率。结果表明:(1)梯田与退耕还林对氮的削减率较高,均高于15%;免耕较低,为13%;少耕、合理施肥、河岸缓冲带削减效果有限,低于10%。(2)河岸缓冲带、少耕、免耕、梯田等措施的总氮削减率在不同月份的变化趋势与泥沙削减变化趋势一致,在7月和8月有较高的削减率;合理施肥与退耕还林的总氮削减率则与流域施肥状况相关性更高,在2—4月份有较高的削减率,因此山美水库流域水环境改善应结合非点源氮污染治理和流域水土流失治理。

简介：一．引言工程建筑物的垂直位移一般是用水准测量方法完成，然而有时水准测量效率慢，工作繁重，并且是不现实的，这就要考虑使用三角高程方法在同一时间里用对向观测方法消除地球曲率与大气折射的影响。但有些地方，不适用水准测量或对向观测的三角高程测量方法，

简介：针对自回归(AR)模型,分别采用间隔模式和迭代模式,对国际地球自转和参考系服务(IERS)的EOP08C04数据序列作预报计算,并统计预报精度,对比分析两种预报模式的适用情况。结果表明,AR模型两种预报模式各有特点,具体表现为:在数据利用率以及计算速度方面,间隔模式数据利用率低,计算速度快,而迭代模式数据利用率高,但计算速度较慢。对于参数预报适用方面,间隔模式较适合于PMX、PMY短期预报;迭代模式则较适合PMX、PMY中长期预报,并且在UT1-UTC所有跨度的预报上均表现出精度优势。