Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

Asymptotic stabilization of some equilibria of an underactuated underwater vehicle

The stabilization problem for selected relative equilibria of an underactuated rigid body, modelling a simple underwater vehicle, moving in an ideal fluid is addressed. State feedback control laws achieving local asymptotic stability of a forward motion and of a diving/rising with forward/reverse motion are proposed. The control design exploits the Hamiltonian nature of the system to be controlled and it is based on the so-called interconnection and damping assignment (IDA) procedure. Simulation results complete the work.     

关于差阻式仪器的几个技术问题

本文对差阻式仪器的几个重要问题,如差阻式仪器的国家标准、监测数据的质量控制、长期埋设仪器的现场鉴定、仪器测值异常的分析处理等进行了讨论,并提出了自己的意见,供有关科研人员进一步研究和参考.     

Reliability models for computer systems: An overview including dataflow graphs

The reliability of a system is the probability that the system will perform its intended mission under given conditions. This paper provides an overview of the approaches to reliability modelling and identifies their strengths and weaknesses. The models discussed include structure models, simple stochastic models and decomposable stochastic models. Ignoring time-dependence, structure models give reliability as a function of the topological structure of the system. Simple stochastic models make direct use of the properties of underlying stochastic processes, while decomposable models consider more complex systems and analyse them through subsystems. Petri nets and dataflow graphs facilitate the analysis of complex systems by providing a convenient framework for reliability analysis.     

Describing metal surfaces and nanostructures with orbital-free density functional theory

Orbital-free density functional theory (OF-DFT) can be made to scale linearly with sample size, allowing thousands of atoms to be treated explicitly with quantum mechanics. State-of-the-art kinetic energy density functionals and ion–electron pseudopotentials are used to obtain accurate structural property predictions for nanoparticles, nanowires, extended surfaces, and nanoindentation of simple metals.     

新型环保冷冻机油的研制

新型冷冻机油具有与制冷压缩机同寿命等特点，本文采用中压加氢处理组合工艺新技术生产的基础油，复配功能添加剂后，解决了冷冻机油与制冷剂R600a相溶性及与制冷剂共存时的热稳定性、抗磨损等关键问题。所研制的100冷冻机油通过了加西贝拉压缩机台架试验，满足了环保型冷媒R600a冰箱制冷压缩机用冷冻机油对基础油的要求。     

Convolutional solutions of partial difference equations

A significant part of the theory of one-dimensional linear shift-invariant systems is based on the concept of weighting function (or impulse response): the output is the convolution of the weighting function with the input. This paper introduces the concept of linear translation-invariant systems and uses this notion in studying impulse response, z-transforms, and transfer functions for multidimensional systems.     

First-principles study of the tensile and fracture of the Al/TiN interface

Employing the density functional theory, we investigate the tensile and fracture processes of the Al/TiN(0 0 1) interface. The simulation presents directly the strain–stress relationship, the ideal tensile strength and the process of bond breaking of the system. Through the analysis of deformation, we find that the softer Al layers deform larger than the harder TiN layers during the tensile process. And fracture occurs between the interface and the sub-interface Al layers. In addition, the results show that during the tensile process, the ripple of the interfacial TiN layer decreases gradually with the increment of the strain. Charge transfer was detected from the Al to TiN layers near the interface area during the tensile process by means of charge density and density of states analyses. The charge transfer affects the fracture process. Compared to our previous study of the Al/TiN(1 1 1) interface, the Al/TiN(0 0 1) interface has smaller work of adhesion and larger tensile strength than the Al/TiN(1 1 1) interface. Our investigation shows that the fractures of the Al/TiN(0 0 1) and (1 1 1) interface systems both happen in the Al layers near the interface.     

On integral equation approaches to the mechanics of fibre-crack interaction

The paper examines the problem of a penny-shaped crack which is formed by the development of a crack in both the fibre and the matrix of a composite consisting of an isolated elastic fibre located in an elastic matrix of infinite extent. The composite region is subjected to a uniform strain field in the direction of the fibre. The paper presents two integral-equation based approaches for the analysis of the problem. The first approach considers the formulation of the complete integral equations governing the associated elasticity problem for a two material region. The second approach considers the boundary integral equation formulation of the problem. Both methods entail the numerical solution of the governing integral equations. The solutions to these integral equations are used to evaluate the stress intensity factor at the boundary of the penny-shaped crack.     

混合集成电路激光功能调值技术

本文提出了激光功能微调技术在高精度混合集成电路上的应用，讨论了关键技术问题，并以实例具体说明。该技术的应用为研制高精度混合集成电路开辟了新途径。