基于遥感和GIS技术的青海湖环湖地区生态环境脆弱性评价

以青海湖环湖地区为研究区,从生态环境脆弱性的影响因子和脆弱性形成的结果表现入手,通过遥感与GIS技术提取出8项生态因子包括植被指数、土壤亮度和土壤湿度指数、高程和坡度以及气温降水和土地利用作为评价指标,利用层次分析法（AHP）计算各评价指标的权重,然后计算研究区综合脆弱度,并根据统计结果将脆弱度的大小划分为微度脆弱、轻度脆弱、中度脆弱和重度脆弱4个不同等级。结果表明：研究区轻度脆弱和中度脆弱所占面积比例较大,分别占到研究区陆地面积的35.2%和40.7%,说明该区总体环境质量较好。     

基于自适应蚁群优化的Ad Hoc网络路由算法

针对蚁群优化固有的搜索时间长、易陷入局部最优解的缺点,提出一种改进的基于蚁群优化的AdHoc网络路由算法.通过增加自适应因子提高路由搜索能力,充分考虑节点间的时延来改进信息的更新机制,同时对路由表做出修改,提高路由算法性能,增强算法的适应能力.经过与已有路由算法DSR和AODV的仿真比较,结果表明该算法在成功传输率和平均端到端延迟上表现了较好的性能.     

磁浮列车搭接结构的非线性解耦控制

磁浮列车的搭接结构是一个多输入多输出的非线性系统, 对该系统进行稳定控制是确保磁浮列车可靠性的关键. 本文采用微分几何方法对系统解耦; 采用反馈线性化方法对解耦后的系统进行线性化, 确保了系统的全局稳定性; 对线性化之后的系统采用极点配置的方法进行控制律设计, 使系统的动态性能达到一定的指标; 最后给出了应用此方法的一个实际例子.     

基于谱分解的中立型时滞系统观测器

针对线性中立型时滞系统, 利用线性算子半群的谱分解理论进行观测器设计. 在中立型项的范数小于一的条件下, 利用谱理论并结合投影算子, 将无穷维系统解的相空间分解为有限维不稳定广义特征子空间和无限维稳定广义特征子空间的直和. 进而利用线性算子半群的无穷小生成元得到具有积分微分形式的观测器方程, 并证明了观测器误差方程的渐近稳定性. 数值实验证实了所提设计方法的有效性.     

基于路径损耗的无线传感器网络分布式拓扑控制算法

对无线传感器网络中目前最常用的3种链路度量标准进行分析和比较得出,在满足一定收包率要求时,节点的接收信号强度存在一个最小阈值.考虑接收信号强度作为拓扑构建条件时需节点具备相同发射功率的不足,提出将路径损耗大小作为拓扑构建的条件,设计了一种分布式拓扑控制算法——PLBD.该算法在保证收包率的同时,还使各节点之间的通信保留最小损耗链路.仿真结果表明,PLBD算法构建的拓扑不仅能够保证网络连通性,还具有通信时延低,健壮性好,能量消耗相对均衡的特点.     

高精度低成本超声波热能表的研制

介绍了一款新型的高精度、低功耗超声波热能表.此表利用了超声波的测量原理,结合TDC-GP2时间转换芯片,搭配简单的电路,外接超声波换能器、温度传感器,完成了一个热能表的所有功能.     

一种基于网络编码的应用层多播算法

研究了对多播网络进行网络编码的方法,提出了一种基于网络编码的应用层多播算法.该算法在计算网络拓扑时考虑了链路的花费.源端和-中间节点使用随机线性编码方法进行编码,在目的端进行解码操作使得目的端能从乱序的信息和部分丢失的信息中恢复出原始数据,提高了网络的可靠性.通过对ns-2的扩展并进行仿真实验,结果证明了基于网络编码的应用层多播算法是可以提高网络的吞吐量,并且和网络中最大的吞吐量比较接近.在信息块不是很大的情况下,编码延迟率的增长是在一定的范围内的.     

一种基于受限网络的移动对象索引

为了有效地支持城市交通网络中移动对象的过去、现在和将来的轨迹查询,在基于模拟预测的位置表示模型基础上,提出了一种两层R树加上一个表结构的复合索引结构AUC(Adaptive Unit Compounding).根据城市交通网的特征,采用了一种带有环形交叉口的元胞自动机模型模拟移动对象的将来轨迹,并用线性回归和圆弧曲线拟合分别得到对象在规则路段和交叉口的轨迹预测方程;根据移动对象的运动特性,采用了一种新的自适应单元(AU)作为索引结构的基本单位.实验表明,AUC索引的查询和更新性能都要优于TPR树和TB树.     

一种生产线架构中的工作流过程定义复用方法

针对工作流管理系统在实际应用中面临的过程定义低效、复杂的问题,借鉴软件复用的思想,提出了一种生产线架构下的工作流过程定义复用方法.该方法建立在领域业务本体和工作流模板这两类可复用资产之上,尝试建立特定领域工作流过程定义的复用机制,以提高过程定义的效率.着重探讨了可复用资产的构建、描述和检索等问题.介绍了基于复用的工作流过程定义方法,并开发了相应的实用工具以验证该方法的有效性.     

Pi演算对图灵机的表达

为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。