排序方式: 共有31条查询结果,搜索用时 15 毫秒
21.
22.
23.
通信顺序进程(CSP)和Petri网是两种重要的并发系统建模工具。CSP语言具有高度抽象性,可有效刻画并发进程之间的各种相互作用,但在物理结构的描述与验证分析方面显得不足。Petri 网是一种形式化、图形化的并发系统建模和分析工具,侧重于系统的物理结构描述和性质分析。结合两者优点,首先利用CSP描述待验证的并发系统,然后将其转化为Petri网来分析系统的动态行为特性,最后利用性质分析工具TINA对系统性质进行分析和验证。实验结果表明,传统的CSP进程性质验证工具不能验证CSP进程的安全性,但其转化为Petri网后可有效地分析出导致安全性不能满足的危险因素,从而扩大了CSP描述的并发系统可验证性质的范围。 相似文献
24.
本文分析了我国北方农村住宅冬季取暖模式现状,提出了围护结构经济型保温整体设计理念,给出了具体的技术实施方案和案例应用效果.研究结果表明:通过对农宅北墙、屋面、外窗、外门等热损较大的部位进行经济型保温改造,可实现能效提升率超过30%的目标,且每户初投资基本不超过4000元,在北方农村地区具有较大的应用和推广潜力. 相似文献
26.
27.
28.
29.
30.
为了得到采取顺层长钻孔措施和顺层交错钻孔措施的瓦斯抽放效果,建立了顺层平行钻孔预抽煤层瓦斯数学模型,并采用有限体积法模拟计算出不同时刻钻孔周围煤体瓦斯压力分布与钻孔累计抽放瓦斯量。模拟结果表明,合理的顺层单向钻孔和顺层交错钻孔布置,对于预抽回采区域煤层瓦斯均取得良好效果;顺层钻孔抽放瓦斯效果与煤层渗透率、煤层原始瓦斯压力及煤层钻孔布置密切相关。 相似文献