Reverse mathematics and well-ordering principles: A pilot study

The larger project broached here is to look at the generally sentence “if X is well-ordered then f(X) is well-ordered”, where f is a standard proof-theoretic function from ordinals to ordinals. It has turned out that a statement of this form is often equivalent to the existence of countable coded ω-models for a particular theory T_f whose consistency can be proved by means of a cut elimination theorem in infinitary logic which crucially involves the function f. To illustrate this theme, we prove in this paper that the statement “if X is well-ordered then ε_X is well-ordered” is equivalent to . This was first proved by Marcone and Montalban [Alberto Marcone, Antonio Montalbán, The epsilon function for computability theorists, draft, 2007] using recursion-theoretic and combinatorial methods. The proof given here is principally proof-theoretic, the main techniques being Schütte’s method of proof search (deduction chains) [Kurt Schütte, Proof Theory, Springer-Verlag, Berlin, Heidelberg, 1977] and cut elimination for a (small) fragment of .     

城市道路景观设计概述

城市道路除了其最基本的功能外,其在城市景观方面的作用非常大。介绍了城市道路景观的构成要素、规划设计原则以及设计要点,强调了城市道路景观设计中应注意对人的关注与尊重。     

高职高专学生高等数学学习状况调查研究

高等职业教育已成为我国高等教育的主体,高等教育规模的扩大,使高职高专生源质量普遍下降。调查显示,高职高专大多数学生高等数学学习效果不佳。为此,建议:强化高等数学实用意识;培养高职高专学生学习能力;正确认识与实践高职高专教学"以应用为目的,以必需和够用为度"的教学原则。     

采用力法和遗传算法的结构非线性分析

考虑结构的材料非线性,采用力法、能量原理和遗传算法对结构进行了非线性分析.首先给出了基于力法和能量原理的线性分析问题的方程,推倒了结构的余能,并采用遗传算法使结构的能量达到最小的方法对结构进行分析.在此基础上,考虑结构的材料非线性,利用力法和遗传算法进行分析.最后用该方法对不同桁架结进行了分析,其结果与运用Castigliano方法所得结果一致,证明采用力法和遗传算法对结构进行非线性分析是准确有效的.     

英汉礼貌原则之跨文化对比研究

礼貌是人类文明的象征,是人类社会的普遍现象。不过,不同国家的人们遵循的礼貌原则是不同的。通过比较英汉文化中礼貌语用准则的异同,可见其相似性和差异性的本质是英汉文化上的异同。了解英汉礼貌原则的异同,能够避免语用失误,达到跨文化交际成功的目的。     

生长中纳米碳管的电子结构

利用第一原理的离散变分方法计算了生长中纳米碳管团簇的电子结构,发现悬挂键的存在导致管口处的电子结构明显地不同于管体,对应的非键合价电子不仅直接改变管口处碳原子之间的键合模式,而且进一步增强管口处碳原子之间的结合,促使碳原子只向管芯移动,这与实验中观察到的封闭顶端的几何形态相一致;而且降低碳管的化学稳定性.与完整型纳米碳管截然不同的电子结构决定了生长中纳米碳管在合成纳米材料过程中具有不同的作用行为.     

二层流体中波动问题的Hamilton正则方程

研究了两种常密度不可压缩理想流体组成的垂直分层的二流体系统的无旋等熵流动,考虑了上层流体与空气及两层流体间的表面张力。流动区域在水平方向无限伸展,上层流体有限深度,下层流体无限深。利用自由面及分界面相对于静止时平衡位置的偏移以及两层流体的速度势构造了Hamilton函数。为导出Hamilton正则方程引用了Euler描述下的流体运动的变分原理。自由面的位移是Hamilton意义下的正则变量,其对偶变量是上层流体在自由面上取值的速度势与密度的乘积。另一个正则变量是分界面的位移,其对偶变量是下层流体的密度与下层流体速度势在分界面上所取值的乘积减去上层流体密度与上层流体速度势在分界面上所取值的相应乘积。导出的Hamilton结构对分析分层流动中表面波与内波的相互作用是重要的。     

一类随机离散存储模型在医院药品采购中的应用

首先建立了一类需求为随机离散性存储问题的数学模型,给出了最优解,然后讨论了该模型在优化定期供应药品及存储费昂贵药品购入计划中的应用,并给出了实例.     

浅谈县级图书馆图书现采存在的问题及对策

目前,图书现采已经成为县级图书馆采购、收集图书的重要渠道.阐述了图书现采的主要方式,着重探讨了县级图书馆图书现采存在的问题,提出了做好县级图书馆图书现采工作的若干对策.     

高校图书馆的现状与发展误区

针对高校图书馆的现状,重点阐述了图书馆在技术手段、图书采购、导读和人力资源方面存在的发展误区,分析了其产生的原因,提出了改进的建议。