王霞
- 作品数：4 被引量：3H指数：1
- 供职机构：泰州职业技术学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于GPRS技术的污水处理厂监控系统设计与实现被引量：1
- 2008年
- 介绍了GPRS技术,针对污水处理厂分散生产集中运行管理,自动化、信息化管理水平偏低,有待提高的现状,设计和实现一种基于GPRS的污水处理厂监控系统方案。阐述了污水处理厂监控系统的结构体系、组成、关键技术和功能。
- 王霞赵峰
- 关键词：GPRS监控系统污水处理厂数据传输
- SIP协议的着色Petri网模型及仿真被引量：1
- 2010年
- 文章通过对SIP协议邀请交互和服务器交互的分析,利用着色Petri网来模拟一个SIP协议的交互过程。利用CPN TOOLS建立一个SIP交互模型,并通过仿真实验得到相关的数据,科学地评价模型的性能。
- 王霞赵峰
- 关键词：着色PETRI网CPNTOOLS仿真
- OPC和以太网技术在现场总线中的应用被引量：1
- 2011年
- 文章介绍了OPC和以太网技术在现场总线控制网络中的应用,分别说明了OPC技术和工业以太网的相关特点。通过分析OPC/DA和OPC/DX技术规范以及以太网技术的特点,给出了基于OPC/DA和OPC/DX的现场总线控制网络架构,并提出了一种将以太网和现场总线控制网络相互集成的方案。
- 赵峰王霞
- 关键词：现场总线OPC以太网现场控制网络
- 基于蚁群算法UML活动图的测试用例生成研究
- 2010年
- 为了节约软件测试成本,减少测试用例数量,提出了一种利用蚁群算法直接从UML活动图中生成测试用例的方法。通过对UML活动图和蚁群算法进行形式化规约,构造人工蚁群,然后依据DFS遍历由UML活动图转化的有向连通图G,最后生成测试用例。通过仿真模拟,对提出的方法进行验证以及对实验结果进行分析,证明了该算法的可行性和有效性。
- 王霞刘永胜
- 关键词：软件测试形式化方法测试用例UML活动图
