覆盖率模型相关论文
15分钟健康生活圈公共服务设施配置水平对打造健康城市具有重要意义。本文以长沙市开福区、岳麓区和天心区为研究对象,构建15分钟健......
可重构计算技术具有微处理器高灵活性和ASIC高性能的特点,是一种新型的计算机体系结构,但可重构计算的这种可配置特性对其功能验证......
AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系......
作为一种新型的交通信息采集方式,浮动车技术得到了广泛的应用.在浮动车系统中,目前的难点在于浮动车配置数量的确定,即在保证一定......
科学解释是科学哲学研究的重要问题之一,亨普尔的“演绎—律则”(D-N)模型和“归纳—统计”(I-S)模型,二者合称为“覆盖率”模型,这被......
从政府层面制定城镇公共租赁住房覆盖率目标对于改善民生、构建和谐社会具有极其重要的现实意义。本文通过建立资金约束下和土地约......
针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题,使用控制流图表示代码逻辑结构,采用数据流分析......
楼梯清洁机器人面向实际应用需解决最关键的问题之一是机器人在休息平台需走多久才决定下楼。针对该问题,研究发现机器人经过较多......