水稻中籼型光温敏核不育系EK1S的选育与应用

水稻(Oryza sativa L.)EK1S是用E农2S做母本,育种亲本材料Q09-39为父本杂交,通过自然条件和低温池加压选择,经过7年2代的定向培育,选育的具有不育起点温度较低、株型好、米质优、易繁殖、好制种的中籼型光温敏核不育系。初步测配组合表现出杂种优势强、株叶形态理想、米质较优等特点。利用该不育系配制的组合正在参加各级产量试验。

他连A都知道——认知逻辑EK1-EK3

首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。

沧东凹陷孔一期构造活动的沉积响应

钻井资料的缺少限制了对沧东凹陷孔一段构造与沉积的关系研究。利用地震属性技术,结合测井数据和三维地震剖面,对沧东凹陷孔一段构造与沉积特征进行分析与解释,结果表明:孔店凸起、沧东断层和火山作用是影响孔一期沧东凹陷演化的主要构造活动,其中,前两者直接控制着凹陷的发展。受构造活动影响,缓坡带与陡坡带2种构造样式存在于凹陷东西两侧,凹陷内部构成了3个沉积区:缓坡带沉积区、陡坡带沉积区及凹陷沉降中心沉积区。缓坡带主要沉积辫状河三角洲,砂体类型主要为辫状河道、河口砂坝沉积;陡坡带主要发育冲积扇和扇三角洲,砂体类型主要有扇体上发育的河道沉积及河口砂坝沉积;凹陷沉降中心是半深湖—深湖相沉积。沧东断层与孔店凸起是孔一期沧东凹陷构造演化的主控因素,更是控制凹陷沉积环境与沉积相类型及砂体空间展布特征的决定性因素。

基于运行特性的港湾式公交站延误时间研究

基于车辆运行特性,从时空和微观的角度,运用概率论、运动学原理和M/Ek/1(N)排队模型,对港湾式公交站车辆的延误问题进行研究.将公交在港湾站台的延误按阶段分类并定性分析延误的主要影响因素,分析公交车辆进出站台及在站台内外运行过程和机理,构建公交进站延误时间、停靠延误时间及出站延误时间模型,推导单泊位和多泊位站台的公交延误模型.采集长沙市雨花区4个站点的公交运行数据,绘制延误变化趋势,并将计算值与实测延误时间进行比较,分析影响因素.结果表明,公交在港湾式站台的延误随公交到达率增大呈指数增长,随上下车乘客数增多呈对数函数增长,随相邻车道流量增大呈递增的抛物线增长.

Erlang分布排队系统的性能灵敏度仿真估计及其应用

通过分析具有Erlang服务分布的排队系统的稳态性能灵敏度问题 ,给出一种基于其嵌入Markov链来计算势能及性能导数的算法 .并用通信网络中的一个实例进行仿真 .由于此算法基于分析系统的一条单一样本轨道 。

M/E_k/1排队模型研究

首先运用C0-半群理论证明M/Ek/1排队模型有唯一的概率瞬态解,然后研究对应于M/Ek/1排队模型的主算子的谱特征,最后得到在一定的条件下该模型的时间依赖解强收敛于该模型的稳态解.

关于排队过程M/E_k/1的几个结论

作为排队过程M／G／1的特殊情况，本文证明了排队过程M／Ek／1在平稳性态下有关队长，等待时间及代期的几个结论，从而完善了该系统的理论体系．

M/E_k/1排队系统的最优流控制

通过两种经典方案,即非合作最优化方案和合作最优化方案,对M/E_k/1排队系统的最优流控制问题进行研究.在这两种方案下,给出了最优流控制的解,并对解的性质进行分析.