时钟图相关论文
目前,形式化方法在需求一致性验证方面显示出了强大的力量,特别是对于安全攸关系统。然而,大多数现有的需求验证研究只关注软件需......
学位
为了解闪电活动规律，以广州地区为研究对象，以闪电定位数据为基础，借助ArcGIS软件对闪电次数进行统计，通过时钟图展示了2000-2014年广......
