荆天
- 作品数：5 被引量：2H指数：1
- 供职机构：商丘师范学院数学与信息科学学院更多>>
- 发文基金：河南省自然科学基金河南省科技发展计划项目河南省教育厅自然科学基金更多>>
- 相关领域：理学文化科学自动化与计算机技术更多>>
- 不确定性中立型时滞系统的鲁棒稳定性
- 2009年
- 通过构造Lyapunov泛函,利用积分不等式方法对具有结构不确定性中立型时滞系统的鲁棒稳定性进行分析和研究,得到系统鲁棒渐近稳定的充分条件.该条件是利用线性矩阵不等式(LMI)表示的,故可用MATLAB中的LMI工具箱求解.最后通过算例说明结论具有较小的保守性.
- 荆天史玉英
- 关键词：中立型系统不确定性鲁棒稳定LMI
- 变形的读者-写者进程同步问题被引量：2
- 2008年
- 读者-写者问题是操作系统中经典进程同步问题之一,在传统解决读者写者问题方案的基础上,给出了两种变形读者写者问题的解决方案和算法。
- 李广军荆天
- 关键词：互斥信号量
- IS—粗糙集理论及其在医疗诊治中的应用
- 2008年
- 在S—粗集的基础上,提出IS—粗集(improper singular rough sets)的概念,给出单向IS—粗集(one direction improper singular rough sets)和双向IS—粗集(two direction improper singularrough sets)的概念和它们的数学结构,设计了一个基于双向IS—粗集的医疗诊治知识支持系统,为人工智能技术在医疗诊治领域的应用开辟了一个新的思路.
- 荆天郭志林
- 关键词：S-粗集
- 对角优势矩阵及其迭代性质
- 2008年
- 本文主要讨论了对角优势矩阵的性质及其应用,并将二者作了简单的糅合。由于对角优势矩阵的非奇异性,正稳定性,且由其组成的系数方程用Jacob i和Gauss-Se idel迭代法均收敛的良性,使得对角优势矩阵在方程及矩阵中有其重要地位.
- 荆天史玉英
- 关键词：非奇异矩阵正稳定矩阵JACOBI迭代法
- 单群L_2(q)的非交换图刻画
- 2010年
- 利用非交换图给出了李型单群L2(q)的一个新的刻画.设G是一个有限群.则G≌L2(q)当且仅当(G)≌(L2(q)).
- 邵长国蒋琴会荆天
- 关键词：非交换图共轭类
