Global practical stabilization of planar linear systems in the presence of actuator saturation and input additive disturbance

In this note, we revisit the problem of global practical stabilization for planar linear systems subject to actuator saturation and input additive disturbances. A parameterized linear state feedback law is designed such that, by tuning the value of the parameter, all trajectories of the closed-loop system converge to an arbitrarily small neighborhood of the origin in a finite time and remain in there.     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

Cr-Mo solid solutions forced by high-energy ball milling

Mixtures of Cr and Mo elemental powders, with the nominal compositions Cr₂₅Mo₇₅, Cr₅₀Mo₅₀, and Cr₇₅Mo₂₅, are processed by high-energy ball milling at ambient temperature. Milling is observed to force the mixing of the immiscible bcc elements Cr and Mo into solid solutions. The lattice parameter of these solid solutions, measured by X-ray diffraction (XRD), displays the expected positive deviation from Vegard’s law. These deviations are compared to the ones predicted by Eshelby’s inclusion model for dilute alloys. The conventional Williamson-Hall approach is shown to fail to determine the grain size in as-milled samples, probably due to the high density of dislocations. Annealing at 700 °C for 10 hours under argon leads to a large reduction in structural defect density, without inducing any significant decomposition. The mixing measured in Cr-Mo is discussed in the broader context of the mechanical mixing forced by ball milling in moderately immiscible systems.     

关于本地传输网网络优化的探讨

根据长期工作经验,对现有网络存在的问题进行分析,提出对本地传输网网络优化的有关建议。     

一种前馈型全摆幅恒跨导准恒增益CMOS运放设计

设计了一种适合在低电源电压下工作的前馈型输入级放大结构，在全摆幅的动态工作范围内，输入级跨导保持不变，采用负载电流补偿以保证增益近似恒定，输出采用前馈型AB类输结构，实现全摆幅输出。     

Parallel multilevel fast multipole method for solving large-scale problems

The Multilevel Fast Multipole Method (FMM) is a well-established method and can be applied to solve electromagnetic (EM) scattering problems. Compared with other traditional methods, it requires less computational time and memory. However, constrained by a single processor's speed and memory limitations, the problem size that can be solved by serial implementation is still relatively small. For a million-unknown target, the computational time on a single processor is intolerable, and memory could be easily exhausted. Parallel-computing technology, which can utilize multiprocessors, provides an efficient way to solve electrically large-scale EM problems. This paper will focus on discussing the parallel methodologies applied to a multilevel FMM code, as well as demonstrating the computational efficiency of the parallel approach.     

A two-dimensional time-domain finite element formulation for periodic structures

A formulation is presented for a two-dimensional time-domain finite-element method (FEM-TD) that incorporates periodic boundaries. The specifics of the method are shown for scattering problems, but it should be straightforward to extend it to radiation problems. The method solves for a transformed field variable (instead of solving directly for the electric field) in order to easily enable periodic boundary conditions in the time domain. The accuracy and stability of the method is demonstrated by a series of examples where the new formulation is compared with reference solutions. Very accurate results are obtained when the excitation (frequency range) and the geometry are such that no higher order Floquet modes are present. The accuracy is degraded in the presence of higher order modes due to the rather simple absorbing boundary condition that is used with the present formulation. The method is found to be stable even for angles of incidence close to grazing.     

Al-Zn-Ce非晶合金的相选择与组织结构演化

本文研究了具有典型分解特征的Al-Zn-Ce非晶合金的形成和晶化过程，探讨了各种相的生成顺序。XRD和DSC测试结果表明强烈的化合物短程序有利于Al-Zn-Ce非晶合金的形成。在Al-Zn-Ce非晶合金的晶化过程中存在复杂的相选择行为，多种相的竞争形核和有限生长使其具有复杂的结构特点。同时，结果也表明冷速对该体系非晶的形成有很大影响。     

API长圆螺纹套管抗粘结性能的试验研究

通过对国内外大量石油套管螺纹参数的测量和全尺寸的模拟试验，以及对测量和试验数据的理论分析，找出了影响国产套管发生粘扣的原因，并在实际生产中实施验证。采取相应的措施改善了套管的抗粘结性能，同时套管的密封和抗滑脱性能并未下降。     

An experiment for showing some kind of artificial understanding

In this paper we design an experiment which can be depicted as a simple scenario, a very limited 'world'. In this world, there are an actor that can pursue a project and an observer that is keeping its eyes on the actor. We try to show in the experiment that the observer can to some degree understand the actor based on its knowledge and some metaphors, i.e. understand what the actor is doing and why. As the conclusion of this experiment, we try to show some features of 'understanding'. These are (1) that 'understanding' has to be based on some preliminary knowledge; (2) that 'understanding' is a process of incremental learning; (3) that, as for symbolic systems, some metaphors are necessary for mapping real entities into concepts in mind.