期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
UMLStatecharts的模型检验方法 被引量:40
1
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 UMLStatecharts 模型检验方法 软件开发 统一建模语言
在线阅读 下载PDF
平行数据模型单位根的非参数检验方法——截面内误差项存在L阶自相关关系
2
作者 任燕燕 《统计研究》 CSSCI 北大核心 2006年第10期28-30,共3页
By combining non-parameter Z test method for unit root test of time-series with IPS test method for panel data unit root test, we propose a new non-parameter unit root test method for panel data.This method solves the... By combining non-parameter Z test method for unit root test of time-series with IPS test method for panel data unit root test, we propose a new non-parameter unit root test method for panel data.This method solves the unit root test’s problem that {ε_ it } is L-order auto-correlaiton.Using random simulation method,we compare LL test with non-parameter unit root test for panel data.We found that the non-parameter unit root test is superior to LL test in this case. 展开更多
关键词 平行数据 时间序列单位根的非参数Z检验方法 平行数据单位根的LL检验方法 平行数据模型单位根的IPS检验方法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部