一类基于p~5阶群的LA-群

对p5阶群中的Φ8族群进行推广,得到有限p-群的一个无限类,给出它的若干性质,并在此基础上构造出一类新的LA-群。     

一类广义分数阶时间迟滞微分方程的一些结果

研究一类更广义的分数阶时间迟滞微分方程,证明了此方程的解的存在唯一性以及解的连续性,分别运用步长法和Laplace变换法得出了方程的解.在此基础上,得出了此类方程有限稳定的一个充分条件.     

交换QF环上的有限生成模

给出了QF环上模的一些特征,刻画了交换QF环上的有限生成模,得出了交换QF环上的有限生成模的相关性质,并进一步讨论了交换QF环上的有限生成模对直和以及取直和项,上述性质仍然保持.     

求解非线性不等式组的有限步终止算法

利用广义投影技术,提出了一个求解非线性不等式组的新算法.在算法的每一次迭代中,搜索方向仅由一个公式即可产生,从而计算量相对较小,并且在相对较弱的假设条件下,算法具有全局收敛性和有限步终止性.最后的数值试验表明提出的算法是有效的.     

基于马尔可夫链嵌入法的两阶段Start-Up验证试验模型

为了给出两阶段start-up验证试验模型相关指标的解析表达式,构造了符合两阶段start-up验证试验模型状态转移规律的马尔可夫链.应用马尔可夫链相关理论给出了试验次数的期望、方差、分布律、分布函数,以及接受和拒绝产品的概率矩阵表达式.数值示例表明,对于各种参数的两阶段start-up验证试验模型相关指标求解问题,有限马尔可夫链嵌入法比概率生成函数法更加有效.     

USBCAN总线转换设备在Stateflow下的建模和仿真

USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设备运行状态进行仿真验证,实现了USBCAN总线转换设备运行状态的验证,提出了一种新的总线转换设备的仿真和验证方法。     

手背静脉特征提取算法

提出一种基于有限Radon变换(FRAT)的手背静脉识别新方法.在考虑手背静脉图像"线状"特点的基础上,先将手背静脉图像"分块",再对分块后的图像进行FRAT变换,并提出一种向量非均衡分布可得最大值的方法,提取手背静脉图像纹理特征,最后通过特征匹配进行分类识别.结果表明:与传统的Hough变换和离散Radon变换相比,新方法提高了目标直线特征的检测速度;在有800个样本的数据库上进行实验,获得了96.5%的识别率,表明了算法的有效性.     

液体激光器中温度分布的耦合分析

介质的流动改善了液体激光器温度分布的均匀性,起到了自我冷却、减小热效应的作用。应用有限单元法,对单侧泵浦液体激光器工作时涉及的传热和流动过程,进行热—流—固耦合分析,完成对液体介质温度场的数值模拟,并研究了介质流速对温度场的影响。研究结果可为改善液体激光器的冷却效果提供指导。     

有限群的单群与子群的关系

给出了有限群G的单群与G的子群的关系,举例说明了它在置换群中的一个应用.     

一维浅水波方程有限体积流通量限制方法的数值研究

本文讨论有限体积方法求解一维浅水波方程的流通量限制方法.该方法将高阶数值流通量与低阶数值流通量作适应性组合,在解的光滑区域表现为高阶精度,在解的不光滑区域表现为低阶精度从而抑制数值振荡.数值实验表明该方法能更高分辨率地求解一维非线性浅水波方程组.