半线性椭圆问题的非精确自适应有限元方法

考虑一类半线性椭圆问题的非精确自适应有限元方法.该算法在初始网格需要精确求解,而在其余网格只需要对上一步的近似解进行一次牛顿更新.利用有限元方法的精确解和非精确解之间的超逼近性质,给出该方法的先验和后验误差估计,最后通过具体算例来验证该理论的正确性和该方法的有效性.     

微分方程的反序上下解方法

利用反序上下解组合单调迭代技术,讨论了一类带积分边界条件的微分方程解的存在性问题,得到了几个新的存在性定理.     

Analysis for MIMO correlated frequency-selective channel in the presence of interference

The space time spreading, superimposed training sequences, and space-time coding are used to present a multiple input and multiple output （MIMO） systems model, and a closed-form of average error probability upper bound expression for MIMO correlated frequency-selective channel in the presence of interference （co-channel interference and jamming signals） is derived. Moreover, the correlation at both ends of the wireless link that can be incorporated equivalently into correlation at the transmit end is also derived, which is significant to analyze space-time link algorithm of MIMO systems.     

SAR图像目标增强模型最优性能分析

研究用于SAR图像目标增强的lk范数正则化方法的最优性能.从有偏参数估计的统计性能极限角度,将达到渐进最小总方差的参数估计看作目标增强的最优效果.根据Bayes框架以及罚最大似然估计原理,研究了达到最优性能时正则项需满足的条件,该条件与图像大小、信号统计分布以及观测数据噪声方差有关,可为模型设计与迭代算法设计提供依据.并证明了仅当噪声方差较小时lk范数约束才能使得处理结果达到该最优估计性能.仿真实验验证了该结论的正确性.     

An improved branch-and-bound algorithm to minimize the weighted flowtime on identical parallel machines with family setup times

This article investigates identical parallel machines scheduling with family setup times. The objective function being the weighted sum of completion times, the problem is known to be strongly NP-hard. We propose a constructive heuristic algorithm and three complementary lower bounds. Two of these bounds proceed by elimination of setup times or by distributing each of them to jobs of the corresponding family, while the third one is based on a lagrangian relaxation. The bounds and the heuristic are incorporated into a branch-and-bound algorithm. Experimental results obtained outperform those of the methods presented in previous works, in term of size of solved problems.     

多变量网络控制系统建模与稳定性分析

研究了一类多变量网络控制系统的建模和稳定性问题,基于线性时不变对象,推导了该类网络控制系统的时滞连续时间数学模型,并利用李雅普诺夫第二法,分析了系统的渐近稳定性,得到了系统稳定运行的最大允许时延和全时滞稳定的条件。最后,通过实例仿真分析证实了本文所提理论的有效性,以及稳定判据的可行性。     

煤层顶板砂岩高温下超声传播特征分析

通过对鹤壁矿务局煤层项板砂岩试件在高温状态下和高温冷却后的超卢波测试,揭示了砂岩在高温状态下和高温冷却后的超声波传播随温度的变化规律,从声速、振幅和主频几个方面研究了在高温状态下和高温冷却后煤层顶板砂岩内损伤裂纹的发展变化过程。试验结果表明,在高温状态下和高温冷却后,振幅对岩石裂纹状态敏感程度大于声速和主题,振幅和声速随温度变化的曲线上存在着一骤降点,但各自反映的温度点有差异。其研究成果埘煤炭地下气化炉围岩在高温下的节理裂隙演化过程、组构和力学特性研究具有重要的作用和意义。     

Her X-1是中子星吗?

本文通过对Her X-1的X-ray观测结果和其他中子星X-ray时间变化特征和X-ray谱特征分析,对Her X-1是中子星提出质疑.并根据"电子-离子束缚态及其引发核过程"(简称:电子-离子束缚态)假说,时照太阳耀斑机制,认为Her X-1的辐射可能是它的伴星HZ-Her的耀斑.     

消除增长上限制约的管理对策生成法——-以银河杜仲区域规模养种生态能源系统发展为例

社会经济复杂系统中存在大量增长上限问题,刻画此问题的增长上限基模是由正反馈环、 负反馈环和延迟构成,其中负反馈环存在抑制系统不断发展的制约作用. 针对负反馈环产生制约作用的根本原因是存在起制约作用的负因果链, 首先基于对负因果链所属负反馈环中极大开环的结构特征分析, 遵循极大开环中输入变量改变量小于零的原则生成初始对策集, 接着根据复杂系统发展的多目标筛选得到目标筛选初始对策集, 再根据对策的实际实施条件筛选获得可操作的管理对策集, 然后仿真验证双筛选得到的管理对策的有效性.以银河杜仲区域规模养种生态能源系统发展为例, 基于2008-2010年的历史数据和其他实际信息,建立含七个核心变量的增长上限基模,利用此方法生成三条可操作性的管理对策. 以核心变量为基础,建立六棵流率基本入树,建立仿真模型.然后,定量仿真分析了消除增长上限制约的管理对策生成法的实施效应, 实现了从定性至定量综合有效分析,为实际系统发展提供决策依据,验证了此消除增长上限制约管理对策生成法的有效性.     

具有较小最大度的临界图边数的下界

运用Discharge法给出了不含2点和3点的6临界图及不含4点和5点的7临界图边数的下界．