硬实时仿真系统时间调度

时间调度是硬实时仿真平台中的关键技术之一。本文介绍了实时调度的基本概念，给出单处理机环境下的时间调度模型和算法。     

基于故障树的智能型故障诊断系统

本文在故障树定性和定量分析基础上，提出了基于故障树的智能型故障诊断方法。该方法是建立在故障模式按发生概率大小排序和底事件按发生概率大小排序基础上，因此较好地反映了故障诊断过程中各个底事件和中间事件对系统故障的影响。     

基于Globus Toolkit 4的网格服务开发环境

模拟网格环境以及开发网格服务应用程序,首先要配置Globus系统。Globus Toolkit 4．0(GT4)现已成为构建网格环境和开发网格服务的首选平台。讨论了网格服务的基本思想,分析了GT4的新特性及其在产业界的应用,探讨了在Linux上安装和配置GT4的方法和过程,并对该系统进行了测试。     

基于粗糙基的高超声速进气道起动／不起动分类方法研究

进气道起动／不起动状态检测是高超声速进气道研究的重要内容，它是进气道保护控制的基础和前提。针对这一问题，对高超声速进气道进行了不同边界条件下的二维稳态流场数值模拟。提出了利用粗糙集方法对进气道的测点进行约简处理，得到了进气道起动／不起动的分类准则，对分类准则进行了内在的物理机制分析，并利用其它工况数据对判断准则进行了验证。验证结果表明了分类准则的正确性。     

利用条形码测量电荷耦合成像系统的调制传递函数的方法

本文介绍了一种利用条型码来测量电荷耦合器件（CCD）在成像系统装置的调制传递函数的测量方法。同时分析了减少误差的方法，并给出了理论和实验数据。     

自主交会对接若干问题

自主交会对接是交会对接技术的发展趋势。本文首先介绍了国际上自主交会对接的研究概况，然后研究了假设目标航天器为刚体，运动在圆轨道或近圆轨道上，追踪航天器与目标航天器在近距离范围内实现自主交会对接的若干问题，即信息自主获取的测量技术，智能自主的控制技术和保证飞行状态及避免碰撞的人工智能技术。为实现自主交会对接，智能控制是非常重要的手段。     

几乎最佳自相关序列偶搜索算法的研究

几乎最佳自相关序列偶是一种新的最佳信号,但其一般的搜索方法——穷举法,搜索量太大。根据几乎最佳自相关序列偶的必要条件,提出一种新的搜索方法,给出算法流程图,并进行了实验验证。实验结果表明,算法可大大减小搜索量,比穷举法效果好且耗时短。     

挠性双自旋卫星的姿态稳定判据

本文建立了挠性双自旋卫星的姿态稳定性判据。挠性双自旋卫星由半刚性平台、转子以及固连于平台的挠性附件组成,选择由姿态角和模态坐标表示的系统的相对能量函数为Liapunov函数,由此建立的姿态稳定判据由两个部分组成,即忽略附件弹性运动时,半刚性双自旋卫星的姿态稳定条件和附件振动频率所应满足的条件。文中还给出了具体的应用例子。     

BTT导弹神经网络自适应控制器设计

在导弹系统存在非匹配不确定性的情况下 ,提出了一种基于RBF神经网络和反演控制技术的神经网络自适应导弹控制系统的设计方法。首先应用RBF神经网络在线辨识系统中存在的不确定性 ,然后利用反演控制技术设计了导弹非线性自适应控制器 ,成功的处理了非匹配不确定性 ,并应用Lyapunov稳定性理论推导出RBF神经网络权重矩阵及中心点值的调节律 ,保证了系统的稳定性。证明了系统的所有信号均有界且全局指数收敛至原点的一个邻域。最后给出的BTT导弹非线性六自由度数字仿真结果显示了该设计方法的有效性。     

非计算机专业微机系列课程建设的研究与实践

本文通过对非计算机专业微机系列课程建设的研究与实践，探讨了高职高专非计算机专业的计算机课程教学体系、教学方法、教学手段、教学条件等方面的改革与建设，研究了教学管理与学生课外科技活动和创新能力的培养途径，在推进教师队伍的建设、加强教学文件与教材建设、不断提高教学水平和教学质量等方面进行了有益的尝试。