论文部分内容阅读
针对环境中存在的不确定性因素对信息物理融合系统（CPS）的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验证方法。通过验证其可达性和安全性,理论证明和实例分析表明该方法是有效的,可描述不确定环境因素下的CPS系统的验证。
基于可能性混成自动机的CPS属性验证
【摘 要】
：
针对环境中存在的不确定性因素对信息物理融合系统（CPS）的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验
【机 构】
：
青海师范大学计算机学院,陕西师范大学网络信息中心,陕西师范大学计算机科学学院,陕西学前师范学院计算机与电子信息系
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2016年5期
【基金项目】
：
国家自然科学基金（61261047）, 青海省自然科学基金（2014-Z-910,2015-ZJ-718）, 陕西省自然科学基础研究计划（2016JM6033）
其他文献
利用初等方法及解析方法研究了级数+∞1∑n-11/(na2(n))s的计算问题,证明了恒等式+∞∑n=11/naksk(n))sζ2(ks)/ζ(2ks)×∏p(1+1/1+pks)×…∏p(1+1/k-2+pks)其中ak
通过对柴达木盆地中的各主要盐湖矿产资源及其所处地理位置的比较,结合目前该盆地盐湖提取钾、硼、锂等工艺技术的日益完善,进行了影响成本的外部开发条件及产品工艺分析,说
视图与投影知识试题出现之初主要以选择题、填空题的形式呈现．经过几年的试验与探索，现在许多省市中考试卷中都出现了新颖别致的以视图与投影为载体的作图题、解答题和实践操作
针对不同视角的行人样本具有较大的类内差异性,造成多视角行人识别错误率较高的问题,提出一种基于非负矩阵分解最小二乘的多视角行人分类算法.采用非负矩阵分解的方法对多视角的行人样本图像进行子空间分解,提取基向量;引入协同表示的方法并在最小二乘约束下,对子空间进行稀疏表示获得稀疏分解系数;利用近邻子空间方法对分解系数进行分类.基于自行构建的多视角行人数据库进行对比实验,结果表明该算法的准确性和有效性优于其
采用分子动力学方法研究了含（010）[101]型中心裂纹的金属α-Fe在拉伸载荷和疲劳载荷作用下裂纹扩展的微观机制。研究表明,含有此类裂纹的体心立方金属铁在单轴拉伸载荷下,其破
用典型事例论证的方法叫例证法。一篇议论文，如果有了充分、确凿的事例作证，就可以使它的论点站得住脚，令人信服。使用例证法，对于扭转同学们平时作文时的那种抽象说理，空泛说教，言
利用解析方法以及Dedekind和的性质研究Dirichlet L-函数的一类特殊二次均值的计算问题，并给出均值∑x（-1）=1｜L（1,χλ）｜2的几个精确的计算公式，其中∑x（-1）=1表示对模q的所有偶特征求
语文阅读理解题主要考查学生能否有效地感知、领悟、欣赏和获取文章中的信息,考查学生的整合、表达能力.虽然这是一个复杂的过程,主要取决于学生的理解能力、表达能力和审美
期刊