论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能
【机 构】
：
南京航空航天大学计算机科学与技术学院,软件新技术与产业化协同创新中心
【出 处】
：
计算机科学
【发表日期】
：
2020年5期
【基金项目】
：
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)
其他文献
研究交通系统中自行车流模型问题,为克服传统交通流模型难以表达自行车不遵循车道随机蛇行和穿插特性,能获得精确自行车交通流参数的问题,提出一个新的基于元胞自动机理论的自行车流模型。在对自行车元胞空间结构及状态值等参数进行重新定义的基础上,模型中创新地引入随机偏移概率来描述自行车骑行时的随机蛇行与穿插行为。在模型中引入不同随机偏移概率值来仿真,对所获得交通流参数分析,认为蛇行及穿插行为使自行车流容易发生
本文报道了1995年夏-秋季节西藏东南部原始森林鸡类栖息地的利用方式。记录有7个物种,这些物种大多喜欢在阳坡环境,而回避相对潮湿的阴坡环境。在这一鸡类群落中,白马鸡(Cros
虚拟战场仿真中,对大规模地形进行实时、逼真的绘制是个关键问题。在ROME算法的基础上采用了基于视点的连续LOD优化算法,通过对大规模地行进行预分块,采用投影三角形扫描算法实现快速裁剪,较大的减少了实际需要绘制的网格数据量,提高了运算速度,在实时性方面有了较大的改进。对于不同等级网格边界间的裂缝问题,采用ROME算法中的基于二元三角形的强制分割方法消除。实验结果表明,算法运行结果良好,在普通PC机上
本文在分析白云母结构特点的基础上，阐述了白云母的剥片及粉碎技术，并介绍了所研制的研磨机及样品试验对比结果。
子空间辨识方法作为一种有效的针对多输入-多输出系统(MIMO)的辨识建模方法近年来受到广泛的重视。目前主要采用的子空间辨识算法只能适用于白噪声环境,而实际的工业现场数据很多是受到较大有色噪声干扰的。针对问题采用了一种新的子空间辨识算法,利用马尔可夫参数用于处理随机性部分,同时引入辅助变量用以去除噪声的干扰,能够适用于存在较大有色噪声干扰情况下的辨识建模,并可得到对象的无偏模型,建模的精度优于通常所
随着象山县国有企业内部改革的深入和企业经营机制的转换,企业职工的思想异常活跃。总体看,大多数职工对企业转制是拥护的,但涉及到具体问题,会产生种种复杂的矛盾和思想问题
以一类通用高超声速飞行器的非线性纵向模型为研究对象，对其线性化后，应用LQR理论设计了一种多输入多输出的最优控制器。通过引入比例积分滤波器（PIF），有效地抑制模型参数变化所引
"往昔珍闻谁敢录?当今轶事我书成。"李锐先生从五十年代开始研究毛泽东的生平与思想,先后发表了《毛泽东的初期革命活动》、《庐山会议实录》、《毛泽东的早年与晚年》等六部
Molothrus属的5种牛鹂中,褐头牛鹂(Molothrus ater)是唯一一种在北美广泛分布和常见的寄生性繁殖的牛鹂。褐头牛鹂主要见于开阔地和林缘,为泛性寄生且进化历史较晚,因此其与