DDBMS中的并发控制理论

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

筒形桅杆有限元计算模型及无刚度奇点的消除方法研究

本文提出了一个用于消除空间杆梁结构有限元模型中的无刚度“奇点”的元素及相应的刚度矩阵计算公式。在无刚度“奇点”出现处以此元素替代拉压杆元,可使空间杆梁结构模型中的无刚度“奇点”消失,能够在不增加整个计算模型自由度的情况下提高计算结果的精度。在微型计算机上运用全部三维12自由度梁单元计算模型、拉压杆元——加弹性支座计算模型和本文提出的计算模型对某型军舰的桅杆结构进行了实例计算比较。计算结果表明:用本文方法得到的应力值、位移值与全部三维12自由度梁单元模型的计算结果符合良好。     

基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。     

仿真机YH-F2的同步和并行处理技术的进一步研究

ＹＨ－Ｆ２是速度快、精度高、仿真能力强的全数字仿真计算机,在仿真方面,ＹＨ－Ｆ２的性能超过了一些巨型机。ＹＨ－Ｆ２广泛采用了同步和并行处理技术,这是ＹＨ－Ｆ２之所以能够高速、高效的重要原因之一。本文从体系结构、同步和广播式总线、处理机间通信、处理机内部、输入输出系统、编译程序等方面介绍了ＹＨ－Ｆ２采用的一些同步和并行处理技术。     

多速视线指令滤波控制器设计

在许多现代便携式武器中所采用的视线指令制导方案,其本质是数据采样系统,它需要运用离散控制与估计理论。文章涉及了多速数字滤波－控制器的设计和测试。该滤波控制器适用于视线指令制导截击静止目标,将慢波束信息与弹上采用最优多速估值技术的快速测量结合起来。文中给出了详细的图解来说明所产生的滤波控制器的周期性,其工作速率与弹上快速测量相同。可以看到,多速滤波－控制器的性能仅在少数情况下比波束快速更新时所得到的差些。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

永磁式同步电动机的矢量图

根据稀土永磁材料性能和以其制成的同步电动机工作的特点,提出了永磁式同步电动机的矢量图;并举例说明在矢量控制系统中的应用.     

二十一世纪地下空间开发利用展望

本文论述地下空间开发利用的必要性和前提,提出了二十一世纪是地下空间的世纪,对搞好我国二十一世纪地下空间开发利用提出了建议。     

核爆炸空间中子能谱的研究

建立了合理的模型,采用了可靠的计算工具和方法,得到了大气层核爆炸中子场内中子注量、个人剂量和个人剂量当量的空间分布以及能量和角分布的完整数据,从中总结出许多有价值的规律。