Locked discrete event systems: How to model and how to unlock

To model qualitative aspects of discrete event systems, i.e., the order of the events is of sole importance, we use a triple consisting of the set of all possible events (the alphabet), the set of all behavior (possible strings of events), and the set of all tasks (completed behavior). We use this view to model synchronous as well as asynchronous connection of systems. Moreover, it is easy to define notions like deadlock and livelock in this view. We give a method to construct a second system that, in connection with the original system, gets rid of its deadlock and/or livelock. A state-space representation is introduced. In this representation computations can be done effectively.     

叠后记录Radon变换压制干扰方法

在叠加剖面中,下伏反射界面的反射信号同相轴呈连续的或带有限个间断点的连续层状图像,各种干扰则呈无规则的图像。对此剖面的振幅数据进行 Radon 变换,即分别向各方向进行投影,层状图像将产生一定形状的光滑曲线,而干扰数据将相互抵消,其剩余数据呈高斯分布。在Radon 域中通过平滑等方法消除这些呈高斯分布的噪声数据,再经 Radon 逆变换,便可获得信噪比较高的叠加剖面。其结果不改变原叠加剖面的分辨率和信号波形特征。理论与实际剖面的处理结果表明,这是一种良好的压制干扰方法。     

Modified Imidazoles: Degradation Inhibitors and Adhesion Promoters for Polyimide Films on Copper Substrates

Polyimide films on copper substrates that are exposed to elevated temperatures and an oxidizing environment will be subject to degradation. In order to halt this degradation without changing the properties of the system, a polymeric agent could be placed between the polyimide and the copper. This paper will investigate three such materials that will not only slow down the degradation of the polyimide and the oxidation of the copper, but will also improve adhesion within the system. Fourier transform infrared reflection-absorption spectroscopy (FTIR-RAS) will be used to investigate the polyimide/polymeric agent/copper system.     

一种便于观测的信号抽样及复原方法

利用倍频器，将重复频率与连续信号ｔ（ｔ）的频率相同的方波进行若干次倍频后，对连续信号进行抽样，从而获得离散的抽样信号ｆｓ（ｔ），再利用有源低通滤波器使其复原成连续信号ｆ（ｔ）。避免了一般抽样器不便于观测的缺点。     

一种新颖的求解离散Gabor展开对偶窗的方法

本文给出了一种新颖的简捷的求解离散Gabor展开最佳对偶窗的方法．首先推导了离散Gabor展开的公式，给出了连续Gabor展开和离散Gabor展开间的关系．最后利用连续展开和离散展开间的关系给出了一求解离散Gabor展开最佳对偶窗的表达式及实例．     

分形方法用于有噪图像边缘检测的研究

本文研究了加性高斯白噪声对于基于离散分数布朗随机场模型图像分形维数估计的影响，并将分形方法用于图像边缘检测，指出在加性高斯白噪声的情况下，分形方法用于图像边缘检测较之经典的基于梯度运算的边缘检测方法有好的抗噪性能，同时又能检测比较丰富的图像边缘细节。     

WAVELET ALGORITHM FOR INTEGRAL OPERATOR EQUATION AND ITS APPLICATIONS TO ELECTROMAGNETIC PROBLEMS

A brief summary of the basic theory of wavelet is proposed. The properties of wavelet function are discussed. The possible applications of wavelet to electromagnetics are given. Examples show that the wavelet method is feasible and effective for solving electromagnetic problems.     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

机器人离散滑模变结构—PI控制器

本文采用离散滑模变结构控制方法，针对机器人提出了一种滑模变结构——ＰＩ控制方案，给出了该控制方案滑模存在条件及控制器设计方案。该控制器将离散滑模变结构控制和ＰＩ控制两者的优点有机地结合起来，理论分析和仿真结果表明该控制器能使机器人在各种复杂非线性动力学情况下具有良好的性能指标。这种控制器输出切换小，可以投入应用。