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

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

基于JMX技术的分布式工作流系统的研究与实现

分布式工作流技术已成为当下国内外争相研究的热点,但大多数产品都并未形成统一的标准化,在互操作性和扩展性方面也都不具优势。基于此,结合Java管理扩展框架(Java Management Extensions,即JMX)、观察者模式、RMI等技术提出了一种分布式工作流系统实现方案。在该方案中,首先对涉及到的关键性技术进行了概要回顾,并对设计原理、系统体系结构、算法实现分别做出了分析和阐述。最后,根据算法分析,给出了一个应用实例,来说明具体的实现方式。     

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

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

具有sn-网的空间

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

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

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

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

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

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

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

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

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

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.