排序方式: 共有28条查询结果,搜索用时 15 毫秒
1.
2.
OCCAM是基于C·A·R HOARE提出的CSP(Communicating SequentialProcess)语言模型而设计的一种小巧的并发程序设计语言。它的特点是语言简洁、程序结构化及并发描述能力强等。OCCAM允许用户定义成组的多个并发进程以及它们之间的同步通信通道(Channel),适用于对高度并发系统的模拟仿真以及各种实时系统的控制。也适于用作高级并发语言的教材。本文扼要地说明OCCAM的语法及相应语义,并用实例分析其通信机制。OCCAM语言在国际上已受到日益广泛的注意和称赞,在分布式系统的模拟上,OCCAM也是很有价值的。 相似文献
3.
4.
氯碱生产装置中氯气干燥处理工序是氯碱生产的重要生产工序,特别是水除雾器及硫酸除雾器,其除雾效果的好坏,将直接影响氯气的含水率,同时除雾器阻力的大小也影响整个氯气工序的氯气处理能力。目前大多数氯碱企业均采用以玻璃棉为滤芯的纤维除雾器,且玻璃棉大多是在市场上采购的。我厂自1993年进行10万吨隔膜碱扩建后,为确保水除雾器及硫酸除雾器的使用效果,开始致力于研究自制经过特殊浸渍工艺处理的超细级玻璃棉滤芯,并严格控制玻璃棉装填质量,同时对除雾器的结构进行了改进。1 超细级玻璃棉在我厂的应用在1993年我厂进行的年产10万吨隔膜… 相似文献
5.
随着中国体育事业的蓬勃发展,体育文化的消费需求正在迅速增长和多样化,体育场馆建设不仅要满足城市体育设施配置的指标要求,又要遵循集约用地原则。对于大中城市中心城区的体育建筑发展和改造来说,体育场馆多功能设计已经是必然趋势,而场馆空间的竖向叠加设计则是行之有效的设计手法。该文阐述了体育场馆空间竖向叠加的理念及方法、应用中的技术难点要点和设计效果上积极作用,并通过上海静安游泳馆、上海徐汇游泳馆的工程实践,宁海新体育中心、闸北新体育中心的概念方案设计来论证竖向叠加设计方法的可行性和有效性。 相似文献
6.
7.
8.
<正> 结冷胶是美国Kelco公司通过数年的努力从上万株微生物中筛选出一株假单胞菌(Pseudomonas elodea)在通气发酵的条件下生产的一种分泌在细胞外的微生物多糖。1990年通过美国FDA批准作为食品添加剂;1988年日本也批准其作为食品添加剂。我国于1998年批准结冷胶作为食品添加剂,目前国内尚无工厂生产。国际市场结冷胶价格昂贵,每吨售价高达数十万元,高额利润吸引各国都在研究。 相似文献
9.
搅拌型酸奶常见感官缺陷的原因及控制 总被引:1,自引:0,他引:1
对搅拌型酸奶常见感官缺陷进行分析和回溯,并根据生产实践经验,通过生产过程的控制,其得以预防和消除。 相似文献
10.