搜索筛选:
搜索耗时3.3830秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
类      型:
[学位论文] 作者:应婉婷,, 来源:浙江工商大学 年份:2020
新能源汽车,可降低对原油的依赖、减少汽车尾气对环境造成的污染,大力发展新能源汽车产业对我国新经济增长、环境治理与保护有着重要意义。一直以来,我国新能源汽车行业主要依靠政策驱动,其中各级政府每年拨付大量的政府补助对新能源汽车行业进行有力的支持,政......
[学位论文] 作者:应婉婷, 来源:浙江工商大学 年份:2020
[期刊论文] 作者:应婉婷,杨浩,, 来源:数字化用户 年份:2017
基于RGPS服务层元模型的特征,本文提出了一种形式化方法来验证元模型的活性.首先,用BPEL语言描述RGPS服务层元模型.接着,实现BPEL语言与Promela语言的转换.最后,用Spin工具验...
相关搜索: