故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

紧耦合多飞行机器人悬停配平计算分析

针对直升机的复杂性和紧耦合多直升机协调操作的特殊性,分析了多直升机协调操作的必要性,建立多直升机间的协调力学模型,并采用牛顿迭代法进行了配平计算,所得姿态量和控制输入量为多直升机协调操纵的飞行控制系统提供了参考输入量,为进一步分析多直升机的动力学建模及稳定性打下了基础。     

自动化系统数据挖掘问题的模拟退火解法

数据挖掘是近年来发展起来的新技术,指挥自动化的辅助决策过程也越来越依靠数据挖掘求解。通过数据挖掘,可以有效地处理海量数据,为正确决策提供支持。模拟退火是一种性能优越的计算智能算法,广泛应用于求解非线性最优化问题。数据挖掘中的数据聚类与模拟退火在本质特性上存在相似,可以将模拟退火应用于数据挖掘。通过蒙特卡罗方法生成随机数据,进行基于模拟退火的聚类分析。算例表明,新方法能够很好地进行数据聚类,具有较好的适用性。     

铝型材挤压成形过程数值模拟的研究现状及发展

介绍了铝型材挤压过程数值模拟的基本理论，包括描述流体运动的方法、材料模型及本构关系、控制微分方程等。分析了有限元法和有限体积法在铝型材挤压过程数值模拟中的应用现状，发现有限体积法由于采用欧拉描述，能避免网格畸变及重划而具有技术优势，并开始受到重视，提出了有限元法及有限体积法在铝型材挤压过程数值模拟中应用的研究重点及发展趋势．     

直线电机地铁车辆曲线通过建模与仿真

分析了直线电机轮轨交通系统车辆与轨道结构的特点，针对广州地铁4号线车轨系统的特征，建立了其动态曲线通过模型。通过仿真计算得到了曲线半径、超高以及行车速度对车辆曲线通过时动力特性的影响规律。通过此项研究，为进一步探讨直线电机车辆曲线通过动力特性、优化线路设计参数以及轨道的养护维修工作打下了良好的基础。     

一种基于星型子网的片上网络结构研究

提出了一种基于星型子网的片上网络结构SSBM NoC（Star-Subnet-Based-MeshNoC）,它在已有网格状结构的基础上引入了子网的概念,并在子网内使用星型拓扑结构来连接一个交换机与四个网络节点。OPNET仿真结果表明,在同等网络规模下SSBM结构较之单纯的二维网格状结构具有更少的端到端通信延时,并仅使用其1/4数目的交换机,而交换机的负载则不到其两倍。     

面向对象XML数据索引技术

提出了一种面向对象XML数据的索引模式路径仓,路径仓是紧凑地、准确地表示面向对象的XML数据的一棵树,是两级双向树:组级和元素级.在组级上,路径仓提供路径信息、类层次信息,类层次信息存储以索引类为根的类层次子树上特有的元素和属性的对象标识符,而继承的元素和属性的对象标识符存在较高的层次中,可以在查询早期阶段减少大量存储空间;在元素级,它保存从孩子元素到父亲元素的信息,快速存取元素的父亲,提高查询处理效率.不使用全局标志符而是用基于组的引用,可以按组区分不同类型的元素值聚簇相同类型元素值并且索引它们.     

随风起舞的伏尔加大桥

2010年5月20日前后,世界各地通过电视、网络视频看到了惊人一幕：当地时间19日晚,俄罗斯伏尔加河上的一座大桥发生离奇摆动,钢筋混凝土构建的大桥居然像着了魔一般桥面呈浪型翻滚舞动起来,正在桥上行驶的车辆也跟着一起颠簸,整个桥体也开始出现了较为明显的左右晃动,与此同时,传来刺耳的声音,     

磁性纳米粒子的制备及其细胞分离方面的应用

介绍了一种始终在溶液中制备Fe3O4磁性纳米粒子的化学共沉淀,并对制得的粒子进行表面修饰的方法．通过IR,XRD和AFM等测试仪器对样品进行了表征．结果表明：采用化学共沉淀的方法制备出的磁性纳米粒子具有单分散性,且粒径比较均一,约在30nm．由于制备过程均在液体中进行,故制备周期短,污染小．同时利用自制的免疫磁性Fe3O4纳米粒子能较好地分离脐血中的CD133细胞,细胞体外扩增明显．     

非均匀转动目标ISAR成像及横向定标

当目标在平面内非均匀转动时，传统算法不能获得包含定标信息且聚焦良好的ISAR像。为解决这一问题，提出了一种非均匀转动目标的转动参数估计方法。该方法首先通过一维搜索对角加速度与角速度的比值进行估计，并根据估计结果对原始距离像序列进行非均匀采样，补偿角加速度引起的相位误差，从而得到聚焦的ISAR像；然后根据成像质量准则对重采样距离像序列的角速度进行一维搜索，估计出角速度，进而实现ISAR像的横向定标。仿真结果表明:该算法通过2个一维搜索能得到非均匀转动目标聚焦的、横向定标的ISAR像。