煤矿工程出水预测主要方法探讨

随着煤矿生产逐渐向深部发展，煤矿水害事故对煤矿安全生产的威胁越来越严重。本文由简到繁地介绍了有效地预测煤矿涌水量的地下工程出水预测的考虑多场耦合的几种主要方法，包括考虑渗流与应力耦合的解析法、考虑渗流与应力耦合的经验解析法，考虑渗流与应力耦合的数值方法．考虑渗流-应力-温度耦合环境的数值方法和基于反演分析的考虑渗流-应力-温度耦合环境的数值方法。     

A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

港口通过能力模拟模型的研究

通过对港口通过能力系统的动态分析，应用ＧＰＳＳ系统模拟语言，建立港口通过能力系统的动态模拟，结合生产实际对系统初始条件进行有目的调控，经过多次运行，找出密切相关的因素，最终达到确定港口合理通过能力的目的，为实现对港口生产的组织、指挥、控制与调整提供决策依据和方法。     

电视逆程数据广播的原理与应用

详细介绍了电视逆程资源用于数据广播的原理与现状，探讨了电视逆程资源新的利用方式，计算了电视逆程进行数据广播的潜力。利用电视逆程作为交互电视的先导，采用了一种简单的设计方案，满足了图文电视节目的视频点播。     

信息化陆战场多传感器系统可靠性模型

信息化陆战场上,多个传感平台(装备)综合集成为多传感器系统以实施信息收集与融合,故需要对其可靠性模型问题进行探讨。采用将战术任务转化为技术体系结构的方法,从系统及其组成部分的工作原理和功能关系出发,提出了多传感器系统的作战体系结构和功能体系结构,并在故障描述的基础上,建立了其可靠性框图与可靠性数学模型。对多传感器系统进行的可靠性预计与分配,表明该可靠性模型可以应用于可靠性研究、分析和设计中。     

水稻苯达松敏感致死基因的RAPD标记的克隆及测序

用3S Spin DNA Agarose Gel Purification Kit试剂盒将与水稻苯达松敏感致死基因相连锁的RAPD遗传标记S20—420和S316—600回收纯化，连接于pGEM—T载体并克隆测序，得到了S20—420和S316—600的全序列，其长度分别为423bp、606bp．将两端序列设计特异PCR扩增引物可用于检测水稻苯达松敏感致死基因和标记辅助育种．     

面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。