模具生产联合体加工作业统一调度问题的研究

模具生产联合体是由小规模企业组成的模具设计、制造联盟，由于设备、工装和人员分属于不同的加盟企业，其作业排序过程非常复杂。为此提出一种复合式模具生产联合体的生产排序方法：依据基本优先规则首先完成单一工序作业，然后对多工序作业用改进遗传算法进行工艺优化，求出最优解和次优解，再使用评价函数法选择最佳作业路线。该方法在生产试验中取得了良好的成效．能较好满足模具用户和加盟企业两方面的需要。     

表面氧化层对TiMn1.25Cr0.25储氢合金活化性能的影响

通过TiMn1.25Cr0.25合金粉活化前在空气中暴露不同的时间,探讨了表面氧化层的形成对其活化性能的影响。活化测试结果表明：合金的活化难度随着合金在空气中暴露时间的延长而加大。俄歇电子能谱(AES)结果表明,在空气中暴露后的合金表面形成了一层大约6nm-10nm厚的表面氧化层,正是这层氧化层的形成加大了合金的活化难度。扫描电镜(SEM)结果表明合金的活化过程与合金的碎化有着密切的联系。     

Atomic force microscopy study of biaxially oriented polypropylene films

Atomic force microscopy (AFM) uses a very sharp pointed mechanical probe to collect real-space morphological information of solid surfaces. AFM was used in this study to image the surface morphology of a biaxially oriented polypropylene film. The polymer film is characterized by a nanometer-scale, fiberlike network structure, which reflects the drawing process used during the fabrication of the film. AFM was used to study polymer-surface treatment to improve wettability by exposing the polymer to ozone with or without ultraviolet (UV) irradiation. Surface-morphology changes observed by AFM are the result of the surface oxidation induced by the treatment. Due to the topographic features of the polymer film, the fiberlike structure has been used to check the performance of the AFM tip. An AFM image is a mixture of the surface morphology and the shape of the AFM tip. Therefore, it is important to check the performance of a tip to ensure that the AFM image collected reflects the true surface features of the sample, rather than contamination on the AFM tip.     

Influencing factors on elastic-plastic deformation of multi-layered surfaces under sliding contact

Stress distribution in the gradient multi-layered surface under a sliding contact was investigated using finite element method(FEM). The main structure parameters of layered surface discussed are total layer thickness,layer number and elastic modulus ratio of layer to the substrate. A model of multi-layered surface contact with rough slider was studied. The effect of the surface structure parameters on the elastic-plastic deformation was analyzed.     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

有关C语言教学方法优化的探讨

C语言程序设计是一门重要的课程,却难学难教。教学方法优化十分必要。教学方法优化应从激发学生兴趣入手,采用循序渐进的方式,着重培养学生举一反三的编程能力,引导学生写出高质量的程序,并丰富考核方式。     

A note about the complexity of minimizing Nesterov's smooth Chebyshev–Rosenbrock function

This short note considers and resolves the apparent contradiction between known worst-case complexity results for first- and second-order methods for solving unconstrained smooth nonconvex optimization problems and a recent note by Jarre [On Nesterov's smooth Chebyshev–Rosenbrock function, Optim. Methods Softw. (2011)] implying a very large lower bound on the number of iterations required to reach the solution's neighbourhood for a specific problem with variable dimension.     

Genetic algorithm‐based neural‐network modeling approach applied to AlGaN/GaN devices

An accurate equivalent circuit large‐signal model (ECLSM) for AlGaN‐GaN high electron mobility transistor (HEMT) is presented. The model is derived from a distributed small‐signal model that efficiently describes the physics of the device. A genetic neural‐network‐based model for the gate and drain currents and charges is presented along with its parameters extraction procedure. This model is embedded in the ECLSM, which is then implemented in CAD software and validated by pulsed and continuous large‐signal measurements of on‐wafer 8 × 125‐μm GaN on SiC substrate HEMT. Pulsed IV simulations show that the model can efficiently describe the bias dependency of trapping and self‐heating effects. Single‐ and two‐tone simulation results show that the model can accurately predict the output power and its harmonics and the associated intermodulation distortion (IMD) under different input‐power and bias conditions. © 2012 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2013.