一种求解命题公式骨干集的警示传播算法

警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设计了一种求解命题公式骨干集的信息传播算法。当变元数目超过400时,与经典骨干集求解算法对比,效率提高了40%,与目前常用算法对比也有10%的提高。结果表明,所提算法求解命题公式骨干集时非常有效。     

竹塑复合材料在宁夏灌区末级渠系 衬砌中的应用研究

宁夏灌区末级渠系渠道衬砌率低,冻胀破坏和渗漏损失严重,灌区农业灌溉水利用系数仅为0.42。而且,灌区末级渠系的衬砌改造一直全部采用混凝土刚性材料进行防渗,存在的问题较多。为此,引进了技术先进、价格合理、适应性强的竹塑复合材料进行末级渠系衬砌,以改善灌区输水条件,延长衬砌工程使用寿命,实现水资源高效利用。本文从水力条件、节水效果、耕地占用、维修养护、施工速度等方面对传统混凝土渠道与竹塑复合材料衬砌渠道的特性进行了分析比较,并进行了相关综合经济效益评价。     

基于STM32的智能笔筒设计

针对现在流行笔筒功能单一、缺少互动、人性化程度低等问题,介绍了一种基于STM32单片机的智能笔筒的设计与实现方法。该设计将电子元素与古朴笔筒有机结合,采用集成化的硬件设计方案,包括液晶显示、人体感应、MP3解码和文件存储等模块,支持热插拔,并可通过蓝牙与Android或IOS 智能设备进行数据交互,使用者可根据自身需求,个性化地设置属于自己的笔筒。     

宁东地区延安组泥页岩油气资源勘探潜力评价

宁东地区延安组沉积有泥页岩岩层,该套泥页岩至今仍是页岩油气资源勘探的盲区。本文通过对宁东地区的泥页岩野外露头和岩芯样品进行泥页岩基本性质的测定,发现研究区延安组泥页岩粘土矿物含量较高,有机碳含量高,干酪根类型以Ⅱ2型为主。但是,此套泥页岩的有机质成熟度较低,未达到烃源岩生烃门限,因此不具备页岩气的勘探潜力。同时,通过对泥页岩进行含油率的测定和岩石热解分析,发现其含油率及生油潜量达不到油页岩的标准,因此研究区延安组也不具备油页岩的勘探潜力。     

宁夏生态葡萄园建设及相关技术问题探讨

1 宁夏葡萄与葡萄酒产业的回顾 目前,宁夏葡萄种植区主要分布在贺兰山东麓.本地有超过13万hm2土地适宜葡萄生产,土地资源丰富,是国内一块不可多得的宝地,能酿造出名副其实的高档优质葡萄酒[1].但也存在冬季气候寒冷、干燥,春季风速大,荒漠化严重等不利因素.     

复方沙棘保健茶饮料的研制

以沙棘原汁、绿茶、山楂、枸杞及决明子为原料,研究了一种具有降血压、降血脂等保健功效的复合高级饮料的加工工艺,经正交试验,结合理化分析、微生物检测和感官评价,得出该复合保健饮料的最佳配方。     

矿化垃圾水生植物床处理印染废水的初探

用矿化垃圾作为水生植物床的基质代替基质中土壤的作用,分别选择水葫芦和空心莲子草作为水生植物床的植物,制成了人工水生植物床,来尝试处理染料水溶液制成的模拟印染废水,并对比了染料在自然条件下的降解。     

AutocAD在轴承零件重量计算中的应用

轴承零件的重量计算是轴承设计中的重要组成部分，其计算结果的准确性将会直接影响着该产品的报价、包装及运输等。在以前的设计中，重量计算是依据公式计算的。由于公式的近似性，使得计算结果与实物的重量存在差异，特别是截面复杂的零件(如套圈或保持架)的重量用传统的推理方法只有近似计算，所以存在差异不可避免。而用AutocAD来计算就显得既精确又快捷了。     

南京市鼓楼区LID空间配置与雨洪调控效益研究

低影响开发(LID)能够实现源头径流控制,已成为缓解城市内涝的重要策略。以南京市鼓楼区为例,运用GIS和SWMM模型构建LID的空间配置方案,并在城市尺度上模拟分析5个降雨事件下LID组合方案的雨洪调控效应,最后基于费效比方法定量评价成本效益。结果表明:研究区LID的适建面积占总面积的16. 33%,其结果可为LID规划建设所参考; LID建设后地表径流系数平均可减少0. 26,但随降雨重现期的增加径流削减率总体呈递减趋势; LID的雨洪调控效应受诸多降雨特征及LID自身属性特性的多重交互影响;屋顶绿化+透水铺装组合的成本效益最好,包含生物滞留池的方案成本效益相对偏低,综合来看屋顶绿化+透水铺装+生物滞留池+植草沟方案建设潜力最大。研究结果可为城市尺度上LID的空间规划、海绵城市建设和城市雨洪管理提供决策参考和案例借鉴。     

低合金钢耐大气腐蚀行为机制研究

运用多种测试分析方法,对碳钢和低合金钢经不同地区大气暴露腐蚀不同时间的带锈样品进行比较研究,从锈层物相组成、结晶程度、锈层阻抗以及合金元素赋存情况等多方面,对低合金钢耐大气腐蚀行为机制进行分析研究。