一种振动条件下的方位估计及补偿技术

共型天线现在被广泛应用在飞机和无人机机身机翼上形成测向雷达;飞机在飞行过程中因为受到运行惯性和动力负载的相互作用很容易发生共形天线表面的变形,更重要的是平台的机械振动通常还会导致阵元位置的扰动的时变性,从而产生阵列天线的相位的改变,引起主波束方向和波束宽度的变化以及旁瓣的增大,严重影响共形天线的分辨率和测向性能;为了研究无人机机翼振动的问题建立了线性阵列振动模型,并采用经典的MUSIC算法来讨论振动对阵列天线方位估计的影响,并采用位移补偿算法对振动进行补偿,仿真结果显示振动对方位估计的影响和补偿方法有效性。     

受扰挠性卫星全局稳定姿态跟踪控制

挠性卫星的姿态跟踪控制要求同时考虑卫星本体姿态跟踪和挠性附件振动对姿态跟踪影响。本文针对存在常值扰动和正弦扰动情况时的挠性卫星姿态跟踪控制问题，考虑目标姿态角速度可以时变的一般情形，设计了基于误差四元数的姿态跟踪控制律，并利用Barbalat引理证明了系统的全局稳定性。数学仿真结果表明该控制律能使闭环控制系统的姿态跟踪全局渐近稳定，从而有效消除常值干扰和正弦干扰，保证卫星本体跟踪精度。     

基于机动目标模型的无人机视场跟踪仿真研究

为了跟踪地面机动目标,对无人机的视场进行了研究;分析了视场中目标位置的解算以及飞机、目标与视场的运动关系,并建立了三者的相对位置关系模型,推导出视场对目标进行跟踪的控制量;简要介绍了机动目标的"当前"统计模型及其自适应滤波算法,在该算法对目标跟踪的基础上,可以更准确地计算出视场校正控制量;对视场跟踪进行了仿真验证,利用飞行航迹和目标轨迹模拟,无人机盘旋跟踪地面运动目标,实时计算出偏差角控制量并调整视场;仿真结果表明,视场对机动目标的跟踪效果良好,算法稳定可靠.     

基于多天线GPS的船载卫星天线跟踪系统

为了克服传统的船载卫星天线跟踪系统因采用多种传感器带来的硬件成本高、软件接口复杂、系统运行速度慢和精度低等问题,提出了用多天线GPS姿态测量的方法,将GPS天线直接安装在卫星接收天线上,根据GPS各个天线的三维位置信息数据计算船载卫星天线的姿态,再由卫星的位置计算天线相对于卫星的角度并进行跟踪,实现了用一种传感器完成船载天线跟踪系统的姿态测量与控制。系统在内湖和海上进行多次测试,测试结果表明:在船体航行过程中电视信号的强度保持在60%~70%之间,对亚洲2号卫星进行移动跟踪的方位角误差的测试数据在±1.5°之间。该设计具有测试方法简单、误差小、成本低和使用方便等特点,有广泛的市场前景。     

具有输入约束和扰动补偿的四旋翼无人机姿态稳定模型预测控制

为了解决四旋翼无人机飞行过程中的姿态控制问题,考虑受到执行器输入约束和外界未知扰动影响,设计了一种具有输入约束和扰动补偿的四旋翼无人机姿态稳定模型预测控制方法;设计简化的四旋翼无人机姿态动力学模型,降低控制器设计的复杂程度,设计带有输入约束的控制器,模拟饱和输入现象,实现饱和输入下的四旋翼姿态稳定控制;设计风扰观测器,实现对外部未知扰动的估计,有效跟踪外部持续扰动,并由此设计扰动补偿律;围绕代价函数设计带有扰动补偿律的最优控制律,作用于四旋翼姿态系统,实现四旋翼无人机姿态的稳定控制;最后进行数值仿真,设置风扰观测器参数λi为0.25,预测时域Np为10,控制时域Nc为9,仿真测试本文方法与不带观测器的非线性预测控制方法（NMPC）,验证本文控制方法的有效性和优越性。     

无人驾驶飞行器姿态的非线性扰动抑制控制

本文研究了无人驾驶飞行器(unmanned aerial vehicle,UAV)的姿态跟踪控制问题.针对在飞行器姿态跟踪时存在的系统模型不确定性和外界扰动,提出了一种基于四元数的姿态跟踪控制方法,基于UAV的姿态误差模型分别设计系统的观测器和控制器.首先,以四元数为姿态参数建立系统的非线性误差模型;在此基础之上,设计一种非线性干扰观测器(nonlinear disturbance observer,NDOB)用以在线估计误差模型中的复合扰动,并在控制输入端进行相应的补偿.然后通过设计非线性广义预测控制律设镇定误差系统,实现姿态跟踪.最后基于频域理论分析了非线性干扰观测器的扰动抑制性能.仿真与实验结果表明本文提出的方法在系统存在复合扰动的情况下能使系统姿态有效的跟踪期望值.     

航天器姿态跟踪有限时间饱和控制

针对卫星姿态跟踪系统, 在无扰动和有扰动的情况下, 利用双曲正切函数和辅助系统设计两个有限时间饱和控制器. 双曲正切函数可以严格地保证卫星姿态跟踪系统的控制输入是有界的. 通过李雅普诺夫理论可以证明, 系统在两个控制器的作用下既是渐近稳定的又是有限时间稳定的, 系统可以快速收敛到平衡点. 数值仿真进一步表明了所提出的有限时间控制器的有效性.

     

飞轮转速过零时卫星姿态的补偿控制研究

为了提高小卫星姿态控制系统的控制精度和稳定性,解决反作用飞轮转速过零时由摩擦力引起的非线性扰动问题,根据姿态动力学理论,建立了卫星姿态控制的力学模型与数学模型.采用分别加入颤震信号和脉冲信号的方法,对摩擦力进行补偿,消除非线性扰动.通过仿真实验,对比加入颤震信号和加入脉冲信号的补偿控制方法,两种方法能够有效地抑制反作用飞轮转速过零时引起的姿态扰动,且加入脉冲信号方法优于加入颤振信号方法,前者能够更快的使系统达到稳定且消耗的能量少.从而实现了卫星姿态控制高精度和稳定性的控制.     

有扰情况下全局稳定姿态跟踪控制

许多空间飞行任务要求卫星姿态跟踪控制。由于卫星在跟踪过程中不可避免要受到各种干扰，因此有必要研究有扰情况下卫星的姿态跟踪问题。本文率先针对存在常值扰动和正弦扰动情况时的姿态跟踪控制问题，采用退步法和内模原理设计了基于误差四元数的姿态跟踪控制律，并结合Lyapunov直接法和Barbalat引理证明了系统的全局渐近稳定性。理论分析和数学仿真结果表明该控制律能使系统全局渐近稳定，能够有效消除常值干扰和正弦干扰。     

基于固定时间扰动观测器的四旋翼无人机轨迹跟踪控制

针对六自由度小型四旋翼无人机在轨迹跟踪控制过程中,单一控制器构成的控制系统存在外部未知干扰,系统的鲁棒性以及轨迹跟踪精度容易产生较大的波动问题,该文章提出了一种基于固定时间扰动观测器的全闭环控制方案,即针对位置与姿态的双闭环控制;首先利用固定时间理论设计了两个扰动观测器,在固定时间内对扰动做出估计并进行补偿;在此观测器对扰动值的精确估计基础之上,设计了两个具有扰动补偿能力的非线性跟踪控制器;李雅普诺夫稳定性理论证明了所述方法的有效性;仿真实验中,为对比所述控制方法的有效性,同时采用传统单一控制器构成的无人机控制系统进行对比分析;在无人机质量为m=1.44 kg、环境重力加速度为g=9.8 m/s2以及其他模型参数一致的前提下,进行大量的仿真实验验证了所提出的基于固定时间扰动观测器的扰动补偿控制系统,能够保证小型四旋翼无人机六自由度受到复杂外部干扰时准确估计出外部干扰值,并实现无人机进行高精度轨迹跟踪控制,且轨迹跟踪精度与抗扰性能皆优于传统单一控制器构成的无人机控制系统.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.