摘要：自古以来,人们善用音乐来陶冶情操,其中传统民乐的代表一一古筝,被称为“万乐之祖,众乐之尊”。古筝所蕴含的深厚历史文化底蕴,使习筝者在潜移默化中易养成温润典雅的气质。为了更好地丰富学生的校园文化生活,减轻学习压力,促进学生全面发展,陶冶艺术情操,甘肃省高台县第四中学在已有艺体类社团的基础上,开设了古筝社团。

摘要：在自动文本分类中,TF-IDF公式是常用的词语权重计算公式,但是TF-IDF公式是一种经验公式,并没有坚实的理论基础,它并不适用于任何情况下。通过信息论和概率证明了,在训练文本同属一个类别时,词语的重要性与词语的文档频率成正比,并对TF-IDF进行了改进,得到了改进的权值公式。改进的权值公式与TF-IDF公式进行实验比较,实验结果表明改进的权值公式提高了算法的分类精度。

摘要：为探明多因素影响下道基含硫酸盐砾质混合料的盐-冻胀变形特性及特征温度,基于天然级配、剔除大于60 mm粒径颗粒级配及添加5%含量(质量分数)细颗粒级配3种试样,分别开展3种含水率、7种不同含盐量条件下的盐-冻胀试验及冻结温度测定试验,结合PFC3D数值模拟,探究颗粒级配、含水率、含盐量对道基含硫酸盐砾质混合料的盐-冻胀变形规律及冻结温度特性的影响,并揭示其作用机理。研究结果表明:含硫酸盐砾质混合料的冻结温度主要受土体含盐量、含水率所对应的等效硫酸钠质量分数的影响;由于受试验降温方式及试样低含水率、低含盐量的综合影响,试验中未能监测到土试样的过冷温度;道基含硫酸盐砾质混合料的宏观盐胀温度低于冻结温度,添加5%含量细粒土试样的冻结温度略低于其他2种试样,3种试样的冻结温度为-1.58℃~0℃;试验土体的盐-冻胀变形率整体随含盐量、含水率的升高而增大,仅剔除大于60 mm粒径颗粒级配的盐-冻胀变形率与天然级配整体相差不大,而添加5%含量细颗粒使土体的盐-冻胀变形率提高3%~30%,提高程度受土试样含水率和含盐量的影响较大;5%含量细颗粒填充了试样中的大孔隙,减小了孔隙体积,对道基含硫酸砾质混合料的盐-冻胀敏感作用程度显著,道基填筑工程中应严格控制填料中的细粒土含量。

摘要：定理证明是目前主流的形式化验证方法,拥有强大的抽象和逻辑表达能力,且不存在状态空间爆炸问题,可用于有穷和无穷状态系统,但其不能完全自动化,并且要求用户掌握较强的数学知识.含索引式的命题投影时序逻辑(PPTL)是一种具有完全正则表达能力,并且包含LTL的时序逻辑,具有较强的建模和性质描述能力.目前,一个可靠完备的含索引式的PPTL公理系统已被构建,然而基于该公理系统的定理证明尚未得到良好工具的支持,存在证明自动化程度较低以及证明冗长易错的问题.鉴于此,首先设计了支持索引式的PPTL定理证明器的实现框架,包括公理系统的形式化与交互式定理证明;然后,在Coq中形式化定义了含索引式的PPTL公式、公理与推理规则,完成了框架中公理系统的实现;最后,通过两个实例的交互式证明验证了该定理证明器的可用性.

摘要：对英国艺术家简和路易丝·威尔逊（Jane and Louise Wilson）来说,其双生姐妹的身份经常成为话题,对此路易丝会说＂对双胞胎的认识总是那些陈词滥调＂,简也会说,＂拜托,不要那么智力低下!＇随后两人会相视而笑。毋庸置疑,威尔逊姐妹的双胞胎属性成就了她们摄影和影像装置的独特性。

摘要：阐述了实施森林更新方式改革的必要性,并就如何实行森林更新方式改革进行了探讨。