逻辑无环流系统中逻辑控制器的设计

本文在给出逻辑无环流系统基础上,主要介绍关于DLC设计的有关问题.逻辑控制器DLC是系统的关键部件,必须保证可靠工作.通过实际验收,说明了设计的有效性.     

基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

直接力/气动力拦截弹复合逻辑与复合控制系统设计

以大气层内拦截弹直接侧向力和气动力的复合控制系统为研究对象,首先设计了轨控复合控制逻辑,然后建立了复合控制模型,并将复合系统分解为直接侧向力子系统和气动力子系统,用经典控制理论设计了气动力子系统,用模糊控制理论设计了直接力子系统。仿真结果表明:所设计的复合控制逻辑合理;基于模糊逻辑的直接力子系统可有效避免点燃发动机数量过多而需要反向点火情况的发生;与气动力系统相比,复合控制系统性能有较大提高。     

随机逻辑度量空间中命题稠密性与逻辑算子连续性

在赋值域为W—[0,1]的Lukasiewicz命题逻辑系统Luk中展开研究,对在命题逻辑系统Luk中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统Luk中的命题公式在该空间中是稠密的;研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算→、V与→是连续的。     

基于存贮逻辑的通用串行信号生成方法

国内航空航天飞行器的研制过程中，经常重复研制信号模拟器，为了解决该问题，本文提出了一种基于存贮逻辑的通用串行信号生成方法，并给出了基于该方法的一个设计实例。     

会计理论结构的逻辑起点探析

会计理论结构的逻辑起点是会计研究的切人点，逻辑起点的选择科学与否直接决定该理论结构体系的内在严密性，以及它对会计实践的指导和预测作用。论文试图通过介绍作为会计理论结构的逻辑起点应具备的条件，并评析几种会计理论结构逻辑起点论，最后提出将会计对象和会计目标结合起来作为会计理论结构逻辑起点的设想。     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

模糊逻辑方法在具有不确定性时滞系统控制中的应用（英文）

时滞是典型的非线性环节,通常存在于流体动力学中例如航空飞行器控制。一个新型的改进史密斯预估器的控制方案被提出,可以解决扰动影响下的积分时滞系统控制中出现的稳态误差问题。首先积分时滞过程被预测为一阶时滞模型。通过使用劳思赫尔维斯稳定判据设计的PID控制策略可以实现系统稳定。该设计方法可以成功消除扰动的影响。但是在跟踪控制的瞬态响应中会产生较大的超调量。因此模糊逻辑方法被用于调节设计的PID控制器,以降低超调量。最终研究设计的控制方法具有很好的鲁棒性同时在应对系统不确定性时表现了很好的控制性能。     

多层模糊逻辑控制器的设计

本文提出一种适合于多输入多输出(MIMO)系统的多层模糊逻辑控制器(MLFLC)，该控制器由若干个多输入单输出(MISO)模糊控制器构成，每个MISO模糊控制器由许多单输入单输出(SISO)模糊控制器组成。该控制器采用互补型隶属函数，具有一组零控制面，只要使量化因子满足一定的条件，控制系统就是渐近稳定的。最后将上述控制器用于二节机械手中进行仿真试验，验证了上述算法的可行性和有效性。     

一种可编程逻辑器件在导弹地测设备上的应用

介绍一种具有内部边线式结构、可预知逻辑定时关系、资源规模庞大、Ｉ／Ｏ管肢数目丰富的一种ＥＰＬＤ（Ｅｒａｓａｂｌｅ ＰＬＤ）器件ＭＡＣＨ４，该器件且可在系统上进行现场编程ＩＳＰ（Ｉｎ Ｓｙｓｔｅｍ Ｐｒｏｇｒａｍｍａｂｉｌｉｔｙ），能有效消除竞争冒险、作用灵活方便、可靠性高的一种－ＭＡＣＨ４系列器件，并以设计某型导弹武器系统仪器－－测时测频仪为例说明了应用ＩＳＰ技术实现该系统设计的方法及技术要点。     

CAST激光驱动微小飞片及其超高速撞击效应研究进展

激光驱动飞片技术(LDFT)在模拟微米级空间碎片对航天器的超高速撞击效应方面具有独特的优势。文章全面介绍了北京卫星环境工程研究所在激光驱动飞片技术与微米级空间碎片超高速撞击效应地面模拟研究中取得的若干进展,包括激光驱动飞片的理论计算、超高速飞片的稳定发射技术、超高速飞片速度瞬态测量技术、航天器外露表面的超高速撞击特性、超高速撞击累积损伤评价方法,以及微米级空间碎片超高速撞击防护技术探索等研究。同时,展望了激光驱动飞片技术以及微米级空间碎片累积撞击实验研究的发展方向。     

空间流量调节阀的润滑

流量调节阀运动件较多,工作环境压力<10^-11Pa,流体润滑不适应该环境条件。阀芯与推进剂（N₂O₄和MON-1）接触,无成熟解决方案。本文提出的阀门运动件润滑方案,非接触介质运动件采用自润滑材料或固体润滑膜。阀芯润滑,提出了物理气象沉积类金刚石膜（DLC）、TiN-Au复合膜及单质纯金膜三种方案。通过试验研究,确定阀芯采用全新的润滑方式-离子镀金。     

基于PDM与CAPP系统的集成技术研究

针对现有PDM与CAPP系统,采用基于SOA思想的松耦合的集成接口方式,分析了系统集成方面的核心技术,实现了以产品数据管理(PDM)系统为核心,与工艺规划管理(CAPP)系统紧密集成的基础数据平台。通过采用统一产品结构树,由PDM系统管理CAPP的工艺数据,在CAPP中存储工艺数据,实现了不同系统的数据互通,同时为实现企业各系统之间的综合集成奠定了基础。     

六轴联动缠绕机数控系统应用软件的开发

纤维缠绕复合材料由于具有优良的性能而在许多领域广泛应用。数控系统作为其成型工艺装备的重要部分，如果采用标准数控系统，会使它的扩充和修改极为有限，并难以将自己的专用技术、工艺经验集成到控制系统中去，且成本较高。针对这些情况，文中提出以IPc和多轴运动控制器为基础构成开放式的六轴缠绕机数控系统，阐述了该数控系统的硬件构成，并重点介绍了系统应用软件的结构、系统软件的模块化设计以及如何在win—dows环境下进行用户化开发。该数控系统的实际工程应用，验证了系统的实用性和开放性。     

雷达中的分布式计算机系统

通过对雷达中信息流的分析研究，提出雷达中的分布式计算机系统可由分布式的管理系统和分布式的数据处理系统两者综合而成这一设计思路。其中，两极层次结构的分布式管理系统适用于要求集中监控的雷达管理，而滑窗－流水作业的分布式数据处理系统能适应对多批目标的实时处理。     

分舱耦合体系下的新型卫星热控平台技术

首先说明了热控体系、热控平台技术、热控分系统、热控措施之间的关系,然后描述了卫星热控设计体系的构建过程,在此基础上,简述了卫星系统发展对热控体系提出的挑战和一个理想热控设计体系所应具有的特征,同时对当前已有的热控设计体系进行了分析,并进一步提出了满足未来卫星发展需要的分舱耦合热控设计体系,针对在该体系框架内,阐述了基于分舱耦合分布式和分舱耦合集中式的可能应用情况,最后,描述了其应用涉及的关键技术。通过分析认为,分舱耦合体系下的新型热控平台技术,是满足未来卫星发展需要的趋势。     

液体火箭推进系统频率特性的灵敏度分析

针对液体火箭飞行过程中POGO振动对火箭系统的不利影响,建立了液体火箭推进系统动力学模型,以区间数学为理论基础,对推进系统频率特性进行灵敏度分析,得到了推进系统的流体惯性、阻力和刚度参数对推进系统频率特性的影响规律。研究结果表明：液体火箭推进系统振动频率对流体惯性参数的敏感程度比流体阻力参数和流体刚度参数明显大,泵前短管流体惯性的变化对推进系统振动频率的影响最大,补偿管路流体刚度的变化对推进系统振动频率的影响最小。为合理设计推进系统的动力学参数,降低推进系统的振动频率,抑制 POGO 振动的发生提供理论依据。     

多用途液体上面级GNC系统方案研究

研究了一种多用途液体上面级的GNC系统方案,提出了SINS GPS组合导航方案,轨道霍曼转移 最优制导方案和姿态预测控制方案。对GNC系统功能和特点,系统组成及系统方案进行了详细的描述,介绍了其针对现有任务和现有技术的设计思路和设计中的主要问题及解决方法。初步的仿真结果证明了系统方案的可行性。     

腈纶/芳纶共混短纤维用量对柔性绝热层材料性能的影响

比较了腈纶短纤维增强EPDM／NBR共混橡胶（EN体系）、芳纶短纤维增强EPDM／NBR共混橡胶（EA体系）、腈纶／芳纶混杂短纤维增强EPDM／NBR共混橡胶（ENA体系）等3种体系中,短纤维用量对材料不同方向上力学性能的影响;EA和ENA两种不同体系中,短纤维用量对材料烧蚀性能和相对密度的影响。在短纤维用量为6份时,ENA体系的拉伸强度和伸长率比EA体系大,烧蚀性能比EA体系好,相对密度也比EA体系低。     

流量调节器在泵压式供应系统中的动力学特性

针对某型流量调节器及泵压式供应系统,建立了描述其动态特性的频域分析模型,研究系统在出口压力扰动下的频率响应特性以及系统的固有稳定性.结果表明调节器在系统中的位置对系统高频范围内的频率特性影响很大.当供应系统总压降保持一定,增大出口局部流阻的压降能降低系统的谐振峰.当出口局部阻力较小,管路长度比例合适时,系统能够出现自发的不稳定.出口局部阻力越低,系统的总管路长度越大,则系统稳定性越差,不稳定的管路长度比例区间就越大.系统产生不稳定的机理是,在合适的管路长度比例下,调节器第二道节流口所分成的两截管路的声学频率相匹配,且流量调节器处于固有频率的压力波腹,滑阀始终受到频率一致、较大幅值的脉动压力的作用,使得滑阀在固有频率下产生明显的随动响应,对系统形成正反馈.在系统的阻尼耗散作用不足时,形成了耦合的不稳定系统.