关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

混凝土温度收缩裂缝的产生机理及对策

对混凝土温度收缩裂缝产生机理及影响因素进行研究。从原料的选择、配合比的设计、施工及养护等几方面控制温度收缩裂缝的方法，控制混凝土温度收缩裂缝的出现，对混凝土施工有一定的参考价值。     

关于学报论文的数学式和反应式

1)　文章中重要的或后文将要重新提及的数学式、反应式等可另行起排 ,并用阿拉伯数字连续编序号(或码 ) .序号加圆括号 ,右顶格排出 .2 )　长数学式超过 1行时 ,应在“ =”、“≈”、“ <”、“ >”等关系符号 ,或在“ +”、“ -”、“×”、“÷”等运算符号处转行 .2次以上转行者 ,应使关系符号和运算符号分别对齐 .3)　反应式在反应方向符号“→”、“ =”、“ ”等处转行 .式中的反应条件就用比正文小 1号的字符标注反应方向符号的上下方 .4 )　为节省版面 ,在不引起误解的前提下 ,叠排分式应尽量改成卧排分式或负数幂 .5 )　化学实验…     

现浇混凝土的质量控制与质量检测

对建筑工程中如何控制与检测现浇混凝土质量的方法做了简单介绍。     

现场混凝土强度"钻芯-回弹"综合推定

提出了一种给定置信度下现场混凝土强度检测推定方法,该方法充分利用现场得到回弹数据,减少钻芯量,从而降低了对结构的破坏.利用该方法可对现场混凝土强度进行高置信度、高精度的推定.     

吊舱式推进装置水动力性能试验研究

对吊舱式推进装置进行了多方案的模型试验研究，考察了串列式吊舱推进装置前后桨的负荷匹配及初始相位角的影响。空泡水筒敞水试验结果表明，无论双桨串列式或单桨拖、推式吊舱推进装置，由于吊舱影响使螺旋桨效率均比常规桨有所提高；但若计及吊舱阻力则吊舱推进装置的系统效率有所下降。可以预见，吊舱式推进装置因其众多的优越性而具有广阔的发展前景。     

碗扣式多功能脚手架CO2气体保护自动焊机

采用CO2气体保护焊工艺研制了碗扣式多功能脚手架CO2气体保护自动焊接设备，在零部件尺寸不规范的条件下，利用电、气动机构实现多个工件的同时准确自动装卡及自动焊接，焊缝成形好，质量稳定，提高了生产效率，节约了能源及4／5的劳动力。     

自血光量子治疗急性脑梗死112例临床观察

目的　探讨自血光量子照射疗法在治疗急性脑梗死时的应用价值.方法　对112例急性脑梗死患者分组进行单纯药物治疗,及药物治疗合并自血光量子照射治疗,对2组患者进行实验室指标评定.结果　药物治疗合并自血光量子照射治疗的患者神经功能缺损程度治疗前后差异非常显著(P<0.01).治疗前与治疗后实验室指标变化有显著差异.结论　自血光量子治疗可使急性缺血性脑血管病神经缺损恢复速度加快,可作为治疗急性缺血性脑血管病的辅助手段.