搜索筛选:
搜索耗时0.0347秒,为你在为你在23,761,000篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：郭建, 边明明, 韩俊岗,,
来源：计算机科学 年份：2008
在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择Buchi自动机。此算法与其他算法相比，具有可......
[期刊论文] 作者：李莉, 王忠民, 苑庆涛, 韩俊岗,,
来源：现代电子技术 年份：2011
为了克服传统毕业设计管理模式的缺陷，运用计算机和信息技术，开发与实施了基于网络的毕业设计管理平台。它实现了毕业设计全过程的计算机网络化管理和监控；实现了无纸化办公方式......
相关搜索：
