本刊投稿须知

一、标题与文章内容 题名一般不超过20个字，必要时可加副标题。来稿内容应依次包括：题名；作者姓名；工作单位；关键词、摘要；正文；参考文献；英文题名、作者名、作者单位、关键词、摘要；作者简介（主要作者在首页地角处标注：姓名，单位，职称，学位，研究方向）；作者详细通信地址（邮编、所在省市路号名、单位全称）、电话号码和电子邮箱。     

浅谈工程管理中“合理低价”招标

招标投标是在市场经济条件下进行工程建设项目的发包与承包时所采用的一种交易方式,其已经成为基本建设中必不可少的环节之一,它为发包单位择优选定承包商,对保证工程质量,控制工程造价起到了积极作用。然而,建设工程招标投标的中标价是否为"合理低价"或"虚     

LF拓扑空间的T_0和T_1分离性

本文定义了LF拓扑空间中的新的T0与T1分离性，讨论了它们的一系列性质，并进一步说明模糊单位区间和模糊实直线仅满足极弱的分离性。     

浅谈如何更好地发挥单位图书资料室的作用

随着计算机技术、多媒体技术、网络技术和高速宽带信息传输技术的迅猛发展和日趋成熟，光盘电子出版物和网络电子出版物的大量涌现，单位的图书资料室面临着新的挑战，如何在市场经济的年代，既创造社会效益，同时又能创造经济效益，是目前单位图书资料室面临的问题，同时在为读者服务上也面临着由传统服务方式逐步向开放式信息化服务方式转变的挑战。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

线性方程组与最简通解公式

本文根据近代函数概念，引入左上单位阵，给出线性方程组的最简通解公式，以指导教材改革与课程科学教学。     

局部对称共形平坦Riemann流形中具有平行单位中曲率向量的子流形

运用正交标架法 ,把 S.T.Yau的 Simons型 Pinching定理推广到环绕空间是局部平坦的情形     

点阵素单位与复单位中晶面指标的标定

本文就点阵素单位与复单位中晶面指标的标定问题，从点阵周期性的角度出发，作了一些讨论