城市区域交通信号迭代学习控制策略

城市交通流具有复杂的非线性动态特性, 在交通控制中难以对其进行精确的数学建模; 同时, 以天为周期, 宏观交通流又呈现出明显的周期性特征. 鉴于此, 提出一种基于迭代学习的城市区域交通信号控制策略, 通过对交通信号的迭代控制, 使路段的平均占有率收敛于期望占有率, 从而使绿灯时间得到充分利用并防止交通拥堵的发生, 保证了交通流在路网中的高效平稳运行. 严格的理论推导证明了该方法的收敛性, 仿真结果验证了该方法的有效性.

     

一种基于线性时间概率计数算法的数据聚集技术

无线传感器网络中,通过数据聚集操作在中间节点预先对数据进行处理,可去除大量冗余,减少数据传输,实现节能。针对多路径路由下数据聚集操作的重复计数问题,研究对副本不敏感的概要结构并优化某些特性,在线性时间概率计数算法的数学模型基础上提出一种新的数据聚集技术FA( Fan Aggregation)技术,实现高能效的数据聚集。理论分析和仿真实验均表明, FA技术相较于FM( Flajolet Martin)技术和LC( Linear Counting)技术在存储空间和准确率上均有更好的性能体现。     

基于网络编码的无线网络容量分析

无线网络容量一直是无线网络领域的研究热点,而网络编码通过赋予中间节点对接收数据包进行编码、组合的能力,可以有效提高网络容量,达到最大流—最小割定理确定的理论上限.本文在Gupta和Kumar提出的信号干扰噪声比模型基础上,首先分析网络节点均匀分布时发送节点与目的节点进行多跳传输的无线网络容量计算方法;接着推导出了基于网络编码的无线网络容量计算公式,并利用MATLAB中求解线性规划问题的函数linprog()求解网络最大流及各链路流量,以此求出无线网络容量上界.通过对无线网络容量上界进行MATLAB仿真,得到如下结论:无线网络容量上界随节点数量的增加呈现先增加后减少的趋势;且当节点数量趋于无穷大时,网络容量趋于零;与传统的存储转发模式相比,采用网络编码有利于提高网络容量.     

江边水电站高水头混流式水轮机设计

主要介绍了四川江边水电站高水头混流式水轮机设计情况,重点对水轮机主要部件结构设计特点进行了介绍:转轮采用长短叶片结构,控制转轮进口处的流态;泵板和无接触式主轴密封结构;导水机构的剪断销加摩擦装置;高尾水位的主轴中心孔补气装置;水轮机中拆结构;水导轴承及导水机构密封等东芝公司经典结构。江边水电站3台机自2011年4月已先后投入运行,至今已正常运行3年多。     

基于领域本体的语义合成研究

为了在检索过程中全面挖掘用户查询信息,文中提出了一种基于领域本体的语义合成技术,该方法以文本为数据源,引用数据源和领域本体之间的映射关系来表达数据文本的语义.文章提出了一个语义合成模型,该模型由领域本体、关键词语义抽取、概念语义相似度计算及语义推理等相关技术模型组成.文中对该模型进行了实验验证,通过对实验结果进行分析推理可知,文中提出的基于领域本体的语义合成模型提高了检索系统的查准率和计算机处理信息的能力,从而也提高了用户的满意度.     

三江口窝崩及抢护

窝崩是发生在长江中下游极具危险性的崩岸形式,严重时会造成生命及财产的重大损失,因此,有必要对窝崩成因及抢护措施进行研究.根据三江口窝崩前后的河道实测地形资料,分析比较了崩塌前后河床地形及断面变化、崩岸发生的原因,计算了各测次的水下体积,研究了相关抢护措施及效果.分析研究结果表明,窝崩发生后80%以上的崩体均淤积在口门上下约1 km河道内,经过1个月冲刷,约有37%崩体被水流带走.文中介绍的抢护措施及效果可为相似抢护工程提供借鉴参考.     

洱海地表水资源监测系统规划设计评价

水文设施项目建设成功与否,规划设计和项目决策占主导因素。对洱海地表水资源监测系统现状进行分析,从实现水文测报系统和水资源管理现代化出发,提出规划设计中应处理好的3个关系,并从站网布设、工程选址与合理性、工程建设规模、工程等级及设计标准、规划设计先进性、工程运行管理和实施意见等方面进行综合分析评价,论证了洱海地表水资源监测系统规划设计方案在设计上是合理的,技术上是可行的,具有前瞻性和可操作性。     

图像1 DFFT-MP稀疏分解算法研究

针对图像稀疏分解速度慢和重建图像视觉效果不好的问题,提出了一种基于MP和一维FFT、的图像稀疏分解算法。算法中把二维图像按行抽取成一维信号,同样地,把过完备原子库中的原子按行抽取成一维原子,然后把二维图像或图像残差与原子的内积运算转化为一维信号或信号残差与一维原子的互相关运算,最后利用一维FFT方法计算一维信号与原子的互相关运算。通过实验验证表明,在重建图像的质量没有改变的前提下,当图像大小为512 X512时,一维FF7图像稀疏分解算法的速度比二维FFT提高了2. 11倍。     

基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

语义Web服务组合综述

语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。