基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

福州琅岐风景区景观林朴树种群生命表分析

根据琅岐风景区朴树种群的调查材料,以种群生命表及生存分析理论为基础,通过"空间代时间"方法编制了其静态生命表,并绘制了生命过程种群密度变化的亏损率曲线、存活曲线、死亡率曲线、生存函数曲线,分析了朴树种群的动态变化趋势.结果表明,朴树种群存活曲线趋于Deevey-Ⅲ型,在其生命过程中存在2个死亡高峰,分别出现在Ⅱ,Ⅴ龄级的年龄阶段;生存分析引入生命表中的几个函数能较好地说明朴树种群的结构和动态变化.     

有机肥对蕨麻生长及块根产量的影响

以蕨麻为研究对象,观测了不同有机肥水平对其生长和块根产量的影响．试验结果表明：施入有机肥对蕨麻基株的复叶数、复叶长度,匍匐茎数量无显著影响,但可以显著提高匍匐茎的长度、粗度和分株数．有机肥能明显提高蕨麻块根的产量,其中c处理的产量最高,比对照增产55．61％;B、D、E处理分别比对照增产14．09％、21．56％和27．10％．     

关于提高茶叶含硒量途径的探讨

系统分析了各种因素对茶叶含硒量的影响，研究结果表明：茶树品种，采摘季节、立土条件。特别是土壤中有效硒含量，均对茶叶含硒量有明显影响，３种因素的交互作用可使茶叶含硒量相差百倍以上，而制茶工艺对商品茶含一没有明显影响，认为通过品种选育、采摘季节的调节、提高土壤有效硒含量、寻找富硒土壤建立高硒茶基地是提高茶叶含一和保健人垢可能途径。     

高中生的自尊及其与父母教养方式的关系研究

探讨父母教养方式与高中生自尊的关系。方法：采用自尊量表（SES）和父母教养方式量表（EMBU）对156名高中一、二、三年级的学生进行测试。结果：（1）自尊在独生与否上差异不显著,在性别上男生得分显著高于女生,在年级上高三学生得分显著高于高一,高二学生;（2）不同性别,不同年级,独生与否所感受到的父母教养方式存在差异;（3）高中生的自尊与其感受到的父母的情感温暖、理解呈非常显著的正相关,而与母亲的惩罚严厉因子呈显著的负相关。结论：父母教养方式对高中生自尊水平有一定的影响。     

四川省土地生态经济系统稳定性时空格局

运用熵权TOPSIS法和ArcGIS空间分析等方法,对四川省21个省市(州)2005—2014年的土地生态经济系统稳定性状况进行评价,结果表明:1)在2005—2014年间,四川省各市(州)的土地生态经济系统稳定性都逐渐提升,省平均水平由2005年的0.293增长到2014年的0.579;2)各市(州)土地生态经济系统稳定性绝对差异有所增大,但相对差异逐渐减小,且空间自相关性不明显;3)四川省土地生态经济系统稳定性空间分布格局在不断演变,由2005年川东一个高值区演变为2008年川东和川南2个高值区,且以川南为首.     

一种简单新型的数字温度计的实现

本设计本着应用方便、智能、廉价的要求,选用DS18B20作为温度检测元件,减少了外部的硬件电路,由AT89C51单片机完成对数据的处理,然后通过LED数码管将温度显示出来,实现了最简单的温度检测系统,抗干扰能力强,适合于恶劣环境下进行现场温度测量,还可以在远距离多点测温控制、高温报警、过程控制等方面应用开发,具有良好的发展前景。     

EQCM技术对电化学振荡机理的探索

利用石英晶体微天平技术对H2O2在硫酸,高氯酸和盐酸等酸性介质中铂电极上还原反应产生的电化学振荡行为进行了较为系统的研究,得到了对应于H2O2还原过程中两类不同电流振汇的频率响应曲线,讨论了可能的电化学振荡机制。     

鲢鱼鱼鳞蛋白提取工艺研究

以鲢鱼鱼鳞为研究对象,研究了提取温度,提取时间,料液比对鱼鳞蛋白质提取率的影响,并进一步通过正交实验对其提取工艺进行了优化。研究结果表明:鱼鳞蛋白质提取率随着提取温度、提取时间、料液比的增加而提高。其提取的最佳条件是:提取温度90℃,提取时间6 h,料液比1:25,在此条件下鲢鱼鱼鳞蛋白质的提取率为77.41%。     

新常态下资源型城市淮南的转型发展

正淮南作为华东工业粮仓和苏、浙、沪的能源供应基地,煤炭储量占安徽省的71%,占华东地区的32%。曾经的淮南也是工业门类齐全,化工、机械、医药、轻工、建材、纺织、电子等制造业均有一定的产业基础,当前,淮南市煤炭行业量减价跌,小煤矿关闭,老煤矿负债经营,发电机组出力不足,工业项目投资拉动减弱。因煤而建、以煤而兴的淮南传统盈利模式已经走到了尽头。