chronaxis 0.1.0.dev0__py3-none-any.whl

chronaxis/configuration/templates/threshold/annotated.yaml

@@ -0,0 +1,22 @@
+%YAML 1.2
+---
+config_version: 3                       # 声明分析文件采用的字段结构版本；当前填写整数3
+dataset:                                # 设置本次分析名称及可选的对象、会话和时间范围
+  name: threshold_example               # 命名本次分析数据集；名称写入结果身份字段
+sources:                                # 列出输入来源；每项规定数据位置、格式和时间解释方式
+  - path: data/threshold.asc            # 指定单个输入文件；相对路径从本配置文件所在目录计算
+    dbc_by_channel:                     # 为每个CAN通道指定解码用DBC文件；键是通道编号的字符串
+      '1': data/teaching.dbc            # 为这个通道指定DBC文件；路径相对当前配置文件，通道键须为字符串
+signals:                                # 把输入字段定义为有名称、类型、单位和有效期的分析信号
+  - name: temperature                   # 给分析信号取名称；后续表达式和计算通过此名称引用它
+    field:                              # 指定来源中的原始字段；CSV填表头，CAN填写通道/报文ID/DBC信号名
+      frame_id: '0x204'                 # 选择包含信号的报文ID；从对应DBC取得，可写整数或支持的进制文本
+      signal: Temperature               # 填写DBC中的信号名称，大小写须一致
+presets:                                # 选择预先组合好的规则与计算，并提供角色信号和业务参数
+  - name: hot                           # 给本次预设实例取唯一名称；展开的规则/计算名称使用此前缀
+    role_bindings:                      # 明确指定哪条已有信号担任每个角色；角色名由预设定义
+      signal: temperature               # 为signal角色选择上方已定义的分析信号名；仍须符合该角色要求
+    parameters:                         # 提供本预设的业务参数；各预设支持的字段不同，不能互相套用
+      enter_threshold: 80               # 设置进入报警的高阈值；必须大于恢复阈值
+      exit_threshold: 75                # 设置恢复的低阈值；按业务允许恢复范围填写
+    preset_type: threshold_excursion    # 选择业务任务；charge_session充电、fault_context报警上下文、command_response配对、threshold_excursion阈值

chronaxis/configuration/templates/threshold/minimal.yaml

@@ -0,0 +1,22 @@
+%YAML 1.2
+---
+config_version: 3
+dataset:
+  name: threshold_example
+sources:
+  - path: data/threshold.asc
+    dbc_by_channel:
+      '1': data/teaching.dbc
+signals:
+  - name: temperature
+    field:
+      frame_id: '0x204'
+      signal: Temperature
+presets:
+  - name: hot
+    role_bindings:
+      signal: temperature
+    parameters:
+      enter_threshold: 80
+      exit_threshold: 75
+    preset_type: threshold_excursion

chronaxis/configuration/yaml_parser.py

@@ -0,0 +1,125 @@
+"""通过独立纯Python安全解析器读取YAML1.2受限子集，不构造任意标签对象。"""
+from math import isfinite
+
+from .models import ConfigurationError, ConfigurationLocation
+from .json_parser import MAX_DEPTH
+
+
+def parse_yaml(text, source):
+    """用事件流构造一次原生值树。参数: 文本/来源。返回: 数据和位置表。异常: 受限语法错误。"""
+    # JSON入口不依赖YAML导入；每次新实例，失败或并发加载不共享解析器状态。
+    from ruamel.yaml import YAML
+    from ruamel.yaml.events import (StreamStartEvent,StreamEndEvent,DocumentStartEvent,
+        DocumentEndEvent,ScalarEvent,SequenceStartEvent,SequenceEndEvent,
+        MappingStartEvent,MappingEndEvent,AliasEvent)
+    from ruamel.yaml.nodes import ScalarNode
+    from ruamel.yaml.error import YAMLError
+
+    class Yaml12(YAML):
+        """版本在交给依赖校验前受限，避免依赖对1.3等版本抛出AssertionError。"""
+
+        @YAML.version.setter
+        def version(self, selected):
+            """只允许默认或1.2。参数: 解析器版本。返回: None。异常: 明确配置版本错误。"""
+            if selected is not None and tuple(selected)!=(1,2):
+                # 依赖在文档起点事件前设版本；没有可靠mark时只报告文件，不猜行号。
+                raise ConfigurationError(source,(),None,'yaml_version','只支持YAML 1.2')
+            YAML.version.fset(self,selected)
+
+    parser=Yaml12(typ='safe',pure=True)
+    parser.version=(1,2)
+    parser.allow_duplicate_keys=False
+    positions={}
+    events=parser.parse(text)
+
+    def location(event):
+        """复制事件位置，不让结果引用整份输入文本。参数: 事件。返回: 标量位置。异常: 无。"""
+        return ConfigurationLocation(event.start_mark.line+1,event.start_mark.column+1)
+
+    def reject(event,path,code,message):
+        """抛定位错误。参数: 事件/路径/代码/原因。返回: 无。异常: ConfigurationError。"""
+        raise ConfigurationError(source,path,location(event),code,message)
+
+    def check(event,path):
+        """在构造前拒绝别名、锚点和显式标签。返回: None。异常: 定位配置错误。"""
+        if isinstance(event,AliasEvent):reject(event,path,'yaml_alias','不支持YAML别名；请直接写出配置内容')
+        if getattr(event,'anchor',None) is not None:reject(event,path,'yaml_anchor','不支持YAML锚点')
+        if getattr(event,'tag',None) is not None:reject(event,path,'yaml_tag','不支持显式标签；字符串请加引号')
+
+    def scalar(event,path):
+        """仅转换JSON原生标量；日期时间保文本。返回: 原生值。异常: 不支持类型或非有限数。"""
+        check(event,path)
+        tag=str(parser.resolver.resolve(ScalarNode,event.value,event.implicit))
+        if tag in ('tag:yaml.org,2002:str','tag:yaml.org,2002:timestamp',
+                   'tag:yaml.org,2002:merge','tag:yaml.org,2002:value'):
+            # <<只在未加引号的映射键位置有合并含义；普通值仍是原始文本。
+            return event.value
+        if tag not in {'tag:yaml.org,2002:null','tag:yaml.org,2002:bool',
+                       'tag:yaml.org,2002:int','tag:yaml.org,2002:float'}:
+            reject(event,path,'yaml_scalar','仅支持文本、布尔、有限数字和null')
+        # 报文ID只接受约定的三种进制；不能让YAML的0o或下划线数字先转换后绕过检查。
+        if path and path[-1] == 'frame_id' and tag == 'tag:yaml.org,2002:int':
+            from ..legacy.records import normalize_frame_id
+            try:
+                return normalize_frame_id(event.value)
+            except (TypeError, ValueError) as error:
+                reject(event, path, 'invalid_frame_id', str(error))
+        # 直接调用安全标量构造，不创建带缓存的YAML节点树或任意Python对象。
+        try:
+            value=parser.constructor.yaml_constructors[tag](parser.constructor,ScalarNode(tag,event.value))
+        except (ValueError,OverflowError) as error:
+            raise ConfigurationError(source,path,location(event),'invalid_number',
+                '数字超出当前Python可解析的范围') from error
+        if type(value) is float and not isfinite(value):
+            reject(event,path,'nonfinite_number','数值必须有限，不能使用NaN或Infinity')
+        return value
+
+    def value(event,path=(),depth=0):
+        """递归消费一次事件流并保位置。返回: 原生值。异常: 受限语法或嵌套超限。"""
+        check(event,path)
+        if depth>MAX_DEPTH:reject(event,path,'nesting_limit','配置嵌套不能超过64层')
+        positions[path]=location(event)
+        if isinstance(event,ScalarEvent):return scalar(event,path)
+        if isinstance(event,SequenceStartEvent):
+            result=[]
+            for child in events:
+                if isinstance(child,SequenceEndEvent):return result
+                result.append(value(child,(*path,len(result)),depth+1))
+        elif isinstance(event,MappingStartEvent):
+            result={}
+            for key_event in events:
+                if isinstance(key_event,MappingEndEvent):return result
+                check(key_event,path)
+                if not isinstance(key_event,ScalarEvent):reject(key_event,path,'non_string_key','配置对象的键必须为字符串')
+                if key_event.value=='<<' and key_event.style is None:
+                    reject(key_event,path,'yaml_merge','不支持YAML合并键')
+                key=scalar(key_event,path)
+                if type(key) is not str:reject(key_event,path,'non_string_key','配置对象的键必须为字符串；数字键请加引号')
+                child_path=(*path,key)
+                if key in result:reject(key_event,child_path,'duplicate_key',f'重复键：{key}')
+                result[key]=value(next(events),child_path,depth+1)
+        reject(event,path,'invalid_yaml','配置值结构不完整')
+
+    try:
+        if not isinstance(next(events),StreamStartEvent):raise AssertionError('YAML解析器缺少流起点')
+        start=next(events)
+        if isinstance(start,StreamEndEvent):return None,{():ConfigurationLocation(1,1)}
+        if not isinstance(start,DocumentStartEvent):reject(start,(),'invalid_yaml','需要一个YAML文档')
+        if start.version not in (None,(1,2)):reject(start,(),'yaml_version','只支持YAML 1.2')
+        if start.tags:reject(start,(),'yaml_tag','不支持标签指令')
+        data=value(next(events))
+        end=next(events)
+        if not isinstance(end,DocumentEndEvent):reject(end,(),'invalid_yaml','文档结束位置不正确')
+        end=next(events)
+        if not isinstance(end,StreamEndEvent):reject(end,(),'multiple_documents','一个配置文件只能包含一个YAML文档')
+        return data,positions
+    except YAMLError as error:
+        mark=getattr(error,'problem_mark',None)
+        place=None if mark is None else ConfigurationLocation(mark.line+1,mark.column+1)
+        offset=getattr(error,'position',None)
+        if place is None and type(offset) is int:
+            place=ConfigurationLocation(text.count('\n',0,offset)+1,offset-text.rfind('\n',0,offset))
+        message=getattr(error,'problem',None) or getattr(error,'reason',None) or 'YAML语法无效'
+        raise ConfigurationError(source,(),place,'invalid_yaml',message) from error
+    finally:
+        events.close()

chronaxis/core/__init__.py

@@ -0,0 +1,71 @@
+"""集中导出信号分析的模型、消息表达式绑定和标准库参考实现。
+
+调用者可从本入口构造来源、会话与绑定，再执行信号保持、数值转换、受限表达式、
+持续条件、边沿事件及指标计算。参考指标包含前值保持积分、样本/时间统计与BOOL时长；
+选择行迭代器保留真实更新、UNKNOWN诊断与原类型。内存桥接连接原行、表达式与输出。
+窗口入口扩展、合并和裁剪已完成事件，保存原活动关联；start_only固定窗口抑制跨批保持。
+顺序核心将已有请求/响应事件配对，区分明确未响应与观测不足，跨批保存等待状态。
+消息表达式另用实际记录仓绑定，参数不参与普通保持或TTL。
+此文件只重导出实际模块，
+不启动分析、不读取文件、不加载CAN组件或NumPy，也不保存全局会话状态。
+数组实现须显式导入对应NumPy模块；完整产品配置和执行接口属于上层入口。
+"""
+
+# 导出已实现校验的核心模型。
+from .models import DatasetSpec, Interval, MemoryRow, SessionSpec, SignalSample, SourceRef, SourceSpec, TimebaseSpec
+# 绑定只处理冻结声明，不读取旧来源或执行样本运算。
+from .binding import SignalBindings, SignalDefinition, SynchronizationEvidence
+# 消息域声明与真实仓证据使用独立身份，不伪造普通信号历史。
+from .message_binding import ExpressionParameter, MessageDeclarations, MessageSourceEvidence, MessageBindings
+# 参考状态只依赖标准库，数组入口须显式导入state_numpy。
+from .state import AtomicUpdateBuffer, SignalSeries, StateValue, TimeGroup, align_reference, common_timeline, iter_time_groups
+# 只读静态映射或明确的质量和类型枚举用于结构协议。
+from .types import QualityFlag, SignalDType, SourceType, TimeType, Truth
+# 数值参考独立标准库，数组入口通过numeric_numpy/normalize_numpy明确加载。
+from .numeric import ScalarValue, binary_reference, memory_series_reference, normalize_reference, to_float_reference, unary_reference
+# 编译及标量解释仅依赖标准库，不加载NumPy或旧DBC。
+from .expression import CompiledExpression, StaticExpression, DerivedDefinition, compile_expression, validate_expression
+# 真正参考执行包含三值和原依赖诊断，数组执行另行明确导入。
+from .expression_reference import Evaluation, evaluate_memory_reference, evaluate_reference
+# 不可变的时序证据、事件及独立参考检测器，不加载NumPy或旧来源。
+from .temporal import ConditionSpan, ConditionTick, ConditionTimeline, Event, TemporalRule, timeline_from_spans
+# 真实跨批候选/边沿只在显式检测调用持有实例状态。
+from .temporal_reference import ReferenceTemporalDetector, detect_reference
+# 参考memory桥接完整连接原行/保持/表达式/deadline/事件。
+from .temporal_memory_reference import build_timeline_reference, detect_memory_reference
+# 指标协议/独立参考仅标准库，数组后端通过对应模块显式导入。
+from .calculations import CalculationResult, CalculationSeries, CalculationDefinition
+# 独立参考前值保持积分、样本统计及覆盖率策略，不加载旧CAN路径。
+from .calculations_reference import compute_reference, select_reference
+# 内存计算入口串联原始行、保持值、表达式求值和指标计算。
+from .calculations_memory_reference import build_calculation_series_reference, compute_memory_reference, select_memory_reference
+# 行流typed输出；此标准库导出不隐式引入NumPy或旧I/O。
+from .selection import SelectionRow
+# 独立窗口/片段模型与标准库实现，不加载数组后端或旧writer。
+from .windows import WindowSpec, Segment
+from .windows_reference import build_segments_reference
+# 顺序核心消费已有事件和条件证据，配置解析与运行调度由上层负责。
+from .sequence import SequenceRule, SequenceTick, SequenceResult
+from .sequence_reference import SequenceDetector, pair_sequence
+# 完整窗口变化量的模型与标准库参考；数组核仍由对应模块显式导入。
+from .window_delta import DeltaSpan, WindowDeltaSpec, WindowDeltaResult
+from .window_delta_reference import window_delta_reference
+# 迟滞/双向防抖共用有序状态协议，默认参考入口不加载NumPy。
+from .stability import StabilitySpec, StabilityDetector
+from .start_end import StartEndSpec, StartEndDetector
+
+# 明确当前模型范围，调用者通过chronaxis.core显式选用。
+__all__ = ["DatasetSpec", "Interval", "MemoryRow", "SessionSpec", "SignalSample", "SourceRef",
+           "SourceSpec", "TimebaseSpec", "QualityFlag", "SignalDType", "SourceType", "TimeType", "Truth",
+           "SignalBindings", "SignalDefinition", "SynchronizationEvidence", "SignalSeries", "StateValue",
+           "TimeGroup", "AtomicUpdateBuffer", "align_reference", "common_timeline", "iter_time_groups",
+           "ScalarValue", "binary_reference", "memory_series_reference", "normalize_reference", "to_float_reference", "unary_reference",
+           "CompiledExpression", "DerivedDefinition", "compile_expression", "Evaluation", "evaluate_reference", "evaluate_memory_reference",
+           "ConditionSpan", "ConditionTick", "ConditionTimeline", "Event", "TemporalRule", "timeline_from_spans",
+           "ReferenceTemporalDetector", "detect_reference", "build_timeline_reference", "detect_memory_reference",
+           "CalculationResult", "CalculationSeries", "CalculationDefinition", "compute_reference", "build_calculation_series_reference", "compute_memory_reference",
+           "SelectionRow", "select_reference", "select_memory_reference", "WindowSpec", "Segment", "build_segments_reference",
+           "ExpressionParameter", "MessageDeclarations", "MessageSourceEvidence", "MessageBindings", "StaticExpression", "validate_expression",
+           "SequenceRule", "SequenceTick", "SequenceResult", "SequenceDetector", "pair_sequence",
+           "DeltaSpan", "WindowDeltaSpec", "WindowDeltaResult", "window_delta_reference",
+           "StabilitySpec", "StabilityDetector", "StartEndSpec", "StartEndDetector"]