The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?

Archive for History of Exact Sciences - We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an...     

页岩气低伤害超临界CO2凝胶压裂液研究

针对常规水压裂液会对页岩造成伤害，容易产生水锁，不易返排，还造成水资源消耗和污染环境等问题，制备了低伤害二氧化碳凝胶压裂液。将自备的F2EU和F4EU增稠剂加入到超临界CO₂基液中，探究两种增稠剂的加入量对CO₂凝胶压裂液黏度的影响，综合考虑成本与效果，优选了2%的F4EU增稠剂，可将CO₂的黏度增至15.4 mPa·s。研究了温度、压力以及剪切速率对凝胶压裂液黏度的影响。实验结果表明，随着温度升高黏度总体降低，但中间出现一个短暂升高阶段；随着压力上升压裂液黏度增加；随着剪切速率的增加压裂液黏度下降，属于一种典型的剪切变稀的假塑性流体。F4EU超临界CO₂凝胶压裂液的平均伤害率为1.39%，远远小于常规压裂液对岩芯的伤害率。实验表明，F4EU超临界CO₂凝胶压裂液在页岩气压裂开采中具有良好的应用前景。     

Long-term increases in clutch size in common snapping turtles (Chelydra serpentina) and diamondback terrapins (Malaclemys terrapin)

Clutch size (CS) is a well-studied life history characteristic, and optimal egg size theory predicts that CS should correlate positively with reproductive investment. Turtles are good subjects for studies of reproductive strategies because few turtle species exhibit parental care; therefore quantifying their short-term reproductive investment is mostly limited to measuring egg size and number. Clutch size is usually reported as an average value for each turtle population, and where CS variation is noted, it is usually attributable to variation in adult body size. In two long-term studies of ecologically dissimilar species we detected a dramatic increase in CS in a common snapping turtle (Chelydra serpentina) population and in a diamondback terrapin (Malaclemys terrapin) population. It is unknown whether these changes are due to either variation in adult body size or resource availability; but the temporal patterns we observed have apparently never been reported previously. These trends remain unexplained and should be explored further.     

基于小波分析对地面电场信号的去噪及闪电信息提取

基于小波分析方法,通过对7种小波函数在误差控制和阈值方法选取上的对比,参考信噪比及均方误差等计算结果,选取了较为合理的Rigrsure阈值分析方法和sym5小波函数作为地面大气电场信号的去噪处理方法.该方法不仅能够较好地对电场信号波形平滑处理,降低电场波形中噪声信号的叠加度,还可保留闪电引起的电场的快速变化.在此基础上,利用差分计算方法实现了对闪电信号的自动识别,引入了总闪电频数误差及分时段闪电频数与人工分析结果的相关系数等2个参考量来选取差分计算方法中电场差分阈值,通过该方法可以实现闪电频数和极性等有关信息的提取.     

普通话在线游戏学习系统的研究与应用

针对希望进一步掌握普通话口语学习的外国学习者,该研究提出了一种普通话游戏学习系统.系统的学习模式结合了计算机技术和语言学研究成果,打破了传统的教学模式的限制,对学习者进行实时评测,提供学习报告与口语学习的最终评定结果.结果表明,该系统能够较为有效地辅助外国学习者的普通话口语学习.     

环境规制政策与公共健康——基于环境污染的中介效应检验

为了探究环境规制政策对于环境污染及公共健康的影响,本文基于我国1978至2013年颁布的976条环境规制政策,利用从政策属性力度、政策内容力度两个维度对我国环境规制政策进行量化的数据,构建了针对环境规制政策效果的计量模型,通过将中介效应检验方法引入环境健康经济学分析,检验了环境污染对环境规制政策与公共健康的中介效应.研究结果表明:环境规制政策对公共健康具有促进作用;我国总体的环境规制政策对于防治环境污染产生了一定程度的积极效果;环境规制政策通过对环境污染显著的部分中介效应进而对公共健康产生了促进作用.本研究基于总体环境规制政策文献量化角度考察的"政策-环境-健康"三维动态关系结果,阐明了环境规制政策、环境污染以及公共健康三者的影响传输路径,对于有效评估环境规制政策效果,保障环境质量以及公共健康的可持续提升具有理论借鉴价值.     

三维打印器件后处理液研究

分析了不同的填充强化剂(后处理A液)、不同的后处理B液基料、后处理B液中水性环氧乳液的掺量及后处理液浸泡时间对石膏基打印器件耐水性、抗压强度、尺寸偏差、表面微观结构的影响.结果表明:经纳米硅超硬固化剂处理后的打印器件抗压强度大幅提高,纳米硅超硬固化剂最适宜作为后处理A液;水性聚氨酯乳液PU-202B最适宜作为后处理B液的基料;后处理B液中加入水性环氧乳液,处理后打印器件的抗压强度增加、吸水率降低,但水性环氧乳液含量增加到一定程度后会出现尺寸偏差;后处理A、B液最佳浸泡时间分别为130 s和35 s;先浸泡后处理A液、后浸泡后处理B液的打印器件具有抗压强度高、吸水率小、表面较光滑、不脱粉等优良性能.