| 复杂串联系统的状态空间生成的形式化分析 |
| |
| 引用本文： | 郑霄,赖新,王丽,田涛. 复杂串联系统的状态空间生成的形式化分析[J]. 计算机工程与科学, 2009, 31(Z1). DOI: 10.3969/j.issn.1007-130X.2009.A1.066 |
| |
| 作者姓名： | 郑霄 赖新 王丽 田涛 |
| |
| 作者单位： | 江南计算技术研究所,江苏,无锡,214083 |
| |
| 基金项目： | 国家863计划资助项目，国家973计划资助项目 |
| |
| 摘 要： | 大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
|
| 关 键 词： | 状态空间生成 形式化方法 复杂串联系统 |
Formalization Analysis of State Space Generation for Complex Serial Systems |
| |
| ZHENG Xiao,LAI Xin,WANG Li,TIAN Tao. Formalization Analysis of State Space Generation for Complex Serial Systems[J]. Computer Engineering & Science, 2009, 31(Z1). DOI: 10.3969/j.issn.1007-130X.2009.A1.066 |
| |
| Authors: | ZHENG Xiao LAI Xin WANG Li TIAN Tao |
| |
| Abstract: | State space generation process to resolve the model of large-scaled system maybe get out of control for lack of prefiguring the potential scale of state space to be produced by it, and formalization analysis could make for overcoming this problem. In this paper, a formalization method to symbolize the state space generation process is defined according to the special structure of large complex serial system, based on which the discipline of state space generation for such a system is studied, and then a theorem is stated and proven to fleetly predict the potential scale of state space of that system's model. |
| |
| Keywords: | state space generation formalization method complex serial systems |
| 本文献已被 万方数据 等数据库收录！ |
|
