有关r-循环矩阵的一个快速算法

借助于快速付里叶变换,本文给出求两ｒ－循环阵之乘积阵的一种快速算法,其算术复杂性为０（Ｎｌｏｇ２Ｎ）,其中Ｎ为ｒ－循环阵的阶。特别地,分别取ｒ＝１和－１,我们便得到有关求循环阵、斜循环阵之积的快速算法。     

南沙群岛微气象数据处理系统

介绍南沙群岛微气象数据资源和气象数据自理系统的程序设计思想,功能特点,系统结构流程图,数据处理结果,这套系统的最大优点是：优点非常方便,可视性强,且具有较强的数据库管理能力。     

一个面向对象的形式化描述语言研究

本文针对信息系统建设的关键阶段——需求分析阶段的问题,对信息系统中需求分析作了深入地研究。结合现代信息系统建设的特点,提出了一套简单有效的面向对象需求分析方法以及相应的信息系统需求分析语言ISRSL。     

多微机系统VME总线控制器的设计与实现

文中给出了一个机械人力反馈依从控制用多微机系统的VME总线控制器的基本结构,给出了采用循环选择(RRS)优先策略裁决器的设计细节,指出了在设计过程中遇到的问题及其解决办法,最后以MSI、SSI给出了总线控制器的具体实现。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

美国三军通用导弹数据库某些数据的分析

一个大型、系统、轴对称弹体/垂尾数据库已通过新型导弹的模型试验建立起来。这些数据是基于导弹气动力编码的工程方法,也由诊断性的实验值所验证。通过对四种状态特征的具体分析,定量地指出:弓形激波、尾翼方位、尾翼偏转和体涡能对尾翼产生很强的特殊的复杂的影响。流动图象为认识这些影响提供了可贵的机理。研究发现:体涡对尾翼载荷有强的影响,而大的尾翼偏转对邻近尾翼会引起诱导载荷。