图书馆无人管理查询机的实现

针对图书馆OPAC查询用计算机管理中普遍存在的一些问题,介绍了实现图书馆查询机管理自动化的方法。     

Rigorous results in selection of steady needle crystals

This paper concerns the existence of solutions to a steady needle crystal growth problem in a one-sided model. We rigorously prove that for small nonzero anisotropy γ, analytic symmetric needle crystal solutions exist in the limit of surface tension ε² if only if the stokes constant S for a relatively simple nonlinear differential equation is zero. This Stokes constant S depends on the parameter β=2^9/7γε^−8/7 and earlier numerical calculations by a number of investigators have shown this to be zero for a discrete set of values of β. It is also proven that for γ=0, there can be no symmetric needle crystal solution in the considered space.The methodology consists of two steps. First, the original problem is reduced to a weak half-strip problem for any γ in a compact set of [0,1) by relaxation of the symmetry condition. The weak problem is shown to have a unique solution in the function space considered for any γ∈[0,γ_m] for some γ_m>0. When a symmetry is invoked, the weak problem is shown equivalent to the original needle crystal problem. Next, by considering the behavior of the solution in neighborhood of an appropriate complex turning point for γ∈(0,γ_m], we extract an exponentially small term in ε as ε→0⁺ that generally violates the symmetric condition. We prove that the symmetry condition is satisfied for small ε when the parameter β is constrained appropriately.     

数控机床伺服系统故障的维修

列举了数据机床故障实例,介绍了数控机床伺服系统故障的维修。     

大中直径螺旋焊管切管机的试验研究

介绍一种采用机械式铣削方法(旋风铣)来切断螺旋焊管的移动式切管机,并在实验的基础上与其它方式的切管方法进行了分析对比,从而肯定了这种切管方式的较大的优越性.     

步进电机细分技术在经济型数控机床中的应用

本文叙述了步进电机细分原理及微机控制系统，并将其应用于经济型数控铣床的横向进给伺服系统，有效提高了开环数控系统的定位精度。     

链式输送竹片软化机研究

简述了链式输送竹片软化机的设计指导思想和设计方案，重点介绍软化机的构成，参数的确定以及它的优点。     

加工硬质合金端铣刀刀槽时的工艺调整计算

硬质合金端铣刀刀体上的刀槽，通常将设计为槽底与铣刀轴线倾斜δ角，槽侧壁与铣刀轴线倾角为ω且偏移一个距离为ｅ，以使刀齿装夹在刀体上后获得端铣刀所需的几何角度。本文主要论述在万能铣床上铣削铣刀体上具有δ、ω、ｅ的刀槽时必要的工艺调整，利用矢量及座标转换推导了加工刀槽时必要的参数计算公式，为高效率、高质量地进行铣刀体刀槽的加工提供了一种精确可行的参数计算方法。     

虚拟机在操作系统开发中的应用研究

虚拟机是使用软件模拟的方法在电脑上模拟出来的计算机，利用它来开发OS软件能显著地缩短开发周期，降低开发难度。本文从实战出发，介绍了将虚拟机应用在OS开发实战中的应用方法。     

Fast neighborhood search for the single machine total weighted tardiness problem

Most successful heuristics for solving 1||∑w_jT_j are based on swap moves. We present an algorithm which improves the complexity of searching the swap neighborhood from O(n³) to O(n²). We show that this result also improves the complexity of the recently developed dynasearch heuristics.     

统计模式识别的研究

模式识别的基本目标就是在有监督和无监督的情况下进行分类,在模式识别的各种模型中,基于统计的方法已经被广泛的研究并应用于实际.一些新的技术和方法的引入（神经网络和支持向量机方法）也促进了该领域发展,文章研究了基于统计的模式识别的进展情况,给出了模式识别的概念、原理、方法并对各种方法进行了相关的评述.