论文部分内容阅读
大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
复杂串联系统的状态空间生成的形式化分析
【摘 要】
：
大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的
【机 构】
：
江南计算技术研究所,江苏 无锡 214083
【出 处】
：
2009年全国高性能计算学术年会
【发表日期】
：
2009年期
其他文献
不应该是画面漂亮就是好摄影,摄影更应该注重表达故事的氛围和人物的情绪。杜杰,大陆新一代摄影师,北京电影学院摄影系毕业。摄影作品有《无人区》《西风烈》
Should not be
他的天性极其纯良、真挚,至情至性所至,人之不敢言者,鲁迅往往一言道破,平淡天真,绝处逢生,娱人也娱己。
His nature is extremely pure and sincere, and his heart is ful
供热通风与空调工程作为现阶段改善居住环境的一种重要方式，在现代房屋建设过程中被广泛使用。通过强化专业的工程施工能力，保障工程的整体设计更加科学合理，强化施工的信息化管
针对小学数学教学有一项重要的培养目标就是学生的数学计算能力。学生在小学阶段要充分掌握好整数、小数、分数的四则计算方法，只有完成了这个教学目标，学生才能够以合格的成绩
本文主要论述三维地震数据动态解释系统在大平煤矿地质工作中的应用，指出通过对三维地震数据动态解释系统的应用，有效的把三维地震信息与矿井现场地质动态信息相互融合，解决了很
我国在慢慢的进入小康社会，人们的生活越来越好，从以前的吃饱穿暖变成了现在的吃好穿好，人们对于生活的质量要求也越来越高，质量要求高了，那么对于能源的需求也越来越多，一些消耗也
唐天际,原名唐时雍,1904年生于湖南省安仁县。1925年考入黄埔军校四期。1926年加入中国共产党。曾任国民革命军党代表、副连长。参加了北伐战争、南昌起义和湘南起义。土地革
在互联网+时代，在开展卷烟营销的过程中将网络直播应用其中，以此探寻新型的卷烟营销模式。本文将围绕基于网络直播的新型卷烟营销模式关键因素进行阐述，详细分析具体的营销模式，
电力工程建设项目管理还存在不少问题，严重影响实际管理效果，对工程施工质量、安全、成本、进度等造成负面影响。为了有效发挥管理作用，为工程建设项目的运行提供可靠支持，应当积
我国浮息存单于2013年底推出，不同于固定利率贴现发行的存单，浮息存单在存续期内定期进行利率重置票息利率可浮动。对发行人和投资人来说，浮息存单均具有应用价值。目前，浮息存单