从命题时态逻辑产生上下文无关文法

线性命题时态逻辑能描述有限状态系统的无限行为。这种行为能用上下文无关文法准确地描述。根据该文法，可以构造一个满足时态逻辑公式的Ｋｒｉｐｋｅ结构。本文给出构造对应于命题时态逻辑公式的上下文无关文法及由该文法构造Ｋｒｉｐｋｅ结构的方法。     

提高混合脱水效率避免转化器腐蚀

目前国内用电石法生产氯乙烯,采用氯化氢和乙烯两种原料气体混合脱水,使原料气中所含的水份达到工艺要求。但是到目前还有不同的表现,我们厂的转化器列管上端从来不腐蚀。预热器是碳钢的,最长使用寿命三年多。如果能进一步提高脱水效率对降低成本,挖掘潜力,减少投资尤其避免转化器的管端腐蚀是有益的。为此,我们对原料气中蒸气冷凝和气液分离两部分及其它部分采取了有效措施。     

祁连山不同森林植被类型对土壤微生物影响的研究

通过研究不同植被类型下土壤微生物区系、土壤酶活性和土壤生化作用强度,分析了祁连山不同森林植被类型土壤微生物的数量变化、垂直分布、土壤呼吸强度和纤维素分解能力等的变化规律和特征。     

淮河流域水污染治理与南水北调东线工程

国务院和山东省对淮河流域水污染治理提出了一系列措施，从中可以看到淮河水污染问题能够得到治理的希望。治理了水污染，排除了南水北调东线工程实施的障碍，而南水北调东线工程的实施，又促进了淮河水污染的治理。     

移动用户的流媒体多播服务

随着笔记本电脑在体积、重量和性能方面的不断改进，越来越多的人加入了移动办公的行列。他们希望能像台式用户一样，接入网络共享资源和服务，其中包括有线网络中应用很多的流媒体服务，比如视频会议、影视点播等。而当需要将一个节点的流媒体内容传送到多个移动节点时，最好的方式就是使用多播。在这种需求的推动下，把流媒体多播应用在移动用户中将在不久的未来变成现实。     

淬灭剂在可记录光盘生产中的应用

近年来,光盘存储技术蓬勃发展,CD-R光盘,DVD-R光盘应用越来越广泛,蓝光光盘的商品化也已提上日程。在各类可记录光盘中,有机染料作为光盘中的记录介质占有很重要的地位。目前用作光盘记录介质的有机染料种类较多,各有优缺点。其中,花菁染料、四方酸染料和苯乙烯染料具有较高的吸收率、反射率和载噪比,其缺点是光稳定性差,光照后易被单线态氧所氧化。然而,光盘必须有大于十年的工作寿命。因此,在实际应用中要添加单线态氧淬灭剂来抑制染料的光降解反应,提高染料的光稳定性。一.淬灭剂的主要类型单线态氧淬灭剂种类较多,淬灭效果较好的主要有