山东矿业学院应用数学与软件工程系
- 作品数：120 被引量：275H指数：11
- 相关作者：陈东灵阎春钢王向荣王成文张秀娟更多>>
- 相关机构：山东农业大学信息科学与工程学院山东大学数学学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金煤炭科学基金更多>>
- 相关领域：理学自动化与计算机技术经济管理生物学更多>>
- Lienard系统的同宿轨族与闭轨族被引量：11
- 1996年
- 本文讨论Ｌｉｅｎａｒｄ系统解的一些定性性质，得到了存在同宿轨族、闭轨族、双曲扇形和椭圆扇形、正负半轨有界及其与等倾线相交的充要条件或充分条件．
- 周毓荣王向荣
- 关键词：同宿轨闭轨林纳方程存在性
- 小型文献资料检索系统
- 1990年
- 本文介绍的这种情报资料检索系统,采用了数据压缩存贮技术,并使用链表记录的存贮结构解决了变长信息的存贮问题,系统的功能以“菜单”和“快速”两种方式提供给用户,使用方便。
- 孙忠林
- 关键词：情报
- 公平网的一组直接判断条件被引量：26
- 1993年
- 本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.
- 王培良吴哲辉
- 关键词：PETRI网
- 新四元数及其快速乘法
- 1990年
- 本文定义了一类新的四元数代数系统,给出了这类四元数的快速乘法,并且做出了此算法的两种不同的推导过程。
- 蒋昌俊
- 关键词：四元数代数系统乘法
- 关于POINCARE-BENDIXSON环域定理的一个新证明被引量：1
- 1990年
- 本文指出,党新益给出的Poincare-Bendixson环域定理的新证明是错误的,其定义的g(φ)的连续性不能得到保证;并以该文的侧1作为反例进一步作了说明。
- 王成文
- 关键词：常微分方程环域定理极限环
- 一类多项式微分方程的解法
- 1990年
- 本文指出,可借助于图象法对多元多项武进行因式分解,由此给出了一类多项式微分方程的解法。
- 郭福奎
- 关键词：微分方程多项式解法图象处理
- 拟希尔伯特阵和一般阵相乘的快速串行与并行计算
- 1990年
- 本文给出了拟希尔伯特阵和一般阵相乘的快速串行与并行算法。对于串行计算,时间复杂性是O((nlogn)~2),对于并行计算,在有n台处理机的条件下,其计算步数是O(nlog^2n),而效率是O(1)。
- 蒋昌俊阎春钢
- 关键词：矩阵乘法串行
- 支持原型法的MIS开发技术被引量：1
- 1992年
- 本文讨论了用快速原型法开发煤矿管理信息系统(MIS)的方法与技术,主要论述了数据库设计技术,友好用户界面开发技术,以及动态表格生成技术。
- 曲云尧贺国平胡江云
- 关键词：数据库接口信息管理人-机接口
- 一类食饵具常数存放率的Kolmogorov生态系统被引量：1
- 1992年
- 本文利用定性分析方法,研究了一类食饵具有常数存放率的Kolmogorov生态系统,讨论了系统平衡点的相对位置和性态,可行平衡点的全局稳定性,给出了一组解的有界性、系统无环性以及极限环的存在唯一性的条件,推广了文[1]和[2]的主要结果.
- 王成文
- 关键词：生态系统微分方程极限环稳定性
- 关于PRIM算法与图的最小树唯一性的讨论被引量：1
- 1990年
- 本文通过对Prim算法的修改。给出了赋权无向图有唯一最小树的一个充分必要条件。
- 陈东灵
- 关键词：图论唯一性
