三峡库区建峰乌江大桥设计与施工

建峰乌江大桥位于三峡库区,桥址所在河谷呈不对称“U”型。桥型设计为混凝土连续刚构桥,由两个单T构组成,且每个单T构的墩为对称布置。桥箱梁采用纵、横、竖三向预应力结构设计,其中纵向预应力束按全预应力理论设计,张拉时的张拉力与伸长量为控制标准,并以张拉力控制为主。箱梁施工分为悬浇和现浇两部分,悬浇采用挂篮悬臂浇筑。主要介绍了该桥的设计、施工细节以及设计跟踪控制措施,可为相关桥梁设计施工提供参考。     

锁磷剂Phoslock除磷试验研究

研究了锁磷剂(Phoslock)吸附除磷的效果及动力学,当原水磷酸盐浓度为1 mg/L时(以P计),处理水中磷酸盐随Phoslock的投加量增加而减少,pH为9～10时除磷效果最佳;动力学试验表明,Phoslock除磷具有持续性和长效性;Phoslock对磷酸盐的吸附可较好拟合Langmuir等温线;解吸附试验表明,磷酸盐的吸附与解吸处于动态平衡,解吸的磷酸盐浓度较低,不会对处理效果造成显著影响。     

一种Ad Hoc网络中信任管理模型的研究与设计

Ad Hoc网络的安全性是当前网络安全问题的研究热点,建立合理的信任管理模型是Ad Hoc网络安全的首要问题。文章分析了Ad Hoc网络的特点和它所面临的安全挑战,引入信任管理的概念,给出了一种新颖的基于主观信任的Ad Hoc网络信任管理模型,为建立安全的Ad Hoc网络提供了新的解决方法。     

一种新颖的快速水平集初始化方法

水平集方法是偏微分图像分析的一个重要的数值方法,其最大的问题是计算量大,速度缓慢,特别是需要频繁的初始化。针对这个问题进行深入研究,提出了基于数学形态学的水平集初始化方法。形态学方法分为平滑和重建两个步骤,利用基本的开、闭和膨胀运算来分别平滑数值不精确的距离函数和重建窄带。新的方法不仅具有很高的效率,而且可以适应各种拓扑变化,完全可以替代常规方法,运用于数字图像的实时处理中。     

802.11i双向认证协议的模型检查

确保安全协议的正确性对于保证Internet上安全敏感的业务非常重要。采用形式化方法建模和验证安全协议可以检测到传统测试手段难以发现的错误。模型检查作为形式化验证方法的一种,有着自动化和提供反例等诸多优点。使用模型检查工具SPIN对802.11i双向认证协议EAP-TLS进行验证,提取出包含协议设计重要细节的形式化模型,对协议安全属性采用线性时态逻辑抽象,并验证协议模型是否满足安全属性。提出了一种使用PROMELA建模认证协议的方法。     

煤矿井巷工程PERT决策系统分析与设计

针对煤矿井巷与安装工程的特点,在详细分析各工序间的关系及分解各子系统任务的基础上,设计出煤矿井巷重点工程PERT决策系统。该系统实现了网络计划图的自动绘制、项目工期自动优化、工程项目进度自动监控等功能,可以大大提高工作效率,降低成本。     

自动答疑系统知识库文本的索引研究

该文从传统的基于FAQ库自动答疑系统的知识库存储及检索方式的不足出发,提出了知识库文档预处理及建立倒排索引结构的方法。对倒排索引文档进行重组及性能进行优化,初始化了文档的权重,提高了文档内容的检索速度。     

基于HCM的可扩展路由器体系结构MER

本文提出了基于层次化协同模型的多维可扩展路由器MER。参考Open Router路由器模型,利用层次化协同模型实现了独立于数据层的控制平台CSP,奠定了开放控制的基础;基于功能插件和抽象插件构造了基于插件的路由器抽象层PRA,分离了控制与转发平面,支持路由器转发平面功能的动态扩展;并举例说明了MER中高效的网络应用控制路由选择机制,体现了直接控制原理,有助于设计更为复杂的控制策略。模拟结果表明,MER具有良好的扩展性,支持网络应用直接控制,为控制平面智能化奠定基础。     

基于复合混沌动力系统的图像加密算法设计

本文通过对部分数字化混沌图像加密算法的分析研究,设计了一个基于复合离散混沌动力系统的对称图像加密算法。该对称图像加密算法充分利用混沌变化的特性,以Logistic映射和Chebyshev映射生成的混沌序列为初始序列,结合对图像的切割、拉伸、折叠变换,充分打乱图像像素间的相关性,使得针对这两个混沌映射的现有分析方法不再有效,并且可以实现较高的加密速度。实验结果证明了算法的有效性和计算速度。     

模糊自适应遗传算法

针对标准遗传算法在实际应用中存在的早熟问题,设计了标准遗传算法的一种改进形式--模糊自适应遗传算法.该算法是利用种群的方差和熵来衡量种群多样性,并根据每代种群的方差和熵设计模糊推理系统来自适应控制交叉概率和变异概率.通过多峰函数优化问题的仿真实验,表明了该模糊自适应遗传算法的可行性和有效性.