判定Q上多项式不可约的一种方法

本文运用复变函数论中的Rouche定理,对Person不可约方法作了大的改进,一系列多项式的不可约性被证实.     

Interpolation on spherical geodesic grids: A comparative study

Most operational models in atmospheric physics, meteorology and climatology nowadays adopt spherical geodesic grids and require “ad hoc” developed interpolation procedures. The author does a comparison between chosen representatives of linear, distance-based and cubic interpolation schemes outlining their advantages and drawbacks in this specific application field. Numerical experiments on a standard test problem, while confirming a good performance of linear and distance-based schemes in a single interpolation step, also show their minor accuracy with respect to the cubic scheme in the more realistic simulation of advection of a meteorological field.     

LD端抽运平直腔Nd:YVO4固态激光器的输出功率特性研究

对LD端抽运平直腔Nd:YVO₄固态激光器输出功率特性受激光器内在诸因素(热透镜效应、腔长、激活孔径等)的制约关系进行了研究.并用传播圆-变换圆图解分析方法给出了合理的解释，同时，对进一步提高其输出功率特性指出了方向. 关键词： 固体激光器 热透镜 变换圆 平直腔     

Entanglement of Momentum for a Single Photon with a Single Atom

In this talk, the interaction of a single photon injected to a single atom is studied, for which initially the photon is uncorrelated with the atom. The spontaneous emitted photon will then evolve to be entangled with the atom on their continuous kinetic variables （momentum） in the process of resonant scattering. We find the relations between the entanglement and their physical control parameters （such as the linewidth of the injected photon wave packet, and that of the atomic wave packet, etc. ）, which indicates that high entanglement can be reached by broadening the scale of the atomic wave or squeezing the linewidth of the incident single-photon pulse.     

基于FPGA+DSP系统的红外图像非均匀校正的实现

首先引述了红外探测器两点法进行图像非均匀校正的原理,给出了基于DSP+FPGA的图像处理系统硬件模块整体实现框图,以及其非均匀校正模块的硬件结构。然后对其非均匀校正模块硬件实现中的芯片选择,工作流程以及实现作了详细的阐述。最后给出了非均匀校正试验的结果。     

椭圆型问题一类广义差分法的L~2模误差估计

1.引 言 广义差分法作为处理偏微分方程的离散技术,能够保持质量,动量,能量等物理量的守恒.广义差分法（有些文献称为box method[3];finite volume element method[4],[5],[6]）利用在对偶剖分体积单元积分原始方程,并将近似解限制于某一有限元空间而得到离散方程.因此,它在局部区域保持了原始方程的物理守恒性和其他重要特性.从而被广泛地应用于数值求解数学物理方程,特别是计算流体力学和热传导问题[11]. 对广义差分法的研究已有许多文献,专著[10]有详细的介绍.早期的工作主要考虑标准的重心对偶剖分.近年来Cai et,al[4],[5],[6],在某些假定下对较一般的对偶剖分给出了能量模误差估计,Huang and Xi[9]去掉了文献[6]中的这些限制.Chou,Li[8]和Li,     

Normative KGP agents

We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions that result from playing these roles. The proposed framework illustrates how the resulting normative concepts, including the roles, can evolve dynamically during the lifetime of the agent. Furthermore, we illustrate how these concepts can be combined with the existing capabilities of KGP agents in order to plan for their goals, react to changes in the environment, and interact with other agents. Our approach gives an executable specification of normative concepts that can be used directly for prototyping applications. Fariba Sadri is a senior lecturer at Imperial College London, from where she received her PhD. Her earlier work concentrated on integrity of deductive databases and temporal reasoning, in particular using the event calculus. In more recent years her work has been on agent technologies and multi-agent systems. She has worked on logic-based agent models, reasoning, dynamic belief revision, and inter-agent communication and negotiation for resources. She was co-awarded an EPSRC grant for research into logic-based multi-agents and was co-investigator in the EU SOCS project. Kostas Stathis is a senior lecturer at Royal Holloway, University of London and he holds a PhD from Imperial College London. His research interests are in the area of computational intelligence in general and in the intersection of computational logic and cognitive systems for social computing applications in particular. His research interests include: representation of human-computer (or computer-computer) interaction as a game; cognitive & autonomous agents; artificial agent societies; agent communication; programmable agents and agent platforms. He is a co-investigator of the EU ArguGRID project and was a co-investigator of the EU SOCS project. Francesca Toni is a senior lecturer at Imperial College London, from where she received her PhD. Her earlier work focused on abductive reasoning. In more recent years, she focused on argumentation, agent models and multi-agent systems. She has worked on computational logic-based agent models, agent reasoning, dynamic belief revision, and inter-agent communication and negotiation for resources. She has been co-ordinator of the EU SOCS project, which developed the KGP model of agency, and is coordinator of the EU ArguGRID project, on the application of argumentative agents within grid systems.     

超稳定TO-8型压力传感器在气体导热系数测定实验中的应用

介绍了TO-8型压力传感器的性能及电源电路.以气体导热系数测定实验为例,用TO-8型压力传感器制成的测压装置代替旋转式麦氏真空计,利用可调针孔式放气阀对真空气压进行连续调节,实现了对测试系统真空度的实时监测.     

Finite valued feedback laws and piecewise classical solutions

Often, in engineering literature, we find control systems in which the open loop inputs are piecewise constant and take values in a finite set. Such open loop inputs cause the system to have fairly regular solutions. On the other hand, when acting in closed loop, feedback laws taking values in a finite set may not be reinterpreted as open loop inputs of the considered type. In fact, pathological behaviours such as the accumulation of discontinuities may appear (Zeno phenomenon). We give some conditions which can be used as tools for building finite valued feedback laws not causing such pathological behaviours.     

混杂配体金属簇合物的分子振动光谱与结构

由于原子簇化合物在催化，生物活性，功能材料等方面所呈现的重要性，使其成为无机和物理化学最重要的研究领域之一。文章中和谱学方法对一些具有混配体的过渡金属簇合物的结构及其两者之间的关系进行.