Formalization of P Systems by Maude

IntroductionRewriting logic[1]was introduced as a unifiedmodel of concurrency which provides a formal com-mon framework of well-known models of concur-rent systems.It is shown that rewriting logic as alogical and semantic framework to represent manyother logics,in a natural and direct way.In gener-al,every formal system has two parts:1 formulasor proof-theoretic structures, which call be pre-sented as terms in an order-sorted equational datatype whose equations express structural axiomsnatural…     

立式筒袋泵在海洋石油平台的应用

离心泵因其性能范围广泛,流量均匀、结构简单、运装可靠、对故障的相对低的敏感性和维修方便等诸多优点,在海上石油领域得到了广泛应用。但是因离心泵对汽蚀的敏感,使得在输送高温介质或入口压力较低的工况下出现很大困难。针对汽蚀产生的原因列举了一系列解决措施,并对其中的立式筒袋泵进行了详尽描述。     

长江口海域波浪场模拟研究

采用MIKE21 SW波浪谱模型对长江口海域在凤凰台风期间的波浪场进行了模拟计算,考虑了水位和流速的影响,模拟结果和实测吻合较好,能够反映长江口海域的波浪分布。结果显示出水位对波高的影响是比较明显的,高水位条件下深水航道两侧和坝田区波高达到1 m以上,为泥沙的再悬浮提供了动力。     

输气管道内检测器模型试验系统的设计

管道内检测器是用来检测油气管道内部缺陷的智能检测系统。为了研究内检测器在输气管道内的运移规律,按照相似理论设计了输气管道内检测器的模型试验系统,包括系统的工作原理、外形结构,试验管道、气源装置和传感器的选择,以及基于VB的试验监测采集系统。试验系统成功应用于管道内检测器的模型试验,可有效采集模型的位移和输气压力的变化,为长输天然气管道内检测器的研制增加了一种有效的试验手段。     

IETM在舰船级维修PMA中的应用

为了进一步提高舰船级维修能力,探讨了将交互式电子技术手册IETM(Interactive ElectronicTechnical Manual)技术应用于舰船级维修中的便携式维修辅助PMA(Portable Maintenance Aids)设备的方法,研究了其潜在优势。提出了IETM与PMA在舰船综合保障系统SILSs(Ship Integrated Logis-tics Support Systems)中结合应用首先需要解决的问题是功能增值问题。     

雅天大厦转换层施工技术

主要介绍高层建筑结构转换层施工的模板支撑与荷载传递、钢筋的连接与绑扎和混凝土浇筑等施工技术措施.     

基于遗传算法的二维QR码图像识别

基元识别是二维码图像识别中的一个关键问题,提出了基于遗传算法的QR码识别方法.首先建立QR码待识别模式模型,据此进行遗传算法,通过实例进行图像识别.该方法抓住了QR码基元的重要特征,利用改进遗传算法,可以提高QR码图像的识别效率.     

影响区域供电可靠性的常见问题及解决措施

对影响区域供电可靠性的常见问题和原因进行分析,提出减少停电时间及提高区域供电可靠性的措施。     

基于流固耦合超大规模地下车站环境影响分析

以京张城际铁路八达岭超大规模地下车站修建为例,依据工程区水文地质特征、水压致裂原地应力测量结果,利用有限差分软件FLAC3D建立三维渗流应力耦合模型,采用全封堵、全排水、非耦合、注浆限排4种方案进行数值模拟.结合理论分析,着重研究在饱水状况下八达岭车站修建前后的渗流场变化、涌水量、围岩变形和地表沉降等环境影响负效应因子,对因地下车站修建环境影响效应的显著性、空间分布特征和长期效应进行评价.模拟计算结果对于裂隙发育、富水地层地下工程尤其自然风景区大型地下洞室防排水设计和施工具有指导意义.     

长大纵坡段路面线形设计及安全性评价

通过对青兰高速公路事故多发路段的分析,从运行安全性角度对长大纵坡的安全性进行评价,从路线设计角度提出项目改造方案,并与原公路线形进行对比,为长大纵坡公路线形设计提供指导。