谈谈职业教育的大众性

对职业教育的大众性问题进行了论述、实证分析和理论、政策、改革等思考。     

A self-organizing fuzzy control of weld pool size in GMA welding processes

In arc welding processes, because of the complexity and nonlinearity of heat transfer phenomena, it is often difficult to design an effective control system based upon an exact mathematical model. In this paper, a self-organizing fuzzy control method is proposed to obtain a uniform weld quality by regulation of the surface temperature at a desired level. The proposed control system is designed to comprise a combined structure of the fuzzy SOC with conventional PD control for improving the system's stability. The control experiments show that the proposed controller guarantees a uniform weld quality for various welding conditions.     

Density functional theory studies of Cu-zeolite de-NOx catalysts

Summary Recent progress in the modelling of exchanged Cu sites and their interactions with small molecules, based on DFT cluster calculations, is briefly reviewed.     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

被Kerr介质包围的J—C模型中光场位相特性

本文应用Pegg-Barnett位相理论讨论了被Kerr介质包围的J-C模型中光场的位相性质。     

布喇格光纤光栅反射特性及制作的理论研究

在对光纤光栅折射率分布进行合理假设的基础上,运用耦合模理论计算了光纤光栅的反射特性,对其反射特性与相关参数的关系进行了分析,并且还推导出了用相位掩模法制造光纤光栅的理论根据,得到了一些有益于光纤光栅制造的结论和有用公式。     

Mean-square stability for discrete bilinear systems in Hilbert space

A discrete system is uniformly mean-square stable if uniform convergence is preserved between input and state correlation sequences, and if nuclearity is preserved between the input and state correlation limits. This paper supplies a contraction-free condition ensuring mean-square stability for infinite-dimensional bilinear systems evolving in a separable Hilbert space.     

Development and implementation of a NURBS curve motion interpolator

This paper deals with the issues of development and implementation of a real-time NURBS interpolator for a six-axis robot. Using an open-architecture controller system as a testbed, a real-time NURBS curve interpolator was developed, implemented and tested. Sample runs were conducted with the resulting trajectories measured in real-time during robot motion. The resulting trajectories are analyzed, discussed and compared with those from a commonly used point-to-point approximation technique. The real-time NURBS curve interpolator's feasibility, advantages and related issues are also discussed.     

铁铝酸盐复合膨胀水泥化学预应力机理及其应用研究

本文阐述铁铝酸盐自应力混凝土的主要物理力学特征.研究了限制膨胀应变与配筋率之间的定量函数关系.通过正交试验和方差分析,确定了复合外加剂对其性能的影响.针对其在自应力管中的应用,提出多层中空圆柱理论计算模型,按弹性理论计算出自应力管初始应力分布规律.对比以前的线性理论计算误差,给出相应的修正系数.本文对类似的自应力混凝土,具有普遍的指导意义.     

Nonnegative integral subset representations of integer sets

We consider an integer-subset representation problem motivated by a medical application in radiation therapy. We prove NP-completeness, derive nontrivial bounds, and report on the performance of a greedy heuristic.