混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

涡轮基组合循环发动机分布式控制系统通信网络混合拓扑结构优化方法

涡轮机组合循环(Turbine based combined cycle,TBCC)发动机控制系统通信网络拓扑结构是其分布式控制系统方案设计的重要部分,优化网络拓扑结构可提高发动机推重比和控制系统可靠性。本文基于智能优化算法提出TBCC分布式控制系统网络拓扑结构优化方法。基于图论建立TBCC几何模型和网格模型,以重量和可靠性为优化性能指标,同时考虑发动机表面高温区域以及控制节点的工作可靠性,分别采用粒子群算法和遗传算法优化星形结构中智能中央节点位置、中央节点的环形拓扑结构,获得星形-环形混合拓扑结构。仿真实例表明,基于本文方法优化所得的混合拓扑结构相较于星形集中式控制结构,系统重量降低了51.9%。     

面向多属性条件的空间对象检索算法

针对现有空间索引不能满足多样化的检索需求,提出两种新型空间索引,能够同时面向空间属性、文本属性与划分属性进行空间对象检索。将分类技术应用于空间对象检索中,提出了基于划分索引与IR-Tree的混合索引以及先划分索引再IR-Tree的索引方法,不仅满足了多样化的空间检索需求,而且有效地解决了传统空间索引更新维护代价大的问题。基于真实的北京市POI数据集进行实验,结果表明本文提出两种索引是有效的且检索效率高。与传统空间索引相比,提出的空间索引很好地解决了具有划分属性的空间对象检索问题,并且具有较高的检索效率。     

基于L1范数的k平面聚类算法设计

基于L2范数度量的k平面聚类(k-Plane Clustering,k PC)设计思想,本文提出了一种采用L1范数度量的聚类算法。由于在平面更新步骤中,所导出的优化问题是非凸的,文中给出了一种求解方法,即将非凸问题转化为有限个子集上的凸问题,为避免求解多个优化问题导致训练时间过长问题,本文还设计了一种新的优选策略,有限个子集的搜索任务可在线性时间内完成。本文所提出的方法只需要求解k个线性规划,而不再是k PC的求解特征值问题。在人工和UCI数据集上的实验结果表明:基于L1范数平面聚类算法的训练和测试时间更短,且在大多数数据集上均表现出了更好的聚类性能。     

一种可抑制三次谐波的五相混合式步进电机空间矢量脉宽调制优化控制策略

五相混合式步进电机因其定位精度高、转矩脉动小以及转矩密度高等优点而应用愈加广泛。为进一步减小其运行噪声、提高系统整体效率,本文提出一种可抑制三次谐波的五相混合式步进电机空间矢量脉宽调制(Space vector pulse width modulation,SVPWM)优化控制策略。首先搭建了考虑互感条件下的五相混合式步进电机解耦控制数学模型。在此基础上,采用相邻两大矢量和两中矢量合成混合电压矢量的SVPWM控制策略,并给出了相应的五相混合式步进电机双闭环控制系统。本文所提的混合SVPWM算法通过利用大、中矢量在基波、三次谐波双坐标系对应关系以达到抑制三次谐波的效果,能够有效降低相电流纹波和谐波含量。最后,研制了一套基于FPGA的实验平台,对所提策略与传统滞环算法、大矢量SVPWM算法进行对比研究,重点分析了3种算法对相电流纹波和谐波含量的影响,从而验证了所提算法的正确性和优越性。     

基于区间灰色不确定语言的工作类型优化方法

针对飞机维修任务工作类型优化过程中的模糊与灰色问题,采用区间灰色不确定语言变量建立工作类型的评价指标和决策模型,提出了军机维修任务工作类型优化方法.对优化方法进行了实例分析,工作类型排序结果和数据对比结果验证了优化方法的可行性与有效性.在某军机上对优化方法进行了工程应用,完成192项初始维修任务工作类型优化,应用结果表...     

新型混合励磁电机技术研究与进展

混合励磁电机是对传统单一励磁方式电机的发展,力求综合永磁电机和电励磁电机的优势和特点,有利于减少稀土永磁体用量、拓宽永磁电机调速及调压范围,在航空电源、新能源发电与驱动系统等领域有重要应用前景。本文从励磁结构和磁路原理两个角度对混合励磁电机进行分类和阐述,系统总结了提出的新型转子磁分路混合励磁电机及并列式混合励磁电机的结构原理与运行特点,论述了基于转子磁分路机理发展的混合励磁同步电机不同结构拓扑及其原理,给出了发电/电动运行控制的基本策略与方法。新型混合励磁结构拓扑及控制技术的研究为丰富和发展混合励磁电机技术提供了理论参考与实践指导。     

采用内部测温估计表面热流在高超声速风洞试验中的应用

表面热流预估方法利用试验件内部的温度来预估其表面热流。该方法的最大优点是测量温度的热电偶是内埋在试验件内部,不与外界的高温气流直接接触。该方法为高超声速飞行器飞行实验估计表面热流提供一种可行的途径。为了验证该方法在预测外界流场特性方面的能力,在航天空气动力技术研究院(CAAA)的 FD-03风洞中开展了一系列高超声速气动热风洞试验。试验中采用一块铝合金试验板,部分试验采用光滑平板,其余试验在试验平板的表面添加拌线以干扰外界流场。而后采用热流估计方法预估试验板的表面热流。预估结果表明,如由拌线产生的激波等外流场的强烈变化将在估计的热流结果中得到清晰的显示。     

含椭圆分层复合材料层板三维问题的三角级数能量解法

根据叠加原理将含有椭圆形内部分层的层板在横向载荷作用下的受力状态进行分解 ,从而将分层问题归结为在分层表面上的附加剪切载荷作用下层板附加位移与附加应力的分析 ,并据此建立了一个仅包含分层区的力学模型。然后利用双三角级数构造满足层板分层区位移边界条件的位移模态。最后 ,应用最小势能原理确定位移解。计算结果收敛 ,挠度收敛尤为迅速。     

复合材料后加工技术的研究现状及发展趋势

分析了国内外复合材料后加工技术的研究现状和发展趋势,重点阐述了复合材料切削力和切削温度、切削刀具材料及结构、特种加工技术、表面质量评价技术研究等方面的研究成果,同时提出了建议。