FFLN, Reference SetFFLN, PTRFFLN" - and leaving away the index "FFLN" here and for all terms in the rest of the claims, e.g. a "Pair of a Technical Teaching, Reference Set, PTR"- and ·) a given "PTR Data Structure, PTR-DS" with "Some Innovation in FFLN, SI" is the "Technical Teaching in FFLN, TT.O" of the PTR and an FSTP-Test such that SI satisfies FFLN if and only if PTR passes this FSTP-Test and PTR-DS is the evidence that PTR satisfies FFLN by this FSTP-Test, and ·) a given "Arguable Subtest of this FSTP-Test of PTR, AST", with AST stored by some KR-UIE.Y, for use by an lES user or the lES when executing the method, this execution comprising repeated invocations of the executions of the Action A) in a config-mode or B) in a realtime-mode of the lES: A) the lES automatically prompts the user - to enable a UIE.Y to present in B) a LAC.Z in realtime mode - to invoke the lES to i. automatically identify a KR-UIE.Y storing an AST to be transformed into a LAC.Z, and ii. automatically identify an unused HI-UIE.Y, into which to input by a user - as part of Ac¬ tion A) - what the content and the representations shall be of LAC.Z, then supposed to represent the transformation of the AST on an I/O device of the lES, and to iii. automatically input "LAC.Z ::= KR-UIE.Y, HI-UIE.Y into the GloBi. B) i. the lES automatically prompts the user to identify a LAC.Z in the GloBi, and ii. the lES automatically presents the LAC.Z as defined in A.) iii."/>
公开/公告号WO2015086429A1
专利类型
公开/公告日2015-06-18
原文格式PDF
申请/专利权人 SCHINDLER SIGRAM;
申请/专利号WO2014EP76584
发明设计人 SCHINDLER SIGRAM;
申请日2014-12-04
分类号G06N99;
国家 WO
入库时间 2022-08-21 15:06:03