【摘 要】
：
连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,
【基金项目】
：
国家自然科学基金 (60004004), 广西师范学院青年科研基金.
论文部分内容阅读
连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状
其他文献
资产价格可以通过改变受到影响的人们的行为方式,从而对实体经济产生广泛的影响.文章考察了资产价格变动影响投资和消费的主要途径,同时也结合实际,分析了资产价格对投资和消
介绍了对雷达高度表实施电子干扰的基本方法,建立了雷达高度表接收地面回波功率以及接收地对空干扰和空对地弹射干扰信号功率的数学模型。计算了干扰压制比,进行了仿真试验,得到了在不同干扰条件下的干扰威力图及干扰效能与干扰参数的关系曲线。提出了雷达高度表干扰机的最佳设计参数和应用方法,为雷达高度表干扰机设计者和使用者提供参考依据。
摘 要：大学英语四级考试篇章词汇理解一题，学生普遍反映该题难度大，耗时长，准确率偏低等，本文以2009年以及2016年CET-4真题为例，通过分析语篇衔接理论中的五种衔接手段在篇章词汇理解中的运用，阐明该理论对篇章词汇理解的指导意义。 关键词：语篇衔接理论；CET-4；篇章词汇理解 中图分类号：G642文献标志码：A文章编号：2095-9214（2016）11-0131-02 一、引言 自
摘 要：随着经济的飞速发展，现代的许多企业为了追求快速发展，提高企业之间的竞争力，降低运营成本，就需要尽可能地放大企业物资的使用效率，因此，在这样的背景下，就必须要建立完善的物资内部控制体系。对于石油行业来说，物资消耗是成本最主要的构成部分，石油企业生产环节比较多，过程相对复杂，那么物资消耗的品种也很多，因此内部控制管理显得尤为重要。 关键词：风险防范 物资内控 探究 中图分类号：F253 文
摘要：党的十八大以来，中央不断强调发展党员应按照“控制总量、优化结构、提高质量、发挥作用”的总要求。高校应当积极响应中央号召，正视目前学生党员发展中存在的问题，并积极寻找对策，真正完成好为党和国家的事业培养可靠接班人和生力军的重任。 关键词：高校；学生；党员发展；问题；对策 中图分类号：G641文献标志码：A文章编号：2095-9214（2016）08-0236-01 学生党员发展工作是我国
摘 要：随着经济的发展科技的进步，我国对教育工作越来越重视，在教育事业发展的同时人们对于艺术的鉴赏能力也在大大的提高，钢琴这门艺术受到了越来越多人的喜爱，很多家长从5岁开始就让学生学习音乐。音乐教育工作者对于教学的研究也在逐渐改变，从传统的教学模式中抽离，从注重技能的培养转型为注重伴奏能力的培养。 关键词：高师；钢琴教学；转型 中图分类号：J624.1文献标志码：A文章编号：2095-9214
摘 要：语文是一门基础的工具学科，初中阶段的语文教学承载着传承及发扬中国传统文化的重要历史使命。初中语文教学中进行传统文化的渗透，有助于培养学生对祖国传统文化的热爱，同时提升学生的文化知识储备，提升他们的写作以及对文学作品的鉴赏能力。 关键词：初中语文；语文教学；传统文化；渗透策略 中图分类号：G623文献标志码：A文章编号：2095-9214（2016）12-0075-01 中国是一个有着
DOI：10.16661/j.cnki.1672-3791.2017.30.116 摘 要：砝码是保证天平计量准确性的重要因素，砝码层面的问题势必会导致计量的不准确，因此，做好砝码的检定工作尤為必要。但在砝码检定中存在着形形色色的误差，文章基于此，首先对误差进行了分类，指出其包括可预见、不可预见两种形式，然后讨论了误差的产生因素，包括环境层面的因素、人为层面的因素、设备层面的因素、管理层面的因素
针对一类含参数不确定的离散时间严反馈非线性系统,提出了反步递推(Backstepping)算法与黄金分割原理相结合的新型控制策略。采用反步递推控制方法处理前n-2阶子系统,利用其结果重构余下的二阶非线性子过程,再通过黄金分割自适应算法对二阶子过程进行控制。该策略一方面解决了单纯反步递推算法在过渡阶段参数失配时,控制量剧烈波动的问题;另一方面减少了反步递推算法的计算量。给出了闭环系统有界稳定性的证明
摘 要：目的 探讨股骨头坏死患者CT与核磁共振诊断的教学方法。方法 将2016年11月至2018年3月期间在笔者医院实习生16人，随机分为对照组和观察组，对照组采用传统方法进行治疗用药教学，观察组采用临床指导模式进行检测教学，比较观察两组的效果。结果 对照组学生均分为72.96±4.01，观察组平均分为91.91±3.31，经过检验，得t=4.09，P=0.001（P<0.05），差异有统计学意义