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

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

锁磷剂Phoslock除磷试验研究

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

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

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

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

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

基于伪并行遗传算法的聚类分析方法

针对传统的基于聚类准则的聚类算法初始化敏感和容易陷入局部极值的问题,设计了一种新的基于伪并行遗传算法的聚类方法.采用实数编码方式对每个样本所属的类别进行编码,通过空类的识别和修复来修正不舍法的染色体.在引入离散随机变异算子和优化方向变异算子的基础上,结合迁移策略和插入策略,达到兼顾局部收敛速度和全局收敛性能的目的.与K-均值算法对比仿真实验,表明了这种基于伪并行遗传算法的聚类新方法的可行性和有效性.     

Kerberos身份认证在中间件Tuxedo中的应用

首先对Kerberos网络身份认证协议进行简单的介绍,然后对Kerberos插件的特征和预配置进行具体的阐述,最后对Kerberos插件在中间件Tuxedo中的配置进行详细的论述.     

基于Eclipse RCP的曲柄滑块机构运动仿真系统研究

采用Eclipse RCP和SWT,利用Java语言采用面向对象的设计方法,以曲柄滑块机构的运动仿真为例,实现了仿真建模、仿真系统设计、仿真结果输出和仿真数据采集等功能,从而为独立的和跨平台应用的仿真系统设计与实现提供一种高效、快捷的方法。     

基于组织结构的纺织品各向异性建模方法

纺织面料的物理仿真将虚拟现实与纺织CAD相结合,是虚拟服装与试衣系统研究的一项关键技术,纺织品建模也是纺织品真实感模拟的基础及关键工作.在基于物理的粒子系统的基础上,提出各向异性的建模方式.根据织物面料的不同组织方式进行分析,对其进行经纬方向的分离建模.仿真过程分为初始过程的刚性物体模拟和接近平衡时的柔性物质模拟两大步骤.为了在产生逼真表现效果的同时兼顾计算复杂性,构模时引入多分辨率模型.     

工业机器人的定位系统设计

为了使工业机器人能快速准确地对不同形状、不同高度的工件进行识别、定位、抓取和装配,采用PLC、智能相机、生产线和工业机器人搭建了基于机器视觉的工业机器人定位装配系统。利用智能相机多特征视觉定位方法,编写程序实现工业机器人对随机放置的不同形状、不同高度的工件进行识别、定位和抓取,并通过设计二次定位机构,实现对工件的精确装配。实验测试结果表明,该系统定位准确可靠,精度满足社会生产需要,具有重要的现实意义。