软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性.     

一类三次Kolmogorov微分系统极限环的存在唯一性

本文研究描述捕食者与食饵两种群相互作用生态数学模型中一类三次Kolmogorov 微分系统x(a_0+a_1x-a_2x~2+a_3y-a_4y~2)y(x-1)(1+by)(1)其中 a_0>0,a_2>0,a_3<0,a_4>0,b>0,a_1不定号均为常数,通过定性分析,得到了系统(1)极限环存在唯一性及正平衡点全局稳定的充分条件.     

一类比率型捕食系统的定性分析

研究一类比率型捕食者-食饵模型dxdt=x(a-bx)-x2c+x2myy2dydt=y(-r+x2d+xm2y2),应用微分方程定性理论,得出该系统极限环的存在性与正平衡点的全局渐近稳定性的充分条件。     

一类三分子饱和反应动力系统的定性分析

研究化学反应中一类多分子一级饱和反应的数学模型应用微分方程定性理论,研究了该系统极限环的存在性、不存在性和唯一性问题。     

介子跃迁形状因子的重夸克极限和1/m_Q修正

在BS理论框架下,对0~-→0~-和0~-→1~-(0~-和1~-分别代表赝标介子和矢量介子)跃迁的形状因子进行模型无关的分析.结果表明BS框架既能给出重夸克极限下的自旋—味对称性,又能给出重夸克有效理论关于1/m_Q修正的Luke定理及其它关系.     

Numerical simulation of detonation of an explosive atmosphere of liquefied petroleum gas in a confined space

The detonation of an explosive atmosphere from liquefied petroleum gas disseminated in air in a confined space is studied using numerical modeling with software product ANSYS AUTODYN.     

马尔科夫对称离散信道级联信道容量研究

基于有限维的级联马尔科夫对称信道矩阵,其转移概率的极限一定存在,推导出当n足够大时,输出符号的概率分布不依赖于输入的概率分布,使得信道容量为零,信道阻塞。n为信道级联的上限。针对主对角元素概率值不同将信道矩阵划分为惰性信道和灵敏信道,并通过仿真分析得出信道的级联上限n与矩阵维数无关,与信道矩阵主对角元素呈正相关。     

基于倾斜开关曲线的小推力器姿态控制方法分析与准极限环控制方法

研究了利用小推力器进行航天器姿态控制问题。从理论上推导了在给定姿态控制精度、小推力器参数以及倾斜开关曲线参数的前提下,能够形成理想极限环控制效果的充分必要条件。对相关文献中倾斜开关曲线设计方法不能形成理想极限环的情况进行了理论分析,提出了一种新的基于倾斜开关曲线的准极限环控制方法,并推导了其控制精度。研究对于航天器应用小推力器实现高精度姿态控制具有较大的工程应用价值。     

高速飞行器间隙非线性机翼颤振的非线性能量阱抑制

针对间隙非线性机翼颤振系统的亚临界问题,引入了非线性能量阱(nonlinear energy sink,NES)技术来提高系统发生极限环振荡的临界速度。建立了具有NES控制的间隙非线性机翼颤振系统动力学模型,并分析了质量比、频率比、阻尼比、相对位置等NES参数对颤振系统极限环振荡的抑制效果,以及NES参数对颤振系统极限环振荡临界速度的影响规律。结果表明,阻尼比越大,可以在越小的自振频率比情况下使系统进入稳定区,但需要更苛刻的NES位置要求,即越靠近机翼前缘;而阻尼比越小,则使颤振系统极限环振荡响应进入稳定区所需的NES质量越小。在NES位置靠近机翼前缘时,增大自振频率比会使极限环振荡抑制效果有明显的提升,而增大质量比可以显著提高极限环振荡的抑制效果和临界速度。此外,NES的阻尼比越小,其颤振系统的极限环振荡抑制效果越好。     

加肋轴对称组合壳塑性极限分析 专用软件LAFEMAT的研制

基于轴对称截锥壳单元,建立了加肋轴对称组合壳塑性极限分析的有限元计算方法;应用Fortran语言编制了LAFEMAT专用软件.该软件通过分步加载,计算每一载荷步作用下组合壳单元的应力状态,采用一系列弹性计算方法模拟弹-塑性计算,直至组合壳达到极限状态,从而求得极限载荷.实例证明:该专用软件具有较高的计算效率和精度.