论文部分内容阅读
首先对自动化标记语言AutomationML技术以及国内外发展情况进展作了介绍,介绍了什么是健壮性,对自动化标记语言健壮性的分析及验证方法进行了描述,并给出了验证方案。
自动化标记语言AutomationML健壮性分析及验证
【摘 要】
：
首先对自动化标记语言AutomationML技术以及国内外发展情况进展作了介绍,介绍了什么是健壮性,对自动化标记语言健壮性的分析及验证方法进行了描述,并给出了验证方案。
【机 构】
：
上海市计量测试技术研究院,上海市在线检测与控制技术重点实验室
【出 处】
：
数字技术与应用
【发表日期】
：
2019年5期
【基金项目】
：
上海市科委技术标准专项课题,智能制造领域工业数据交换格式基础共性标准研究(16DZ0502300).
其他文献
应急多媒体指挥调度系统将有线通信网络、各种制式的无线集群通信、公共电话网络、视频监控系统、卫星通信设备等系统进行统一的融合,实现现场与指挥中心之间的语音、视频和
随着地区经济发展不均衡,负荷中心也提出了不同用电需求。本文从电能控制调节的角度出发,采用面向负荷的控制策略进行动态无功补偿,以厄瓜多尔的HEI公司500k V超高压主干电网
工程船舶的技术状态完好是承担海上施工的必要条件,修船工作又是舶船完好率的可靠保证。本文列举介绍我国过去修船规定一直沿用五十年代苏联的“大、中、小修制度”所带来的
利用解析和初等的方法研究了Smarandache伪5倍数和第二类Smarandache伪5倍数列的均值性质，得出两个有意义的渐进公式．
<正> 为了解我院病案利用情况,探讨有利于提高病案管理质量和效率的方法,我们调查了1996年1月～9月间所有借阅病案的情况。1 结果与分析9个月间共借阅病案8154份,其中近90％是用
先对半E-预不变凸函数做了进一步研究,得到了它的几个性质及半E-严格预不变凸函数的判定定理,进而给出了半E-预不变凸函数在多目标规划问题中的最优性条件,进一步丰富了优化
利用初等方法及解析方法,研究了{ak（n）}和{bk（n）}这两个数列的性质,并给出了两个有意义的渐进公式,其中ak（n）表示不超过n的最大k次幂部分,bk（n）表示不小于n的最小k次幂部分。
利用初等解析的方法研究了复合函数S（bk（n））与数论函数U（n）的均方差均值分布,并给出了一个较强的渐近公式。