排序方式： 共有3条查询结果，搜索用时 0 毫秒
1
1.
为了缓解模型检测并发程序中出现的状态爆炸问题,将并发程序建模成异步动态下推网络,同时将异步动态下推网络转化为异步下推网络,在异步下推网络下提出一种基于自动机的符号可达算法。该算法能避免精确搜索每一个状态空间,有效地缓解了状态爆炸。 相似文献
2.
采用非等温DSC方法研究了一种模压预浸料（环氧树脂/玻璃纤维）的固化动力学,应用Kissinger和Crane方程拟合求得固化动力学参数,并建立了该预浸料固化动力学唯象模型。通过无转子硫化仪测试预浸料在不同温度下的凝胶时间,通过线性拟合得到固化温度与凝胶时间的函数关系,并对预浸料的固化工艺进行优化。结果表明,通过Kissinger和Crane方法算得该预浸料的固化反应动力学表观活化能为89.9 kJ/mol,指前因子为1.17×1011 min-1,反应级数为0.93;预浸料在模具温度为150 ℃下预热40 s,环氧树脂具有一定的流动性,并在2 MPa压力下固化300 s,可制备综合性能良好的复合材料制品。 相似文献
3.
<正> 对于电阻应变式拉压力传感器而言,由于弹性体材料在设计强度下都能很好地符合广义虎克定律,一般说来在正确加力的情况下对于测试系统而言。输入与输出的线性是有保证的,但传感器在实际使用中,由于安装等原因,往往受到轴向力、横向力、弯矩、扭矩的联合作用,此即所谓的机械影响量,于是测试系统的输入与输出便有了非线性的可能。随 相似文献
1