保性相关论文
ASTM A668 C1.E属于低中碳低合金钢,退火或正回火需保证产品的力学性能.某批ASTM A668 CL.E材质锻件化学成分要求(max)和实际成分......
为了提高基于Petri网表示的嵌入式模型（PRES＋）验证的效率，对模型进行了保性变换，给出了一组关于PRES＋模型的化简规则，这些化简规则在原模......
针对多主体系统的构造复杂性问题,提出通过合成若干小系统来合成一个大系统,通过小系统的性质来分析合成后的系统性质。以基于合同......
