实质重于形式原则的应用

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

新一类广义强非线性拟-似变分包含问题

在Hilbert空间研究了新一类广义强非线性拟—似变分包含问题，给出了其解的存在唯一性证明，所得结果改进和推广了文献中的一些已知结果。     

关于线性规划问题解的讨论

用矩阵的奇异值分解和广义逆讨论标准线性规划问题解的存在性和唯一性问题。     

高校开展国防教育之我见

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

C_0-半群的脉冲扰动与一类半线性脉冲发展方程(英文)

研究无限维Banach空间中一半群的脉冲扰动及一类非线性脉冲系统的温和解的存在性、唯一性、正则性和连续依赖性,最后给出例子加以说明。     

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

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

图的曲面嵌入

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

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

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

退缩抛物方程组解的局部存在与爆破

讨论一类退缩抛物方程组的局部存在性与爆破性．证明在一定条件下解在有限时刻爆破，给出爆破时间的一个上限估计．     

计算网格的抽象定义

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