喷雾—锥形沸腾床干燥氢氧化镁的试验研究

将氢氧化钙溶液与盐卤综合利用中制溴母液里的氯化镁在一定条件下反应,并经真空叶式过滤机过滤后,便得到含水为86.4～91.4%的不能流动的氢氧化镁滤饼。该滤饼经剧烈搅动后,可用泵或气动输送。我们利用这一性能,选择了喷雾——锥形沸腾床作为干燥设备进行研究。在利用外厂小型试验设备作了有限的试验并取得初步成效基础上,根据相似论原理,以锥底气速为单值条件,放大设计了本装置。     

用C ++ Builder 4调用专家系统工具CLIPS 6实现故障诊断

本文通过某飞行器地面设备故障诊断专家系统ＥＧＦＦ的实现,讨论了如何将ＣＬＩＰＳ嵌入Ｃ＾＋＋Ｂｕｉｌｄｅｒ４．０,如何给ＣＬＩＰＳ添加外部函数以及参数的传递和返回,如何在ＣＢ中将ＣＬＩＰＳ的诊断过程反映出来,如何添加ＣＬＩＰＳ的事件驱动程序,如何将故障现象及时反馈给专家系统并利用专家系统进行故障诊断,从而得出相应的诊断结果等一系列技术的实现。     

基于改进投票专家算法的专有协议模糊测试方法

为了解决由于专有协议的广泛应用给模糊测试带来的严峻挑战,提出了一种将协议逆向工程和模糊测试相结合的专有协议模糊测试方法。并针对现有协议关键字提取算法n-gram将报文划分成等长子序列,造成关键字提取不够精确的弊端,提出基于有损计数算法改进的投票专家算法,为专有协议的逆向过程提供更加精准的协议关键字划分。对改进的投票专家算法和报文格式的逆向过程进行了详细说明。最后从准确提取关键字信息、协议逆向效果和对目标进行模糊测试三个方面对提出的方法进行了实验分析。并且,讨论了该方法存在的不足及未来的研究方向。