基于至少满足弱硬实时限制的调度算法

提出了一种用于保证实时周期任务满足“至少满足”弱硬实时限制的算法.针对以往算法的缺点,扩充了弱硬实时限制的性质,定义了下确界限制并给出求解法.下确界限制用于保证任务满足“至少满足”弱硬实时限制,是任务满足限制的下确界.下确界限制的求解法计算负责度较低,因此在该求解法的基础上设计了调度算法MAA,用于保证任务满足“至少满足”弱硬实时限制.     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

几种图的弱符号控制数

本文对弱符号控制函数和弱符号控制数的性质进行了研究,在此基础上,得出完全图、完全二部图、圈、路等的弱符号控制数的性质.     

强子对撞机上中性top—pion介子产生过程（pp（pp）→Ⅱt^0Ⅱt^0，bⅡt^0）的研究

描述电弱相互作用的电弱统一模型即Glashow—Weinberg—Salam（GWS）模型和描述强作用的量子色动力学（QCD）组成了粒子物理学中的标准模型（SM）．迄今为止，它是大家普遍承认的最好的描述弱、电、强3种相互作用的理论，大量实验成功地验证了这一模型．但是，其电弱理论中为产生电弱对称性破缺而引入的Higgs粒子，至今仍未在高能物理实验中发现，电弱对称性破缺（EWSB）机制还不清楚．     

弱信号检测的差动滤波法

对信噪比极低的信号的检测,有很高的应用价值.提出了一种新的滤波算法,与现行的各种算法相比,这种算法可以大规模地提高检测的灵敏度.在仿真中成功地检测出信噪比为-1000dB的信号.     

非线性系统参数识别的频域方法

系统识别是现代控制过程的关键环节．本文提出了一种识别弱非线性振动系统参数的方法．本方法中，参数识别的数学模型是系统的一阶近似频率响应函数．首先，用多尺度法导出弱非线性强迫激励系统的频率响应函数．接着，利用非线性参数变换将此频率响应函数变换为系统参数的线性函数，在此基础上用最小二乘法识别系统的参数．最后，通过数值模拟检验了方法的精度．     

半分离空间的映射性质

将分离公理推广为半分离公理，讨论了半分离空间在同胚映射、强半开映射、弱半开映射、半开映射和弱连续映射下的有关性质。     

一类非线性波动方程解的存在惟一性

证明了一类非线性波动方程解的存在惟一性。首先利用Galerkin法构造了近似解序列，然后利用一致先验估计，证明解序列的收敛性，从而得到解的存在性，在此基础上证明了解的惟一性。     

关于弱J-空间的一些性质

目的　研究弱J 空间、半弱J 空间及其乘积空间和J 空间的锥空间的一些性质。方法　在前人研究J 空间的基础之上,用类比的思想以及构造新空间(乘积空间与商空间)的方法来研究与弱J 空间有关的一些性质。结果　得到了有关弱J 空间和半弱J 空间的一些等价命题及乘积性质,也得到了J 空间的锥空间的性质。结论　①设{X1,X2,K}是空间X的闭覆盖并且满足K紧,X1∩X2= ,则X是弱J 空间当且仅当X1和X2是弱J 空间,且X1或X2紧;②判断乘积空间X1×X2是弱J 空间的一些充分必要条件;③如果X是连通的J 空间,那么Δ(X)是半弱J 空间。     

弱Fan Ky点与不具连续性条件的函数的极大极小不等式定理

基于弱Fan Ky点的概念，不具任何连续性条件的函数弱Fan Ky点的存在性，给出了几个极大极小不等式定理，所得结果将著名的Fan Ky不等式定理推广至不具连续性条件的情形。