minimumReplications - Sigma Knowledge base Browser

appearance as argument number 1

(documentation minimumReplications EnglishLanguage "(minimumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the minimum copies of the application ?PROGRAM required to be survivable, where a program is survivable if the failure of one or more resources does not result in the failure of the program. Either long MTTF for the system as a whole or short MTTR when failure occurs would improve the survivability of a program.")	QoSontology.kif 722-728
(domain minimumReplications 1 ComputerProgram)	QoSontology.kif 720-720	minimumReplications の数値 1 引数はコンピュータープログラムの instance では %n
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 721-721	minimumReplications の数値 2 引数は正の整数の instance では %n
(instance minimumReplications BinaryPredicate)	QoSontology.kif 719-719	minimumReplications は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage minimumReplications "%2 %n 是 %1 的 minimum 复制")	domainEnglishFormat.kif 1747-1747
(format ChineseTraditionalLanguage minimumReplications "%2 %n 是 %1 的 minimum 複製")	domainEnglishFormat.kif 1746-1746
(format EnglishLanguage minimumReplications "%2 is %n a minimum replications of %1")	domainEnglishFormat.kif 1745-1745
(termFormat ChineseLanguage minimumReplications "最小重复")	domainEnglishFormat.kif 37889-37889
(termFormat ChineseTraditionalLanguage minimumReplications "最小重複")	domainEnglishFormat.kif 37888-37888
(termFormat EnglishLanguage minimumReplications "minimum replications")	domainEnglishFormat.kif 37887-37887

antecedent

(=>
    (minimumReplications ?Application ?MinCopies)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application))) ?MinCopies))

QoSontology.kif 733-738