从谥诔到诔文：论古代诔文体式的形成

诔是汉魏六朝人写作的一种重要的体形式，诔作为一种体形式，形成于两汉之交。以扬雄《元后诔》为代表。诔体形式的形成，是先秦丧祭命谥诔辞与铭颂结合的产物。     

实质重于形式原则对所得税的影响

《企业会计制度》中新增加的实质重于形式原则，要求企业应当按照交易或事项的经济实质进行会计核算，而不应当仅仅按照它们的法律形式作为会计核算的依据。实质重于形式原则的运用使得会计制度与税法在融资租入固定资产的确认与计价、借款费用资本化的确认、收入的确认和资产减值准备的计提等方面的处理存在差异，当企业向税务机关缴纳所得税时，必须将企业的会计所得调整为纳税所得。     

实质重于形式原则的应用

为满足会计信息使用会计对会计信息高质量的要求，使会计信息更加可靠、相关，各国推行实质重于形式原则，我国《企业会计制度》将其作为会计核算的基本原则，结合《企业会计制度》说明实质重于形式原则在我国的具体运用，强调会计人员应具备良好的职业判断能力。     

沙区人工固沙植物水分适宜度模糊数学模型及应用

以固沙植物油蒿和柠条为研究对象，探讨了样区土壤水分变化的模糊属性特征；运用模糊数学方法，建立了水分适宜度的概念及其模型，并进行实例计算与分析．结果表明：柠条在单播情况下随着营林密度的升高，其适宜度值呈现下降趋势；混播比单播具有较高的适宜度值，其中以5000株/hm^2混播下适宜度最高，植被覆盖率最大，是值得推广的一种营林方式．试验条件下，植被覆盖率高者，其适宜度亦高，二者呈现出一致性．文中分析了油蒿与柠条对水分竞争与共存的机理，有关结论为人工固沙林稳定发展提供了科学依据．     

高校开展国防教育之我见

高校国防教育要牢牢把握教育的内容,即不断深入爱国主义教育;加强居安思危教育;开展革命英雄主义教育;牢固树立国家利益高于一切的观念和“以史为鉴”,加强教育效果。同时,还应运用丰富多样的教育形式使国防教育内容深深印入学生的脑海。     

形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

浅谈科技社团在政府职能转换中的定位

加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析，说明科技社团的发展在于积极争取政府职能。同时，科技社团只有加强自身建设，抓住机遇，做好承接政府职能转移的大文章，才能增强实力，赢得发展。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．