软件下载帮助文档新闻资讯

Skill UI

浏览并发现 16567+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索验证，共找到 148 条记录

默认排序最新上传最多下载

OSDI系统可复现性溯源记录

osdi-reproducibility

brycewang-stanford/Awesome-Journal-Skills

这是一个用于确保系统研究结果可复现性的专业框架。它要求在整个实验生命周期中，维护一个全面的、机器可读的溯源日志（provenance ledger）。该日志必须记录硬件配置、软件依赖、工作负载轨迹和测量策略等所有细节，从而防止研究成果在时间推移中发生偏差，保证结果的可验证性。

科学测量结果可复现性指南

pldi-reproducibility

brycewang-stanford/Awesome-Journal-Skills

本指南旨在为编译和运行时系统提供科学、严谨的实证评估标准，符合SIGPLAN的严格要求。内容涵盖了暖机周期（warmup）、方差和置信区间报告、基准选择的原理性、工具链版本锁定以及跨平台有效性等关键点，帮助用户建立可供学术发表的、可验证的测量协议和环境日志。

机器人研究可复现性指南

rss-reproducibility

brycewang-stanford/Awesome-Journal-Skills

本指南旨在确保机器人学研究论文的科学可复现性。它将证据结构化为不同“可复现性层次”（如可重运行、可审计），明确区分了计算部分（代码、种子）和物理部分（机器人、环境、人为流程）。指南要求提供平台日志和原始试验记录，将学术论文中的信任声明转化为可验证、可审计的证据链。

SenSys成果物评估与复现指南

sensys-artifact-evaluation

brycewang-stanford/Awesome-Journal-Skills

本指南详细介绍了如何在SenSys等学术会议上获得成果物评估徽章（可用、功能、复现）。它强调构建“硬件可选路径”，确保评审人员即使无法获取原始测试平台，也能通过分级重放、详细记录数据溯源（如能耗、传感器数据）和烟雾测试来验证论文结果的可行性和准确性。

SIGCOMM论文成果验证与复现指南

sigcomm-artifact-evaluation

brycewang-stanford/Awesome-Journal-Skills

本指南为网络研究人员提交SIGCOMM会议论文成果提供了详细流程。它指导用户如何封装代码、缩小拓扑、替代流量和固定运行环境，目的是让审阅者能够独立验证并复现论文的核心实验结果，确保学术结论的可靠性。

云系统评估严格指南

socc-experiments

brycewang-stanford/Awesome-Journal-Skills

本指南提供了设计和审计云系统评估的全面最佳实践。它要求所有的系统性能主张必须基于真实或高度逼真的部署证据，而非单纯的模拟。核心关注点包括报告尾部延迟（p99）、准确的成本模型，以及在大规模和多租户环境下的可验证行为。

确保系统论文的科学可复现性

socc-reproducibility

brycewang-stanford/Awesome-Journal-Skills

本指南详细介绍了系统论文（特别是云测量研究）如何达到高水平的科学可复现性。它指导作者将论文中的所有主张与可验证的证据建立映射，要求提供完整的测试环境描述、精确复现尾延迟和成本，确保报告结果的科学严谨性和一致性，提升学术报告的可靠性。

TACAS会议主题与投稿指南

tacas-topic-selection

brycewang-stanford/Awesome-Journal-Skills

本指南旨在帮助研究人员确定其形式化验证项目（工具或算法）最合适的投稿平台。它指导用户决定项目应投递至TACAS，还是其他相关会议（如CAV、VMCAI等），并帮助选择最符合其贡献类型的投稿类别。

管理Azure容器注册表

azure-container-registry-cli

github/awesome-copilot

这是用于管理Azure容器注册表（ACR）的CLI工具集。它支持执行ACR的完整生命周期管理，包括创建注册表、身份验证、使用云构建推送容器镜像、从其他源导入镜像，以及配置地理复制、私有端点和Webhooks等高级安全及网络功能。是Azure容器化CI/CD流程的核心工具。

容器运行时状态偏差分析

competition-container-runtime

zhaoxuya520/reverse-skill

此技能用于分析静态配置（如Kubernetes或Compose）与容器运行时实际工作状态之间的偏差。它追踪复杂的运行时依赖，包括密钥消耗、Sidecar/Init容器的修改、网络路由和挂载卷路径。当挑战的核心是证明实际运行路径与文档化意图的差异时（即建立最小化、可验证的证据链），应使用此技能。

工控系统安全评估框架

zhaoxuya520/reverse-skill

这是一个用于授权的工控系统（OT/ICS）安全评估框架。它强调“被动优先”的评估原则，覆盖了Purdue模型分区、工业协议分析和SCADA/DCS环境的暴露面识别。评估流程严格避免对PLC执行任何写操作，优先进行只读验证和安全网络分析，确保物理过程的安全。

威胁狩猎与检测工程

zhaoxuya520/reverse-skill

本技能提供完整的蓝队威胁狩猎和检测工程框架。指导用户如何基于明确的假设进行主动调查，设计复杂的SIEM查询，并使用Sigma/YARA等工具构建高效的检测规则。适用于提升安全防御能力、减少误报和验证现有安全控制的有效性。

上一页 1 2 3...9 10 111213 下一页

语言