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

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

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

对软件白盒测试的基本方法进行分析,计算机程序有顺序、选择、循环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的实现方法。     

高耸结构极限承载力研究

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

影响结构在火灾下行为的主要因素及其数值模拟

对影响结构在火灾下行为的主要因素：约束条件和温度载荷作用方式进行了分析，并采用有限元方法对梁在火灾下的行为进行了数值模拟。得出的结论对分析和解释大型复杂结构在火灾下的行为具有重要意义，为基于整体结构的耐火设计方法提供了理论依据。     

改变水分子簇的结构及诱发的生物效应研究

概述了水分子簇理论研究的基本状况，以及改变水分子团簇结构的4种方法，包括外加磁场、外加电场、激光辐射以及直接加热法；最后简要介绍了改变水分子团簇结构所诱发的生物效应。