静态随机访问存储器型现场可编程门阵列辐照效应测试系统研制

在调研静态随机访问存储器型现场可编程门阵列(FPGA)器件空间辐照效应失效机理的基础上,详细论述FPGA辐照效应测试系统内部存储器测试、功能测试及功耗测试的实现原理,给出了系统的软硬件实现方法。所建立的系统可以测试FPGA器件的配置存储器翻转截面、块存储器翻转截面、功能失效截面、闭锁截面等多个参数,其长线传输距离达到50 m以上,最大可测门数达到了100万门,为FPGA辐照效应研究提供了测试平台。     

On the determination of the potential function from given orbits

The paper deals with the problem of finding the field of force that generates a given (N ? 1)-parametric family of orbits for a mechanical system with N degrees of freedom. This problem is usually referred to as the inverse problem of dynamics. We study this problem in relation to the problems of celestial mechanics. We state and solve a generalization of the Dainelli and Joukovski problem and propose a new approach to solve the inverse Suslov’s problem. We apply the obtained results to generalize the theorem enunciated by Joukovski in 1890, solve the inverse Stäckel problem and solve the problem of constructing the potential-energy function U that is capable of generating a bi-parametric family of orbits for a particle in space. We determine the equations for the sought-for function U and show that on the basis of these equations we can define a system of two linear partial differential equations with respect to U which contains as a particular case the Szebehely equation. We solve completely a special case of the inverse dynamics problem of constructing U that generates a given family of conics known as Bertrand’s problem. At the end we establish the relation between Bertrand’s problem and the solutions to the Heun differential equation. We illustrate our results by several examples.     

模糊线性系统的扰动分析

使用谱范数分析了模糊线性系统在三种情形下的扰动: (1)右端模糊向量有扰动, 系数矩阵不变; (2)系数矩阵有扰动,右端模糊向量不变; (3)系数矩阵和右端模糊向量都有扰动,并通过数值实例验证给出的扰动界的估计.     

Low regularity global well-posedness for the Zakharov and Klein-Gordon-Schrödinger systems

We prove low regularity global well-posedness for the 1d Zakharov system and the 3d Klein-Gordon-Schrödinger system, which are systems in two variables and . The Zakharov system is known to be locally well-posed in and the Klein-Gordon-Schrödinger system is known to be locally well-posed in . Here, we show that the Zakharov and Klein-Gordon-Schrödinger systems are globally well-posed in these spaces, respectively, by using an available conservation law for the norm of and controlling the growth of via the estimates in the local theory.

     

基于LabVIEW的空间相机试验测控系统设计

在LabVIEW开发环境下,基于虚拟仪器和PXI总线,采用National Instrument(NI)公司的数据采集卡,设计了一个空间相机试验测控系统,实现了硬件设计和软件功能。该系统具有多个通道,可测试温度、应力、应变等多种参数,能实现测控参数设置、数据采集与处理、数据及曲线显示、信号分析与处理、远程通信等多种功能。在某空间相机分系统热平衡试验中,用于测试、控制36个热敏电阻测温点和14个热电偶测温点的温度。结果表明,系统达到了0.5℃的控温要求;热电偶的标定和标准水银温度计的比对结果表明,本系统测温精度可达到0.15℃。与传统的文本语言相比,利用LabVIEW节省了大约80%的时间。本系统具有延续开发能力和可移植性,其设计方法能为其它测控系统的开发提供参考。     

A non-stationary problem coupling PDEs and ODEs modelizing an automotive catalytic converter

In this article we prove the existence and uniqueness of the solution of a non-stationary problem that modelizes the behavior of the concentrations and the temperature of gases going through a cylindrical passage of an automotive catalytic converter. This problem couples parabolic partial differential equations (PDEs) in a domain with one parabolic partial differential equation and some ordinary differential equations (ODEs) on a part of its boundary.     

Global periodicity and complete integrability of discrete dynamical systems

Consider the discrete dynamical system generated by a map F. It is said that it is globally periodic if there exists a natural number p such that F ^p (x)=x for all x in the phase space. On the other hand, it is called completely integrable if it has as many functionally independent first integrals as the dimension of the phase space. In this paper, we relate both concepts. We also give a large list of globally periodic dynamical systems together with a complete set of their first integrals, emphasizing the ones coming from difference equations.     

Necessary and sufficient conditions for robust global asymptotic stabilization of discrete-time systems

We give Lyapunov-like conditions for non-uniform in time output stabilization of discrete-time systems. Particularly, it is proved that for a discrete-time control system there exists a (continuous) output stabilizing feedback if and only if there exists a (strong) output control Lyapunov function (OCLF). Moreover, strategies for the construction of continuous robust feedback stabilizers are presented.     

A Family of Integrable Rational Semi-Discrete Systems and Its Reduction

Within framework of zero curvature representation theory, a family of integrable rational semi-discrete systems is derived from a matrix spectral problem. The Hamiltonian forms of obtained semi-discrete systems are constructed by means of the discrete trace identity. The Liouville integrability for the obtained family is demonstrated. In the end, a reduced family of obtained semi-discrete systems and its Hamiltonian form are worked out.     

Guiding Data Analysts with Visual Statistical Strategies

Abstract

The concept of statistical strategy is introduced and used to develop a structured graphical user interface for guiding data analysis. The interface visually represents statistical strategies that are designed by expert data analysts to guide novices. The representation is an abstraction of the expert's concepts of the essence of a data analysis. We argue that an environment that visually guides and structures data analysis will improve data analysis productivity, accuracy, accessibility, and satisfaction in comparison to an environment without such aids, especially for novice data analysts. Our concepts are based on notions from cognitive science, and can be empirically evaluated. The interface consists of two interacting windows—the guidemap and the workmap. Each window contains a graph that has nodes and edges. The guidemap graph represents the statistical strategy for a specific statistical task (such as describing data). Nodes represent potential data analysis actions that can be taken by the system. Edges represent potential actions that can be taken by the analyst. The guidemap graph exists prior to the data analysis session, having been created by an expert. The workmap graph represents the complete history of all steps taken by the data analyst. It is constructed during the data analysis session as a result of the analyst's actions. Workmap nodes represent data sets, data models, or data analysis procedures that have been created or used by the analyst. Workmap edges represent the chronological sequence of the analyst's actions. One workmap node is highlighted to indicate which statistical object is the focus of the strategy. We illustrate our concepts with ViSta, the Visual Statistics system that we have developed.