一个算术函数的误差项估计

设ψ(n)是Dedekind函数,∑n≤x=nψ(n)=αx E(x),其中α是常数,E(x)是误差项.主要目的是利用经典的复积分理论及解析方法研究了E(x)的平方积分均值,得到了一个较为精确的估计式.     

The Primary Configuration and Formulae of the Intermediate Frequency Bend Machine

In this paper the primary configuration and formulae of design parameters of the intermediate frequency bend machine(φ1450)are introduced and the main points of its design are explained.     

基于SVG的WebGis中矢量图形处理研究

在对WebGis中的地理空间信息的数据格式的分析中，客户端浏览器不能直接处理(显示)矢量格式的地理信息数据．通常都是在服务器端把矢量格式的数据转换为栅格数据后，再传输给客户端，结果造成数据量的大增．SVG技术很好的解决了客户端显示矢量图形数据的问题．     

L函数的一类二次均值公式

设整数ｎ≥３，定义二次均值 其中表示对模ｎ的所有偶特征求和．证明了下列公式： 其中 φ（ｎ）为Ｅｕｌｅｒ函数。     

巷旁充填沿空留巷技术研究

本文通过转Ⅳ喷射机组成的风力充填系统输送矸石——水泥胶凝混合料的巷旁充填研究,介绍了该技术在沿空留巷中应用及效果,并对改进提出了建议。     

自级联式感应电动机控制系统的研制

描述了自级联式感应电动机的数学模型及其控制系统的结构,研制成功该类电机矢量控制系统样机.根据实验结果,分析了其动态和静态品质,得出此种类型电机控制系统完全可以达到与直流电动机控制系统相同性能的结论,提出了自级联式感应电动机进一步的应用前景.     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

复杂系统的遗传-模糊建模方法

针对复杂系统的模糊建模问题，提出了一种遗传．模糊建模新方法。首先，利用竞争学习算法对输入空间进行自适应聚类，基于聚类结果提取模糊模型的规则前件隶属函数参数，采用局部最小二乘法求得规则后件参数，从而初步建立起系统的T-S模糊模型。然后，对规则前、后件参数进行编码，借助于实值编码遗传算法优化模糊系统。最后，数字仿真结果验证了算法的可行性和有效性。     

SCHEDULING PROBLEMS - AN OVERVIEW

There seems to be a significant gap between the theoretical and the practical aspects of scheduling problems in the job shop environment. Theoretically, scheduling systems are designed on the basis of an optimum approach to the scheduling model. However in the practice, the optimum that is built into the scheduling applications seems to face some challenges when dealing with the dynamic character of a scheduling system, for instance machine breakdown or change of orders. Scheduling systems have become quite complex in the past few years. Competitive business environments and shorter product life cycles are the imminent challenges being faced by many companies these days. These challenges push companies to anticipate a demand driven supply chain in their business environment. A demand-driven supply chain incorporates the customer view into the supply chain processes. As a consequence of this, scheduling as a core process of the demand-driven supply chain must also reflect the customer view. In addition,     

Face Recognition Based on Support Vector Machine and Nearest Neighbor Classifier

Support vector machine (SVM), as a novel approach in pattern recognition, has demonstrated a success in face detection and face recognition. In this paper, a face recognition approach based on the SVM classifier with the nearest neighbor classifier (NNC) is proposed. The principal component analysis (PCA) is used to reduce the dimension and extract features. Then one-against-all stratedy is used to train the SVM classifiers. At the testing stage, we propose an al-