排序方式: 共有21条查询结果,搜索用时 15 毫秒
1.
为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验. 相似文献
2.
3.
彭月英 《广西师范学院学报(自然科学版)》1997,14(2):43-48
求解“韩信点兵”问题可归结为一次同余式组x=r1(mod pi)或一次不定方程组x=pixi+ri的求解,当方程的个数n与模pi(i=1,2...n)较大时,用同余式理论和孙子定理求解的过程非常繁琐。为此,运用试算分析法和辗转相除法,给出了求解上述问题的两种通用的计算机算法和程序。通过实践证明,该算法具有计算步骤简便,求解灵活快速,通用性强等优点。 相似文献
4.
彭月英 《广西师范学院学报(自然科学版)》1997,(2)
求解“韩信点兵”问题可归结为一次同余式组x≡ri,(modPi)或一次不定方程组x=pixi+ri的求解。当方程的个数n与模pi(i=1,2,…,n)较大时,用同余式理论和孙子定理求解的过程非常繁琐。为此,运用试算分析法和辗转相除法,给出了求解上述问题的两种通用的计算机算法和程序。通过实践证明,该算法具有计算步骤简便,求解灵活快速,通用性强等优点。 相似文献
5.
加强党风建设是党的建设的重要环节,是增强党的凝聚力、战斗力的重要举措.新世纪要把加强和改进党风建设摆到一个更加突出的位置. 相似文献
6.
该文针对如何消除各高校之间的“信息孤岛”问题进行研究,并构造了一个语义网格模型,利用本体整合分布式异构数据库资源的机制,理论上能有效地解决这一问题. 相似文献
7.
n阶螺旋方阵的生成 总被引:1,自引:0,他引:1
彭月英 《广西师范学院学报(自然科学版)》1996,13(4):1-6
该文使用C语言编程,实现了对任意自然数n的n阶螺旋阵的自动生成及打印。 相似文献
8.
在一维数组快速排序算法的基础上,给出了二维数组的快速排序算法,理论分析和大量的数值实验结果表明,其算法的平均计算时间仍然是O(nlog2n),一般所需的栈空间仍为O(log2n),是有效而可靠的快速排序算法。 相似文献
9.
该文首先指出解决目前困扰教育技术界的理论难题——行为主义与建构主义之争的迫切性.接着简单介绍了人类分层传播模式和代表性的学习理论.然后,分析各学习理论与人类分层传播模式的联系,并把它们整合到该模式中,从而消除了它们之间的分歧. 相似文献
10.
美育是我国高校全面发展教育的重要组成部分,因此,应利用各种形式对大学生进行美育教育,不断提高他们的思想道德素质,使他们成为社会主义的一代新人. 相似文献