实质重于形式原则的应用

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

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

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

图的曲面嵌入

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

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

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

计算网格的抽象定义

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

创新思维与新闻写作

创新是新闻写作的生命 ,要实现校报新闻写作的创新 ,就要突破思维定式 ,培养创新思维 ,以创新思维去实践校报新闻内容、新闻形式、新闻语言的创新。     

2个Lucas数乘积和的恒等变换

本文研究2个Lucas数乘积和交换问题,给r次恒等变换公式并给出一些例子。     

浮环密封失效原因分析及处理措施

叙述了离心压缩机浮环密封的结构，原理，分析了浮环密封失效原因。比较了目前常用的3种密封及密封失效处理措施。     

在中子诱导的核反应中5He发射的可能性

目前在广泛应用的核反应统计理论模型计算程序中从来没有考虑到非稳定核⁵He的发射, 这些程序是用来解释实验数据和评价核数据的有用工具. 然而, 对从轻核到重核所计算的⁵He发射阈能结果可以看出, 在大多数情况下, 入射中子形成的复合核发射⁵He比发射³He要容易. 由于⁵He是非稳定核, 它自发分裂为一个中子和一个α粒子, 因此, 在⁵He的发射过程中总是伴随中子的产生. 建立了⁵He发射后两体崩裂过程中产生的中子和α粒子的双微分截面计算公式表示. 因为⁵He发射存在比较强的核反冲效应, 为满足核工程需要, 核反应能量平衡被严格考虑. 提出了对于统计理论模型计算程序在该方面的改进建议. 另外, 期待同时测量5He发射中产生的中子和α粒子的关联测量实验的实现, 以证实⁵He发射机制的存在.     

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

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