自动化标记语言AutomationML健壮性分析及验证

来源 :数字技术与应用 | 被引量 : 0次 | 上传用户:hujunmin18
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先对自动化标记语言AutomationML技术以及国内外发展情况进展作了介绍,介绍了什么是健壮性,对自动化标记语言健壮性的分析及验证方法进行了描述,并给出了验证方案。
其他文献
应急多媒体指挥调度系统将有线通信网络、各种制式的无线集群通信、公共电话网络、视频监控系统、卫星通信设备等系统进行统一的融合,实现现场与指挥中心之间的语音、视频和
随着地区经济发展不均衡,负荷中心也提出了不同用电需求。本文从电能控制调节的角度出发,采用面向负荷的控制策略进行动态无功补偿,以厄瓜多尔的HEI公司500k V超高压主干电网
利用解析和初等的方法研究了Smarandache伪5倍数和第二类Smarandache伪5倍数列的均值性质,得出两个有意义的渐进公式.
期刊
先对半E-预不变凸函数做了进一步研究,得到了它的几个性质及半E-严格预不变凸函数的判定定理,进而给出了半E-预不变凸函数在多目标规划问题中的最优性条件,进一步丰富了优化
利用初等解析的方法研究了复合函数S(bk(n))与数论函数U(n)的均方差均值分布,并给出了一个较强的渐近公式。