顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

复合材料加筋板结构的二级协同优化设计方法

针对复合材料加筋板结构的布局和铺层优化问题,发展了一种二级优化设计技术。第一级采用基于近似模型技术的布局优化方法,以筋条形式、个数、截面形状和铺层厚度作为设计变量,以结构质量最轻为目标函数,实现加筋板结构布局形式和截面尺寸的布局优化;第二级借助于等效弯曲刚度法和遗传算法,考虑层合板的制造和工艺约束,以层合板的各铺层角作为设计变量,以层合板弯曲刚度系数与上一级优化所给最优弯曲刚度系数之间的误差最小为目标,实现了复合材料加筋板在固定铺层层数下的铺层顺序优化;在二级优化的基础上,通过协调稳定性约束,实现综合优化。算例表明:采用二级优化设计方法,可以很好地实现复合材料加筋板的布局优化设计。     

基于加权有向图的飞机装配顺序规划

合理的飞机装配顺序规划是确保飞机装配质量、缩短装配周期的有效途径。为此,提出了基于加权有向图的飞机部件装配顺序规划方法。以飞机零件间的装配几何关系、装配稳定性和装配工艺性为评价因子,对装配过程中零件间的装配依赖性进行量化,形成可表达装配依赖关系的加权有向图。在此基础上,通过模糊聚类和撕裂排序算法对装配零件进行装配顺序规划。最后通过某飞机机身中段装配顺序规划问题进行验证,规划结果表明该方法具有一定的可行性和有效性。     

基于遗传算法的纤维增强复合材料层合板刚度设计方法

基于遗传算法,提出了一种带刚度要求的纤维增强复合材料层合板设计方法。以层合板的各层铺设角和厚度为设计变量、刚度为设计目标、制造工艺性为设计约束,将纤维增强复合材料层合板的刚度设计问题处理成一种离散的叠层顺序优化问题,采用遗传算法求出满足给定刚度要求的层合板设计。最后,通过算例验证了设计方法的有效性。     

航空发动机载荷谱雨流计数的一种改进算法

介绍了一种新的雨流计数法。该计数法按时间顺序计算载荷循环，能完整记录全部载荷历程而不改变其大小和顺序，弥补了常朋雨流计数法的缺陷；而且该算法精确度高，抗随机噪声干扰能力强，使得载荷谱分析更加准确。     

再入航天飞机表面热流密度辨识

本文给出了求解表面热流密度辨识这一热传导逆问题的顺序函数法。然后以某模型航天飞机迎风中心线上的某特征点为例，将航天飞机再入时的表面热流密度辨识问题简化为一维模型问题，用顺序函数法来对该特征点上的对流加热流密度进行了仿真辨识，得到了较理想的辨识结果。该方法在航天研究领域有着良好的工程应用前景。     

一种普遍性的元素型修正法—排列方程法

当前,在模型修正领域中存在两大类元素型法:一类称为“排列方程法”(AEA),另一类为“最优元素型法”(OEM)。本文证明,AEA具有普遍性,OEM仅是AEA的特例。     

航天飞机的八大事实

在服役了30年之后,美国航天飞机舰队即将退出历史舞台,"阿特兰蒂斯"号航天飞机执行STS-135任务结束后,航天飞机将被运往博物馆收藏并对外展出,以展品的身份开始新的生活。在向航天飞机说"再见"前,美国太空网盘点了航天飞机的8个应该被人们记住的事实。1.最高时速     

被忽略的历史之谜

<正>6.比金字塔更神秘的卡纳克石阵濒临大西洋、位于法国布列塔尼半岛的城镇卡纳克是个神秘的地方。在卡纳克郊外有一片片整齐排列的石阵,在长达8千米的范围内到处是林立的巨石,这就是著名的卡纳克石阵——被英国考古学家海丁翰教授称为"比金字塔更神秘"的石柱群。卡纳克石阵穿行于庄稼、树林和农舍之中,石头的竖立井然有序,似乎是     

不完全数据最佳线性无偏估计方法

针对工程上存在大量不完全数据的情况,本文建立了不完全数据秩统计量的联合概率密度函数,给出不完全数据顺序统计量的均值、方差和协方差计算公式,提出不完全数据最佳线性无偏估计方法,并对正态分布、Weibull分布等位置-尺度分布进行了详细讨论。该方法能够充分开发利用试验数据中的不完全信息,从而提高不完全数据统计分析的精度。