SIP协议的形式化分析与验证

文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.     

电推进系统在静止轨道卫星平台上应用的关键技术

在未来静止轨道平台上应用电推进系统是我国航天事业发展的必然趋势。将氙离子电推进系统(XIPS)应用于静止轨道卫星平台,除了要解决电推力器本身的问题之外,还要在系统应用方面做大量工作。以该静止轨道卫星对电推进系统的需求为基础,从三个方面对电推进系统在未来静止轨道平台上应用所涉及到的关键技术进行了分类及梳理:一是电推进系统与电推力器之间的关系,包括电推力器与推进剂贮存和供给子系统、电源子系统、控制子系统联合工作所涉及到的关键技术;二是电推进系统与化学推进系统的协调工作,包括两种推进系统的任务分工及相互影响所涉及到的关键技术;三是电推进系统对整星及大系统的影响,包括电推进系统对电源、热控、羽流污染控制、电磁兼容性(EMC)、遥测遥控、自主管理等所涉及到的关键技术。通过对这三个方面的关键技术进行梳理,明确了电推进系统在整星上应用所需要开展的工作。     

SCADA系统在石油储运中的应用

应用组态软件及PLC技术实现石油储运数据库的SCADA系统的构建,详细阐述了模拟石油储运中数据采集的硬件需求设计、软件构成,说明了石油储运数据库的SCADA系统的特点、功能、控制原理,完成了石油储运数据库的建立,为石油储运的研究提供了大量的实验数据,为石油储运新方法、新技术的推广提供依据。     

混凝土开裂的数值模拟分析

运用数值分析的方法。模拟计算混凝土的开裂问题。用弹塑性理论建立混凝土的开裂模型,并运用Ansys软件计算了钢筋混凝土梁的开裂,所得结果与相关理论和实验相符。     

常见波形级数

除了正余弦函数,锯齿波、方波、三角波、梯形波也是电子学中的常见波形.借助数论中的一个公式,给出了常见波形与正余弦函数之间的一个重要关系,把基于正余弦函数的经典傅里叶级数推广为基于电子学常见波形的一般频率级数,简称常见波形级数.这一推广给出了信号与常见波形间的联系,使得用常见波形的叠加表示信号成为可能,在理论上和技术上都具有重要意义.      

基于降落区概念的飞机起落架着陆动力学分析

在飞机跑道上引入降落区的概念,建立了飞机在该降落区上降落时的简化分析模型;推导出了基于该分析模型的运动微分方程及相关参数的表达式,采用数值分析方法解出飞机分别以正常着陆速度2.70m/s和非正常着陆速度3.545m/s垂直撞击地面这一过程的动态响应,给出机身载荷－时间历程曲线和地面垂支反力－时间历程曲线等。与原模型分析结果相比,正常着陆时机身受载和地面垂支反力最大值减小45％,非正常着陆时机身受载和地面垂直反力最大值减小49％,有效减小了冲击载荷。     

基于非线性预测的发动机转速限控方法

研究对发动机最大转速进行非线性预测限制的方法。将发动机动态过程描述为二阶的V olterra级数模型,并由此建立它的非线性闭环预测模型。根据输入约束和控制目标,提出转速预测限制的滚动控制算法。对此进行了仿真,在超量的加速供油下,得到了预测限制的供油变化线和转速变化线。与比例反馈限制方法比较表明,预测控制方法能够解决燃烧延迟和发动机转子惯性的影响,准确实现转速限制,且其控制算法的计算量小,能符合实时性要求。      

全光纤陀螺信号处理技术研究

采用数字、模拟混合信号处理方法，模拟信号处理主要针对光源驱动、相位调制器(PZT)的控制、相位跟踪、探测器信号的滤波和解调进行，数字信号处理器(DsP)根据模拟解调信号进行Sagnac相移计算、相敏参考信号自动选择，以及大小量程分档控制。此方法可有效发挥模拟、数字信号处理的优点，提高光纤陀螺的总体性能。     

航天器热控系统故障诊断策略

为了对航天器热控系统进行及时、准确的故障诊断,文章提出了一种故障诊断策略.该策略是基于热控系统数学模型建立故障诊断数据库;然后利用专家知识扩展故障诊断数据库来实现故障诊断;最后,由基于规则的分布式故障诊断专家系统给出故障决策.     

基于混合遗传算法的多目标动态优化设计

针对多目标动态优化设计中，解空间复杂、目标函数高度非线性、部分目标函数灵敏度容易求得等特点，综合利用多目标优化技术、遗传算法和梯度优化技术，提出了一种新的多目标混合遗传算法。这种算法在“并列选择遗传法”的基础上尽可能多地利用目标函数的灵敏度信息以加速收敛速度，同时通过各目标的重要程度和满意程度来决定相应的子种群大小以达到各目标的协同优化。在探讨了该方法的思想之后，着重研究了其实现步骤和关键技术，最后用一个浸水旋转壳的多目标动态优化设计为例，证明了本文方法的有效性。