已选(0)清除
条数/页: 排序方式:
|
| 格值有限自动机等价判定算法 期刊论文 http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jsgg200622011&dbcode=CJFQ&dbname=CJFQ2006, 2012, 2012 雷红轩; 盛莉
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:54/0  |  提交时间:2017/06/19
|
| 一种基于有限自动机的渐变镜头检测算法 期刊论文 http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JSJA200601070&dbname=CJFQ2006, 2012, 2012 佟子健; 袁进辉; 郑武杰; 林福宗; 张钹
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2017/06/15
|
| 基于概率模型检测的Web服务组合验证 期刊论文 2012, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 120 作者: 王晶[1]; 戎玫[2]; 张广泉[1,3]; 祝义[4]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/03
|
| 基于扩展自动机的服务组合静态与动态验证方法 期刊论文 通信学报, 2012, 期号: S1, 页码: 1-8 张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:10/0  |  提交时间:2013/09/17
|
| 一种分布式制造系统控制结构的形式化建模方法 期刊论文 《系统仿真学报》, 2012, 卷号: 24, 页码: 1693-1696 作者: 陈玮[1]; 翟振坤[1,2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/04/26
|
| 基于有限状态自动机的电镀电源多波形输出方法 期刊论文 《电源学报》, 2012, 页码: 55-59 作者: 张成[1]; 王学梅[1]; 丘东元[1]; 张波[1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/04/26
|
| 基于动态消费行为的新产品扩散模型研究 学位论文 2012 作者: 王峰
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 焊接熔池凝固过程枝晶生长模拟研究 学位论文 : 西安理工大学, 2012 作者: 张喜兵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/20
|
| 右线性文法与有限自动机等价性的一个新证明 期刊论文 电脑与信息技术, 2012, 期号: 1 作者: 韩光辉; 曾诚
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 基于FSA的模型检测算法研究 期刊论文 2012, 卷号: 29, 期号: 5, 页码: 58-62 作者: 王扣武; 张珺铭; 龙士工; 董方
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2020/01/05
|