Experiences using lightweight formal methods for requirementsmodeling

The paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process to validate the evolving requirements. The results were fed back into the projects to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes by testing key properties of the evolving requirements and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations     

Stability analysis of PWM feedback control systems with PID regulators

Stability analysis is of great significance in those feedback control systems in which the power amplifier is operated as a pulse-modulator device, since under these circumstances the whole control system is highly non-linear. Stability in PWM feedback control systems with a proportional type regulator has been amply described in the literature. Only recently, however, have such studies been extended to include systems with a proportional-plus-integral regulator. In this paper the problem is considered for the case involving a PWM control system, where the regulator is a proportional-plus-integral-plus-derivative, the PWM modulator is of a very general type and the controlled process is of arbitrary order. The stability of the system is analysed by means of a discrete version of the second Lyapunov method ; this method in turn leads to an investigation of the positivity region of a quadratic form defined in the parameter space of the regulator. To improve the stability region obtained, a procedure is investigated whereby only a few parameters of the quadratic Lyapunov function need to be varied. The method proposed has proved extremely simple and flexible to apply, even in cases where the system is of arbitrary order.     

APPLICATION OF A PERTURBATION THEORY FOR EVALUATION ALGORITHMS FOR IDENTIFICATION OF A CONTINUOUS PLANT FROM DISCRETE DATA

Abstract

A perturbation theory for evaluation algorithms of arithmetic expressions is applied to the generalized least-squares identification of the continuous parameters by using nonperiodic discrete data. The sampling instants are distributed in such a way that a sequence of the elemental arithmetic expressions of the identification algorithm are suboptimized according to bang-bang rules on the extrema of appropriate variation intervals. The weighting scalars in the generalized least-squares method are updated with the same purpose.     

基于ISM的高铁工程全生命周期成本影响因素研究

运用问卷调查、专家论证等方式,识别与提取影响高铁工程全生命周期成本影响因素,并从各参与方维度出发,对识别的影响因素进行分类;构建基于ISM的高铁工程全生命成本解释结构模型,对识别的关键因素进行层次关系与作用机理的深入挖掘梳理.在上述分析基础上,提出高铁工程全生命周期成本控制重点及高铁全生命周期成本智能估算基础数据库建设建议.     

铅锌尾矿重金属释放影响因素的探讨

铅锌尾矿废渣若不经过处理,会通过风蚀、径流对环境造成重金属污染,对尾矿废渣污染的研究一直是大家关注的方向。多年来,pH被证实是影响重金属释放的重要因素。本文通过实验,研究了浸提方法、pH和盐度对铅锌尾矿废渣重金属元素释放的影响。结果表明,Pb、Zn、Cd、As在pH值呈酸性和碱性时浸出率都较高,Cu、Ni则在pH值为碱性时浸出率更高,盐度对Pb的释放影响效果更为明显。     

Progress towards a methodology for high throughput 3D reconstruction of soot nanoparticles via electron tomography

The aim of this work is to make progress towards the development of 3D reconstruction as a legitimate alternative to traditional 2D characterization of soot. Time constraints are the greatest opposition to its implementation, as currently reconstruction of a single soot particle takes around 5–6 h to complete. As such, the accuracy and detail gains are currently insufficient to challenge 2D characterization of a representative sample (e.g. 200 particles). This work is a consideration of the optimization of the steps included within the computational reconstruction and manual segmentation of soot particles. Our optimal process reduced the time required by over 70% in comparison to a typical procedure, whilst producing models with no appreciable decrease in quality.     

机器人柔性关节前馈力/位混合控制策略研究

针对机器人关节柔性引起的轨迹跟踪误差问题和末端执行器残余振动现象,在PD反馈控制律基础上,提出一种基于柔体动力学模型的前馈力矩补偿控制算法和后置多模态自适应输入整形算法前馈力/位混合控制策略。建立六轴工业机器人柔体动力学简化模型,在不附加关节编码器和外设的情况下进行柔体动力学参数辨识,再将动力学模型改写为力矩计算方程,经计算得到前馈力矩并加入控制律中进行补偿;计算前馈力矩所用的期望轨迹需经过输入整形器处理,考虑机器人系统的时变性问题,采用后置多模态自适应输入整形算法对期望输入位移信号进行命令整形,从而抑制末端的残余振动现象。结果表明：所提出的前馈力/位混合控制策略能有效减少轨迹跟踪误差,抑制机器人末端的残余振动现象。     

Stability of composite systems with an asymptotically hyperstable subsystem

In this note, it is proved that stability of composite systems including parallel subsystems can be achieved for certain sets of initial conditions and additional stability assumptions for the non-hyperstable subsystems. It is required that at least one subsystem be asymptotically hyperstable.     

Andreev Bound-State Tunneling and ESR Spectroscopy of High-Temperature Superconductors and Observations of Broken Time-Reversal Symmetry

An emphasis on reliable materials growth and development of new fabrication techniques has allowed us to investigate the electronic structure of high-temperature superconductors by planar quasiparticle tunneling and electron paramagnetic resonance (EPR) spectroscopies. The quasiparticle (QP) density of states (DoS) is investigated by tunneling into oriented thin films of Y₁Ba₂Cu₃O₇ (YBCO) and single crystals of Ba₂Sr₂Ca₁Cu₂O₈ (BSCCO). Data are obtained as a function of crystallographic orientation, temperature, doping, damage, and applied magnetic field. These data demonstrate that the observed zero-bias conductance peak (ZBCP) is composed of Andreev bound states (ABS) which intrinsically form at a symmetry-breaking interface of an unconventional superconductor, for example, a (110)-surface of d-wave YBCO. Tunneling into doped or ion-damaged YBCO provides a measure of the QP scattering rate below T _c. An applied field causes Doppler shift of the ABS, arising from the scalar product between the QP velocity and the superfluid momentum, v _F·P _s, observed as a splitting in the ZBCP. Magnetic hysteresis of the splitting is consistent with the effects of strong vortex pinning near the interface. The directional field dependence shows that the ABS is highly anisotropic in its transport. These results, plus in-plane crystallographic orientational dependence on single-crystal BSCCO, demonstrate the d-wave symmetry of this superconductor. Below 8 K and in zero applied field, the ZBCP splits, indicating a transition into a superconducting state with spontaneously broken time-reversal symmetry (BTRS). EPR experiments are used to detect directly the spontaneous formation of the magnetic moments in the BTRS state.     

关于定量界定设备修理周期若干问题的研究

本文通过对确定设备修理周期经验公式的讨论,指出了两点不足。对此笔者提出了:在生产过程中运用单位产品维修成本与产量的量化模型,从经济效益的角度动态界定最佳修理周期的设想,以期在设备维修管理方面,为企业提供最佳经济效益。并由此得出了几点有益的启示。