一种新型集成运放线性电路的分析方法*

针对多个运放构成的复杂线性电路的已有分析方法运算效率不高的缺点,提出利用节点电压法,选取反相（同相）输入节点列写节点电压方程的分析方法。论文详述该方法的原理与典型应用,最后用仿真软件进行验证。与已有方法相比,该方法提高了求解由多个运放构成的复杂线性电路的运算效率。同时方法可靠、简便、易行。     

On a geometric characterisation of zeros for non-square linear systems with time-delay in state

The concept of invariant zeros in a linear time-invariant system with point delay in state vector is discussed in the state space framework. These zeros are treated as the triples: complex number, non-zero state-zero direction and input-zero direction. Such treatment is strictly related to the output-zeroing problem and in that spirit the zeros can be easily interpreted. As is shown, for systems with matrix CB of full row-rank, general formulas for output-zeroing inputs can be obtained as well as a characterisation of invariant zeros as the roots of a certain quasi-polynomial can be given. The question of degeneracy/non-degeneracy of the system is also addressed. Moreover, it is shown that diagonal decoupling can be achieved by constant state feedbacks and a pre-compensator. The transfer matrix of the decoupled system is square and does not contain delay. The mathematical tools used in the analysis are the Moore–Penrose pseudo-inverse and singular value decomposition of a matrix.     

Temperature control of a solar furnace for material testing

A solar furnace is a thermodynamic device that concentrates sun radiation in order to achieve high-temperatures at a focus, where a sample of the material to be tested is located. This article address the problem of designing a control architecture for solar furnaces. It is motivated by the use of a solar furnace as an instrument in material science research to perform two types of experimental tests. In the first type, samples are tested in high-temperature stress cycles. In these experiments it is important to control the temperature profile. The second test type is characterised by imposing a solar radiation flux profile. On both experiment types there are strong nonlinear effects, a significant degree of parametric uncertainty and disturbances, such as solar radiation fluctuation due to clouds and to sun's apparent movement. Although the actuator (shutter) is much faster than the thermic system, it may destabilise the overall controlled system. The contribution of this article consists in the design of a control architecture for solar furnaces and the application of singular perturbation methods in order to derive conditions in the form of bounds for the speed of actuator dynamics so that the closed-loop system is stable.     

Identification of polynomial input/output recursive models with simulation error minimisation methods

Polynomial input/output (I/O) recursive models are widely used in nonlinear model identification for their flexibility and representation capabilities. Several identification algorithms are available in the literature, which deal with both model selection and parameter estimation. Previous works have shown the limitations of the classical prediction error minimisation approach in this context, especially (but not only) when the disturbance contribution is unknown, and suggested the use of a simulation error minimisation (SEM) approach for a better selection of the I/O model. This article goes a step further by integrating the model selection procedure with a simulation-oriented parameter estimation algorithm. Notwithstanding the algorithmic and computational complexity of the proposed method, it is shown that it can sometimes achieve great performance improvements with respect to previously proposed approaches. Two different parameter estimation algorithms are suggested, namely a direct SEM optimisation algorithm, and an approximate method based on multi-step prediction iteration, which displays several convenient properties from the computational point of view. Several simulation examples are shown to demonstrate the effectiveness of the suggested SEM approaches.     

Instrumental variables for nonlinearity recovering in block-oriented systems driven by correlated signals

The goal of the paper is to identify the Hammerstein-type systems excited and disturbed by correlated random processes. The problem is semi-parametric in the sense that the nonlinear static characteristic is recovered without prior knowledge about the linear dynamic block, i.e. when its order is unknown. The method is based on the instrumental variables technique, with the instruments generated by input inverse filtering. It is proved that, in contrast to the least-squares-based approach, the proposed algorithm leads to an asymptotically unbiased, strongly consistent estimate. Constructive procedures of instrumental variables generation are given for some popular cases.     

Context-dependent product line engineering with lightweight formal approaches

This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical environments. In current product line development projects, Feature Analysis is mainly conducted from the viewpoint of system configurations: how hardware and software components are configured to constitute a system. In most cases, contexts are not considered explicitly. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and contexts. To deal with this problem, this paper provides the notion of a context-dependent product line, which is composed of the system and context lines. The former is obtained by analyzing a family of systems. The latter is obtained by analyzing features of contexts associated to the systems. The system and context lines contain reusable core assets. The configuration of selected system components and contexts can be formally checked at the specification level. In this paper, we show a development process that includes the creation of both product line assets as well as context assets.     

高校图书馆水利工程学科文献资源建设方法探析--以三峡大学图书馆为例

论述了高校图书馆开展学科文献资源建设的重要性,以三峡大学优势学科———水利工程为例,探讨了高校图书馆水利工程学科文献资源的建设方法。     

Parallel Godunov smoothed particle hydrodynamics (SPH) with improved treatment of Boundary Conditions and an application to granular flows

Smoothed Particle Hydrodynamics has been successfully used for various fluid-dynamics problems, such as breaking-waves, flooding etc., since it was originally proposed. While the Lagrangian approach is naturally suitable for free-surface flows, enforcing boundary conditions and poor approximations in the presence of discontinuities in the solution are major difficulties with the method. In this paper we present an enhanced conservative Godunov SPH based on the work of Inutsuka [S. Inutsuka, Reformulation of smoothed particle hydrodynamics with Riemann solver, Journal of Computational Physics 179 (2002) 238–267] that accurately resolves discontinuities without the need to use artificial viscosity, preserves partition of unity everywhere in the domain, correctly and flexibly enforces necessary essential and frictional slip boundary conditions to approximately solve free-surface granular flows. The development is motivated by the need to improve upon depth averaged grid based models of large scale debris flows and avalanches often characterized as granular flows. Simple validation of the results is obtained by comparison to table-top experiments.     

Ergonomics in the development and implementation of organisational strategy for sustainability

This is the first phase of an ergonomics study of sustainability in a rail organisation, particularly environmental sustainability. The main emphasis has been on the use of a qualitative approach to carry out in-depth consultation with those in influential and policy setting roles in the organisation, collecting and analysing perceptions on sustainability policy and related business processes. The study identified factors affecting implementation of policy on sustainability and these have been developed to produce a list of requirements for implementing the policy. The findings are valuable in understanding the range of attitudes, aspirations and perceived constraints, from the perspective of those in senior roles in the company, and development of a sustainability strategy for a rail infrastructure owner. There is need for wider consultation, both within the organisation and externally, to validate and refine the understanding of barriers to the implementation of the policy. The role of ergonomics in supporting the work on sustainability is discussed.

Practitioner Summary: The study collects in-depth views from senior managers on the challenges of implementing a policy on sustainability in a rail organisation. Outputs include a list of factors affecting implementation of policy and requirements for better implementation of policy in this area. Potential contributions of ergonomics to sustainability in organisational contexts are discussed.     

Comorphisms of structured institutions

In this paper we formalise the intuition of encoding an institution of structured specifications into another one by extending the concept of institution comorphism to the abstract framework of structured institutions. This allows us to define a category of comorphisms of structured institutions, and supports in this way the development of heterogeneous specification languages in which the actual structuring mechanisms may vary, in addition to the base logical systems. We consider a number of properties with practical relevance for the comorphisms between base institutions and discuss their implications in the structured setting.