【摘 要】
:
大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状
论文部分内容阅读
大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
其他文献
金秋时节,当我随广州市考察团一行,从噪杂、拥挤的广州来到澳门时,立即产生了一种心旷神怡的感觉;那蔚蓝的天空,碧绿的大海,青青的草地,新鲜的空气,还有那像水冲洗过一般的街
年过古稀的妇产科专家杨云书,退休后仍不休闲。每周除在成都市计划生育指导所等处上几天门诊外,还有写不完的回信。 自70年代末期《妇女生活》杂志和一些报刊陆续刊登了她的
随着Web Services的应用日趋广泛,Web Services的服务质量(QoS)成为了关注重点,如何清晰、全面地描述Web Services的QoS信息成为了有效选择、使用及管理Web Services的关键.
在机器翻译的研究中,混合式方法是一种好方法.本文讨论了句型转换的机器翻译和近似机器翻译,提出了规则索引算法和一种近似机器翻译的算法.
张秀老百岁仙逝了。他老人家曾于抗战时期,着力于我省上层统战工作,为抗日民族统一战线做出了不可磨灭的贡献。今天,特录二、三事以飨读者,也权作对张秀老深深的纪念。
串行通讯是计算机常用的通讯手段之一,但其通讯速率较低.为提高数据传输的实时响应速度,可采用数据压缩算法,无损数据压缩技术LZW算法就是较好的算法之一.本文把这种算法应用
5月的一天上午,大竹县天主教王神父急匆匆地来到统战部,想找鲜继华部长汇报天主教堂房屋改建的一些事情,不巧,鲜部长一早就下乡去了,这位神父扑了个空。 此时的鲜继华部长,正
毛泽东不仅为我党制定了统一战线这个重要法宝,他还始终身体力行,以丰富多彩的方式从事统战工作。 吟诗酬和 以诗交友 建国前夕,国共两党在人心人才的聚集上进行着无声的较量
本文提出了一种在不同平台下利用通信的方式将数据快速传递到实时信息发布系统中的设计模型,详细阐述了这种模型的设计思想及实现方法,并与传统的读取数据库的方式进行比较.
本文详细分析了电视台无压缩数字播放系统中播放部分IO路径的特点,并根据多媒体同步理论,对此IO路径上共享buffer的大小配置进行了细致的建模分析.实际运行的结果表明,此建模