基于CORS基站的校园控制网的布设研究

为便于测量和其他专业学生校内实习,解决目前校内实习控制点在假设坐标系统建立起来的弊端,使用CORS基站布设了校园控制网,通过与已知高级控制点联测,获取校园控制点在城市坐标系下的坐标,为利用CORS基站的学校周边地区建设提供有价值的参考信息,实现校园的真正数字化,并为学校创造一定的经济效益和社会效益.     

基于分层贝叶斯模型的损失准备金估计

传统的准备金模型主要是通过加总个体数据得到聚合损失三角形数据建立的,然而,这种数据的加总对原始个体数据产生不可避免的信息浪费.虽然这种方法简单,但可导致准备金估计的较大偏差.近年来提出的个体数据准备金模型中大都没有考虑保单合同之间的相依性.本文假设相同事故年的保单产生的索赔具有某种共同效应导致的相依情形,通过建立个体数据准备金的分层贝叶斯模型,利用信度理论的思想,得到每个事故年的准备金估计,从而得到总准备金的估计.进而,讨论了发展因子和结构参数的估计及其相应的统计性质.最后,给出数值例子表明本文给出的准备金估计的计算方法,并且比较了个体数据和聚合数据下准备金估计的均方误差.     

基于网络最大流的城市雨水管网系统脆弱性评价

为了对城市雨水管网系统进行针对性的改建,在暴雨天提高事故抢修速度,需要对城市雨水管网系统进行脆弱性评价并找出脆弱管段.首先介绍了城市雨水管网系统排出雨水的干扰因素,提出了城市雨水管网系统脆弱性的概念,并逐一分析了影响城市雨水管网系统的因素,综合考虑各方面因素,建立了城市雨水管网系统的脆弱性评价模型.在此基础上,结合图论中网络最大流理论,寻找城市雨水管网系统中的脆弱管段.最后以西安某高校的雨水管网系统为例进行研究,测得了该高校雨水管网系统的脆弱度为0.877,证明该区域雨水管网脆弱性较低,不易形成内涝,并找出该高校雨水管网的脆弱管段.     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

基于策略路由的CERNET与公众网的有机结合

对策略路由技术及常用术语进行了简要的介绍，阐述了利用策略路由使高校校园网与CERNET、INTERNET有机互联，可以实现网络流量按照网络管理者制定的标准进行路由转发，从而达到提高网络速度，降低网络费用的目的。     

灰色参数线性规划解法论

叙述了灰色参数线性规划的基本思想和模型，总结了近十多年来求解的主要研究成果，并对该领域的进一步研究提出了一些想法和展望．     

超高层建筑-18.7m的深基坑施工优化

介绍了深达 18.7m的基坑围护措施 ,对超高层建筑深基坑支护结构与施工技术进行优化     

工业企业施工平面控制网问题的研究

就工业企业施工平面控制网的设计、外业观测和数据处理等各主要环节进行较细致的分析、总结和研究,综合阐述各环节应遵循的基本原则和工作重点,强调在设计与实际工作中应注意的主要问题及采取的主要措施,指出测量成果中应重点关注的几项主要技术指标,对于工程施工布网和建网具有一定的指导意义。