Mímir: An open-source semantic search framework for interactive information seeking and discovery

Semantic search is gradually establishing itself as the next generation search paradigm, which meets better a wider range of information needs, as compared to traditional full-text search. At the same time, however, expanding search towards document structure and external, formal knowledge sources (e.g. LOD resources) remains challenging, especially with respect to efficiency, usability, and scalability.This paper introduces Mímir—an open-source framework for integrated semantic search over text, document structure, linguistic annotations, and formal semantic knowledge. Mímir supports complex structural queries, as well as basic keyword search.Exploratory search and sense-making are supported through information visualisation interfaces, such as co-occurrence matrices and term clouds. There is also an interactive retrieval interface, where users can save, refine, and analyse the results of a semantic search over time. The more well-studied precision-oriented information seeking searches are also well supported.The generic and extensible nature of the Mímir platform is demonstrated through three different, real-world applications, one of which required indexing and search over tens of millions of documents and fifty to hundred times as many semantic annotations. Scaling up to over 150 million documents was also accomplished, via index federation and cloud-based deployment.     

天然气水合物和天然气脱水新工艺探讨

探讨了天然气水合物的发展过程、形成条件以及对天然气输送管道的腐蚀堵塞作用,对我国天然气脱水创新技术———膜法脱水、汽提脱水的原理与工艺过程进行了全面论述。考察了气体处理量及操作压力等对我国1.2×105m3/d天然气膜法脱水的工业试验装置的脱水过程的影响。     

Mass Transfer in a Flat Gas/Liquid Interface using non‐Newtonian Media

Gas/liquid mass transfer has been investigated using a stirred vessel gas/liquid contactor using non‐Newtonian media and carbon dioxide as absorbent and gas phase, respectively. The volumetric mass transfer coefficients at different operational variables have been determined. Non‐Newtonian media (liquid phase) were prepared as aqueous solutions of sodium carboxymethyl cellulose salt. The influence of the rheological properties, polymer concentration, stirring rate, and gas flow rate on mass transfer was studied for these liquid phases. Kinematic viscosity and density experimental data were used to calculate the average molecular weight corresponding to the polymer employed. The Ostwald model has been used to fit the rheological behavior of aqueous solutions of the polymer employed as absorbent phase. Reasonably good agreement was found between the predictions of the proposed models and the experimental data of mass transfer coefficients.     

川西新场气田JS_2~1气藏测井多参数评价方法

针对川西新场气田JS12气藏开展了多参数的综合评价研究,多参数包括储层参数、裂缝参数、储层分类厚度参数。首先,开展了储层参数及裂缝参数的计算,以岩心分析结果为依据,建立了孔隙度、渗透率、含水饱和度计算模型。利用铸体薄片进行了微裂缝识别,对样品的裂缝参数和测井曲线进行相关分析,建立了测井计算裂缝参数的数学模型;其次,对储层进行聚类分析,通过聚类将储层分为三类;最后,将计算的裂缝参数、储层分类中的Ⅰ类储层厚度、孔渗饱等参数进行正态化处理,拟和测试的无阻流量与这些参数建立多元回归计算模型,即综合含气指标的数学计算模型。以综合含气指标为主要依据,进行储层综合分类和评价,指出了有利的含气区域和可供挖潜井的建议。该方法在指导气藏开发中获得了良好效果。     

优化设计 确保干式气柜安全运行

稀油密封干式气柜普遍应用于钢铁企业储存煤气,而用于炼油厂储存瓦斯气也仅仅是近些年出现的现象,由于干式气柜自身特点所限,一些炼油企业在使用过程中出现一些问题,导致气柜不能安全、有效运行,重点介绍克拉玛依石化公司在干式气柜运用方面的一些经验和体会,希望给有关设计和生产单位提供参考。     

天然气井井筒及井口安全技术研究

天然气勘探开发具有高温、高压、高风险,安全技术及管理难度大等特点,通过实例分析天然气井存在的主要问题,提出应采取的关键安全技术及需要解决的问题。     

小块气藏早期动态特征综合评价

应用试井方法，提出一套比较切合实际的小块气藏动态特征综合评价方法，推导出水驱气藏水侵量的计算公式，编制了天然气高压物性参数计算和气藏稳产年限预测等程序软件。     

带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

�ҹ���Ȼ���۸����״���ĸ﷽���̽

当今世界各国执行的商品天然气定价原则主要包括完全成本原则、平均利润原则、长期边际成本定价原则、比价合理原则和供求平衡原则等。文章分析了我国天然气价格的演变历史及现状，说明了现行价格形成的制度原因。研究了天然气商品从生产到运输再到销售各环节的价格确定方法，以此为基础给出了一个即考虑天然气商品价值又考虑竞争和政府管制因素的天然气商品的定价公式。文章最后指出，在真正的、完全竞争的天然气市场建立之前，商品天然气的价格主要应按完全成本原则进行确定。