基于可计算函数的C模型互模拟性质

针对嵌入可计算函数的C模型语法中没有Summation操作符，定义了Prime Process概念，并给出进程范式化过程以及有限公理系统，研究在扩展C模型后的绝对表达能力.结果表明，在引入Localization和多元操作符后，该模型可以方便地定义出Prefix、Replication和Choice操作符.     

精馏与化学交换法分离硼同位素的数学模型及优化

采用精馏与化学交换法，针对三氟化硼-苯甲醚分离体系，研究了硼同位素分离生产过程的特点，建立了分离过程的稳态数学模型，并利用Matlab程序进行模型求解，同时对操作参量进行优化，得到了不同分离要求的优化参量和操作条件对化学交换过程中理论塔板数的影响以及丰度的分布，该教学模型可以指导工艺设备的改进和优化，为下一步的放大和操作过程提供了理论依据．     

虚拟环境中面向操作工艺规划的装配建模

交互虚拟装配技术已经广泛应用于产品设计和制造过程,然而由于虚拟装配操作和实际操作在时间和空间上不一致,目前的交互虚拟装配技术仍然难以直接支持装配工位上的操作工艺规划。为此提出了一种基于交互装配操作仿真的操作工艺规划方案,该方案建立包含全部装配要素的装配操作模型,基于该模型,通过交互装配操作仿真获取初始操作序列,再基于标准操作动作要素数据库将该操作序列变换成真实操作动作序列。重点研究支持操作动作序列获取的装配活动模型,以及操作仿真过程的模型求解问题。最后以一个发动机装配实例验证了上述方案和装配操作模型。     

在线定房系统中XML文档的时态扩展

Web应用中的数据交换技术进行了相当长的时间的研究，但是几乎没有哪一种方法在实际应用中用到了时态操作。时态XML数据交换模型以及应用这个模型开发出来的在线定房系统，利用时态存储相关技术来处理系统的时态属性。     

糠醛精制过程的数学模型与优化

根据糠醛精制过程的机理分析和操作经验,建立了过程的静态数学模型。这些模型包括:精制油收率模型、精制油粘度模型以及精制油粘度指数模型。交叉验证的结果表明,所建模型的精度较高。提出了在精制油质量指标满足要求的前提下,以精制油收率最高为目标的糠醛精制过程操作优化策略,研究了不同工况下的操作条件。仿真研究与计算机离线指导生产结果都表明,本文提出的优化策略,可以提高精制油收率1～2%,具有明显的经济效益。     

主动模糊数据模型及其数据更新处理研究

由于模糊数据所具有的模糊属性，使得在主动模糊数据库中模糊数据的表达以及对模糊数据的更新处理均不同于传统数据库，基于此在关系数据模型的基础上，对主动模糊数据模型进行了研究，并在此基础上讨论了主动模糊数据库系统中模糊数据的插入，删险以及属性值的更新操作。     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

制冷空调仿真中的模型库研究

指出了制冷空调仿真软件研究开发中对模型表示与操作管理上存在的问题，在研究了模型表示方法与操作管理模式之后，结合制冷空调专业特点，提出了一种新的表示方法，并建立了一套模型操作管理的体系结构，解决了模型表示中模型与解程序不分的问题，为后续研究搭建了良好的体系框架．     

银行支付网络操作可靠性增长的研究

银行现代支付系统是电子资金划拨的物质基础，其平稳性的运营有赖于支付网络的可靠性及对支付网络操作析可靠性，将可靠性增长的思想和方法，引入银行支付网络操作可行性的研究，针对实际存在的操作人员的培训２与操作实践两个时期的学习模式，用顺序的约束模型描述培训时期操作可靠性的分布，导出了培训期末操作失效率的预计模型；用时间函数模型描述操作实践可行性的增长，给出了支付网络运行时刻可行性的推断方法。     

银行支付网络操作可靠性增长的研究

银行现代支付系统是电子资金划拨的物质基础，其平稳性的运营有赖于支付网络的可靠性及对支付网络操作的可靠性．将可靠性增长的思想和方法引入银行支付网络操作可靠性的研究，针对实际存在的操作人员的培训与操作实践两个时期的学习模式，用顺序约束模型描述培训时期操作可靠性的分布，导出了培训期末操作失效率的预计模型；用时间函数模型描述操作实践可靠性的增长，给出了支付网络运行时刻操作可靠性的推断方法．     

连续组合梁弯矩重分布特征及其随荷载的变化规律

为了对钢-混凝土连续组合梁进行受弯全过程描述,对3根两跨连续组合梁进行了静力加载试验,研究支座负弯矩区混凝土开裂后组合梁的内力重分布现象,结合试验现象分别确定连续组合梁正负弯矩区弯矩重分布系数随荷载的变化规律,并给出建议计算公式;在此基础上,考虑钢梁与混凝土板之间的相对滑移,采用共轭梁法得到连续组合梁的荷载-挠度和荷载-转角曲线.研究结果表明,连续组合梁弯矩调幅系数随荷载的增加而增加,且在正负弯矩区表现出相同的规律,可以采用弯矩重分布系数的建议计算公式来反映连续组合梁弹性弯矩和混凝土开裂后实际弯矩之间的重分布关系.     

连铸主机辊系故障诊断专家系统模型与算法

在建立了连铸主机设备的状态监视系统后,通过收集大量的现场数据,利用神经元网络技术研究了辊系工作状态的基本模型·应用数据分析后的现场数据对建立的网络进行训练得到了拟合驱动辊力矩均值曲线的计算模型,并将研究的故障判断模型和算法应用到连铸主机辊系的现场计算机监视专家系统,准确地判断出在线运行设备中的电机故障,避免了对连铸铸坯质量的不良影响·为建立结晶器专家系统和铸坯质量判断系统奠定了良好基础·     

一类具反馈控制和比率型功能反应食物链系统周期解的存在性

利用重合度理论中的延拓定理, 讨论具有反馈控制和比率型功能反应食物链系统周期解的存在性, 得到了保证周期解存在的充分条件, 拓展了连续且具比率型的动力学模型.     

对称与不对称连续刚构桥动力特性对比分析

随着不对称连续刚构桥在桥梁建设中的应用越来越广泛,对比分析对称与不对称连续刚构桥的抗震性能,对设计、研究不对称刚构桥显得极为重要。以乌江二桥为工程背景,在此基础上另虚设5个墩高高差为0~25m的不对称刚构桥型,应用有限元程序Midas／Civil建模,进行模态分析,再应用反应谱分析法,计算了各模型的地震响应,将计算结果进行对比分析,得到了不对称连续刚构桥的一些动力特性,为同类型桥梁的抗震分析提供参考。     

连续环状色谱分离果糖-葡萄糖的研究

用静态法研究了果糖、葡萄糖及果糖－葡萄糖混合溶液的吸附相平衡关系,发现在实验范围内吸附等温线是线性的;研究了连续环状色谱（ＣＡＣ）对果糖－葡萄糖的分离性能;测定了不同操作条件下果葡萄糖在连续环状色谱上的流出曲线,建立了数学模型以进行理论预测,模型与实验结果吻合较好。     

碳钢连铸凝固过程的微观模拟

通过一种简单的数学模型研究了连铸坯凝固过程中枝晶生长的重要微观结构参数.结合中碳钢连铸性能计算出凝固过程中枝晶生长的尖端半径、枝晶生长速率、二次枝晶臂间距等枝晶相关参数,并研究了拉速对上述微观结构参数的影响.分析了碳、硅、锰、磷和硫等重要元素的微观偏析程度随凝固进程与坯壳生长的变化规律.与前人经验模型的对比与验证表明本文模型预测结果合理.     

固定化L—天冬酰胺酶连续催化过程的数学描述

研究了固定化Ｌ－天冬酰胺酶连续化血浆过程，提出描述固定化酶连续催化过程的反应动力学模型，得到的拟合曲线能够和实验值较好地吻合，表明该数学模型能适用于类似血浆的生物流体     

方坯连铸机结晶器凝固传热的数学模型

研究和开发了方坯连铸机结晶器非稳态凝固传热的数学模型,预测铸坯温度分布和凝固状态,模型考虑了凝固时结晶器气隙的存在,使得传热不均匀,同时,采用等效比热法处理了凝固前沿产生的结晶潜热·以生产厂方坯为研究对象,得出了温度分布规律、凝固坯壳生成规律,分析了拉速对铸坯温度和坯壳厚度的影响·结果表明,经模型计算得出的温度、坯壳厚度值与现场测定的温度、拉漏数据基本相符·     

基于Weibull分布的AMD蚀化岩石统计本构模型

为了解决含硫化物矿山中AMD蚀化对岩石力学性质的影响问题,采用概率论和连续损伤理论相结合的方法,研究了AMD蚀化下岩石的损伤统计本构模型,并引用试验资料对模型进行了验证。结果表明:模型理论曲线与试验曲线具有较高的吻合度,所建模型能够较好地反映受腐蚀岩石在三向压力作用下的应力—应变全过程和岩石强度变化特征,说明本文所建立的模型是合理的。该成果对岩体工程具有一定的参考价值和指导意义。     

钢与高强混凝土连续组合梁连接件的布置方式

采用ANSYS通用有限元软件,针对钢与高强混凝土连续组合梁本身结构及受力性能的复杂性,考虑材料非线性,提出了一个对钢与高强混凝土连续组合梁从加载到破坏的全过程非线性分析模式,对钢与高强混凝土连续组合梁连接件设计进行分析.研究连接件的布置方式对连续组合梁的影响,完善钢与高强混凝土连续组合梁中抗剪连接件的设计理论.