运用UML构建机票预订系统模式

目的：建立一个能够方便旅客订票，航空公司快捷轻松地为旅客提供预订票服务；方法：运用UML(Unified Modeling Language)通用的可视化建模语言这种总结了以往建模技术的经验并吸收当今优秀成果的标准建模方法来构建机票预订系统模式；结果于结论：用UML构建了机票预订系统的静态模型、界面定义、使用个案、时序图、管理界面及体系结构．     

预测支持系统中动态模型的研究与应用

介绍了一个智能预测支持系统中的动态模型生成的研究，提出了静态模型与动态模型两种模型表示方法。并对静态模型的表现形式，为产生动态模型而对方法库系统和模型库系统所作的改进，系统中心部件—模型求解控制模块、动态模型的生成进行了详细论述。     

半正弦波冲击时瓦楞纸板破损边界研究

根据瓦楞纸板平压静态模型，研究瓦楞纸板缓冲衬垫简化模型的包装材料在半正弦波激励下的冲击响应，建立动力学方程．应用四阶龙格-库塔数值法求解，从而得到瓦楞纸板包装系统的冲击谱和破损边界曲线，讨论了相关参数对它们的影响．结果表明，瓦楞纸板缓冲衬垫的系统参数(α、β、γ)对系统冲击谱和破损边界曲线有显著的影响。     

Tax Evasion: Models with Self-Audit

Different from traditional tax audit, supervision with self-audit is a combination of audit by the taxpayer himself and audit by the tax authority. This paper mainly studies a taxpayer＇s optimal policy of tax evasion under supervision with self-audit and its related properties, in order to deduce some effective suggestions and theoretical bases to restrain tax evasion. Assuming that only a certain proportion of evaded tax can be discovered when the audit is executed, the authors first formulate a static model with self-audit. This model is divided into two stages. At the first stage, taxpayers declare their taxes, then the tax authority chooses audit objects, based on a known probability, and announces the result; if the taxpayer is chosen, he will enter the second stage, during which he has a chance to pay the evaded tax and the corresponding late fees and then is audited by the tax authority. The authors show the existence and uniqueness of the optimal amount of tax evasion at the first stage and the optimal proportion to self-expose at the second stage. The authors also discuss the related properties of the interior solution, and do elasticity analyses on some parameters. Besides, the authors extend the static model into the corresponding two-period model, and study the existence and uniqueness of the solution of the extended model. Finally, under the assumption that tax evasion can only be discovered with a certain probability when the audit is executed, the authors formulate another static model with self-audit and investigate its properties.     

气基竖炉炉顶煤气循环工艺的理论分析

针对竖炉生产中存在的煤气还原势化学能未能充分利用的问题,提出3种竖炉炉顶煤气循环新工艺(top gas recycling,TGR)。基于物料平衡和热平衡建立了竖炉的静态工艺模型,对其进行了数值求解模拟和分析。结果表明,对于提出的工艺TGR1、TGR2、TGR3,煤气需求量分别减少63.77%、57.13%、55.85%,显热需求也呈现出相同趋势;但对于循环竖炉工艺而言,循环煤气重整和升温需要额外耗能,从而系统总能耗分别上升了5.68%、7.27%、17.12%,其中,TGR1流程CO2排放量最低,较传统竖炉降低15.35%,TGR2、TGR3流程CO2排放量分别上升0.16%和3.15%。     

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

COREX气化炉回旋区塌料现象及其影响初探

为了研究COREX-C3000气化炉,开发了COREX工艺静态模型和实验系统.COREX工艺静态模型是建立在物料平衡和热量平衡基础上的,根据生产现场工艺操作参数设定输入参数,计算结果用于物理实验参数的设定.COREX物理实验系统是建立在相似原理基础上的,模型设有插入式热电偶和观察面板,可获得模型内部信息.实验发现,随着排料速度、石蜡颗粒和玉米颗粒体积比、风温和风量等实验参数增大,风口回旋区越容易发生塌料现象,并初步分析风口回旋区内塌料的影响.     

一种基于UML的面向对象需求分析方法

在软件开发的过程中,用户需求的准确获取对于软件的成败是非常重要的,然而在以往的开发过程中,常常忽略或简化需求分析的过程,导致软件项目的失败.给出一种利用UML进行面向对象的需求分析的方法.     

雨场下的树木建模方法分析

为了得到高效、准确、逼真的树木模型，研究了能够表达本身结构特性、形态复杂性以及受到自然环境中风雨雪等自然现象作用的树木建模方法.首先对树木建立静态模型;再在静态模型基础上，考虑自然环境中的风、雨、雪等客观真实存在且频繁发生的自然现象对树木的影响建立动态模型.并在建立风场中的树木动态模型方法的基础上，利用动量定理来计算对象在雨场中所受的冲力，且与对象杨氏模量中的断裂极限值相比较，确定对象断裂或者是摆动等情况，从而完善树木在自然界中的动态模型.经过实际建模比较，利用此种方法得到的树木动态模型时间损耗小，模型逼真.     

电力负荷的实用静态模型

在综述电力负荷建模研究现状的基础上，提出了电力负荷实用模型建模的方法，已完成的电力负荷的实用静态模型，以大量调查统计为基础，在一定误差范围内可供实际应用。