一类椭圆型变系数方程的差分格式

研究了一类二阶椭圆型变系数方程的初边值问题的求解方法,建立了一种差分格式,并且运用能量方法证明了这种格式的解的存在唯一性、收敛性和稳定性,所得结果是对相关文献中结果的一个补充。     

刚性钉形桩承载特性物理模型试验及有限元研究

采用物理模型试验和ABAQUS有限元模拟相结合的方法,对刚性钉形桩承载力组成及扩大头尺寸对承载力影响规律进行了研究。研究结果表明：扩大头能提高刚性钉形桩承载力;端阻力对桩承载力影响较大,扩大头直径增加桩承载力提高明显;桩承载力理论计算结果与试验和模拟结果之间存在一定差异,当采用理论公式计算时,应对理论计算结果进行适当折减。     

Fitting Unstructured Finite Mixture Models in Longitudinal Design: A Recommendation for Model Selection and Estimation of the Number of Classes

In longitudinal design, investigating interindividual differences of intraindividual changes enables researchers to better understand the potential variety of development and growth. Although latent growth curve mixture models have been widely used, unstructured finite mixture models (uFMMs) are also useful as a preliminary tool and are expected to be more robust in identifying classes under the influence of possible model misspecifications, which are very common in actual practice. In this study, large-scale simulations were performed in which various normal uFMMs and nonnormal uFMMs were fit to evaluate their utility and the performance of each model selection procedure for estimating the number of classes in longitudinal designs. Results show that normal uFMMs assuming invariance of variance–covariance structures among classes perform better on average. Among model selection procedures, the Calinski–Harabasz statistic, which has a nonparametric nature, performed better on average than information criteria, including the Bayesian information criterion.     

基于TSM模型的感应电机有限时间跟踪控制

根据变结构控制理论提出了一种新的设计方法——有限时间切换控制。在控制器设计中利用中继切换控制使系统在给定的当前控制律的作用下运行到某一特定状态（或某一特定区域）后,控制律被切换为有限时间收敛的终端滑模控制器,并使得系统在有限时间内达到平衡状态。有限时间跟踪控制器的设计保证了闭环系统所有信号的有界性和平衡点的全局稳定性,以及系统在有限时间内精确地跟踪给定的参考信号,仿真结果说明该控制策略的有效性。     

优化设计在设备技术改造中的应用

本文研究了常用优化设计方法在新的水压机活动横梁中的应用,对活动横梁的结构参数进行了优化,保证设计方案达到最佳;并建立了活动横梁的有限元力学模型,对该结构进行了三维有限元强度分析。     

大跨度桥梁抗震分析中的有限元方法

从有限元角度和工程抗震角度,分析了大跨度桥梁有限元模拟中的基本概念和关键问题,着重于工程的实际可操作性和细节的处理,最后指出需要注意的问题。     

基于ANSYS的Au-Al引线键合热可靠性研究

采用ANSYS有限元分析软件建立Au-Al引线键合模型考察键合区在热循环加载下的应力应变情况;并采用Coffin-Manson方程计算了在热循环加载下焊点的疲劳寿命。结果表明：随着热加载循环次数的增加,模型的应力应变将增大;施加约束后,模型的应力将减小,引线键合的寿命延长。此方法可以比较各种不同情形下Au-Al引线键合热可靠性。     

基于二进制代数学的关灯游戏模型

利用二进制代数学给出了一个关灯游戏的数学模型,对基于有限域上的线性方程组的9阶情形给出了所有解,并进一步运用代数学中的陪集分类方法给出了游戏的等价类,便于游戏者判断和解决游戏问题。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

基于周期对称的大小叶片叶盘振动特性分析

在对大叶片和小叶片组合形式的轴流压气机的叶盘结构进行固有振动特性分析时,其高保真模型的有限元的计算规模将会非常大。利用其叶盘结构的旋转周期对称性,选取包含大叶片、小叶片和相应轮盘的一个基本扇区模型,对其有限元模型施加周期对称约束,可以使求解的规模大大降低,有效提高了计算效率、节约机时。计算得到了某转速下的大小叶片叶盘结构的固有振动特性和相应模态分布规律。