部分共享型综合业务网流量拥塞控制策略

为控制流量拥塞,提出以在线的各类On-Off型实时可变比特率业务连接的峰值带宽和预期的分组丢失率门限为依据的部分共享型呼叫接纳控制策略。给出呼叫损失概率和分组丢失率的计算方法,分析这些服务质量指标与该策略中可动态调整的控制参数之间的关系,对相关结论给予数学证明或数值验证。     

空天飞空天飞行器的自适应变论域模糊预测控制行器的自适应变论域模糊预测控制

考虑一类非线性不确定系统的变论域模糊预测控制问题.根据跟踪误差在线调整伸缩因子,使变论域模糊系统一致逼近被控对象中的未知干扰和不确定因素.通过引入鲁棒自适应控制器,消除了模糊建模误差,提高了系统的动态性能.基于泰勒展开的非线性预测控制律,避免了繁重的计算负担.基于Lyapunov理论,给出了伸缩因子的σ调整律,并证明了闭环系统一致最终有界.最后,将该算法用于空天飞行器(ASV)姿态控制系统的设计,仿真结果表明了该算法的有效性.     

基于H.264的熵编码结构

Exp-Golomb和CAVLC是H.264引入的新的熵编码形式,通过引入上下文的方式,减少编码码流,提高鲁棒性。该文提出一种熵编码的硬件结构,采用全0子块探测,双RAM结构,流水线技术,以及通过计算代替查找表的方法,加快编码过程,同时减少硬件的复杂度。FPGA综合结果显示,关键路径为11.449 ns,系统时钟最高支持到87.346 MHz。     

Identification of variable coefficients for vibrating systems by boundary control and observation

We consider the identification problem of coefficients for vibrating systems described by a Euler-Bernoulli beam equation or a string equation, with one end clamped and with an input exerted on the other end. For the beam equation, the observations are the velocity and the angle velocity at the free end, while for the string equation, the observation is the velocity at the free end. In the framework of well-posed linear system theory, we show that both the density and the flexural rigidity of the beam, and the tension of the string, can be uniquely determined by the observations for all positive times. Moreover, a general constructive method is developed to show that the mass density and the elastic modulus of the string are not determined by the observation.     

战术导弹自动驾驶仪变结构控制设计与仿真

为了使战术导弹自动驾驶仪对导弹的内在参数变化等因素有较强的适应能力和鲁棒性片保证系统能够达到期望的性能指标要求,根据变结构理论对其进行了重新设计.先把战术导弹的典型自动驾驶仪回路简化为二阶线性变参数模型,并根据一条弹道上的导弹自动驾驶仪参数计算出其参数的变化范围.经严格推导了系统存在滑动模态的充分条件下设计了滑模变结构控制器对其进行控制.结论是,变结构控制方法对导弹内在参数大范围剧烈变化和外在环境扰动等因素具有较强的适应能力和鲁棒性.通过数字仿真验证了所设计的滑模变结构控制方法的正确性和有效性.     

一种具有快速跟踪能力的改进RLS算法研究

为了改善固定遗忘因子BLS(Recursive least-square)算法在时变系统中的跟踪性能,提出了一种改进的BLS算法.改进的BLS算法结合了可变遗忘因子的BLS算法和自扰动BLS算法,既克服了固定遗忘因子RLS算法中跟踪速度和参数失调的矛盾,而且也避免了当参数估值趋向于参数真值时,卡尔曼增益趋于零,从而BLS算法失去对时变系统的跟踪能力的问题.最后,在MATLAB平台下,对改进后的RIS算法进行了仿真验证.仿真结果表明,算法具有较快的收敛速度和跟踪速度以及较小的稳态误差.     

变风量空调系统机组部分的建模与仿真

本文针对变风量空调系统存在耦合,难以稳定运行的情况,把空调系统分解为机组部分和末端部分来考虑。对机组部分采用最小二乘法建模,并提出了基于单神经元自适应PID控制方案。应用Matlab软件对其进行仿真,仿真结果令人比较满意,证明了这种控制策略的可行性。     

VASR-CBMC：基于变量子图的多线程程序验证

Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例可行性及求解精化约束耗时过长的问题,提出变量子图概念及基于变量子图的抽象精化方法,将全局事件顺序图分解为连通等价的变量子图集,基于变量子图执行反例验证与精化求解,从而有效缩小图的规模,提升验证效率。将该方法实现为VSAR-CBMC,实验证明相较于Yogar-CBMC验证时间平均缩短43%。     

基于KPCA子空间虚假邻点判别的非线性建模的变量选择

特征变量选择技术是非线性系统建模过程中降低信息冗余和提高精度的有效方法。提出一种结合核主成分分析法(Kernel principal components analysis,KPCA)与虚假最近邻点法(False nearest neighbor,FNN)的变量选择法。引入核方法,将非线性原始数据映射到线性空间,再采用主成分分析法有效合理地消除因子之间的多重共线性,受混沌相空间虚假最近邻点法的启示,通过计算原始数据在KPCA子空间中投影的距离,判断其对主导变量的解释能力,由此进行变量的选择该方法用氢氰酸生产工艺工程中的非线性模型验证,并与全参数模型进行比较,结果显示该方法有良好的变量选择能力。因此,该研究为非线性系统建模的变量选择方法提供一种新方法。     

不完备系统中基于多粒度的变精度粗糙集方法

多粒度方法是近年来新兴起的一种数据处理模型。为了使多粒度方法适用于不完备信息系统,借鉴非对称相似关系和可变精度的基本思想,提出了基于多粒度的变精度粗糙集模型,其分别包括乐观和悲观两种不同的形式。对这些模型的基本性质进行了讨论,并在多粒度框架下,将变精度方法与严格包含的方法进行了对比分析,最后通过实例分析,说明了如何在不完备信息系统中根据所提出的多粒度变精度粗糙集模型来获取“或”决策规则。