UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

结构体系转换顺序对大跨连续梁桥施工控制的影响研究

利用桥梁结构分析软件MIDAS/Civil建立桥梁结构计算模型,对某在建特大跨悬臂浇筑预应力混凝土连续梁桥的整个施工过程进行仿真分析,同时运用前进分析法对桥梁结构进行施工控制分析计算,重点对结构体系转换过程中临时固结拆除引起悬臂端挠度过大以及由于跨中底板预应力筋引起的张拉后底板压应力过大等问题进行了深入研究,提出通过优化结构体系转换顺序的方法解决以上问题.优化方案的验算结果符合设计规范要求,建议已被采纳.     

中美两国ESD失效分析研究现状及比较

随着微电子技术的迅猛发展和半导体器件尺寸的大幅度缩小,ESD失效分析已经成为微电子器件可靠性领域中的研究热点之一.概述了作为西方发达国家的典型代表美国由于ESD所造成的危害十分严重,因此美国学者对微电子器件的ESD失效分析进行了广泛研究.介绍了美国在该领域所取得的研究成果及进展状况并与我国学者所做的研究作了比较.美国在这领域所取得的新成果、新技术、研究所采用的新方法等等对我国的科学工作者是很有借鉴意义的.     

多颗小行星探测顺序确定及轨迹优化

小行星探测日渐成为深空探测领域的一个研究热点。考虑小行星Kepler轨道以及小推力航天器的特点,从能量和相位的角度推导出多颗小行星探测顺序的确定准则,并利用优化算法对航天器的飞行轨迹进行了全局优化设计。算法在满足约束条件的前提下,使得航天器剩余质量与飞行时间的比值达到最大,并通过数值仿真算例验证了算法的可行性。结果表明:该算法综合利用遗传算法和局部优化算法具有精度高、计算简单的特点,可用于小行星探测的轨迹优化设计问题。     

未知数量稀疏源的盲分离方法

提出了一种新的用于未知数量稀疏源的盲分离的统一方法.为了改善聚类分离的精度,首先选取混合空间中半径给定、中心位于原点的超球面以外的数据点,并将这些数据点映射到中心位于原点的单位超球面上.由此,原来的超平面线性聚类变为致密聚类,各聚类互相重叠的现象消失.然后,通过对这些映射到单位超球面上的数据点进行聚类分离来估计混合矩阵,再利用混合矩阵估计源,其中最佳不相似阈值和相应的聚类数量是自动生成的.仿真实验验证了该方法对实际音频信号包括语音信号的有效性.仿真结果表明该方法精确、简便,稳定性好,且计算量较小.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

发动机支架安装凸台的断裂故障诊断分析

针对发动机发电机支架安装凸台及连接螺栓常出现的断裂失效问题,提出一种仿真分析与实验结合的诊断方法.首先建立了包含发电机和空压机模型的支架有限元模型,并进行了约束模态分析,进而针对缸体局部和电机支架进行了螺栓预紧应力分析.最后,对发电机和空压机进行了动平衡测试.仿真与试验结果表明:发动机运行期间,连接区域松脱可能是造成失效的重要原因.采用该诊断方法解决了失效问题.     

基于TH-UWB串行干扰消除的多用户检测

利用TH-UWB系统信号的特点,采用串行干扰消除检测方法,提出一种低复杂度的多用户检测器.该检测器采用多级检测结构,依据用户脉冲被干扰的情况来确定检测顺序,受到干扰最小的用户最先进行检测判决.前一级的检测结果反馈回来重建该用户的信号,然后从接收的信号中消除.该检测器使每级检测的处理增益最大化,从而取得较好的检测性能.理论分析和仿真结果表明,该检测器取得了远优于单用户匹配滤波检测的性能.     

钢筋混凝土整体小开口剪力墙结构在小震作用下失效相关性的试验研究

通过对4层钢筋混凝土整体小开口剪力墙1/10缩尺模型的试验研究,基于层间位移,本文对试件在小震作用下失效相关性进行了分析,得出了整体小开口剪力墙结构在小震下的部分失效相关性规律.     

结构系统可靠性分析的发生函数法

发生函数法是多状态系统性能评估的重要工具. 本文在结构系统强度可靠性分析中引入并发展发生函数法, 分别构造描述强度(抗力)、应力(载荷)、安全裕度、疲劳寿命等概率分布的发生函数, 定义各类发生函数之间的复合算子及相应的性能结构关系, 实现静定、静不定结构系统静强度可靠性和结构系统疲劳强度可靠性的建模. 在发生函数的复合运算中, 通过同类项合并、近似项合并技术缩减计算量以提高效率. 理论分析和数值算例表明: 发生函数形式统一、表达简洁、宜编程、通用性强, 适用于具有多层次结构的系统概率建模. 新方法充分考虑了结构元件之间因孪生载荷而引发的失效相关性, 可为存在多模式损伤耦合的土木工程结构、机械装备系统静、动强度可靠性分析提供理论参考及有效工具.