四川盆地东部石炭系黄龙组白云岩成因

四川盆地东部石炭系黄龙组是重要的天然气产层,白云石化作用是优质储层发育的必要条件,白云石化成因类型研究对该区油气勘探具有重要意义。根据岩心和野外剖面观察与描述,结合薄片资料,认为区内黄龙组主要发育以下几种类型的白云岩:泥—微晶白云岩、粉—细晶白云岩和残余颗粒粉—细晶白云岩等,以及充填于孔、洞或缝中的白云石胶结物。结合X射线衍射分析数据和稳定同位素δ13C与δ18Ο资料,发现该区不同类型的白云岩以及白云石胶结物的形成条件和物性特征各异,分别用不同的成因模式来解释更为合理,在此基础上总结了黄龙组具有如下4种白云岩成因模式:泥—微晶白云岩的蒸发泵白云石化成岩模式、(残余颗粒)粉—细晶白云岩的埋藏压实白云石化成岩模式、淡水白云岩的调整白云石化成岩模式和异形白云岩的构造热液白云石化成岩模式。     

HDLC IP核的形式化验证

目前,高级数据链路控制(High-Level Data Link Control, HDLC)协议控制器在航天型号中依然应用广泛,通常以IP核的形式被集成在通信部件中。但是近年,多个经过仿真验证的HDLC IP核在航天型号运行过程中出现了触发概率极小的功能错误,导致数据帧丢失、通信功能失效甚至任务失败。在仅依靠仿真无法保证验证充分性的背景下,采用形式化验证方法进行功能验证。本文依据HDLC国际标准分析同步传输模式关键功能,将关键功能拆分为属性描述,并根据属性编写断言,从而建立HDLC协议同步传输模式关键功能用例集,并以正在航天型号中使用的某HDLC IP核为例,使用形式化验证工具进行验证实验,发现了此前从未发现的两处设计缺陷。针对这些设计缺陷,分析了其触发原理和可能造成的危害。     

储层不确定性建模研究进展

由于资料的不完备性及储层的非均质性,使得储层及其属性分布预测结果存在较大的不确定性。随机建模技术通过改变随机模拟路径并建立多个实现来刻画地质模型中的不确定性。储层不确定性建模是在随机建模的基础上发展起来的一项新技术,更加强调从数据获取、建模参数设置到模型响应各个阶段的不确定性表征与评价。 在大量文献调研的基础上,对储层建模过程中的不确定性来源进行了分类,对储层建模中的局部不确定性、空间不确定性和响应不确定性进行了系统的阐述,并提出了一些降低不确定性的方法。现阶段储层不确定性的研究主要集中在 2 个方面,即不确定性评价和如何降低不确定性,而针对不确定性建模方法的研究有待进一步加强。     

Follow ur Heart随心所动

当前,户外骑行已成为人们追求健康生活的一种潮流。然而,目前市面上非常普遍的变速自行车均是以手拨盘变速的形式存在。手动变速器在拥有很好稳定性的同时,也带来了一定的不便,而且其操作具有一定的门槛,在一定程度上局限了使用人群。因此我们希望通过"Follow ur Heart随心所动"这款创新作品带来变速自行车的一次革命。     

高通量测序技术在食醋涨壶微生物鉴定中的应用

利用高通量测序技术鉴定陈醋涨壶微生物菌群。提取陈醋样品中微生物元基因组,采用高通量测序并结合实时定量PCR检测技术对引起陈醋涨壶的微生物进行定性和定量检测。结果表明:陈醋中微生物以细菌为主,真菌为辅。16S r RNA V4区和ITS 1-2区的测序结果显示,与没有涨壶的陈醋样品相比,涨壶醋样中微生物数量增加了30倍,且主体菌群为厚壁菌门、广古菌门和变形菌门,其中厚壁菌门中的乳酸菌属占绝对优势。涨壶为多种微生物共同作用的结果,以芽孢杆菌为主。通过实时定量PCR对结果进行验证。以芽孢杆菌为主的多种产气微生物参与陈醋产品中气体的产生,最终导致产品贮存期的涨壶问题。     

原料肉贮藏时间对牛肉发酵香肠中微生物菌相变化和蛋白质降解的影响

采用传统微生物计数、高通量测序、凯氏定氮、高效液相色谱等方法,探究牛肉宰后0～4℃下不同贮藏时间(0、12、24、36?h)对发酵香肠加工过程中微生物菌相变化、蛋白质降解及其相关性的影响.结果显示,随着牛肉贮藏时间的延长,香肠中菌落总数、大肠菌群数、菌群多样性和丰富度以及蛋白质降解指标均呈上升趋势,总游离氨基酸含量呈下...     

顶空气相色谱法筛选低含量氰化物酿酒原料的研究

采用氯胺T将高粱中的氰化物衍生为氯化氰,利用顶空气相色谱法对不同高粱品种中的氰化物含量进行测定,建立了高粱原料中氰化物的检测方法。结果表明,该检测方法在氰化钾含量0～10 μg/g的线性范围内回归系数R2=0.998 5,平均回收率为95.8%,相对标准偏差值为4.2%（n=5）,检出限为0.11 μg/g（S/N=3）。而常用的蒸馏前处理方式会引起原料中氰化物含量的损失。不同高粱品种中氰化物含量有明显差异,证明了低含量氰化物粮食品种存在可筛选性。该方法可以准确、快速、灵敏的检测粮食中的氰化物含量,为酿酒原料的品质安全监控提供了技术支持。     

李家壕选煤厂智能加介系统研究

针对传统重介质添加过程智能化程度低、操作稳定性差、劳动强度大等弊端,李家壕选煤厂在充分利用现有的技术基础上对加介系统进行改造,针对介质堆的智能抓取与添加环节,设计并应用了介质堆表面识别与取介点智能定位系统,通过比较不同建模算法建立最佳的加介量预测模型与智能控制策略,开发出介质与水混合过程自动控制系统,探索了智能加介全过程。实现了加介量的精准统计,提高了选煤厂的智能化水平。     

适用于形式化验证的断言优化方法

在实际工业验证场景中,形式化验证的局限性主要体现在因为状态空间爆炸导致验证结果不明确。断言编码方式始终是直接影响到形式化验证结果的主要因素,而目前已有的断言优化方法并未以断言与状态空间大小的关系分析为基础。文中针对影响锥模型不能分析断言中时序关系对状态空间的影响的问题,提出长序列模型,分析形式化验证中断言与状态空间大小的定性关系。在此基础上,提出适用于形式化验证的断言优化方法,方法包含断言逻辑化简、辅助验证逻辑、参考模型和断言禁用条件,并以某商用HDLC IP核为例,对比优化前后的验证结果,证明优化的有效性。     

MCNP5模拟钴-60辐照装置产品吸收剂量的研究

根据某单位钴-60工业辐照装置的特点,以双板钴源源架中心为坐标原点,采用蒙特卡罗软件MCNP5建立更接近实际的辐照模型。模拟空气参考面的吸收剂量分布以验证排源方案。模拟计算不同对辐照箱(8对、16对、24对、48对)在不同悬挂链速度情况下单个辐照箱内产品的平均吸收剂量,并与实验测量值进行对比。结果表明,模拟值与实验测量值的平均相对偏差小于10%。MCNP5建立的辐照模型以及模拟计算结果具有很好的符合性并且可信,能反映辐照箱中产品的剂量分布情况,对实际工作和研究具有指导意义。