一种结合CCgscore算法的SMT求解技术

提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.     

粗大柱状晶纯镍热变形流变应力行为及加工图

采用Gleeble-3500热模拟机,在变形温度为950~1 150℃、应变速率为0.001~10s-1的条件下,研究了粗大柱状晶粒纯镍的热变形行为和加工图.结果表明:热压缩过程中流变应力随应变速率增大而增大,随变形温度降低而增大.流变应力与应变速率、变形温度之间的关系用Zener-Hollomon参数来描述,热变形激活能为312.4kJ/mol.基于动态材料模型(DMM)热加工图及结合合金相显微组织分析,得到纯镍较优的热加工参数:变形温度为1 060~1 120℃,应变速率为0.03~0.20s-1的蛋形区域.     

衣康酸酐与L-丙交酯共聚物的制备与性能研究

以衣康酸酐(IAn)和L-丙交酯(LLA)为单体、辛酸亚锡为催化剂,采用熔融开环聚合的方法合成一种新型的生物基聚乳酸共聚物(IAn-PLLA).用1 H-NMR、GPC、DSC、TGA、XRD、水降解测试表征共聚物的结构与性能.1 H-NMR结果表明,合成的共聚物为预期产物;DSC和TGA分析表明,随着IAn摩尔比增大,IAnPLLA的熔点和玻璃化转变温度降低,但仍有较好的热稳定性;磷酸盐缓冲溶液(pH=7.4)中的降解测试结果表明,随着衣康酸酐含量的增加,共聚酯的降解速率显著提高.     

层序地层学在秦南凹陷东南斜坡隐蔽油气藏勘探中的应用

探讨隐蔽油气藏在层序格架内的展布规律及预测方法。在层序地层学理论指导下,综合运用钻井、测井以及地震资料,对渤海秦南凹陷东南斜坡区古近系东营组层序地层特征进行了精细研究,把东营组划分为3个Ⅲ级层序:东三、东二和东一层序,并建立东三层序的沉积模型,总结了隐蔽油气藏成藏模式。研究结果表明:在东三层序晚期水体下降,物源供给充足,储层十分发育并且分布范围广,与东二层序稳定分布的泥岩相配合可形成大规模的地层油气藏;早期水体逐渐上升,可形成超覆尖灭岩性油气藏。东二层序厚层泥岩之下,受湖平面变化控制的砂体展布特征和油气输导条件是隐蔽油气藏的成藏主控因素。秦南凹陷隐蔽油气藏勘探潜力巨大。     

多岩性信息融合在砂泥岩孔隙度预测中的应用

储层孔隙度是表征储油物性、建立各类地质模型的重要参数。支持向量回归机(SVR)凭借良好的非线性回归能力,在孔隙度预测中开始广泛应用。由于不同岩性的储层孔隙类型不同,孔隙度结构也存在较大差异,导致该方法的实际应用效果仍不理想。针对上述问题,在孔隙度预测模型中考虑了岩性信息,将样本岩性转化为一种与岩性变化相关性好的属性值,以此构造一种新的预测模型。使用网格粗选和网格精选相结合的方法,优选模型参数。网格粗选确定最优解的近似范围,网格精选可以在局部区间搜索到最优解。结果表明:利用优选参数建立的预测模型,在实际资料预测结果中,加入岩性信息可以提高储层孔隙度的预测精度,该方法可行。     

基于微分变分不等式的再制造闭环供应链网络动态模型

针对一段时间内具有再制造的闭环供应链网络的博弈均衡状态问题,首先利用博弈理论,构建了具有多制造商(再制造商)及多零售商(回收商)的再制造闭环供应链网络动态模型,制造商(再制造商)及零售商(回收商)之间从事微分Nash博弈.然后,利用微分变分不等式的方法得到了制造商(再制造商),零售商(回收商)及整个闭环供应链网络的均衡条件.进而,在正则条件下分析了闭环供应链网络动态模型解的存在性条件.仿真算例验证了模型的合理性和有效性.     

薄层色谱法评价不同产地土茯苓的品质

【目的】建立评价土茯苓(Smilax glabra Roxb.)品质的薄层色谱分析方法。【方法】以有效成分落新妇苷为指标,以氯仿-甲醇-甲酸(4∶1∶0.05)展开系统,建立土茯苓的专属性薄层色谱,并评价10个不同产地土茯苓的品质。【结果】不同产地土茯苓药材在与对照色谱相应位置上,显示出相同颜色的荧光斑点,且斑点清晰,比移值(Rf)为0.41。【结论】薄层色谱法能够有效对土茯苓进行鉴别,且该方法简便、准确,具有较好的适应性。     

基于四象限法的跨声速压气机非设计点损失分析

基于流线曲率法发展了一种适用于跨声速压气机性能预测的高精度模型,对最小损失攻角及非设计点损失预测模型进行了修正.提出了一种非设计点损失分析方法——四象限法,结合该方法对跨声速压气机的损失构成进行了重新定义,对不同工况的损失特点开展了深入分析,在一定程度上揭示了跨声速压气机的损失分布和增长规律.采用新发展的模型对某高负荷跨声速转子进行了详细的计算,并与实验数据进行对比.结果表明,发展的性能预测模型和损失分析方法能够较为可靠地预测全流量工况下跨声速转子的总体性能与气动参数沿展向的分布,为跨声速压气机的特性预测提供了新的思路,具有较强的借鉴意义和工程实用价值.     

Ti-6Al-4V合金电弧熔丝增材的组织性能研究进展

Ti-6Al-4V钛合金具有密度低、高温下组织稳定、强度高的特点,被广泛应用于机翼翼梁、起落架支撑肋等航空工业关键零部件的制造。电弧熔丝增材技术研究始于20世纪80年代,该技术具有成型效率高、原材料利用率高、设备简单等优势。目前,学界对Ti-6Al-4V合金电弧熔丝增材技术开展了广泛研究并已取得一定成果。笔者综述了电弧熔丝增材制造技术的发展历史及研究热点,并整合了国内外Ti-6Al-4V合金电弧熔丝增材技术的最新研究及应用情况,对电弧熔丝增材制造Ti-6Al-4V合金的组织性能特性及调控工艺进行了总结与展望。     

考虑能耗优化的多目标原油短期调度问题研究

针对在原油管道运输过程中的能耗优化问题,该文提出了一个以最小化管道转运能耗、供油罐使用个数、蒸馏塔使用供油罐的切换次数、原油在供油罐和管道中的混合成本为目的的多目标优化模型.然后,针对原油短期调度问题的特点,提出了一种改进的交叉和变异算子.最后,该文对比分析了8种综合性能较好的多目标进化算法.实验结果表明:NSGA-III算法在求解该问题时的性能较优.与现有研究对比,该算法在减少调度过程中的能耗和原油混合成本方面具有显著效果.