关于Linux内核可抢占性方法研究与实现

标准Linux内核是不能被抢占的,致使调度延迟较大,这是导致Linux系统实时性不强的主要原因,对Linux内核不可抢占性进行了深入分析,阐述了两种降低调度延迟的方案：低延迟方案和内核抢占式方案,并对这两种方案进行了测试与分析。     

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

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

网格中数据并行流水线的任务指派优化

为了缩短网格中数据并行流水线在吞吐率受限下的延迟,提出了一种优化任务指派的算法.在一个流水线中,每个任务都可以是一个数据并行程序.当多个任务被指派到同一个并行系统时,假设每个任务排他地使用一组处理机.根据优化目的,优化过程可分成连续的两个阶段,即提高吞吐率和缩短吞吐率受限下的延迟.对不同的优化阶段,用不同的启发式算法确定一个并行系统中每个任务的处理机数.改派任一任务都会使流水线的性能发生变化,性能提高的幅度被称为任务优先级.通过重复改派优先级最高的任务,流水线的性能可迅速提高,这在仿真实验中已得到了证实.     

非线性多延迟微分方程单支方法的稳定性

本文对[1]中初值问题条件改造后，给出了非线性多延迟微分方程的单支方法GR-稳定的一个充分条件，并将[1]的部分工作推广到了多延迟的情形，获得了较好的结论.     

单事件法建立渣油热裂解的反应动力学模型Ⅰ.主反应网络的计算机生成

根据渣油热裂解反应的规律及单事件方法的基本原理，以延迟焦化为背景，将2，5—二甲基—壬烷作为模型化合物，介绍了如何通过使用布尔邻接矩阵和辅助向量来表示分子结构及分子的热裂解反应，并在此基础上建立单分子的主反应网络。结果表明：单事件方法在计算机上建立单分子的主反应网络是快速而有效的，进而为建立分子尺度的延迟焦化反应动力学模型奠定了基础。     

大地震成因的"电离层+地下核燃烧"假说

本文提出了大地震成因的"电离层 地下核燃烧"假说.从大地震根源开始,到大地震发生共包括15个环节,比较具体地解释了大地震的发生机制.此外,本文还提出了火山和大地震同一成因说,顺便解释了火山爆发的成因这一科学难题;提出了地下自动冶金说;提出了石油天然气地下化学反应自动生成说,并据此提出了寻找油气田的新的指导原则;提出了行星有可能自动爆炸毁灭说.本假说也使与板块构造有关的三个假说都没有存在的必要了.     

地球物理武器:解读HAARP

大部分人可能认为地球物理武器就是地球物理仪器(如测量重力、磁场和电场的仪器)在战争和军事上的应用.如探测地雷、水雷、潜艇;检测导弹、飞机、舰船、卫星和士兵活动;以军事为目的的各种物探、遥感资料的解释;以及地球物理在核电站、军事基地和各种军事工程建设中的应用等.     

中性风对暴时电离层影响的研究

从电离层等离子体动力学方程出发,研究了磁暴期间中性风对中低纬度电离层的影响.通过计算机模拟发现:中性风能够对暴时电离层等离子体的垂直向上漂移产生抑制作用,并延迟电离层F层底部"抛空"的形成;不论采用哪种中性风模式,磁暴都会对较低纬度的电离层产生更大的影响.     

隐马氏模型中的标量估计

通过测度变换的方法构造一个概率空间,利用观测变量在该构造空间中独立的性质,研究了一类在实际中应用广泛的隐马尔可夫模型———零延迟隐马尔可夫模型;然后通过测度的逆变换,将构造空间中得到的结果返回到实际的空间中来,克服了通过半鞅的方法得到标量估计的困难。最后给出了零延迟隐马尔可夫模型中标量估计的一般公式,并且应用该公式给出了状态、跳跃次数、状态到达次数等标量估计,以阐明该方法的应用。     

非线性中立型延迟微分方程Runge-Kutta方法的稳定性

对Rα,β类非线性中立型延迟微分方程给出了稳定及渐近稳定的充分条件,对于Runge-Kutta方法应用于上述问题得到的数值方法，获得了其稳定及渐近稳定的条件。