期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
遵义市“创模”可达性分析
下载PDF
职称材料
导出
摘要
结合创模指标体系,通过对我市“创模”指标的现状分析,提出可达技术方案,达到有效控制环境污染的目标。
作者
韩晓丽
李志利
机构地区
贵州省遵义市环保局
出处
《遵义科技》
2007年第5期7-8,共2页
关键词
创建国家环境保护模范城市
可达分析
技术方案
分类号
TP393 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
集团自行开发信息发布平俞投用[J]
.城市公共交通,2011(12):13-13.
2
曾宇清,钱俊彦.
基于自动机的并发程序符号可达分析[J]
.桂林电子科技大学学报,2013,33(4):300-304.
被引量:1
3
傅建明,朱福喜,刘莉萍.
基于Petri网子范畴的压缩规则[J]
.小型微型计算机系统,2004,25(3):391-394.
4
董绍轩,张彤.
基于公共交通的高精度时空可达模型与算法[J]
.计算机系统应用,2017,26(3):175-181.
被引量:1
5
姜怡,苏森,陈俊亮.
信任协商策略的Petri网建模分析方法[J]
.高技术通讯,2006,16(4):342-347.
6
高海宁,李蜀瑜.
基于扩展时间Petri网的Web服务组合的分析与验证[J]
.计算机应用与软件,2012,29(3):82-85.
被引量:3
7
黄晨,董燕,于倩,虞砺琨.
基于目标码的测试覆盖不可达分析方法[J]
.测控技术,2017,36(1):100-103.
被引量:3
8
袁彩华.
东莞:举办“走近运河”论坛[J]
.环境,2009(7):47-47.
9
覃海生,蓝乾艺,杨夏妮.
基于约束程序的变迁约束可达问题判定研究[J]
.广西大学学报(自然科学版),2007,32(3):307-311.
被引量:3
10
钮俊,曾国荪,王伟.
基于模型检测的时间空间性能验证方法[J]
.计算机学报,2010,33(9):1621-1633.
被引量:6
遵义科技
2007年 第5期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部