为了改善高能太根发射药的力学性能,在高能太根发射药配方的基础上,添加少量(质量分数0.5%,1.0%,1.5%,2.0%)由湿木浆纤维素得到的纳米纤维素纤维(CNFs),制备了含CNFs的高能太根发射药。采用扫描电镜、热重分析仪和差示扫描量热仪研究了...为了改善高能太根发射药的力学性能,在高能太根发射药配方的基础上,添加少量(质量分数0.5%,1.0%,1.5%,2.0%)由湿木浆纤维素得到的纳米纤维素纤维(CNFs),制备了含CNFs的高能太根发射药。采用扫描电镜、热重分析仪和差示扫描量热仪研究了添加CNFs前后高能太根发射药的表面结构和热分解性能。采用简支梁冲击试验机和密闭爆发器试验研究了含CNFs高能太根发射药的冲击强度及能量性能。结果表明,少量添加CNFs可明显提高高能太根发射药的低温冲击强度,对热分解性能影响很小。与高能太根发射药(参比样)相比,添加0.5%CNFs的高能太根发射药,在-40℃低温和20℃室温下,冲击强度分别提高了30.4%和8.9%。随着CNFs含量增加,火药力逐渐降低,余容逐渐上升,燃速逐渐减小,压力指数小幅度上升。当CNFs的添加量为0.5%时,高能太根发射药的火药力为1191.91 k J·kg^(-1),余容为0.870 L·kg^(-1),压力指数为1.06,分别较参比样减少了1.9%、增加了5.1%和增加了4.2%。展开更多
合取范式(conjunctive normal form,简称CNF)公式F是线性公式,如果F中任意两个不同子句至多有一个公共变元.如果F中的任意两个不同子句恰好含有一个公共变元,则称F是严格线性的.所有的严格线性公式均是可满足的,而对于线性公式类LCNF,...合取范式(conjunctive normal form,简称CNF)公式F是线性公式,如果F中任意两个不同子句至多有一个公共变元.如果F中的任意两个不同子句恰好含有一个公共变元,则称F是严格线性的.所有的严格线性公式均是可满足的,而对于线性公式类LCNF,对应的判定问题LSAT仍然是NP-完全的.LCNF≥k是子句长度大于或等于k的CNF公式子类,判定问题LSAT≥k的NP-完全性与LCNF≥k中是否含有不可满足公式密切相关.即LSAT≥k的NP-完全性取决于LCNF≥k是否含有不可满足公式.S.Porschen等人用超图和拉丁方的方法构造了LCNF≥3和LCNF≥4中的不可满足公式,并提出公开问题:对于k≥5,LCNF≥k是否含有不可满足公式?将极小不可满足公式应用于公式的归约,引入了一个简单的一般构造方法.证明了对于k≥3,k-LCNF含有不可满足公式,从而证明了一个更强的结果:对于k≥3,k-LSAT是NP-完全的.展开更多
文摘为了改善高能太根发射药的力学性能,在高能太根发射药配方的基础上,添加少量(质量分数0.5%,1.0%,1.5%,2.0%)由湿木浆纤维素得到的纳米纤维素纤维(CNFs),制备了含CNFs的高能太根发射药。采用扫描电镜、热重分析仪和差示扫描量热仪研究了添加CNFs前后高能太根发射药的表面结构和热分解性能。采用简支梁冲击试验机和密闭爆发器试验研究了含CNFs高能太根发射药的冲击强度及能量性能。结果表明,少量添加CNFs可明显提高高能太根发射药的低温冲击强度,对热分解性能影响很小。与高能太根发射药(参比样)相比,添加0.5%CNFs的高能太根发射药,在-40℃低温和20℃室温下,冲击强度分别提高了30.4%和8.9%。随着CNFs含量增加,火药力逐渐降低,余容逐渐上升,燃速逐渐减小,压力指数小幅度上升。当CNFs的添加量为0.5%时,高能太根发射药的火药力为1191.91 k J·kg^(-1),余容为0.870 L·kg^(-1),压力指数为1.06,分别较参比样减少了1.9%、增加了5.1%和增加了4.2%。
基金Supported by the National Natural Science Foundation of China under Grant Nos.10410638, 60310213 (国家自然科学基金)
文摘合取范式(conjunctive normal form,简称CNF)公式F是线性公式,如果F中任意两个不同子句至多有一个公共变元.如果F中的任意两个不同子句恰好含有一个公共变元,则称F是严格线性的.所有的严格线性公式均是可满足的,而对于线性公式类LCNF,对应的判定问题LSAT仍然是NP-完全的.LCNF≥k是子句长度大于或等于k的CNF公式子类,判定问题LSAT≥k的NP-完全性与LCNF≥k中是否含有不可满足公式密切相关.即LSAT≥k的NP-完全性取决于LCNF≥k是否含有不可满足公式.S.Porschen等人用超图和拉丁方的方法构造了LCNF≥3和LCNF≥4中的不可满足公式,并提出公开问题:对于k≥5,LCNF≥k是否含有不可满足公式?将极小不可满足公式应用于公式的归约,引入了一个简单的一般构造方法.证明了对于k≥3,k-LCNF含有不可满足公式,从而证明了一个更强的结果:对于k≥3,k-LSAT是NP-完全的.
基金National Natural Science Fundation of China(21006073)Shanghai Rising-Star Program(11QA1407200)+1 种基金open-project program of the State Key Laboratory of Chemical Engineering(SKL-ChE-08C07)Shanghai Leading Academic Discipline Project(B303)~~
文摘利用催化气相化学沉积(Catalytic chemical vapor deposition,CCVD)法在炭纸上原位生长得到CNF/CP复合体,并对这种复合体的物理化学性能和氧气电催化还原反应(Oxygen reduction reaction,ORR)性能进行了研究。结果表明:纳米炭纤维较为均匀地分散在炭纸上,其中纳米炭纤维具有窄的直径分布。所制CNF/CP复合体具有较大的比表面积和独特的中孔结构;相对于炭纸,CNF/CP复合体的端面碳原子和基面碳原子比例较高。另外,CNF/CP还具有较高的ORR反应活性,其ORR为2电子反应过程,原因可以归结于纳米炭纤维独特的微结构。同时,CNF/CP也具有较高的交换电流密度和较正的平衡电压。
