| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/fault_tolerance/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 553 B |
|
Quelle local.pvs Sprache: PVS |
|||||||||
|
%
% % Purpose : the choice function that selects a median value if the % set of enabled sources is nonempty, otherwise a default value % % local[ T: TYPE+ ]: THEORY BEGIN IMPORTING structures@seqs[T] % transform_local: TYPE = [s:ne_seqs[T] -> {t:ne_seqs[T] | s`length = t`length}] transform_local: TYPE = [ne_seqs[T] -> ne_seqs[T]] select_local: TYPE = [ne_seqs[T] -> T] % Some local computations needed... % filter: replace, remove % transform: minmax, reduce, fill % select: avg, maj, choose, plurality END local ¤ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28