...统的可信性进行形式化刻画和度量,主要的贡献可以概括为以下几方面: 理论:(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.
基于1个网页-相关网页
...画和度量,主要的贡献可以概括为以下几方面: 理论:(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.
基于1个网页-相关网页