求解DRS多目标优化问题的新颖ε-支配进化算法

首先分析ORS(dominance resistant solutions)多目标优化问题的特点,证明基于Pareto-支配关系的多目标优化问题算法求解该类问题很难收敛.然后,提出一种新的基于ε-支配关系的进化算法-ε-支配进化算法(EDMOEA),给出该算法框架和详细流程.最后,将ε-支配进化算法和NSGA-Ⅱ算法应用于求解一组典型的DRS多目标优化问题和常用的多目标优化测试问题,基于算法的收敛性和Pareto最优解集分布性进行评价和比较分析,表明ε-支配进化算法的有效性.     

一维水平自发渗吸无因次模型及其数值解

对影响渗吸特征的油藏参数进行归整, 导出考虑毛细管回压的一维自发渗吸问题无因次模型。该模型选取水相归一化饱和度和无量纲压力作为主未知变量, 毛管压力函数只在模型的一个偏微分方程中出现, 便于数值求解。在求解该模型的全隐式守恒型差分格式中, 对两邻点间饱和度函数取平均饱和度下的值, 就可以得到该问题的数值解。通过对幂律型相对渗透率和毛管压力曲线情形下此模型数值解的讨论, 指出前人关于一维不可压自发渗吸问题解析解所用的假设条件只对纯逆向渗吸有一定的适用性。通过多个同逆并发渗吸算例, 得到油藏参数变化对渗吸动态特征影响的初步认识。     

行为规划语言在问题求解方法中的应用

针对传统编程编写的代码可扩展性差的问题, 引进一种声明式编程方法, 利用行为语言 C+进行问题表征与求解。 以经典的倒水问题为例, 利用 C+语言进行主体规则以及目标查询表征, 通过调用求解器 cplus2asp实现对倒水动作规划。 实验证明, 用 C+语言进行编程, 语法简单且求解过程具有自主推理能力, 并且可任意增添或删减语句而不影响其他语句执行, 具有很高的扩展性。     

基于语言偏好的群体决策的软解法

群体决策模型用于支持系统或专家系统，面临的两个问题是：自然语言与机器语言的匹配以及模型解与决策者意向交融．本文在许多学者大量工作的基础上，试图提出群决策的软化求解模型．主要提出两方面的结果：一是多准则语言偏好的综合；二是采用模糊匹配方法和语言变量的软算法将个人语言偏好聚集为群体可接受决策解．最后给出实例计算以说明操作步骤．该模型可用于人－机交流式ＧＤＳＳ或小群（７～１２人）会议支持系统的软件设计     

线性方程组迭代求解的近似逆方法收敛性

利用近似逆矩阵定义，构造一类双对称矩阵，讨论解线性方程组迭代求解近似逆方法的收敛性。     

基于遗传算法的人工神经网络优化设计

提出遗传算法新的编码方案，用于全局优化神经网络拓扑结构和权值参数，解决了神经网络拓扑结构的难确定性和权值训练的长时性问题，并且在遗传操作中采用自适应代沟的替代策略，改善其求解效率，获得了良好的优化结果。通过仿真实验显示了该算法的快速性和有效性。     

二、三、四、五阶常系数线性微分方程解法公式与计算机求解

推导出二、三、四、五阶常系数线性微分方程的解（即函数关系）的一般表达式,并分别用Ｂａｓｉｃ语言和Ｐａｓｃａｌ语言编制出使用计算机求解的应用软件。该软件实际运行的结果证明,这种求解方法比任何一本《高等数学》教材介绍的通常的求解方法要简单得多、运算速度要快得多,因而具有很大的现实意义。     

一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

边界单元法三维应力分析计算程序

以三维弹性力学问题的基本解 (Kelvin解 )为基础开发了边界单元法三维弹性应力分析计算程序 ,并对其进行了验证。结果表明 ,该程序可用来求解三维弹性应力问题 ,尤其适用于三维应力集中问题。程序中采用动态分配内存 ,自动选点积分 ,并利用分块解法求解方程组 ,有效地节省了计算机资源 ,扩大了求解问题的规模。     

巧用整体法解连接体问题

在静力学和动力学解连接体问题时常常使用整体法和隔离法相结合的方法，以简化求解过程。特别是巧用整体法来简化物理情景。 【例1】如图（1）所示，球的质量为m，斜面体的质量为M，斜面倾角为0=53°球光滑，它与斜面、墙面之间没有摩擦力作用。斜面体静止在粗糙水平面上，求这时地面对斜面体的支持力和静摩擦力各为多大？