基于上下文定界的Fork/Join并行性的并发程序可达性分析

随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。     

超细粉磨系统的改造及其应用

机立窑关停后,在原有设施的基础上对磨机工艺参数、分选、收集、存储、计量、输送等设备进行技术改造,生产可同时满足水泥或混凝土的超细矿物掺合料,产品具有优良性能,应用范围广泛。     

水泥中工业废渣掺兑比例的快速计算

水泥企业为保护环境、降低生产成本,在工业废渣的综合利用上做了大量工作,取得了显著的经济效益和社会效益。部分企业经过税务部门审查认可,享受了国家的免税政策。但由于水泥生产工艺的多样性,工业废渣在水泥中掺兑比例计算繁琐、费时。笔者对工业废渣掺兑比例计算方法进行了简化,以期为企业和税务部门提供便利。