基于锁集合算法的增强型数据竞争检测方法

针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.     

于锁集合算法的增强型数据竞争检测方法

针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.     

混合染料的相互作用机理研究

利用模拟混合染料废水,分析了阳离子蓝FGL与酸性、活性、直接、阳离子、分散5种染料混合后的颜色变化机理和染料之间的作用。结果表明:阳离子蓝FGL基本上能与含磺酸基的酸性、活性和直接染料按电荷摩尔比发生作用,与同类的染料不会发生反应,与分散橙SE-B也会通过库仑力发生反应。混合液的色度在有沉淀生成时会变小,这样将节约废水处理的成本。     

基于Kalman滤波预测主动段卫星测控信号质量的方法

通过建立卫星运动学模型,采用kalnmn滤波算法得到主动段卫星飞行弹道的最优估计以及卫星飞行姿态变化情况,利用其与卫星天线辐射方向图的对应关系,修正星地理论接收电平,最终实现主动段卫星姿态变化情;兄下,星地测控信号质量的预测,为地面决策指挥提『盐科学的信息支持。     

O3/H2O2协同氧化处理焦化废水中的残余有机物

针对已经达标的焦化废水中存在的残余有机物,考察O3/H2O2氧化工艺的有效性并期望实现工业循环水水质目标的工艺条件。以实际达标排放的焦化废水水样作为研究对象,在自行设计的圆柱形鼓泡反应器中建立了O3与H2O2协同氧化反应体系,通过试验明确了O3浓度、H2O2投加量、溶液pH值、自由基抑制剂等因素对有机物降解的影响规律。结果表明：在水温为25 ℃时、水样pH值为7.0、臭氧浓度为11.01 mg/L、H2O2浓度为1.0 mmol/L的条件下,反应30 min后O3/H2O2氧化工艺对COD和UV254的去除率分别达到78.1%和83.7%,相比单独O3氧化分别提高了14.3%和4.1%,达到了良好的处理效果。pH值的变化及TBA的添加能很大程度地影响着·OH的生成从而影响氧化反应的进行,表明了复杂组分共存的废水其氧化反应顺序由有机物的不饱和性及氧化剂的氧化还原电位决定。     

微小型航天器无角速度测量姿态控制

研究微小型航天器姿态跟踪在角速度不可测量以及控制力矩受限情况下的的控制方法。首先基于无源性原理,仪依赖姿态测量,建立一个类似PD控制的方法。为了让初始状态和角度误差始终在合理的控制范围内,对误差函数加入跳变规则,从而获得一种混合控制方法;然后利用Lyapunov原理证明了闭环系统的全局渐进稳定性;最后通过仿真与已有方法进行比较研究,验证了控制方法的有效性,即使初始速度估计误差和初始角度误差很大,依然可以控制。