结构建模代数方法在关系模式设计中的实现

运用结构建模代数方法研究关系数据库设计中关系模式的规范分解,介绍了借助结构建模生成层次清晰的属性集结构的原理,分析了生成后的层次关系所蕴涵的关键字信息、关系模式信息和约束信息.由此给出了一种构造规范化的数据库关系模式的新方法.以炼油调度基础数据库为对象,演示了方法的具体实现,从而通过应用实例证实了该方法的简洁性和有效性.     

有关本原自动机的研究

讨论了本原自动机的自同态,证明了如果广义正规自动机Α的所有本原自动机都是Sl(或G)-自动机,那么Α也是Sl(或G)-自动机;证明了强连通本原自动机的并是G-自动机;利用极小生成元集将标准自动机的定义推广到有限自动机,给出了广义标准自动机的定义及其成立的一个充分条件。     

Fock空间中一类拟不变子空间的相似轨道

探索Fock空间的拟不变子空间在相似意义下的分类问题,主要研究无主项多项式生成的拟不变子空间的相似变换的分类问题,给出了和z w生成的拟不变子空间相似的拟不变子空间的完全刻画。     

通用型CGF系统中推理决策模型的研究

为了使计算机生成兵力(CGF)实体在仿真环境中具有智能,人工智能技术被广泛的采用。在设计通用型CGF系统推理决策模型的过程中,使用了产生式系统来实现作战任务阶段的决策,使用了模糊理论来实现敌方实体威胁程度的决策,使用了人工神经元网络来实现武器开火的决策。这些人工智能技术在舰艇兵力模型设计中的应用表明,它们能够有效的提高仿真实体的智能水平。     

包络等距三边形型面联接研究

分析了包络等距廓形的几何性质、包络等距三边形型面联接的特点，对转角差参、接触应力进行了分析，并导出了转角差和强度计算公式，提出了该类型面联接的设计原则。     

对苯二甲酸双羟丁酯直接酯化工艺研究

讨论了酯化温度、催化剂种类、用量及投料方式对酯化速度和THF生成量的影响.研究表明:采用钛锡复合催化剂能有效地提高酯化反应速度,减少THF生成;PTA逐步加入可将THF生成降到5.2?.     

变换环上具有不变因子的模

探讨了交换环R上具有不变因子的模M之判别问题,证明了只要R的乘法子集S在R/AnnR(M)中可逆,则M为具有不变因子的R-模当且仅当分式模S-1M为分式环S-1R上的具有不变因子的模.     

一类分配生成素近环成为交换整区的条件

设N是2－挠自由分配生成素近环，它具有单位元1和中心Z，证明了：如果N满足下列条件之一，则N是交换整区。（1）N容纳两个非零导子D1，D2，使得D1D2（N）包含于Z；（2）N容纳一个非零导子D，使得{D)N),D^2(N)]=0。     

海上防空仿真系统中的兰方航空分系统

在概念设计阶段，为了使用仿真手段检验舰载武器系统在作战环境下的防空性能，开发了兰方航空分系统。仿真演练过程中，兰方分系统经兰方网络拉口单元转发协议，通过主干与舰船分系统进行数据交换。在计算机生成兵力系统中，建立了实体的气动全量模型与极限参数模型，并采用了人工智能战术技术决策。     

确定生成子空间基的一种方法

设P是任一个数域,V是P上的有限维线性空间,σ是V的一个线性变换,对于V中任意m个线性无关的向量α_1,α_2,…,α_m,由σ(α_1),σ(α_2),…,σ(α_m)生成的子空间L(σ(α_1),σ(α_2),…,σ(α_m))的基的一种确定方法被给定。