基于加权平均值的一种分支启发式方法

在可满足性(Satisfiability,SAT)问题算法中提出有效的分支策略可以提高求解器的效率,文中主要从冲突分析的角度出发,依据变量是否发生冲突和冲突的次数,提出 一种基于加权平均值的分支启发式方法。该方法首先采用一组序列来记录变量是否参与冲突;其次赋予一个加权平均函数,依据变量的序列和决策层求出函数值;最后选择具有最大的函数值变量赋值,执行实例分析比较。由于该方法是对控制编码方法的改进,因此在进行例子分析时,采用了比较法和分析法,同时分析比较了所提方法、 SUM(Sum in experiment)策略和 ACIDS(Average Conflict-index Decision Score)策略。对SATLIB(SAT Little Information Bank)中的实例进行分析,结果表明所提方法能够实现更多子句被满足或最新冲突子句优先满足。     

基于证据推理的确定因子规则库推理方法

不确定性推理方法是人工智能领域的一个主要研究内容,If-then规则是人工智能领域最常见的知识表示方法. 文章针对实际问题往往具有不确定性的特点,提出基于证据推理的确定因子规则库推理方法.首先在If-then规则的基础上给出确定因子结构和确定因子规则库知识表示方法,该方法可以有效利用各种类型的不确定性信息,充分考虑了前提、结论以及规则本身的多种不确定性. 然后,提出了基于证据推理的确定因子规则库推理方法. 该方法通过将已知事实与规则前提进行匹配,推断结论并得到已知事实条件下的前提确定因子;进一步,根据证据推理算法得到结论的确定因子. 文章最后,通过基于证据推理的确定因子规则库推理方法在UCI数据集分类问题的应用算例,说明该方法的可行性和高效性.     

语言真值格值命题逻辑中的α-语义归结方法

语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与L_nP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。     

表面活性剂在化肥防结块剂中的应用

介绍了化肥结块的原因和影响结块的主要因素，同时讨论了表面活性剂防结块的机理和各种表面活性剂防结块的效果。首先介绍了各种阴离子表面活性剂对硫酸铵、氯化胺及各种阳离子表面活性剂对粉状尿素、硫酸胺和复合肥料的防结块效果；然后论述了单一和复配表面活性剂对碳酸氢铵的结晶粒度、含水量、含氮量、稳定性及防结块效果的影响。表面活性剂作为化肥防结块剂的应用具有广阔的前景。     

煤矸石代黏土煅烧水泥熟料配方优化试验研究

为获得煤矸石代黏土配料应用于水泥生产的煅烧热工条件和合理配方,选取不同煤矸石和不同品位的石灰石等原料配制6种水泥生料,在实验室熟料煅烧试验台中进行不同温度下煅烧水泥熟料的试验研究,对试验所得的熟料样品分别进行了游离CaO质量分数的测定和矿物组成的X射线衍射（XRD）分析.试验结果表明：煤矸石代黏土与中钙石灰石和高中钙石灰石配料,都能烧制出合格的水泥熟料,烧成温度比黏土配料的烧成温度降低50 ℃以上;而煤矸石与高钙石灰石的配方则在烧成温度上没有明显优势,说明煤矸石与中钙石灰石或高中钙石灰石配料更能烧制出高质量的水泥熟料.     

辽宁五龙金矿床成矿地质特征及找矿方向

辽宁五龙金矿位于全球性金矿带中的中西太平洋金环外二环东亚段,中朝准地台、胶辽台隆营口-宽甸台拱凤城凸起偏东方向的区段上及鸭绿江成矿带偏西南侧区域上是该矿的大地构造位置分布所在,为一大型石英脉型矿床。由于开采工作的逐渐深入,五龙金矿的资源储量明显下降。因此,亟待寻求新的找矿突破。为此,结合实践对对五龙金矿床成矿地质特征及找矿方向展开分析,希望能为该区找矿工作提供有益参考,增加资源储量,延长矿山服务年限。     

构建高质量软件工程实践教学支撑平台

针对目前很多高校在软件工程实践教学初期所遇到的缺乏过程指导与各种资源的问题,阐述软件工程实践教学所需要的各方面支撑体系,构建一个由指导手册、系统原型、关键问题解决方案、教学资源库及相应管理规则、考核指标体系等要素形成的全方位实践教学支撑平台。     

江苏高邮:发挥协会作用提升服务功能

一、做好评优报优工作,充分发挥建筑业协会的指导和推介作用评优报优是建筑业协会为企业做好服务的重要职能之一。多年来的实践使他们充分认识到:良好的品牌是企业进入市场的"通行证",是企业获得长足发展的有力支撑和重要保障。鉴于这一认识,高邮市建筑协会积极鼓励各建安     

新型铝合金机械卡钳的铸锻复合成形研究

目前将铸锻复合成形技术应用于机械卡钳等的研究少见报道.为此,采用不同的浇注温度、保压时间和锻压力进行了A356-CrV新型铝合金机械卡钳试样的铸锻复合成形,并进行耐腐蚀性能及耐磨损性能的测试、分析.结果 表明:随浇注温度的升高、保压时间的延长和锻压力的增加,A356-CrV新型铝合金机械卡钳试样质量损失率和磨损体积先减小后缓缓增大,耐腐蚀性能和耐磨损性能变化趋势为先提升然后下降.与700℃浇注温度比较,720℃浇注温度下的质量损失率和磨损体积分别减小了27.46％、33.33％;与15 s保压时间比较,25 s保压时间下的质量损失率和磨损体积分别减小了23.84％、28.00％;与60 MPa锻压力比较,90 MPa锻压力下的质量损失率和磨损体积分别减小了30.52％、37.93％.A356-CrV新型铝合金机械卡钳试样的优选铸锻复合工艺参数为:720℃浇注温度、25 s保压时间、90 MPa锻压力.     

基于ARM7的高精度阵列式皮带秤微控制器的设计

介绍了一种基于ARM7 八并行AD的阵列式皮带秤的数据采集系统.该系统采用LPC2142微处理器,根据比率激励测量法原理,完成了前向通道的滤波、放大、模数转换电路以及测速模块的设计,并采取了硬件和软件抗干扰措施.实验验证了阵列式皮带秤称重精度高、响应速度快、稳定性良好,能很好地满足工业的使用要求.