研究目的
研究一种用于查找大规模系统所有接受循环的外部存储方法。
研究成果
总体而言，DAAC在实际效率上优于DAC、MAP和IDDFS，这对大规模系统设计中的调试具有重要意义。
研究不足
已验证系统的规模在一定程度上受到限制，因为它利用了最小完美哈希函数。
首页
论文列表
[2019年IEEE第46届光伏专家会议(PVSC) - 美国伊利诺伊州芝加哥(2019.6.16-2019.6.21)] 2019年IEEE第46届光伏专家会议(PVSC) - 混合透镜阵列高效静态低倍聚光光伏组件演示
中文（中国）
▾
[2019年IEEE第46届光伏专家会议(PVSC) - 美国伊利诺伊州芝加哥(2019.6.16-2019.6.21)] 2019年IEEE第46届光伏专家会议(PVSC) - 混合透镜阵列高效静态低倍聚光光伏组件演示
DOI：10.1109/pvsc40753.2019.8981268
出版年份：2019
更新时间：2025-09-16 10:30:52
摘要：
现有的输入/输出线性时序逻辑（LTL）模型检测算法通常针对违反性质的系统的单一反例进行输出。然而在实际应用中（如软硬件系统设计的诊断与调试），人们往往需要获取一组甚至全部反例。为此，我们提出了一种检测所有接纳环的高效输入/输出方法（DAAC），其验证性质采用LTL描述。不同于其他全环搜索算法，DAAC首先搜索接纳强连通分量（ASCCs），再找出每个ASCC的所有接纳环，从而避免追踪大量无法扩展为接纳环的路径。为进一步降低DAAC的I/O复杂度并提升性能，我们提出了交集计算技术、动态路径管理技术，并采用最小完美哈希函数（MPHF）。通过与当前最先进的算法（包括检测接纳环算法DAC、最大接纳前驱算法MAP和迭代深化深度优先搜索IDDFS）进行复杂度与实验对比，结果表明：尽管本方法能找出全部反例，但在I/O复杂度和实际性能方面整体表现更优。
作者：
Lijun Wu，Kaile Su，Shaowei Cai，Xiaosong Zhang，Chenyi Zhang，Shupeng Wang
AI智能分析
纠错
研究概述
实验方案
SCI高频之选
查看全部>
-
智能分析： Yokogawa AQ6370D是一款性能卓越的光谱分析仪，适用于光通信领域以及光放大器（EDFA）的测量和评估。其高波长分辨率、精准度和宽动态范围使其成为实验室和工业环境中的理想选择。虽然设备体积较大且预热时间较长，但其丰富的接口和出色的显示屏设计弥补了这些不足，整体是一款值得推荐的光谱分析仪。获取实验方案
-
智能分析： ZEISS EVO系列是一款高性能?？榛璧缱酉晕⒕担视糜诓牧峡蒲?、生命科学及工业质量控制等领域。其先进的技术特性包括高分辨率、广泛加速电压范围和集成EDS系统。该产品操作直观，支持多用户环境，适合科学研究和工业应用。然而，价格信息缺失以及潜在的维护成本可能是其需要注意的方面。总体而言，ZEISS EVO系列表现优秀，值得推荐给专业用户。获取实验方案 -
智能分析： ZEISS Crossbeam系列是蔡司公司推出的一款高端光电分析设备，结合了场发射扫描电子显微镜（FE-SEM）和聚焦离子束（FIB）的功能，适用于材料科学、纳米技术和半导体行业等多个领域。其高分辨率成像能力和自动化样品制备功能使其成为高通量分析的理想选择。此外，该设备支持多种检测器，具备强大的多功能性，是高精度研究和工业应用的利器。然而，由于其高端定位，设备成本较高且操作需要专业技能。总体而言，该设备表现卓越，为科学研究和工业应用提供了先进的解决方案。获取实验方案 -
智能分析： Axio Observer是一款专为金相学研究设计的倒置显微镜系统，以其高效的设计和蔡司知名的光学技术为特色。它能够快速、灵活地分析大量样品，并支持自动化操作，适用于多种应用场景，包括晶粒尺寸分析、非金属夹杂物检测等。然而，其重量较大且光源寿命较短，可能对使用者提出了额外的维护和空间管理需求。总体而言，这款产品在性能和可靠性方面表现出色，特别适合专业实验室使用。获取实验方案 -
型号：ZEISS LSM 990 Spectral Multiplex
智能分析： ZEISS LSM 990 Spectral Multiplex是一款定位于高端科研机构的光谱成像系统，具有卓越的光谱分辨率和自动化功能，适用于复杂的生物、医学及材料科学实验。其高效的荧光标签分离能力和多功能自动化设计为用户提供了强大的实验支持。然而，高昂的价格和一定的学习曲线可能对中小型实验室构成挑战。总体而言，这是一款性能优越、适应性强的高端实验设备。获取实验方案 -
智能分析： ZEISS Sigma 300 with RISE是蔡司公司推出的一款高端光谱分析仪，集成了拉曼成像和扫描电子显微镜技术，能够提供高质量的化学和结构分析。其功能强大，支持多领域应用，但设备价格较高且操作学习曲线可能较陡。适用于科研机构和高端实验室，是材料科学和生命科学领域的理想选择。获取实验方案
立即咨询
加载中....
论文纠错
您正在对论文“[2019年IEEE第46届光伏专家会议(PVSC) - 美国伊利诺伊州芝加哥(2019.6.16-2019.6.21)] 2019年IEEE第46届光伏专家会议(PVSC) - 混合透镜阵列高效静态低倍聚光光伏组件演示”进行纠错
纠错内容
联系方式（选填）
设备询价
称呼
电话
+86
单位名称
用途
期望交货周期
产品预约
称呼
电话
+86
单位名称
用途
期望交货周期