统一建模语言UML及其应用

UML是面向对象的统一建模语言，是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义，表示法的内容，并总结了它在某些重要领域的应用。     

熔铝氧化渗透合成SiCp/Al2O3-Al复合材料的微观结构分析

以低成本的熔铝氧化渗透合成新方法制备了SiCp/Al2O3-Al复合材料.借助X光电子谱(XPS)、光学金相显微镜、透射电镜(TEM)、X射线衍射(XRD)等手段研究了该种复合材料的微观结构,并分析了影响微观结构的主要因素及其影响规律.结果表明,Al2O3和Al作为复合材料基体呈双连续分布,它们各自的含量可在较大范围内受SiC颗粒的粒度所控制.在熔铝氧化渗透合成的SiCp/Al2O3-Al复合材料中,各组成相之间无界面反应,也无晶间相,Al2O3在SiC颗粒表面二次形核并直接生长的现象普遍存在,并由此形成了具有良好物理冶金结合的Al2O3-SiC一体化陶瓷骨架.     

高校计算机基础教育问题与发展对策

长期以来,高校计算机基础教学沿用传统的“教师边讲解、边演示,学生边听、边模仿”的教学方式,缺乏创新意识,使得大学生对计算机基础课程缺乏足够的兴趣和重视。如何培养高校生的计算机操作技能,培养他们利用计算机解决学习、工作和生活中实际问题的能力是一项重大工程。鉴于此,本文对高校计算机基础教育存在的问题与发展对策进行了探讨。     

上下文无关文法测试充分性

讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.      

基于改进遗传算法对小卫星星群任务规划研究

针对小卫星星群任务运行特点,建立小卫星星群多任务规划问题模型,提出了基于成像任务时间及任务均衡度的多指标优化函数.针对所建模型,采用改进型遗传算法,引入资源随机分配的解码策略及精英保留策略,保证了算法的全局收敛性,提高了算法的性能.通过仿真算例,验证了算法在解决小卫星星群多目标任务规划问题上的有效性.      

RBF神经网络在静电悬浮位置控制中的应用

静电悬浮位置控制系统具有非线性、时变性的特点,传统的控制方法不能有效抑制扰动的影响。针对该问题提出了一种神经网络与PID相结合的RBF-PID控制策略。以球形样品为例分析其受力情况,推导出静电悬浮位置控制系统的机理模型。搭建基于RBF-PID控制器的静电悬浮位置控制系统,并根据仿真结果实时在线调整控制参数。仿真结果表明,当样品带电量从10–9 C突变至3×10–9 C时,RBF-PID控制器只需0.12 s即可使样品达到稳定状态。实验结果表明,当样品处于加热状态时,实时调整参数后系统的平均绝对误差为0.0416 mm,控制效果比传统PID控制策略提高了70%。所提出的控制方法辨识精度高,具有比传统PID方法更强的鲁棒性和稳定性。      

H2O2-PE固液混合火箭发动机试验研究

介绍了挤压式H2O2-PE固液混合火箭发动机试验系统及发动机结构特点。研究了确定固液混合火箭发动机工作点的方法，按照这种方法可以使发动机在最佳的配比附近工作，有利于提高燃烧效率和比冲。分析了固液混合火箭发动机低频耦合振荡机理和现象，利用氧化剂和燃料燃烧时滞的概念，理论上计算模拟了发动机的低频耦合振荡过程，提出了避免这种燃烧振荡的措施和方法。     

煤油液滴在富氧燃气中不稳定燃烧的数值研究

采用数值分析的方法,对富氧燃气中的煤油液滴的不稳定燃烧过程进行了研究。采用一维轴对称N S方程,考虑了高压实际气体物性和液滴/气团表面气液平衡。计算中空间和时间尺度分别为μm和μs的量级。结果表明,液滴在接近超临界点时,物性的快速变化会引起一定频率的自发振荡;超临界气团对不同压力振荡频率的响应不同;煤油蒸汽的消耗速率对压力振荡的响应不同于蒸发速率的响应,热量释放对压力振荡也具有明显的响应。     

颗粒含量及粒度对SiCP/Al复合材料高温变形行为及组织的影响

采用无压浸渗法制备出不同体份的SiCp/Al复合材料.对该复合材料进行了高温(高于基体熔点)压缩实验.研究了不同颗粒含量及粒度规格的复合材料高温压缩流变规律,利用SEM观察分析了颗粒含量及粒度对复合材料组织的影响.研究结果表明:颗粒含量较高的SiCp/Al复合材料,在高温压缩过程中呈现为塑性流变规律;颗粒粒度规格对复合...     

基于传统逻辑简捷证明四色问题研究

分析四色问题难点,采用构形法、点着色扩展法和点染色公式法等三种新方法,简捷证明四色问题成立。三种证法,均采用数形结合的数学方法,但思路各异。其中尤以点染色公式法,思维逻辑新颖,论述简朴。四色溯源,当属欧拉公式V-E+F=2及其导出的平面图最小度δ≤5和点染色公式V=2+E/3,均是重要关注点,其中欧拉公式应是四色问题的渊源。