工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

美国海上力量的变化与发展

本文结合美海军1991～1997财政年度造舰计划叙述和分析了美海军海上力量今后的变化和发展,着重分析了航空母舰、驱逐舰、潜艇等几种主要战斗舰艇在2000年左右可能达到的数量。     

令牌式计算机局部网的仿真研究

本文介绍了令牌式计算机局部网仿真模型的建立和某些初步的仿真结果,同时对令牌的顺序传递两种方案进行了比较。     

InSb 晶体的杂质原子局域振动状态的密度分布函数计算

用递推方法计算了ＩｎＳｂ晶体中部分杂质原子的局域振动状态密度分布函数。杂质原子是Ａｌ,Ｇａ,Ａｓ和Ｐ。计算中用的力常数是通过实验数据拟合得到的。该计算模型包含了６２０９个原子的相互作用。     

Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

不同增强体镁基复合材料的阻尼性能

研究了短切碳纤维、碳化硅晶须、硼酸铝晶须为增强体的镁基复合材料在外加载荷下的阻尼性能,测量了它们的力学性能与断口特性。研究表明：增强体不同的镁基复合材料,阻尼性能不同;在所研究的几种增强体复合材料中,以短切碳纤维增强镁基复合材料的阻尼效果最好;短切碳纤维增强铁基复合材料界面对内耗有明显的影响。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

柱壳极限分析的广义变分原理

本文提供了适用于满足简化Mises屈服条件的刚塑性体柱壳极限分析的两类变量广义变分原理,并证明了它与柱壳极限分析的全套方程和条件等价。     

VCOHOR:一个面向复杂对象的版本模型

复杂(组合)对象的版本管理是工程数据库的重要组成部分,承担着工程DBMS定义、描述和操作同一对象的多个不同的表示或一致性状态、支持工程设计反复性和试探性过程的综合控制任务。而版本化复杂对象的数学模型、版本控制机制的逻辑设计以及版本对象的差分存贮等一直是工程数据库版本管理的重点和难点,笔者在以上诸方面进行了有益的探索。     

失调光学系统光线追迹公式

借助坐标变换,对现有的光线追迹公式进行改进,推导出一套失调光学系统的光线追迹公式,利用该套公式可以计算出光学系统存在各种失调情况下的象差值。