原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体
介绍了英国皇家化学会38种学术期刊的4种办刊模式以及这4种模式的办刊特点,并对不同办刊模式下的编委会和编辑部运作方式进行分析,为国内学术期刊的创办提供借鉴。
This pap
目的:探讨糖尿病前期患者餐后2h血糖水平与抑郁、焦虑、述情障碍、应对方式、人格等心理因素的相关性.方法:选取符合美国糖尿病协会糖尿病诊疗指南中糖尿病前期诊断标准[7.8
采用基于密度泛函理论(DFT)中的广义梯度近似(GGA),在考虑自旋多重度的情况下,对NiMgn(n=1-12)团簇进行了构型优化,频率分析和电子性质计算.结果表明:n=1,2时,体系的基态为自
在密度泛函理论的基础上,采用平面波赝势方法计算了立方相BaTiO3(001)表面的电子结构.结构优化表明最表层原子都向体内弛豫,且金属原子弛豫幅度最大,同时各层层间距变化呈交
软件缺陷预测技术从20世纪70年代发展至今,一直是软件工程领域最活跃的内容之一,在分析软件质量、平衡软件成本方面起着重要的作用.研究和讨论了软件缺陷预测技术的起源、发
网络数据库的发展扩大和延伸了出版传播途径,提升了传统出版的传播力和影响力;同时它又消解了学术期刊原有的特色,使学术期刊渐渐远离其受众人群。处于与网络数据库共生共荣
目标描述是目标跟踪算法中最重要的步骤之一,也是建立鲁棒视觉跟踪系统的关键。为了更好地描述目标,引入了基于关注度的显著性特征提取算法。关注度模型通过模仿人类的视觉机理,能自动从视野中突出最能吸引人类注意的部分。因此,基于关注度的目标描述可以较好地提取目标的最显著特征,从而有利于建立一个与背景具有更好区分性的目标模型。另外,为了融入空间信息,对目标的显著性图像进行了水平投影和垂直投影,并且把均值位移(
目的:比较双相Ⅰ型障碍(BD)患者缓解期与抑郁发作期的神经认知功能.方法:选取符合美国精神障碍统计与诊断手册第4版(DSM-Ⅳ)诊断标准的BD缓解期患者29例、BD抑郁发作期患者30