ROBUSTNESS OF AN UPWIND FINITE DIFFERENCE SCHEME FOR SEMILINEAR CONVECTION-DIFFUSION PROBLEMS WITH BOUNDARY TURNING POINTS

We consider a singularly perturbed semilinear convection-diffusion problem with a boundary layer of attractive turning-point type. It is shown that its solution can be decomposed into a regular solution component and a layer component. This decomposi-tion is used to analyse the convergence of an upwinded finite difference scheme on Shishkin meshes.     

二维多介质欧拉自适应网格方法研究

要对聚能和流场的剧烈变化进行模拟，欧拉方法具有明显的优势。而在这些方面的研究中，所涉及的流场十分复杂，为达到所需的计算精度，必须采用很密的网格才能以较好的分辨率去模拟流场的剧烈变化部分和介质的界面，特别是大空间尺度流场局部细节的数值模拟，有些问题如果用统一网格计算，即使最快的计算机也不能提供足够的分辨率。所以目前计算机的内存和速度限制了整个计算区域的网格细分程度，对计算区域作局部的网格自适应细分、用大的动态空间分辨率划分流场是必要的和迫切的。     

基于网格技术的数字图书馆运行平台设计

简述了网格的概念及特性,分析了它的运行机制,提出了基于网格技术的数字图书馆运行平台设计。     

弹塑性流体力学拉氏自适应网格和网格重分守恒重映数值模拟方法

拉氏自适应重分弹塑性流体力学有限元程序实现了网格完全自适应，具有良好、灵活的非结构自适应网格数据结构，实现了滑移界面两边(接触间断)网格动态调整，网格的细分和合并处理灵活，网格重分和网格自适应模块兼容、守恒重映，网格重分中采用多种方法控制新网格的质量，爆轰计算可采用Lee-Tarver的化学反应率模式。初步数值计算结果表明，弹塑性流体力学拉氏自适应重分数值模拟方法合理，计算结果正确，基本反映了流场的物理结构。     

结构与非结构网格局部优化方法

在流体力学数值模拟中，最基本的有Lagrange方法和Euler方法。Lagrange方法可用来计算多介质系统，能够刻划多介质界面，但网格的扭曲，翻转，长宽比失调等网格大变形是一个突出问题。在Euler方法中，计算网格是固定的，但是，当系统中包含多种介质时，一定会出现在一个Euler网格中包含多种介质的情形，网格中的物理量的处理比较困难。为提高精度．一般将Lagrange方法和Euler方法结合。这时网格最优问题是一个重要的内容。     

建筑安装行业信息化特色探讨

我国软件市场很少建筑业信息一体化管理工具，因为软件设计难度与其行业特点有很大的关系。本文通过分析广东捷荣建筑安装工程有限公司管理信息系统的实施过程，提出建筑业ERP的开发特点和解决办法，强调流程优化与ERP实施相结合。开发组就信息系统出现的二次开发情况，提出建立工作流ERP模型的思想，该模型通过封装和分离应用的数据服务器，有望提高通用性，彻底解决由于流程不完善带来的二次开发问题。     

有限元显式算法解大变形冲击响应中的网格稳定性研究

1 引言结构在冲击载荷作用下的瞬态响应问题是许多工程问题提出的,如结构耐撞性、防护工程等.这类问题的数值解法已成为计算结构力学中的一个研究热点,有限元显式算法,     

工作流技术在公文流转中的设计

对工作流技术的产生、体系结构及特点作了简要介绍,分析了公文流转的业务过程,提出了基于工作流控制的公文流转系统的设计方法,使得目前存在的公文流转系统中并未实现真正流程化的问题得以解决,对于具体公文流转的抽象、简化以及整个系统规划都进行了详细的阐述。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.