N0502016 切花非洲菊日光温室栽培技术

该项成果旨在将在南方适宜种植的非洲菊引进北方日光温室种植，探索切花非洲菊日光温室栽培技术。从国内外引进的52个切花非洲菊品种，分别在玻璃温室、加热温室及不加热温室等不同类型的温室内种植，结果表明：切花非洲菊具有较高的耐寒性，生长周期长，产值较高，非常适合农村日光温室种植。通过对日光温室内的环境控制、栽培形式、灌溉方式、病虫害防治等研究，     

常曲率空间中Ricci曲率平行的子流行的一个重要定理及应用

通过对常曲率空间中Ricci曲率平行子流形的研究,得到一个重要定理.该定理反映了Ricci曲率平行的子流形的第二基本形式矩阵之间的关系,蕴含了Ricci曲率平行子流形的内在特征.把它运用于超曲面,通过对其第二基本形式矩阵的特征值的个数的估计,也能对其进行分类.此定理对进一步研究Ricci曲率平行的子流形有重要意义.     

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

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

实质重于形式原则的应用

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

高校开展国防教育之我见

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

形式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中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．