锁磷剂Phoslock除磷试验研究

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

APP戒烟手册

老师：“吃根薯条吧！”同学：“谢谢,我不会。”     

Study-C单片机电路原理解析(上)

Study51系列学习板进入市场后经久不衰、深受用户喜爱,因为板载资源丰富并有系列文章、实验程序、源代码为用户配套,通过学习和掌握各个基本模块电路并编写相应的程序,用户不仅能够很快的熟悉并掌握51单片机的内部资源,而且能很容易地掌握单片机外围电路设计和软件编程技术.从而可以在短时间内设计出属于自己的单片机控制电路,编写出属于自己的有创意的实用程序.甚至学习板上的电路示例通过少量改动或无需改动就可以将它们应用到实际开发中,从而减少研发时间、加速研发进程.     

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

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

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

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

蚁群算法和遗传算法融合及其在有时问窗的车辆路径问题中的应用

针对基本蚁群算法搜索时间长、易陷入局部最优的缺点,提出了一种蚁群算法和遗传算法相融合的混合算法。该算法利用遗传算法全局快速收敛的优点,将遗传算法融入到蚁群算法的每一次迭代中,以加快算法的收敛速度,提高求解效率。实例运行结果验证了算法的有效性。     

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

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

二氧化碳检测仪

空气中的二氧化碳不易被人发现,人们常常忽略它的浓度。二氧化碳过高会导致身体不适,甚至生命危险。《二氧化碳检测仪》介绍了可以对空气中二氧化碳浓度进行检测的仪器,这种仪器通过单片机对浓度指标进行检测,在超过限定值时,触发报警或通风系统,确保空气中的二氧化碳浓度在安全指标内。     

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

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

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

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