DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。     

带转动自由度的轴对称四边形单元

在节点增加角旋转自由度的基础上构造任意四边形轴对称单元协调的位移模式 ,为了提高精度 ,消除几何敏感性和适应不可压缩材料 ,在协调的基础上又引入三个非协调的内部位移函数和泡状函数作为附加位移场。数值计算表明由此构造的新单元的性能更好。     

计算机辅助设计管理数字库

本文介绍了美国“几何与智能计算实验室”开发的一个数字库的最初研究成果,该成果是用于支持计算机辅助的合作设计。目前作为工程设计的知识资料档案库,这个实验平台用于收集和归档公共领域的设计数据,以便供研究者和专业技术人员使用。我们预见这个成果将被推广以方便分布设计和制造人员的技术合作,并简化归档过程。基于知识的CAD对于设计人员来说是核心,他们通过对大量共同的传统数据进行研究,并且通过浏览在线数据表精确地检索组装到新产品上的所需的正确组件,该项研究试图寻找到提高计算方法所需要的关键要求,来论证复杂的几何图形和设计信息。该实验室把焦点集中在机械电子系统的设计和制造数据的归档和再使用上。本文介绍了这个研究课题的一个详细说明。一个关于实验平台最初结构的综述,一个关于概念化设计和设计检索的最初结果的说明。     

使用检查维修工作模型的建立

RCMA是制订装备预防性维修大纲的系统方法,可用度是制订军械装备预防性维修周期的主要决策目标,对RCMA七种工作类型之一的使用检查工作建立了以可用度为决策目标的一般模型,举例给出了模型输出结果的特征和敏感性,对几种特殊情况进行了讨论,给出的模型可用于此类问题的维修决策。     

关于细鞍点与细焦点的一般变换

各种变换在平面多项式系统的定性研究中是非常重要的。通过对鞍点量和焦点量计算时常用的变换进行研究,得到了两类把细鞍点化为细焦点的一般变换,并利用其中的一类推导出了不含二次项的三次系统的鞍点量和可积条件。     

广义原函数与广义不定积分

本文利用积分限函数定义了可积函数的广义原函数与广义不定积分,并给出了用广义原函数计算可积函数定积分的公式.     

一种使用可用度备件库存模型

阐述了以装备战备完好性为中心的备件库存控制的基本原理,并给出了以可用度为中心的备件库存数学模型.该模型可计算装备细目结构中的所有组件在各级维修机构中的库存水平,在满足一定费用约束条件下,使装备的使用可用度达到最大.     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

厚/薄梁和板的通用动力有限单元

本文以位移模式,从研究通用于厚/薄梁的动力有限单元入手,得到了通于薄板和中厚板的九个自由度三角形和十二个自由度矩形动力有限单元。