贵州民族大学理学院
- 作品数：489 被引量：780H指数：12
- 相关作者：石筑一王峰王自强田应福张家锋更多>>
- 相关机构：贵州大学理学院贵州工程应用技术学院理学院华南理工大学轻工与食品学院制浆造纸工程国家重点实验室更多>>
- 发文基金：国家自然科学基金贵州省科学技术基金贵州省教育厅自然科学研究项目更多>>
- 相关领域：理学自动化与计算机技术文化科学经济管理更多>>
- 格值一阶逻辑LF(X)中α-广义语义归结方法的相容性
- 2016年
- 自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性。首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性。
- 张家锋徐扬曹发生
- 关键词：删除策略格值逻辑
- 一类超二次二阶Hamilton系统的周期解
- 2011年
- 利用极小极大方法,得到了一类超二次二阶Hamilton系统ü(t)+A(t)u(t)+▽F(t,u(t))=0 u(0)-u(T)=u(0)-u(T)=0的周期解,丰富和推广了已有的结论。
- 叶一蔚
- 关键词：超二次二阶HAMILTON系统周期解
- 脉冲微分方程的一个修正block-by-block数值格式被引量：1
- 2016年
- 本文利用修正的block-by-block方法针对脉冲微分方程构造了高阶数值格式.修正的block-by-block方法是传统的block-by-block方法的改进,其优点是除第一块外其余每块都能够解耦求解积分方程的高阶数值方法.首先,把脉冲微分方程等价转化为脉冲型积分方程,并利用修正的block-by-block方法进行离散,得到在两个相邻脉冲点中除第一块外其余每块都解耦的高阶数值格式.其次,利用离散的Grownwall不等式证明了数值解逼近精度为四阶.最后,一系列的数值算例验证了理论分析的正确性.
- 曹俊英马群长王自强
- 关键词：脉冲微分方程收敛性分析
- 具耗散项的耦合KdV型方程有界行波解的存在性及显式表达式
- 由于在现实生活中,耗散是不可避免的.国际非线性波动研究专家Whitham曾指出,对非线性发展方程所需回答的基本问题之一就是黏性修正效应如何,即耗散对非线性系统的影响如何?因此，本文主要讨论具耗散项的耦合KdV型方程有界行...
- 何彩霞刘小华胡丽金
- 关键词：解存在性
- 粒子穿过矩形复数势阱的相时的研究
- 2012年
- 由方程的性质和边界条件求解薛定谔方程,计算出粒子穿过矩形复数势阱的相时,发现相时的大小与势阱本身的性质(势阱宽度、势阱的虚部和实部)有关,还与入射粒子的能量有关。然后分析系统中的相关因素对相时的影响。发现负延迟现象和"Hartman effect"也在矩形复数势阱的隧穿中存在。
- 曲晓英李玉金
- 关键词：量子隧穿
- 严格α_1对角占优M矩阵A的‖A^(-1)‖_∞的估计被引量：4
- 2016年
- 针对严格α_1-对角占优M-矩阵A的‖A^(-1)‖_∞的估计问题,利用矩阵A的元素和矩阵分裂方法,将矩阵A分裂为严格对角占优M-矩阵B和非负对角矩阵G,进而利用已有严格对角占优M-矩阵的逆矩阵的无穷大范数的上界,给出矩阵B的‖B^(-1)‖_∞的上界Γ(B),此时若Γ(B)与G的最大对角线元的乘积小于1,则可得‖A^(-1)‖_∞的上界.最后通过数值算例对所得结论进行验证,表明所给出的方法可行.
- 赵建兴桑彩丽
- 关键词：M-矩阵范数上界
- 出纳机与会计处理软件对公系统的设计与实现
- 1999年
- 本文介绍了在XENIX多用户操作系统平台支撑下 ,采用MS -COBOL和Z80汇编语言实现对公系统的设计思想 .对出纳机系统与会计处理软件两种不同应用软件之间的信息共享 。
- 张儒良章俊华
- 关键词：XENIX出纳机对公系统信息共享
- 基于计算机视觉运动目标检测综述被引量：1
- 2016年
- 为了使人们对运动目标检测的方法更加了解,列举了对视频图像序列中运动目标进行检测的大量文献。首先叙述了运动目标检测的常用算法:帧间差法、背景减除法;然后,分析过去在运动目标检测中遇到的一些问题;最后,归类描述解决各个问题的关键方法。
- 王文智张儒良黄成泉王林
- 关键词：运动目标检测视频图像序列背景减除法
- 严格对角占优M-矩阵的逆矩阵的无穷大范数的新上界被引量：5
- 2015年
- 给出了严格对角占优M-矩阵的逆矩阵的无穷大范数上界新的估计式,进而给出严格对角占优M-矩阵的最小特征值下界的估计式.新估计式改进了已有文献的结果.
- 王峰孙德淑李朝迁
- 关键词：M-矩阵上界最小特征值
- 一类拟线性椭圆系统非平凡解的多重性被引量：2
- 2014年
- 利用Ekeland's变分原理和山路引理,获得一类具有凹凸非线性项和变号位势的椭圆系统至少2个非平凡非负解的存在性.
- 储昌木谢朝东
- 关键词：凹凸非线性项山路引理
