融合基数约束与单次入队的基于模型诊断方法.pdfVIP

计算机研究与发展

Journal

of

Computer

Research

and

Development62（2）：408−417，2025

融合基数约束与单次入队的基于模型诊断方法

青杨欧阳丹彤周慧思张立明

（吉林大学计算机科学与技术学院长春130012）

（符号计算与知识工程教育部重点实验室（吉林大学）长春130012）

（qingyang3696@163.com）

AModel-BasedDiagnosisMethodforIntegratingCardinalityConstraintsand

EnqueueingatOnce

Qing

Yang,

Ouyang

Dantong,

Zhou

Huisi,

and

Zhang

Liming

（CollegeofComputerScienceandTechnology,JilinUniversity,Changchun130012）

（KeyLaboratoryofSymbolComputationandKnowledgeEngineering(JilinUniversity),MinistryofEducation,Changchun130012）

AbstractModel-based

diagnosis

(MBD)

finds

a

growing

number

of

uses

in

different

settings.

It

includes

software

fault

localization,

debugging

of

spread

sheets,

Web

services,

and

hardware

designs,

and

also

the

analysis

of

biological

systems,

among

many

others.

Motivated

by

these

different

uses,

there

have

been

significant

improvements

made

to

MBD

algorithms

in

recent

years.

Nevertheless,

the

analysis

of

larger

and

more

complex

systems

motivates

further

improvements

to

existing

approaches.

Since

computing

diagnosis

is

computationally

challenging,

some

MBD

algorithms

by

compacting

the

model

are

presented

successively,

such

as

dominated-based

compacted

model

with

multiple

observations

(D-CMMO)

approach.

In

this

paper,

we

propose

one

new

diagnosis

model,

namely,

cardinality-

constrained

compacted

(CCM)

model,

to

solve

the

problem

in

which

a

considerable

amount

of

time

is

needed

when

multiple

observations

are

given

and

more

than

one

fault

is

injected.

CCM

uses

two

methods

to

optimize

the

process

of

solving

MBD.

Firstly,

we

propose

to

utilize

relationship

of

faulty

system-outs

and

faulty

components

to

limit

the

scope

of

target

solu