流量计算机检定测试方法的探讨

目前，国内外在对流量计算机检定测试方面的相关资料还未见到，但我国海洋石油及陆地油田的原油天然气及轻烃贸易结算及计量交接时，已相继采用流量计算机来采集流量计及相关的温度压力和密度等参数，通过相应的转换处理，按照有关的规程规范进行数据分析处理，计算出相应介质的流量计量数据，     

肝硬化并发自发性腹膜炎31例临床分析

目的探讨肝硬化并发自发性腹膜炎(SBP)的发病情况、诊断及预后。方法:对我院2005年1月—2007年7月住院的31例肝硬化并发SBP的临床资料进行回顾性分析。结果:肝硬化并发SBP的发生率为11.92%。临床上主要选用头孢三代及喹诺酮类,31例中,治愈17例(54.84%),好转10例(32.26%),死亡4例(12.90%)。结论:肝硬化并发SBP临床表现具有复杂、多样、不典型等特点,临床诊断应结合腹水常规检查、腹水培养、外周血常规检查等综合考虑,全面分析,以利于早确诊,早治疗。     

临汾市淤地坝建设的实践与思考

对临汾市淤地坝建设的经验作了认真总结，从工程建设的“四坚持”，工程实施抓“四制度”，工程管护“一田三专”，工程效益“四效”并举等方面介绍了临汾市淤地坝建设的基本做法，并从淤地坝建设有利于水土保持、防洪减灾、脱贫致富和退耕还林等方面谈了体会。     

别拿“敲诈病毒”不当回事儿

“昨天我上了个网站,今天开机后弹出一个窗口,说我的数据被锁定了,如果需要恢复,就汇款到一个指定的账户。”山东读者王先生急匆匆地对记者说。作为一家民营企业的老总,电脑里存储着数千兆的资料和数据,一旦丢失后果不堪设想。王先生所见到的窗口是一个名叫DataProtect的软件。无独有偶,在广州警方刚破获的一起计算机犯罪中,犯罪分子的手法与山东王先生的描述非常类似。很清晰的犯罪手段,警方却用了1个月左右时间才侦破其中一起,这又是为什么呢?     

7,500T/年涤纶短纤维技改项目通过鉴定

国家“六五”规划中第一批小化纤更新改造重点措施项目一年产 7,500吨涤纶短纤维技改项目,经过六个多月的试生产于11月13日在无锡合成纤维厂通过纺织工业部鉴定。 该项目被列为八四年度第一批引进技术改造现有企业项目及国家经委涤纶短纤维工艺技术及设备的新技术开发项目。这条涤纶短纤维生产线吸取了我国在八十年代初引进的日本东洋纺生产线的特点,采用了日本钟     

电厂可以从煤灰中获取经济效益

为了将被人们视为废料的煤灰变成有用的产品，美国新英格兰电力公司和马塞诸赛州尼德海姆市分离技术有限公司联合，设计一种能将煤灰分离并充分利用、变废为宝的装置，使煤灰成为碳黑和水泥的替代物。     

秦皇岛本地电话网的调整

本文介绍秦皇岛本地电话网的调整原则，包括局所建设原则，交换网组网原则；提出本地电话网的调整方案和过渡措施，以及新建局交换机的选型要求。     

集输系统效能与技改评价软件的研制与应用

油气集输系统流程多样、设备多、系统复杂。为了对油气集输系统的用能状况进行评价并为工艺和设备改造提供依据,开发了集输系统效能与技改评价软件。软件在集输管网、站内流程工艺计算的基础上,可对集输系统的用能状况进行评价,并给出不同技改方案的技术比较及敏感性分析。利用该软件对胜利油田不同的集输系统进行了计算,结果表明软件具有用户界面友好、适应性强、计算快捷、准确等优点。     

基于重写技术的自动定理证明

重写技术是处理等式理论的一种有效方法,它已成功地应用到带等词的一阶谓词逻辑中定理的自动证明。本文介绍基于重写的定理证明方法的基本思想,以及几种具体的证明技术,最后将这类方法与经典的归结证明方法加以比较。