甲醇合成流程模拟策略

以Rosen提出的联立模块法的分层计算思想为基础,针对具有两层嵌套反馈回路的流程,提出了一种流程模拟的三层策略。将该模拟策略成功地应用于具有二层嵌套反馈回路的甲醇合成流程的模拟,并与二层的联立模块法相比。不仅能大大地缩短流程模拟的计算机时间,还能大幅度地降低流程模拟系统对初始估计值的要求。建立的甲醇合成流程模拟系统能较好地描述工业原型,并对甲醇的生产操作和优化有一定的指导作用。     

化工流程模拟程序自动生成及微机化

提出了一种借助系统模拟自动生成主控模块,实现通用化工流程系统模拟程序自动生成的方法。该方法使用系统模拟的主控模块,通过高级语言与批处理语言的嵌套,处理对特定化工过程的系统结构分析得到的有关系统分块、切断、计算顺序的信息,自动生成一套可执行系统模拟程序,从而避免了模拟程序的人工编写,并在微机上实现、该主控模块可用于序贯模块法和联立模块法等多种模拟策略。     

基于多线程技术的储量分析系统构建

概率储量方法能很好地描述储量的不确定性.基于多线程技术对储量分析系统进行构建,讨论了多线程间的通信和同步机制,采用命名事件同步方式解决了在利用多个随机种子进行多次储量计算,求取概率储量时储量分析模块与随机模拟模块对模拟生成结果的争用等问题.最后给出了基于多线程架构的储量分析系统中各个线程间的协作关系及具体实现方法.该系统已成功应用于榆林某气田层的储量分析中,并取得满意的应用效果.     

模具温控凝固成形的数值模拟软件系统开发

根据软件工程的理论,采用结构化分析与设计方法,开发了专用的模具温控凝固成形（MTCS）数值模拟软件系统。首先进行了软件的需求分析建模,绘制了数据流图和数据字典,直观地描述了单元信息、边界条件、刚度矩阵等数据的流动。在需求分析的基础上进行了系统设计,将程序划分成相变潜热、刚度矩阵计算及矩阵求解等10个主要模块,并编制了主模块与各子模块的程序流程图,定义了模块之间的数据接口。软件的前后处理模块的设计与实现在MSC．male软件上进行,求解器模块则采用fortran语言编程实现。最后设计了测试实例对软件进行了测试,并与MSC．marc软件的计算结果进行了对比,误差在3％以内。     

氩气热力学参数和输运系数的分子动力学模拟

运用一维分子动力学模拟的方法计算了由氩气分子组成系统的热力学参数和输运系数，并与相应的三维分子动力学模拟的结果及实验数据进行了比较，发现运用一维分子动力学模拟能够得到比较接近宏观真实系统的某些物理性质，并减少计算时间。该方法能够模拟计算分子数目更多的系统。因此，对所研究系统的某些物理性质来说，一维分子动力学模拟是一种有效的分子模拟方法。     

RLPG数据库中数值计算模块的研究

再生式液体发射药火炮 (RLPG)数据库的建立将促进液体发射药火炮研究的科学化、信息化。RLPG数据库主要包括液体发射药参数模块、研究资料模块、实验信息模块、数值计算模块等。该文主要阐述数值计算模块的结构及功能 ,并详细介绍了RLPG计算子模块和输出结果子模块功能的设计实现。系统利用VisualFoxPro 3 0和VisualC 4 1开发完成。该系统对液体发射药火炮的研究具有实用价值     

港区雨水径流模型的建立及检验

针对港区的情况建立了港区雨水径流模型,包括了地表产流计算模块、地表汇流计算模块和管网汇流计算模块,其中地表产流采用霍顿下渗公式计算下渗量;地表汇流采用瞬时单位法计算;管网汇流模块采用运动波法求解.经长沙市港区的实测资料检验,证明该模型在港区小流域的雨洪分析中有较高的精度,洪峰流量和径流总量最大相对误差分别为2.8%、7.563%,最小相对误差分别为0.7%、0.408%.可用于港区雨水排水的径流模拟.该模型的建立可以为港区的雨水排水系统的设计、校核及管理提供科学依据.     

减压蒸馏塔模拟与系统设计实现

针对减压塔的结构特点，采用减压蒸馏装置的模块化模拟分析策略，把减压塔作为闪蒸过程与多个复杂吸收过程的串联流程，然后按照序贯模块法求解。对常减压蒸馏装置的模拟与优化进行了探讨，建立了该过程的模拟优化分析系统，可用于在线模拟分析、数据校正与优化控制。     

基于车辆微观行为的城市交通模拟软件系统框架

回顾了国内外城市交通微观模拟系统的发展状况,对机动车辆的微观行为模式进行了研究.重点探讨了在非自由车流状态下车辆的行驶行为,在此基础上,采用面向对象的软件技术,设计了包括13个主要模块的城市交通微观模拟软件系统框架,描述了各模块的主要功能及相互关系.     

一种新的定性模拟算法QSIM

给出了一组由系统的定性结构描述及初始状态导出定性行为的形式定义,并提出了一种新的定性模拟算法 QSIM(Qualitative Simu-lation).QSIM 能有效地导出系统的定性行为描述,预测出系统原先未知的某些临界值及其对应值.文中举例说明了 QSIM 的应用.     

拟双曲型方程的整体解

讨论了由材料力学中的粘性振动及生物数学中的神经传播等实际问题提出的一类非线性拟双曲方程的初值问题及混合问题．利用线性抛物方程初值问题的基本解理论及不动点原理，通过能量估计，证明了此类问题的整体解的存在性和唯一性．     

B样条函数在解椭园型方程中的应用

用Galerkin方法解二维变系数椭园型方程边值问题的一个关键是选择合适的基函数。本文用一种二元B—样条函数作为基函数。建立二维边值问题所对应的线性方程组,并写出它的具体形式,为实际应用和计算机编程提供方便。     

奇异二阶m点边值问题解的唯一性

研究一类非线性奇异二阶m点边值问题解的唯一性.利用二阶两点边值问题的格林函数得到二阶m点边值问题的格林函数,运用迭代法给出非线性奇异二阶m点边值问题存在唯一解的若干充分条件.     

一类n阶差分方程边值问题的多解性

利用twin solution不动点定理与Lcggett-Williams不动点定理对一类n阶差分方程边值问题分别进行了讨论,得到该问题有两解与三解的结果．其中本文所讨论的n阶差分方程边值问题比以往讨论的该类问题要一般（本文方程中非线性项允许含有直到n-2阶差分）．     

考虑经济和环境的过程系统优化综合

建立了流程的宏结构数学模型，提出考虑经济和环境的过程优化综合的协调分层决策策略，把问题求解过程分解为微结构层、智能协调层和宏结构层等三个层次，使得多目标问题可在这三个层次上求解。在智能协调层中引入了人工智能领域的智能体概念，它可以支持设计者进行多个层次间的交互，从而完成对复杂问题的求解。     

非线性薛定谔方程混合边界问题时间周期解的存在性

研究多维非线性薛定谔方程混合边界问题的时间周期解的存在性.首先利用Leray-Schauder不动点原理证明Galerkin近似问题有时间周期解,然后利用先验估计和紧致性证明近似解是收敛的,并且其极限就是原来问题的时间周期解.     

解线性两点边值问题的一种数值方法

对一类线性常微分方程两点边值问题的计算提出一种方法。它是将线性常微分方程的两点边值问题转化为与之等价的线性泛函微分方程的初值问题,然后再适当地离散化为解线性代数方程组的问题。结果表明,这样方法是用统一观点对区域内节点和边界点列计算格式,迥避了通常采用的有限差分格式对步长选取的依赖,因而能有效地减少误差的积累;并放宽了对边值问题的某些限制条件,且算法简便,易于在计算机上实现。     

一类四阶微分方程积分边值问题正解的存在性

利用锥压缩锥拉伸不动点定理及一些分析技巧,建立一类四阶非线性微分方程的积分边值问题存在一个及多个正解的充分条件,推广和改进ZHANG Xue-mei等人的研究结果.     

次线性Emden-Fowler方程奇异m-点边值问题的正解

运用上下解方法、极大值原理和Schauder不动点定理,在次线性条件下,解决一类Emden-Fowler方程奇异m-点边值问题的正解的存在性问题,并获得该类奇异非线性m-点边值问题存在C[0,1]正解的充分条件.     

关于一类反应扩散方程的非平凡解及其死核问题

研究了一类反应扩散方程的Ｄｉｒｉｃｈｌｅｔ问题的非平凡解及其死核问题，证明在某种条件下该问题存在非平凡解，且非平凡解对区域是否有死核。