积模型相关论文
对戴振铎教授所创立的符号矢量法提出了个人的理解,基于这些理解,发现其中仍存在一些缺陷并提出了修正的建议.还就对Gibbs符号的批......
根据带有随机特征的复杂信息系统性质验证的需求，针对离散概率回报模型的分层直到公式，提出一种性质验证分析方法。在综合各种离散随......
面向复杂信息系统综合性能的形式化验证问题，以数据传输系统为例，使用一种基于改进的马尔可夫判定过程验证分析方法进行复杂信息系统......
