找回密码
 注册
Simdroid-非首页
楼主: yydjane20

[01.PDE] 看看这个内部边界条件如何设置

[复制链接]
发表于 2010-3-25 12:20:38 | 显示全部楼层 来自 美国
同问·       同问  
回复 不支持

使用道具 举报

发表于 2010-5-9 23:05:57 | 显示全部楼层 来自 四川成都
Simdroid开发平台
跟着高手一起学习下
回复 不支持

使用道具 举报

发表于 2010-5-14 20:14:08 | 显示全部楼层 来自 浙江杭州
5# TBE_Legend  
Thank you for your advice. It is so helpful to me,the pictrue shows the condition that I just set c=2
203641
:
here I have another question,I think the weak constraint is so power ...
yydjane20 发表于 2009-5-29 09:51

同问关于src2dst_ip()的问题,既然identity condition的作用是使得destination边界的变量值等于source边界的变量值,为什么出现T值的间断?
回复 不支持

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|小黑屋|联系我们|仿真互动网 ( 京ICP备15048925号-7 )

GMT+8, 2024-4-27 09:19 , Processed in 0.026728 second(s), 8 queries , Gzip On, MemCache On.

Powered by Discuz! X3.5 Licensed

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表