带有模糊约束最短路问题的数学模型及算法

针对带有模糊约束的最短路问题,在其模糊线性规划模型的基础上,利用容差法和罚函数法对该模型进行转化,得到了与原模型具有相同最优解与最优值的转化模型,并提出一种修正的萤火虫算法求解转化模型.数值算例结果表明,该模型与算法对求解带有模糊约束的最短路问题有效.     

“语码转换式双语教学”课程文化体系的构建

以大连民族学院语码转换式双语教学实践为据,为建立有效的大学生英语能力培养载体,引导大学生由被动式学习转向主动建构英语运用知识体系,探索切实提高大学生英语综合运用能力的有效途径,提出了语码转换式双语教学课程文化体系的构建理念,并对具体措施进行总结。     

基于连续统敏度的结构动态形状优化方法

为实现连续体结构动态形状优化设计,运用连续统敏度分析方法,得到了结构体积、固有频率的物质导数. 在此基础上,采用控制点的虚拟位移为设计变量,运用一阶泰勒展开建立优化模型,设置设计变量的运动极限保证了优化迭代的稳健性. 数值算例表明,该方法的实现不必修改有限元源程序,敏度计算所需的有限元分析次数少,适用于各类优化模型.     

考虑约束条件的油藏生产优化

油藏生产优化是把对油藏生产体系的控制描述成一个最优化问题,通过求解最优化问题得到油藏生产的最优控制。首先利用数值方法得到目标函数的近似梯度,然后利用投影梯度方法将近似梯度投影到可行方向上,在可行方向上进行线性搜索,得到满足约束条件的最优解。通过计算案例,对两种近似梯度方法的优化效果与利用有限差分法得到的梯度的优化效果进行对比。优化得到的调控方案可以满足约束要求,并且能够有效改善注水开发效果,大幅度增加油田的经济效益。     

基于剪枝优化的多变邻域节能调度算法

为了提高异构计算机系统中任务调度的节能水平,提出了融合剪枝优化的多变邻域节能调度算法。算法构建处理机约束和时间约束两个邻域结构,借助处理机约束邻域减少冗余处理机量,从而降低整体能耗;利用时间约束邻域有效缩减关键路径长度,实现了任务调度对时间的要求。提出了基于时间和能耗的剪枝优化策略,以提高局部寻优效率。通过仿真实验和实际问题求解对比可知,所提算法在不同问题规模、处理机量和通信比下,都取得了较好的节能效果。     

多资源约束批量拆卸优化模型及算法

针对环境意识制造研究领域的废旧产品拆卸，提出了一类多资源约束批量拆卸优化方法.以拆卸时间最小为优化目标，建立了该方法的数学模型，采用CPLEX软件对模型进行求解，通过多组随机算例的仿真实验验证了该模型在求解此类批量拆卸优化问题的有效性.实验结果表明，所提方法和模型能够求解该问题的最优拆卸数量和购买数量，确定每类零部件是否进行拆卸，同时满足每个零部件的外部需求；节点的入度/出度和共有部件所占的百分数对问题求解难度有一定的影响.     

草图校正的研究与实施

总结了校正的常见内容,并对各内容进行了归纳与分析,把校正问题概括为“由动点引起动边”的问题,从而避免了校正内容的杂乱,设计出具有一定通用性的校正方案.该方案利用图来描述图形实体的相互约束,用动态迭代法来处理动边变动对已有约束的影响.系统记录各咬合点,全局遍历结构约束图中的咬合点,局部校正各动边.该方案已用于BYLead的参数化推理中.     

对象行为约束的描述和推理

对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征．本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为，进而可以通过逻辑演算对对象的行为进行推理．     

英汉疑问词位置差异的优选分析

优选论认为普遍语法是一系列可违反的限制条件。这些限制条件在不同的语言中有着不同的排列顺序,也就产生了不同语言的不同句法形式。英汉语中疑问词的不同位置主要是由于OP-SPEC和STAY这两个限制条件在英汉语中有着不同的排列顺序。当OP-SPEC高于STAY时就出现英语中疑问词在句首的现象,而当STAY高于OP-SPEC时,就像汉语那样疑问词留在原位。     

一类特殊形状线性方程组的解法及其应用

给出了线性方程组当Ａ为一般方阵时解的表达式和迭代解法,并给出了它在等式约束二次极值问题中的一个应用。