摘 要:使用Petri网模型工具建立一种电梯单控系统模型,分析电梯运行中的循环和满载开门问题,给出优化设计方案.结果表明,优化方案可以实现,模型有效. 关键词:Petri网;电梯控制系统;建模;性质分析 [中图分类号]TP399 [文献标志码]A Abstract:Use Petri net modeling tools to create a model of the elevator c
摘 要:研究具有脉冲的多时滞差分方程,通过构造辅助函数,借助于反证法、单调有界原理及函数的连续性,得到了方程振动的两个充分条件,将某些结论在脉冲和多时滞的条件下进行改进和推广,使其应用更加广泛. 关键词:连续变量;脉冲时滞差分方程;振动性 [中图分类号]O175.7 [文献标志码]A 文章编号:1003-6180(2018)02-0026-04 Abstract:In this paper