吴方法在命题逻辑中的应用

该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式给出了命题公式的文法定义,通过语法, 语义分析实现了命题公式的代数化.此外,又根据特征列的性质,提出了一种逻辑推论自动生成的方法.     

一种基于CollectCast的点对点的流媒体

在许多的P2P的数据共享的分布式系统中到底在网络上有多少节点能够或者愿意提供这些资源的支持,特别是在带宽方面.讨论了一种基于CollectCast的点对点的流媒体Promise系统正是对这种问题提出的一种解决方案,通过用多个发送节点来提供对一个接收节点的支持.通过仿真证实此流媒体系统能够在网络即使不稳定性的情况下在接收端都可以达到很优的播放质量.     

电源切换对感应电机产生的影响

电源快速切换不仅引起的冲击电流远大于电机设备常规起动电流,而且会造成瞬态电磁转矩值大范围波动,影响系统工作特性,降低设备使用寿命.以感应电动机为例,借助Ansoft软件分析电机系统电源和后备电源快速切换引起的冲击扰动问题,并主要阐述切换前后感应电动机的机械特性、各性能参数的变化、以及磁场的分布情况.     

具饱和发生率的随机SIR传染病模型的遍历性

考虑了一类具Markov切换和饱和发生率的随机SIR传染病模型,证明了随机系统具有强Feller性和不可约性,并通过构造随机Lyapunov函数给出了系统存在遍历性的充分条件.     

基于定期不完美主动切换策略的温备系统运行优化模型

对于备份系统的运行,备份单元通常在主用单元发生故障后切换到运行状态,这种切换策略称为普通切换策略.然而,卫星上的一些关键子系统在轨运行时采用了一种新的定期切换策略,针对这两种策略的优劣比较问题,本文基于定期主动切换策略提出了温备份系统运行策略优化模型.首先引入了单元的虚拟寿命理论,再在单元寿命服从任意分布类型下,考虑切换装置可能故障,推导出了温备份系统的可靠度和平均失效时间的解析表达式,然后通过最大化温备系统的平均失效时间来获得优化的定期切换间隔.最后,以威布尔分布下卫星上的陀螺仪温备份子系统为例,说明了模型的适用性和有效性,并对相关参数进行了敏感性分析.     

鲁棒保性能切换控制器设计在BTT导弹中的应用

研究一类离散切换系统的鲁棒保性能状态反馈控制器设计问题.利用切换Lyapunov函数和线性矩阵不等式方法,得到了鲁棒保性能控制器存在的一个充分条件,给出了控制器的参数化表示,并将次优保性能控制器的设计问题转化为基于线性矩阵不等式约束下的凸优化问题.最后将所提理论应用于某型BTT导弹自动驾驶仪设计中,说明了所提设计方法的有效性.     

时滞离散切换系统的H∞滤波

主要研究在任意切换序列下,具有不确定性的时滞离散切换系统的H∞滤波问题。根据Lyapunov稳定性理论,首先针对标称系统,给出了能够保证滤波器误差方程渐进稳定的充分条件,然后考虑不确定性,利用Schur补引理,给出切换系统H∞滤波器的存在条件。仿真结果说明了方法的可行性和有效性。     

WLAN中基于吞吐量的AP切换机制的研究

移动通信中由于用户分布不均造成无线接入点（AP）间的负载分布不均衡。现有的切换机制大都根据无线终端（MH）接收信号信噪比（SNR）的大小来触发切换及选择AP,忽略了负载的影响。本算法结合SNR和负载两个指标,利用强制切换策略来平衡AP间的负载,提高了系统的吞吐量。实验表明,强制切换机制使整个系统的吞吐量提高了50％左右。     

切换非线性系统的指数拟无源化及其镇定

为解决切换非线性系统的指数拟无源化及其镇定问题,采用多存储函数方法,针对一般切换非线性系统,提出指数拟无源的概念;针对一类切换严格反馈系统,将拟无源化方法和Backstepping技术结合,构造性的设计依赖于状态的切换信号和反馈控制器.研究结果表明:解决切换严格反馈系统的指数拟无源化问题,得到闭环系统的实用稳定性.研究...     

逐次逼近型模数转换器研究进展

逐次逼近型模数转换器(successive approximation register analog-to-digital converter, SAR ADC)已占据中等速度和精度ADC的主要市场,其采样频率可达5 MHz,分辨率通常为8～16位。在保持其低功耗的固有优势下,SAR ADC设计面临更高速和更高精度的挑战。本文概述近年来逐次逼近型模数转换器的研究现状和先进技术,对电容阵列开关切换技术、比较器和校准方法进行归纳与讨论;对比了结合不同开关策略的电容阵列DAC性能;提出了适用于不同场景的比较器结构;对高速度、高精度、低功耗的SAR ADC研究进行了展望。