排序方式: 共有3条查询结果,搜索用时 6 毫秒
1
1.
姚楠 《南京航空航天大学学报》1998,30(4):359-365
讨论中介逻辑命题演算扩张系统MP*中在等值意义下的完全析取范式的存在性和唯一性。引入MP*中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。 相似文献
2.
利用动态热机械分析研究了一组不同RDX含量的改性双基推进剂的动态力学性能。根据"时间-温度"等效原理的WLF方程获得了该推进剂体系α松弛的粘弹系数Cg1,Cg2和主曲线叠合的垂直位移因子bT以及松弛过程的活化能Ea。结果表明,随着固体填料(RDX)含量的增加,该推进剂的储能模量下降,α松弛的损耗角正切(tanδ)的峰温逐渐降低,以tanδ为代表的力学损耗强度逐渐增大,而β转变所对应的温度不变。用自由体积理论解释了固体含量对改性双基推进剂动态力学性能的影响。 相似文献
3.
利用动态热机械分析(DMA)研究了一组不同黑索今(RDX)含量的改性双基推进剂的低温动态力学性能。β松弛的峰温几乎不受固体填料加入的影响。认为RDX含量超过一定值时,在低温下将起到辅助增塑作用,β松弛tanδ峰值与"等效增塑剂"的含量有关。经拟合得到"等效增塑剂"的含量。从推进剂的动态模量主曲线获得了β松弛的粘弹系数Cg1,Cg2以及松弛过程(分子构象变化)的活化能Ea,以及"脆化参数"m,并用线性方程关联了"脆化参数"m与低温抗拉强度σm和延伸率εm。 相似文献
1