五位量子纠错码的各种形式

在各种量子纠错方案中五位量子纠错码被讨论得最多,本文按照正交条件,用图表对各种错误形式进行分类,再利用图表的直观性和对称性提供了一个较方便地找出５位量子纠错码各种形式的方法。     

基于 SBM的操作级并行处理算法研究

SBM是支持操作级并行的一种有效的同步机制。文中基于SBM对结点调度和barrier插入算法进行了深入的研究,提出了一套有效的开发操作级并行的方案。用一有向图G(N,A)表示指令之间的相关关系,并以结点的临界路径为关键字将结点从小到大进行排序。按照排序后的结点顺序,描述了一种分配算法,将结点分配给各处理机。同时,描述了相关结点之间的barrier插入算法。     

支持多媒体应用的CPU调度模型

多媒体应用的出现对操作系统调度模型提出了新的要求，许多多媒体系统中既有硬、软实时应用程序，又有传统的分时应用程序，希望在同一操作系统框架内得到支持。本文提出了支持上述功能的ＣＰＵ调度模型，并设计了两种算法来实现该模型：基于ＱｏＳ的ＣＰＵ带宽划分算法和双优先级调度算法。     

环境试验技术的现状综述与集成环境应力试验分析系统

在阐述可靠性环境试验技术基本内涵的基础上,分析了国内环境试验技术研究与应用的发展概况,以及存在的主要问题。最后,针对复杂机电设备,从功能和信息集成的角度,提出了一种集成环境试验分析系统的构成模式及主要功能。     

图形式火警救援C3系统

图形式火警救援C~3系统是一个先进的在国内首次实现的以微型机为主处理机,达到实用水平的火警救援C~3系统。系统设计以C~3I理论和技术为基础,以地图和图形为背景,以很低的投资获取了较高的技术性能和系统功能。本文概要地介绍了该系统的总体设计思想和若干主要技术问题。     

样条函数康特诺维奇法在复合材料板和圆柱曲板弯曲及线性稳定性分析中的应用

样条函数康特诺维奇法是作者首先提出的一种结构数值计算方法。它实质上是一种离散形式的康特诺维奇法,将二维问题化为一维问题,使问题的自由度数大幅度减少。在本文中,基于Mindlin假设,将样条函数康特诺维奇法应用于金属、复合材料单层板及圆柱曲板的弯曲及线性稳定性分析。     

超宽带雷达回波的双谱分析方法

谱分析是雷达信号处理的重要组成部分,对目标分类、特征检测均有重要意义。高阶谱所具有的特殊性质,有助于人们从新的角度对雷达回波进行分析。本文提出了一种双谱分析双（Ｑ,Ｋ）方法。仿真结果表明,本文提出的方法与其它的双谱估计算法相比估计精度更高。最后给出了应用实例     

基于对偶四元数的航天器六自由度相对运动输入有界控制

利用对偶四元数的理论来分析航天器六自由度的相对运动,设计了一种考虑输入有界的姿轨一体化控制器。在介绍对偶数和对偶四元数的基础上推导六自由度相对运动的姿轨耦合模型;利用双曲正切函数绝对值小于1的特性来显式地构造有界控制器,分别设计两个相互耦合的自适应调节律来动态地改变控制器的输出,并基于李雅普诺夫稳定性理论严格证明了闭环系统的全局渐近稳定性;利用数学仿真实验来验证该控制器和控制力满足给定的约束条件,能够实现航天器六自由度相对运动的精确稳定控制,并且对模型参数不确定性和外界扰动具有鲁棒性。与其他方法相比,由该控制器计算得到的控制力矩器的收敛速度更快,输出的控制力矩和控制力的最大幅值更小,且消耗的能量也更少。     

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

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

多Agent系统中Agent计算的能力理论

能力是规范Ａｇｅｎｔ的一个重要抽象概念。本文提出了规划树概念以刻划在动态、不确定的多Ａ－ｇｅｎｔ系统中Ａｇｅｎｔ如何通过对其规划进行合理、有效的组织来实现其任务、维护某些条件。基于规划树概念,本文给出了能力概念的形式化语义定义,获取和描述了它的一些重要属性。