牟行军
- 作品数：9 被引量：18H指数：3
- 供职机构：西华大学数学与计算机学院更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信理学经济管理更多>>
- 机房电源控制系统
- 2005年
- 为机器设备提供有效方便的管理进而节约能源,电源控制一直是一个常新的课题。本文介绍了一种用于机房电源控制的控制系统,重点介绍了其中的硬件系统。
- 牟行军潘世永
- 关键词：电源控制系统硬件系统计算机机房
- 计算的模型:图灵机与Petri网被引量：6
- 2012年
- 形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。
- 宋文牟行军
- 关键词：图灵机PETRI网
- Petri网的活性与安全性的理论研究被引量：1
- 2006年
- 针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网(ESAC)进行了再一次扩张,定义了新扩展的强化非对称选择网(NESAC)。通过对NESAC的活性与安全性的讨论,得到了非对称选择网(AC)的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法。该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征。
- 牟行军宋文
- 关键词：PETRI网非对称选择网活性安全性
- 快速排序算法的时间复杂性的新分析被引量：1
- 2004年
- 作者在算法分析中,提出了渐近时间复杂性分析、时间复杂性平均性能分析的准则。对快速排序算法,基于枢轴元素的随机选取这一前提条件,对这一算法进行了时间平均性能的分析。
- 宋文卢朝辉牟行军
- 关键词：排序
- 一种GSM无线固定电话设计方案被引量：3
- 2005年
- GSM无线固话是利用GSM网络实现固定电话通话功能的设备,具有广泛的应用前景。本文介绍了一种采用手机主板为通讯模块,PIC单片机为控制模块的无线固话话机的硬件电路构成和系统软件设计。实验结果表明该话机具有良好的通话效果和完善的公话计费功能。
- 周驰岷潘世永牟行军
- 关键词：固定电话无线系统软件设计电路构成计费功能公话
- 15-谜问题的可达性判定被引量：5
- 2004年
- 定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方法,提供了求解15-谜问题的一个解的可实现算法;同时,对此结论进行了扩展,对于给定的一初始格局和任一目标格局,证明了初始格局可达目标格局的的充分必要条件,其结论有助于构造问题的状态空间与限界函数。这两个结论从理论上完全解决了15-谜问题,对获得最优算法提供了理论基础。
- 宋文伊良忠牟行军
- 关键词：可达性
- 新扩展强化非对称选择网的有界性与单调性被引量：1
- 2004年
- 根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然具有ESAC活性单调性的特征.
- 宋文伊良忠牟行军
- 树的存在性讨论
- 2005年
- 在输入为先根序列、中根序列与后根序列的前提下,对各种二叉树建树的情况进行了讨论;对m叉树,在输入为先根序列与后根序列的前提下,讨论了树的存在性。有关结论的证明过程,用构造性证明方法给出。
- 宋文伊良忠牟行军
- 关键词：二叉树存在性
- 虚拟实验室在继续教育中的应用研究被引量：1
- 2006年
- 牟行军
- 关键词：虚拟实验室继续教育现代教育技术远程教学网信息技术教学模式
