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

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

拓展目标杂波概率假设密度估计

针对拓展目标概率假设密度滤波器中的未知杂波概率假设密度,提出了杂波概率假设密度估计算法。算法利用有限混合模型极大后验估计杂波概率假设密度,取混合权重的熵分布作为混合参数的先验分布;在渐进假设条件下,利用拉格朗日乘子推导了混合权重的递进估计公式;在混合权重递进估计过程中,通过混合权重置零操作来实现对有限混合模型中混合分量的删减。以二维场景为例对算法进行了仿真实验,结果表明:在拓展目标概率假设密度滤波器高斯混合实现的框架内,所提杂波概率假设密度估计算法的跟踪性能接近真实杂波概率假设密度时的跟踪性能。     

结合模糊C均值聚类和边缘检测算法的彩色图像分割

图像分割是计算机视觉的最核心技术之一,是图像处理到图像分析的关键步骤.深入研究了C均值聚类分割算法,该算法已广泛应用于彩色图像分割领域,在真实彩色图像分割中,由于C均值的初始化对分割效果有很大影响,故对C均值分割算法进行改进.然后引入边缘检测算法以及RGB彩色模型,对边缘检测算子Roberts、Sobel算子和Prewitt算子进行了研究,对Sobel算子进行改进,对模糊聚类算法的分割结果进行进一步处理,通过在合成图像上及大量真实自然彩色图像上进行实验,结果证明通过C均值聚类和边缘检测算法相结合,能够有效提高分割结果的准确性.最后对彩色图像分割技术将来的发展方向进行了展望.     

柴达木盆地西南区古近系浅水三角洲形成条件及砂体特征

柴达木盆地西南区古近纪沉积时期古构造平缓,具备"盆浅湖阔"的古地貌特征;古气候以干旱到半干旱为主,母源区物理风化强烈,为大型浅水三角洲的沉积提供了充足的物质基础;同时,古水深约在10 m以内,相对湖平面变化相当频繁,水体来回动荡,说明柴西南区在古近纪具有发育浅水三角洲沉积的古地理环境。总体岩性以中—细砂岩、粉砂岩、砾岩和含砾砂岩夹棕红色泥岩为主,粒度概率曲线多呈现两段式的特征,具有丰富的反映强水动力成因的沉积构造和生物遗迹化石。依据气候变化、相对湖平面变化和物源供给等方面的耦合关系,可以将研究区古近纪浅水三角洲砂体形态分为树枝状、坨状和席状3种,大致对应于下干柴沟组下段、下干柴沟上段和上干柴沟组的砂体形态特征。砂体的分布主要受七个泉、红柳泉、阿拉尔、昆北和XI号共5条规模较大的断裂坡折带及其派生的挠曲坡折带的影响,并将断裂坡折带分为逆源型和顺源型2种,在此基础上建立柴西南区古近纪构造坡折带控砂模式。     

大远煤业煤层底板奥灰突水危险性评价

煤层底板奥灰岩溶裂隙水是山西大远煤业有限公司主要水害类型之一,本文以大远煤业现主采煤层2#为例,结合井田钻孔资料分析了2#煤底板奥灰水压、奥灰水位、奥灰顶部相对隔水层厚度等因素。计算了突水系数,绘制底板承受的奥灰水压等值线图、隔水层厚度等值线图、奥灰含水层突水系数等值线图。用突水系数方法评价矿井突水危险性,并划分了井田带压开采安全区、相对安全区、相对危险区和危险区危险性分区。根据分区、突水危险性等具体条件,提出防治水建议。     

科技资源区域集聚效应与创新效率研究

利用全国31个省市的科技产业数据,采用区位熵来研究科技产业的集聚效应,并构造综合因子得分来描述地区科技产业的创新效率。相关性分析表明,两者之间具有正相关关系。最后提出相关对策建议,以期为各省市开展科技产业的创新研究、实现创新效率提高、促成科技与经济的高度融合提供理论与实际支持。     

《刘岱墓志铭》述略

刘岱墓志出土已逾40年,保存完整,清晰可辨,在历史、书法艺术等方面具有重要价值。     

进口干红葡萄酒的感官质量与价位的关联分析

感官量化分析进口干红葡萄酒的感官特征,旨在筛选影响中国市场上不同价位进口干红葡萄酒产品的感官特征.实验采集上海葡萄酒市场上价格为100～ 600元且销量较好的9款进口干红葡萄酒样品,进行感官量化品评.品评小组由30名经过葡萄酒风味标准物质训练的学生组成,感官分析过程中要求其对所感知的感官特征用5点标度法进行量化,某一特征的最终量化值是词汇使用频率和强度率的几何平均数.量化数据的主成分分析(PCA)筛选出23种对葡萄酒感官质量贡献显著的感官特征,偏最小二乘回归(PLSR)用12种感官特征拟合出供试酒样的整体质量.结果表明,在100 ～600元价位的进口干红葡萄酒在感官特征上表现出差异,其整体质量与价格正相关,可用部分感官特征回归拟合葡萄酒的整体质量.     

Fe--Sialon复合材料中 Fe3 Si 合成热力学分析及实验验证

对淤泥沙原料中Fe3 O4及其中间产物FeO和Fe可能参与的反应进行了热力学分析。结合绘制的不同CO分压下Fe-Si体系在C和SiO2过量下的优势区相图及Fe-O-N体系热力学参数状态图,得出体系中Fe元素最终以Fe3 Si形式存在,为淤泥沙合成O′-Sialon-SiC-Fe3 Si (即Fe-Sialon)复合材料提供了热力学理论依据。在热力学分析的基础上,以淤泥沙为主要原料,采用碳热还原氮化法制备了Fe-Sialon复合材料,并借助X射线衍射仪和扫描电子显微镜对烧结体的物相和显微形貌进行了表征,得出产物的主晶相为O′-Sialon,还含有少量的SiC和Fe3 Si相,晶粒呈现为纤维状、絮状或短柱状,与热力学分析结果( Fe元素最终以Fe3 Si存在)吻合。     

硅基钻井液滤饼的清洗技术

利用自行设计制作的试验装置和评价滤饼清洗效果的方法,创造性地研究出一种适合硅基钻井液滤饼的碱性氧化型清洗液配方,并确定了清洗工艺参数,通过旋转挂片法和X线光电子能谱仪(XPS)分析研究了该清洗液对A3钢的腐蚀速度及腐蚀机制,最后评价了清洗液对泥浆损害后岩心渗透率的影响。结果表明:在清洗时间60min、流速0.31 m/s条件下,使用所选清洗液滤饼质量损失率达到93.45%;清洗过程中温度增加,滤饼质量损失率提高;A3试片在清洗液中腐蚀6 h后形成钝化膜,起保护作用,因此该清洗液可直接使用,不需要添加缓蚀剂;该清洗液可使污染后岩心渗透率改善值达900.13%。