荆禄旭
- 作品数：5 被引量：7H指数：2
- 供职机构：青岛科技大学数理学院更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 输入率与服务率依赖状态的M/M/c排队模型被引量：5
- 2013年
- 针对M/M/c排队服务模型,讨论了c个服务台全部繁忙时系统的输入率与服务率依赖系统状态的问题。当服务台至少有一个空闲时,系统的输入率与服务率均恒定不变;当系统服务台全部繁忙时,输入率与服务率同时变化,假设顾客到达系统并进入系统接受服务的概率为αk(0≤αk≤1),并且假设系统中每个服务台的服务率会提高βk(≥1)倍。根据假设分析得到系统状态转移图,然后利用平衡方程和正则性证明平稳分布定理,从而得到了顾客的平均输入率、平均服务强度、平均队长、系统顾客损失率等指标。
- 梁希泉韩玉群荆禄旭
- 关键词：MM
- Euler函数及有限序列乘幂的计算机证明
- 数学机械化是数学与计算机科学相结合的一个新学科，随着数学研究及计算机科学的发展，它已经成为非常活跃的研究领域。为了实现数学机械化，各种计算机语言应运而生。Mizar系统语言便是其中之一。Mizar系统是用于证明和求解数学...
- 荆禄旭
- 关键词：数学机械化EULER函数
- 文献传递
- 四维动力学模型在高等教育学费问题中的应用
- 2012年
- 高等教育的发展关乎国家的软实力,影响着国家的全局调控,并决定着未来国家的发展.高等教育学费问题成为社会所关注的热点问题,作者在合理假设的前提下,系统地建立了高校招生规模、政府生均经费、家庭人均收入与学费标准之间的四维动力学模型,并给出模型平衡点的稳定性条件,并逐次的对模型进行优化,得到高校学费的制定标准.
- 荆禄旭韩玉群彭翠英
- 关键词：高等教育学费标准
- Euler函数性质在Mizar系统下的实现
- 2013年
- 在计算机上利用有限序列的理论性质给出了Euler函数在Mizar系统下的定义,给出了与Euler函数有关的一些定理和性质的证明,并实现了算术基本定理在Mizar系统下的实现.
- 荆禄旭
- 关键词：EULER函数
- 基于优先级的M/G/K模型的眼科病床安排研究被引量：2
- 2012年
- 根据不同类型眼科病人手术时间的限制条件,基于优先级建立M/G/K模型,并对模型求解给出自己独特的算法过程,并通过Matlab实现,给出模拟实例。
- 梁希泉韩玉群荆禄旭
