关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

关于白盒测试基本方法的分析

对软件白盒测试的基本方法进行分析,计算机程序有顺序、选择、循环3种基本结构。根据3种基本结构的组合方式,程序又可以分为基本结构、嵌套结构和连锁结构。对于嵌套结构程序,可以使用基本路径测试法进行测试,对于连锁选择结构,可以抽取部分路径进行测试;对于连锁循环结构,则需根据循环是否独立来确定具体测试方法。     

高分子网络凝胶法制备AB5型多元贮氢合金

以金属的盐类为原料，先利用高分子网络凝胶法制备出金属氧化物前驱体，再将氧化物前驱体与过量的CaH2混合，利用还原扩散反应在900～1000℃下制得多元贮氢合金La0.4Ce0.1Nd0.2Pr0.3Ni3.55Co0.75Mn0.4Al0.3，对生成的材料进行了XRD和SEM分析，结果表明合金的结构与LaNi5类似，为CaCu5类型，颗粒大小在2～3μm左右，分布均匀，呈球状。     

C60Ni(PPh3)2配合物的合成和性质研究

采用配体取代法合成出C60Ni(PPh3)2，利用元素分析、红外光谱、光电子能谱对产物进行表征，研究了产物的热稳定性和氯化还原性能。     

M_2Cl_4(PH_3)_4(M=Cr、Mo、W)分子的DFT计算

采用密度泛函理论(DFT)研究M_2Cl_4(PH_3)_4(M=Cr、Mo、W)分子,在D_(2d)对称约束下进行结构优化和能量解析,三种化合物的M—M键长分别是C—Cr1.737A,Mo—Mo2.157A,W—W2.286A.能量解析表明:E_(Cr—Cr)相似文献   

热养护对高性能混凝土强度的影响

研究了热养护制度对由普通硅酸盐水泥、硅灰、粉煤灰或(和)石英粉等磨细掺合料配制的高性能混凝土抗压强度、抗折强度的影响。试验表明,高温养护更有利于混凝土的抗压强度发展,热水养护更有利于混凝土的抗折强度发展。     

公用信息交互系统(PCIS)及其结构模式和实现方法

公用信息交互系统(PCIS)是管理信息系统(MIS)的一种新类型,是基于Web的MIS。它应该采用浏览器/服务器(B/S)结构模式。并讨论了采用B/S结构的PCIS的实现方法。     

高耸结构极限承载力研究

通过对某高耸塔架结构进行在风荷载和自重荷载作用下的极限承载力分析,研究了高耸塔架结构在受荷过程中的结构内力变化情况,并讨论了影响高耸塔架结构极限承载力的一些因素。     

碳纤维布(CFRP)加固压弯构件全过程分析

在简化CFRP约束混凝土有效约束区的基础上,利用本文所提出的约束混凝土应力-应变关系曲线模型,编制相应程序,对CFRP加固压弯构件进行了全过程分析,对参数进行了研究,并通过算例与试验结果进行了对比,计算值与试验值吻合良好。     

镍—纳米A12O3复合电镀的工艺研究

文章研究了镍—纳米氧化铝复合电镀的配方和工艺条件，考察了纳米微粒的用量、分散剂、分散方法、pH、电流密度、施镀条件等因素对施镀工艺和镀层外观的影响。通过正交设计法获得最佳工艺条件为：pH＝4．5，t＝60℃，电流密度J≈3.2A/dm^2。