造气炉掺烧（或改烧）高硫煤的建议

简要介绍我国化肥生产、进口及市场情况，提出来用高硫煤造气可明显降低生产成本，并分析了实施这一项目的可行性、经济效益及改造要点。     

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.     

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率。理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减。与传统方法相比,它具有速度更快、自动化程度更高等优点。     

造气炉掺烧（或改烧）高硫煤的建议

简要介绍了我国化肥生产、化肥进口及化肥市场情况，提出了采用高硫煤造气可明显降低生产成本的观点，并分析了实施这一项目的可行性、经济效益及改造要点。