X-2000空间数据库系统的设计和实现

空间数据库技术是地理信息系统（ＧｅｏｇｒａｐｈｉｃＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍ，简称ＧＩＳ）的核心技术。我们设计和实现了一个新型的空间数据库系统——Ｘ－２０００空间数据库系统，它综合利用了空间数据库的新技术，提出了新的空间数据库的组织方法。本文重点介绍该空间数据库系统的设计思路和实现方法。     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

混合物薄膜折射率与膜孔洞率关系研究

本文对TiO_2和Ta_2O_5混合膜进行了单源共蒸发实验研究。在实验结果的基础上,提出了一个拟合TiO_2、Ta_2O_5混合膜系孔洞率的经验公式,并对混合膜的折射率的计算过程进行了改进。结果表明:理论计算与实验数据符合较好;混合物薄膜可能形成孔洞率较小的膜层,从而导致混合物薄膜折射率随混合百分比的变化曲线出现峰值。     

关于战术电台的通信距离及其抗干扰问题

本文根据电波传播及通信的理论,利用了现有的实测参数图表,分析并估算了×××电台进行数据传输的实际能力,即最大有效数传距离和抗噪声干扰性能.所得的数值及结论与实际条件下的通信实验结果相当接近.对一般战术电台都有适用意义.文章探讨了跳频工作的抗干扰性,有助于人们认清跳频抗干扰的实质,以减少一些盲目性,并能更合理地运用不同工作方式完成通信任务.     

装备可靠性维修性指标管理和分工的探讨

对可靠性维修性指标在研究中发现的问题,及指标在工程中落实遇到的问题,进行重点剖析。从分析人－机系统的四要素和质量特性的关系入手,提出综合分解指标的见解。     

一类二阶奇异Hamiltonian系统的非碰撞解

运用变分原理,拓扑度理论以及微局部分析技巧相结合的方法,作者讨论了一类二阶奇异Hamiltonian系统的时滞周期解之存在性。     

关于塔式网络矢量量化中格点的标号

在格型矢量量化中,用格点作为量化矢量,构成码书。为了存储或传输量化输出,必须对格点进行标号。我们在数据压缩课题研究中,对塔式网格矢量量化中格点的标号进行了探索,给出了常用的几种网络诸如ZL、DL、E8、A16等格点的标号算法。     

关于图的距离Irredundance数

G=(V,E)是简单连通图,用G—v表示从G中删除v以及与v相关联的边所得到的图,ir_n(G)表示G的n—irredundance数,证明了下列不等式: ir_n(G—v)≥(ir_n(G) 1)/2这个结果推广了Favaron的相应结论。     

对象关系数据库中连接谓词索引技术的研究

讨论了一种适合于对象关系数据库的新型索引结构———连接谓词索引 ,在介绍了谓词索引之后 ,给出了基于该索引结构的连接算法 ,并分析了连接算法的性能 ,提出了根据性能计算来确定关系R和S中谁作为外关系 ,从而降低算法代价的方法 ,特别地 ,本文还把连接谓词索引推广到一般形式 ,可以用于多个关系表的连接     

Laplace分布的均值被半序约束时的极大似然估计

讨论了Laplaoe分布中,方差已知的情况下,均值θ在简单半序约束下的最小L_1保序回归(ML_1IR),就最小L_1保序回归的唯一性以及一些其它性质予以了讨论,并且给出了计算方法。