中小城市公安光纤城域网的实现

公安网络建设是公安"金盾工程"规划的重要组成部分,地市级公安的三级网络建设,是整个公安网络建设的重要环节。随着光传输网络的普及和千兆技术的成熟,千兆以太网GE在技术成熟度、标准化和价格等方面都是一个更合适的选择。本文将介绍湖州公安三级网络的千兆光以太城域网改造案例,分析光纤城域网建设的要求、技术。     

基于神经网络的鲁棒制导律设计

 基于神经网络理论对寻的导弹鲁棒制导律进行了优化设计。建立了制导系统非线性运动学方程和鲁棒性能函数,并将鲁棒性能函数转化成了微分对策的极小极大化问题。采用伴随 BP技术,将微分对策的两点边值求解问题转化为 2个神经网络的学习问题,训练后的 2个神经网络分别作为对策双方的最优控制器在线使用,避免了直接求解复杂的鲁棒制导律问题,仿真结果表明了该方法有效性。     

用于建立机械制造系统模型的扩展着色Petri网

着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。     

某型无人机拦阻网回收系统设计

介绍了无人机拦阻网回收系统的组成和工作原理，论述了系统的网体设计、涡轮阻尼器设计以及拦阻过程计算等关键技术问题，并给出某型无人机拦阻回收系统的性能计算结果。本文的研究成果为某型无人机拦阻网回收系统的工程设计提供了理论依据，并已成功应用于某型无人机系统的研制。     

知识Petri网与机器人装配规划

介绍了知识Petri网（KPN），在柔性装配系统中基于KPN机器人装配规划的任务，以及用KPN为机器人装配规划的任务，以及用KPN为机器人装配规划建模和KPN的运行。文中论述了如何建立邻链表、构造KPN，以及最后如何运行KPN，获得最佳装配规划。最后，阐述了基于KPN的机器人装配规划系统中数据库、规划库及推理机的构造。基于KPN的机器人装配规划，与目前常用的机器人装配规划方法，如启发式搜索法AO和线性规划LP法相比，具有如下主要优点：由于将人工智能用于Petri网中，故智能强；适应性强，既适用于整套产品零件同时到达装配站，也适用于各零件分时到达装配站时的规划；算法简单，规划速度快，更适用于在线规划。     

微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

一类不确定非线性系统的观测器设计

系统状态观测器在故障检测与状态反馈中起着重要作用，特剐是非线性系统状态观测器的构造已成为目前控制理论界一个重要研究课题。本文针对一类含有建模误差的非线性系统，提出了一种非线性状态观测器的结构形式，然后利用非线性变换，将含有建模误差的非线性系统变换为仅依赖原系统的输入、输出的规范形式，从而利用可测数据进行构造观测器。在此基础上，利用Lyapunov稳定性理论以及微分同胚的性质，分析了非线性动态误差方程的稳定性。理论证明，在建模误差为零时，估计状态收敛到其真实状态；在建模误差不为零时，估计状态与实际状态之差一致最终有界。最后进行了详细的仿真研究，结果表明了该方法的有效性。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

近地空间目标监视网设计

本文首先根据空间目标监视对监视网的基本要求,提出了近地空间目标监视网的完备性概念,进而根据空间监视的机理,对其进行了时空分解,其次,结合近地目标的轨道特性和空间分布特性,分析给出了监视设备的空间监视能力表达式,并据此描述了近地空间目标监视网的设计要点,最后,给出了一个局部地基近空间目标监视网的设计示例,以说明以上内容的具体应用。     

变分法在微分——超越系统中的应用

本文讨论微分—超越系统的最优控制问题。对控制量受限且分段连续的情形,进行了数学上的处理,应用变分方法,证明了最优性的必要条件。