`aperture-duty-cycle`（场景类型）

引擎v0.40.0的场景类型，所属类别为任务分析、链路与空间运行。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。

作用#

孔径占空比：一份接触计划对一组可操纵孔径所隐含的导航与通信时间分配。输入一份接触计划（一组[[contacts]] aos_s/los_s窗口，每个窗口请求导航或通信，与passes预测器输出的aos_s/los_s词汇相同）、孔径数量和一项仲裁策略（ARBITRATION POLICY，默认为导航优先，也可为通信优先，或非抢占式先到先服务），报告导航占空、通信占空、空闲占空，以及每个会话的中断：会话所请求但没有孔径为其服务的接触时间。按窗口边界做精确的区间扫描，因此相接的窗口从不争用，也没有任何孔径秒被重复计数；导航、通信和空闲孔径秒分别独立累计，并与apertures*horizon_s相符。报告会写明所解析出的策略、其完整定义，以及占空和中断的定义，因为引用占空数值而不给出其仲裁策略，是不可复现的。MODELLED的调度运算：孔径更换服务或会话时不计转换、重新调谐或切换时间，决策中不涉及数据量、缓冲状态、能量预算或链路闭合，接触窗口为输入，其几何取决于产生它们的来源。不是地面段调度产品。

运行一次scenarios/aperture-duty-cycle.toml的摘要为：aperture-duty-cycle: 2个孔径、导航优先下的6个会话 ->导航占空0.1167，通信占空0.2667，空闲0.6167；所请求的6900 s中有0 s因争用而丢失（MODELLED）

输入#

来自模式（kshana kinds --json）：

必填字段：无
可选字段：apertures、arbitration、horizon_start_s、horizon_end_s、contacts

示例scenarios/aperture-duty-cycle.toml设置了以下内容等：

字段	取值	单位
`apertures`	2	计数
`arbitration`	navigation-priority	文本
`contacts[0].aos_s`	0	s
`contacts[0].los_s`	600	s
`contacts[0].name`	nav-1	文本
`contacts[0].service`	导航	文本
`contacts[1].aos_s`	300	s
`contacts[1].los_s`	1500	s
`contacts[1].name`	comms-1	文本
`contacts[1].service`	通信	文本
`contacts[2].aos_s`	3600	s
`contacts[2].los_s`	4500	s

运行#

kshana scenarios/aperture-duty-cycle.toml

给出什么#

该次运行的标量结果，单位为引擎所给出的单位：

结果	取值	单位
`aperture_seconds_available`	18000	aperture*s
`apertures`	2	计数
`arbitration_policy`	navigation-priority	文本
`arbitration_policy_default`	navigation-priority	文本
`communications_duty`	0.266667	比例（无量纲）
`communications_served_aperture_s`	4800	aperture*s
`contention_s`	0	s
`evidence.id_rule`	矩阵行的稳定标识（ID	文本
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	文本
`evidence.tier`	MODELLED	文本

结果标签（引擎给出的）：MODELLED — 基于所提供接触计划的孔径调度运算：在指定的仲裁策略下，对导航与通信时间分配以及每个会话的争用损失做精确的区间扫描。孔径更换服务或会话时不计转换、重新调谐或切换时间，

引擎为scenarios/aperture-duty-cycle.toml（类型aperture-duty-cycle）生成的图表

证据#

MODELLED：列出此类型的验证矩阵各行。

MODELLED一次运行输入一份接触计划（一组aos_s/los_s窗口，每个窗口请求孔径用于导航或通信，其窗口词汇与passes::predict_passes输出的相同，由aperture_duty::windows_from_passes转换）、一个孔径

本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：

MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
MODELLED一次运行输入一份接触计划（一组aos_s/los_s窗口，每个窗口请求孔径用于导航或通信，其窗口词汇与 `passes::pre。参考基准（InternalConsistency）：内部自洽，来自同一次扫描中用不同表达式算出、再要求闭合的三个量。导航孔径秒、通信孔径秒和空闲孔径秒分别累计（空闲按每个基本区间的 (apertures − |served|) 计算，从不作为余量），其总和断言等于apertures × horizon_s，边界括错、重复计

局限#

本次运行自身的报告所说的未建模或未经独立验证的内容：

MODELLED — 基于所提供接触计划的孔径调度运算：在指定的仲裁策略下，对导航与通信时间分配以及每个会话的争用损失做精确的区间扫描。孔径更换服务或会话时不计转换、重新调谐或切换时间，决策中不涉及数据量、缓冲状态、能量预算或链路闭合，接触窗口为输入，其（结果label）
MODELLED的调度运算：孔径更换服务或会话时不计转换、重新调谐或切换时间，决策中不涉及数据量、缓冲状态、能量预算或链路闭合，接触窗口为输入，其几何取决于产生它们的来源。（类型目录（kshana kinds --json））
诚实范围：对所提供窗口的MODELLED调度运算。孔径更换服务或会话时不计转换、重新调谐或切换时间；决策中不涉及数据量、缓冲状态、能量预算或链路闭合；接触窗口为输入，其几何取决于产生它们的来源（passes场景输出相同的aos_s / los_s词汇）。不是地面段调度（场景文件注释，第18至24行）
可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
孔径的导航与通信占空比为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#

类别页面：任务分析、链路与空间运行
所有类型：KINDS.md

aperture-duty-cycle（场景类型）

作用#

输入#

运行#

给出什么#

证据#

局限#

另请参阅#

`aperture-duty-cycle`（场景类型）