分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

基于Hensel引理的规格化边界角浮点乘测试用例生成模型

针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.     

基于自适应快速终端滑模的航天器容错控制

针对执行机构发生故障时的航天器姿态控制问题，提出了一种基于自适应快速终端滑模的容错控制设计方法。该方法通过选择具有快速终端特性的滑模面，提高航天器容错控制的收敛速率，实现系统有限时间稳定|利用自适应控制方法在线调整控制器参数，消除对故障最小 值信息的依赖。仿真结果表明，与基于普通滑模控制器的容错控制相比，所提出的方法在保证系统鲁棒性和稳定性的同时，三轴姿态角和态角速度收敛时间可分别降低约54.5%和50%，实现快速有效的航天器容错控制。     

串口服务器在数据采集系统的应用

目前生产安防的数据采集系统有一种较为先进的联网技术,即通过串口联网服务器,使以前的RS-232/RS-485设备可以立即升级成为具有以太网接口的设备。在此给出一种采用串口服务器作为上下位机连接的桥梁来构建中小工程项目的解决方案。通过此方案,可以将在下位机采集的数据通过以太网进行传输,监控中心和各个控制终端都可以通过以太网传输协议接收到数据,提高了数据传输速率和安全性,也能大大提高工厂的实时监控效率。     

雷达卫星鲁棒逆最优自适应姿态跟踪控制

针对存在外界扰动和模型参数不确定性的雷达卫星姿态跟踪控制问题,提出了一类基于修正的罗德里格斯参数描述的雷达卫星鲁棒逆最优自适应控制器设计新方法．通过Backstepping方法和构造相应李雅普诺夫函数,设计了鲁棒逆最优控制器,避免了直接求解哈密顿一雅克比一贝尔曼偏微分方程,使控制器相对于选取的具有鲁棒性的代价函数最优,并以较小的L：增益,实现对外界扰动的输入一状态稳定和鲁棒性;针对系统参数不确定性设计自适应参数更新律,对参数进行自适应学习,有效降低参数不确定对系统的不利影响．仿真结果表明：该方法能有效抑制模型不确定参数和外界未知扰动的影响,在保证姿态跟踪精度的同时,能增强系统鲁棒性．     

试析荀子王霸兼用的思想

王道和霸道是两种不同的政治手段，各有其依据，各具特色。先秦儒家推崇王道，对霸道看法不一。孔孟荀崇尚王道，孟子反对霸道，荀子接受霸道，主张王霸兼用，反对权谋，荀子的为政思想更为现实。荀子的王霸兼用思想对当今处理内外事务具有一定的借鉴意义。     

基于滑模观测器的偏置动量卫星姿态跟踪控制

针对在偏航姿态测量信息未知时偏置动量卫星姿态跟踪控制，提出了一种新的滑模观测器及其对应的自适应滑模控制器设计方法。基于滚动轴和俯仰轴信息，设计了一种经过平滑的滑模观测器，抑制高频抖震的同时提高状态估计的鲁棒性；设计的比例积分滑模面，能实现积分滑模控制，抑制稳态误差，优化滑模的全程鲁棒性，并采用自适应方法，对不确定参数进行在线更新，补偿不确定参数的影响。数值仿真结果表明，相对于龙伯格观测器，该方法能提高偏航姿态信息估计精度，在保证系统鲁棒性的同时，滚动和偏航轴姿态跟踪精度分别提高约50%。     

结合子空间投影的幅度相位估计波束形成算法

在医学超声成像中,幅度相位估计(APES)波束形成算法能够更稳健地估算期望信号幅度,但其以牺牲较少量分辨率为代价.针对此问题,提出基于幅度相位估计并融合子空间投影技术的自适应波束形成算法.首先通过幅度相位估计算法初步计算加权向量,然后将加权向量向回波信号的期望信号子空间投影,以此来抑制噪声和干扰,改善成像的分辨率和对比度.经仿真分析,所提出的子空间投影与幅度相位相融合的算法在成像的分辨率、对比度和稳健性方面均优于原始的幅度相位估计算法.     

影响密肋复合墙板协同工作的因素

为研究密肋复合墙板协同工作的主要影响因素,建立2种不同规格的密肋复合墙板模型并进行单调加载计算,讨论砌块对结构协同工作受力性能和结构变形的影响.计算表明:在相同的试验条件下,不同规格的密肋复合墙板应力、应变及变形有很大不同.在外部荷载作用下,试件IFH-11主要由框格来承担外力,填充砌块承担的几乎为0,试件IFH-12...     

根系含量对岩质边坡表层抗冲刷性的影响

为研究植被根系含量对岩质边坡表层抗冲刷性的影响,通过根系含量与粘聚力增加值关系建立了根系密度与土壤抗剪强度的关系式,推导了根系分布密度的土壤临界切应力,进而推算客土层滑动面范围内的单位体积含根量。最后,选取实例研究植被根系含量对岩质边坡表层抗冲刷性的影响,为边坡选择最适合的绿化草种和单位面积的播种数量提供有效依据。