赵艳
- 作品数：6 被引量：7H指数：1
- 供职机构：安徽理工大学更多>>
- 发文基金：国家自然科学基金安徽省高等学校优秀青年人才基金安徽省优秀青年科技基金更多>>
- 相关领域：自动化与计算机技术石油与天然气工程更多>>
- 基于Petri网的软件测试分析被引量：5
- 2007年
- 软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。
- 方贤文赵艳殷志祥
- 关键词：PETRI网软件测试C程序PETRI网模型
- 基于Petri网和Web的电子商务安全性分析被引量：1
- 2007年
- 在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的。Petri网便于描述具有并发、异步、不确定性等特性的问题。利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性。
- 方贤文许志才赵艳
- 关键词：PETRI网WEB服务电子商务死锁
- 一种用于煤化工的烟气余热回收装置
- 本发明涉及烟气余热回收技术领域，且公开了一种用于煤化工的烟气余热回收装置，包括四根呈环形排列的进烟管，四根进烟管的顶部均固定安装有弧形盘管，四根弧形盘管呈环形排列且顶部均固定安装有排烟管，四根弧形盘管均设置在回收筒的内壁...
- 刘铭向玉馨郑雪情赵艳杨国莹李寒旭
- 文献传递
- 基于时序Petri网的Web服务组合建模与质量分析
- Web服务是基于网络的自包含、自描述的模块化应用程序。随着将自己的应用程序作为Web服务发布的企业日益增多,服务需求者对服务的功能以及服务的质量要求也越来越高。而服务供应商提供的单个服务也越来越难满足用户的实际需要,因此...
- 赵艳
- 关键词：WEB服务组合时序PETRI网服务质量可达性
- 文献传递
- 基于层次Petri网的多主体系统分析被引量：1
- 2009年
- 对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作,主体的内部动作通过petri网系统进行描述,进一步得到多主体系统的层次petri网系统。提出了多系统的目标计划生成算法,该算法实质是将主体的内部动作用变迁元素替代,得出替代后的多主体系统的层次petri网的可达标识图,进而可以得出多主体系统的目标计划。通过利用变迁元素替代主体的内部动作,可以有效地减小状态空间爆炸问题。
- 赵艳郭娟
- 关键词：多主体系统可达标识图
- 一种高温烟气的余热回收装置
- 本发明公开了一种高温烟气的余热回收装置，涉及余热回收技术领域，包括进烟管道和排烟管道，所述进烟管道和排烟管道之间固定安装有主箱体，所述主箱体的顶部固定安装有副箱体，所述主箱体的底部可拆卸安装有集灰箱，所述主箱体的内部活动...
- 刘铭向玉馨郑雪情赵艳杨国莹李寒旭
