对一道高等数学竞赛试题解法的商榷

剖析了一道竞赛试题的解法中的不严谨成因,给出了该题的完整解答并得到了判断空间中的点与平面的准确位置关系的一个定理.     

夯扩桩承载力试验研究

夯扩桩具有单桩承载力较高、沉降较小等优点,在经济上也优于普通灌注桩体.为了说明夯扩桩良好的承载性能,以某综合楼的基桩工程为例,对夯扩桩的承载能力进行了试验研究.结果表明,试验桩不仅承载力高,而且沉降较为均匀、沉降量小,可以作为承受较大荷载的建筑物的基础。     

黄连花薹固体饮料的制备工艺研究

以黄连花薹为原料,初步探索其固体饮料的制备工艺．以盐酸小檗碱转移率、总黄酮转移率与浸膏得率的综合评分为指标,采用正交试验法对黄连花薹提取工艺进行优化;采用感官评价法选择适宜的矫味剂来确定黄连花薹固体饮料的最适食用口感．结果显示,优选提取工艺为加18倍量水,提取3次,每次0.5 h;以黄连花薹提取物∶脱脂奶粉∶木糖醇∶可可粉=1∶4.5∶9.5∶0.7为最佳配方比例．结果表明,将黄连花薹制备成固体饮料的工艺稳定可行,可为进一步开发和利用黄连这一传统中药资源提供参考．     

面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

考虑BOM的FMS生产线能力规划问题

针对印刷装配板(Printed Wiring Board, PWB)的制造过程,建立了一个基于多种需求状态的多计划期多种产品类的能力规划模型.该模型考虑了机器的柔性、产品类的BOM(Bill of Materials)约束(物料需求约束)以及进行生产能力调整的风险.考虑该模型是一个大规模的混和整数规划问题,无法用一般的数学软件直接进行求解,提出了一种求解近似最优解的方法,首先应用启发式算法减少装配线能力调整决策变量的搜索空间,然后应用遗传算法进行搜索.最后通过实例分析验证了该方法的可行性及其在管理学上的意义.     

不确定需求下供应链合作广告与订货策略的博弈

基于报童类型产品的二级供应链结构,放宽了市场需求为确定性的假设,引入了订货量这一决策变量,先后考察了Stackelberg主从博弈和Nash合作博弈时制造商与零售商的最优广告策略及零售商的最优订货策略,比较了不同博弈均衡下的策略选择及系统期望利润,探讨了市场需求随机性对制造商与零售商广告投入水平的抑制作用.并利用Nash讨价还价理论对合作利益进行了分配.最后,通过一个数学算例验证了有关结论.     

多任务多联盟并行生成：模型与求解

联盟生成是MAS的一个关键问题,现有的工作主要研究如何针对一个任务生成最优联盟,很少考虑多任务多联盟生成问题(MMG).对MMG问题建立了模型,并进行了分析.在系统能力受限的条件下给出一种并行算法,首先找出最优可达任务集,再针对每个任务生成相应的联盟,从而实现了问题的分布并行求解.最后通过仿真试验说明了此算法的有效性.     

钢铁原料物流计划问题的建模与求解

研究了钢铁工业从原料采购到初级产品生产的物流计划问题,包括运输、库存和面向生产的配送.以所考虑的相关成本最小化为目标建立了数学规划模型,并采用列生成的方法求解.对0-1变量的线性松弛采用启发式的分支和深度优先搜索策略尽可能快地获得好的可行解.在分支结点上,通过求解最短路子问题获得限制主问题所需要的列,分支树上的根结点提供了体现可行解质量的下界.最后,计算机随机试验验证了该模型的有效性和算法的稳定.     

对数学质量的指标体系的分析

用属性识别的理论研究数学质量的指标体系 .提出了一种直观简捷的属性测度函数的确定方法及三个数学质量的评价准则 .