数学理想化方法

论述了数学思想化方法的特点，实施途径及它在数学中的作用。     

胡塞尔对伽利略科学合理性思想的批判

在<欧洲科学的危机与超越论的现象学>著作中,胡塞尔非常具体地考察了伽利略通过将几何学引入物理学而建构近代科学合理性的思维历程,并从超越论的现象学立场对其进行了深刻的批判.     

高年级大学生自我概念特点初探

运用自我描述法，从内容上分析表明大学高年级学生自我概念的发展具有全面性、客观性、矛盾性、虚幻性，自我认识存在偏差等特点．说明在教育中应重视形成学生正确的自我概念．     

伪立客主 假相酬答——《庄子》对话文体论析

《庄子》记言艺术富丽奇伟。它假设问对，借口代言，构建独特语境以传达抽象哲理信息，开古代文学主客自由对话之先河。同史传散文中的实录式对话相比，《庄子》对话呈现出鲜明而独特的特色，表现在：对话主体和对话情境的虚拟化；对话结构的模式化；对话信息的陌生化。在这种奇开妙结、形散神聚的言说方式背后，含蕴着丰富的对话意义、奇妙的对话效果、深远的文体影响。     

Deflationary representation,inference, and practice

This paper defends the deflationary character of two recent views regarding scientific representation, namely RIG Hughes' DDI model and the inferential conception. It is first argued that these views' deflationism is akin to the homonymous position in discussions regarding the nature of truth. There, we are invited to consider the platitudes that the predicate “true” obeys at the level of practice, disregarding any deeper, or more substantive, account of its nature. More generally, for any concept X, a deflationary approach is then defined in opposition to a substantive approach, where a substantive approach to X is an analysis of X in terms of some property P, or relation R, accounting for and explaining the standard use of X. It then becomes possible to characterize a deflationary view of scientific representation in three distinct senses, namely: a “no-theory” view, a “minimalist” view, and a “use-based” view—in line with three standard deflationary responses in the philosophical literature on truth. It is then argued that both the DDI model and the inferential conception may be suitably understood in any of these three different senses. The application of these deflationary ‘hermeneutics’ moreover yields significant improvements on the DDI model, which bring it closer to the inferential conception. It is finally argued that what these approaches have in common—the key to any deflationary account of scientific representation—is the denial that scientific representation may be ultimately reduced to any substantive explanatory property of sources, or targets, or their relations.     

Towards the Idealization Procedure of BAN-Like Logics

We demonstrate the flaws of Mao‘s method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao‘s method. Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces. Some examples on using the new rules to analyze security protocols are also concerned. Our idealization method is more effective than Mao‘s method towards many protocol instances, and is supported by a formal model.     

理想化的互极大图

设R是有1的交换环, M是R-模, R（＋）M是环R对于R-模M的理想化。讨论了理想化R（＋）M的理想、极大理想和可逆元与环R的理想、极大理想和可逆元之间的联系,并利用理想化的代数性质,讨论了R（＋）M的互极大图的子图Γ2（R（＋）M）-J（R（＋）M）的直径和围长。     

老残：刘鹗的艺术化身

老残与刘鹗有许多共同之处。刘鹗不仅在老残的身上杂糅了许多自身的经历,并在此基础上对老残进行了艺术化的处理,从而使老残这个人物更加理想化。     

老采空区上方建筑物地基稳定性的研究

老采空区上方建大型建筑物所引起的地基稳定性问题是目前一些矿区急待解决的问题。为了系统、全面地分析地基的稳定性，以厚度为权对地层进行理想化，对采空区上覆岩体进行了概化处理，给出了不同岩体组合的概化模型。针对三带岩体的破坏程度不同、给出了相应的岩全力学参数的修正参数，并进一步讨论了有限元模型的选取、边界及边界务件的确定原则。实例表明推荐的方法是科学合理的。     

双二次域的Tame核和Wild核

设Ｆ＝Ｑ（√ｄ,√－１）为双二次域,Ｋ２ＯＦ和Ｗ（Ｆ）分别是Ｆ的Ｔａｍｅ核和Ｗｉｌｄ核,本文决定了Ｋ２ＯＦ／Ｗ（Ｆ）的结构。