Nedra Ebdelli

ENSI

自 2015 起处于活动状态

Followers: 0 Following: 0

消息

统计学

排名
103,056
of 298,292

声誉
0

贡献数
7 个提问
1 个回答

回答接受率
14.29%

收到投票数
0

查看徽章

Feeds

提问

initialise constant to prove properties
Hi, I want to know how i can initialise all the constants exist in my model to proove properties. All the constants in my mo...

10 years 前 | 0 个回答 | 0

0

个回答

提问

Simulink Design Verifier has exceeded the maximum processing time
Hi, I want to obtain counterexamples from a large model in simulink . I have used the sldv but always the same error appear...

10 years 前 | 2 个回答 | 0

2

个回答

提问

Problem with the design verifier Simulink
I want to exract counter examples from my model but an error has encoured that I didn't understand it. * Model "model" is set...

10 years 前 | 1 个回答 | 0

1

个回答

提问

how represent the type Event in simulink
Hi, I have a simulink model with a library to represent it and a short description . I must construct this model to use i...

10 years 前 | 0 个回答 | 0

0

个回答

提问

Set Data Type of Inport Block
Hi, I want to set the data type of an inport Block with specification (Type:Num between[Min Max[). but I don't find a way to...

10 years 前 | 1 个回答 | 0

1

个回答

提问

Connect two blocks in a subsytem
I want to connect two blocks in a subsystem but i get this error: ??? Error using ==> in at 6 Invalid Simulink object name: Mt...

10 years 前 | 1 个回答 | 0

1

个回答

已回答
Error using / Matrix dimensions must agree...
Thanks for the response ("i'm beginner with matlab ") and I just use it to execute some files from java.

10 years 前 | 0

提问

Error using / Matrix dimensions must agree...
Hi, The content of my script is the flowing parfor i = 1:26 run('..\extract'+i+'.m') end the error is Erro...

10 years 前 | 2 个回答 | 0

2

个回答