摘要：列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。

摘要：为了满足现代军事对于瞄准镜的需求,设计了一种高视放大率军用瞄准目镜,分析了大倍率目镜的像差特性和设计难点,选择使用正-正-负的结构形式。在Code V软件中进行了仿真和优化,最终设计的系统视放大率为16×,焦距为15.62 mm,出瞳直径为6 mm,出瞳距离为25 mm,靶面尺寸为1/3″,系统总长40.4 mm。结果表明,系统在40 lp/mm处的MTF均达到0.2以上,全视场内的畸变小于5%,满足目镜光学系统像质要求。

摘要：给出了一种用于非制冷光学读出红外探测器的核心器件———双材料微悬臂梁阵列的设计和制作.微梁阵列是无硅基底的S iNx/Au双材料单层膜结构,其制作工艺简单、可以直接放在空气中成像.实验使用了设计制作的140×98微梁阵列和高信噪比的12-b it CCD,得到120℃以上的物体热像,噪声等效温度差(NETD)为7K左右,实验结果与热机械模型预测结果一致.

摘要：针对污水处理过程中进水水质波动问题,在进水质量流量、进水波动周期一定的情况下,采用矩形波为波动类型,通过Fluent软件对水泵强制循环式调质池的调质过程进行数值模拟,分析不同回流比和回流配水管高度对调质池调质效果的影响。结果表明:回流比是影响调质池调质效果的主要因素;随着回流比的增大调质功能系数呈现“先剧增后趋稳”的趋势,在“快速增长区”内,当回流比由0.16增大至1.00时,调质功能系数相应从0.72增长至0.82;进入“缓慢增长区”后,回流比继续增至6.00,则调质功能系数增至0.92,可以得出回流比越大,调质效果越好,但进入“缓慢增长区”后,回流比对调质效果的影响减弱。回流配水管高度的变化对调质池的调质效果无显著影响;当配水管高度在50~350 mm之间变化时,调质功能系数在0.81~0.85之间波动,变化幅度仅为3.7%,回流配水管高度为350 mm时,因回流配水管接近出水口而增强了出水口区域的水体混合和水流流速,调质功能系数相对较大(0.843)。若需提升调质池的调质效果,应优先选择调整回流比,研究成果可为水泵强制循环式调质池的设计与运行提供相应的理论依据。

摘要：对警察组织或个人进行绩效评估,是对警察组织及其成员工作产出的肯定与否定,也意味着评估结果可能对警察组织及其领导或成员的需求给予或剥夺。评估主体的多元化有利于利益与价值的均衡。为获得警察绩效的科学评估和结果,就必须构建起一个多元化的警察绩效评估体系,让警察产品的设计者、生产者、使用者及其利益相关者等,一起参加到评估体系中来,达成一种利益均衡的体系。

摘要：粒重是小麦产量构成三要素之一,而粒重与籽粒大小高度相关。因此,开展籽粒大小相关的研究对小麦高产育种具有重要意义。小麦TaGS2基因正调控籽粒大小和粒重。为进一步探索该基因等位变异情况,本研究利用黄淮海麦区268个小麦品种,根据TaGS2三个同源基因的基因组DNA序列设计特异引物,利用PCR扩增技术对其进行了鉴定。结果发现在部分品种中TaGS2-2B基因组序列第4外显子3002 bp位有“CTT”3个碱基的缺失,导致其编码蛋白第306位苯丙氨酸(F)缺失。分别将TaGS2-2B基因无和有“CTT”缺失的变异类型命名为TaGS2-2B-a和TaGS2-2B-b。不同基因型小麦品种的籽粒性状比较分析发现,TaGS2-2B-a基因型品种的千粒重、粒长、粒宽、籽粒面积和籽粒周长均显著高于TaGS2-2B-b基因型品种。本研究结果为小麦品种千粒重的提高提供了一种优良基因型信息。

摘要：磁悬浮转子的结构设计对其工作温度的高低及分布有很大影响。研究其工作温度场与结构设计之间的关系,建立三维的磁悬浮转子温度场的数字模型,可为磁悬浮转子系统的结构设计提供可靠的依据,并且为研究温度对磁悬浮转子工作特性的影响建立进一步研究的平台。以高速磁悬浮铣削转子为实例,利用红外热像仪测量它空载旋转时温度场分布,用计算机图像处理软件,从红外热像图中获取该温度场的温度值数据,通过滤波及数据处理在二维红外热像图形基础上建立了磁悬浮转子三维温度场的数字模型。在此基础上,研究了磁悬浮转子结构设计对温度场的影响。

摘要：设计了一款适用于LTE和5G中频段的宽带双极化微基站天线。该天线主要由四部分组成:主辐射器,馈电巴伦结构,反射面和方形寄生贴片。其中辐射面上的圆形连接条产生多个电流路径,并引入额外的谐振点实现了阻抗匹配,同时方形寄生贴片有效扩展了高频段的带宽。实测结果表明,该天线具有50%(2.2~3.65 GHz)的阻抗带宽,反射系数小于-15 dB,端口隔离度大于28 dB。频段内的天线平均增益为8.2 dBi,天线E面的半功率波束宽度为65°±5°,交叉极化比大于26 dB。采用该天线单元构建了一种四元天线阵列。该天线及其阵列具有结构坚固、高隔离度、高增益和更小的物理尺寸等优点,可以作为LTE/5G室内基站天线的良好候选。

摘要：设计用于生物组织穿刺过程中进行实时电阻抗测量的电极,并研究其对电阻抗测量结果的影响。设计一种同心圆状排列的双电极结构,分别改变正、负极面积和两极间距离3个参数进行生物电阻抗测量。结果显示:正极面积和两极间距离与测量结果呈线性变化,负极面积与测量结果呈非线性变化。在人体组织进行穿刺的过程中,建立的同心圆状排列的双电极结构能较为精确地测量即时生物电阻抗值,负极面积的微小变化将对阻抗测量结果产生较大的影响。

摘要：推导了基于角增量和角速率的两种旋转矢量算法(RVA)及其计算误差,并从理论上分析、比较了两种RVA及其圆锥补偿误差(CCE);在不考虑传感器误差情况下,对两种算法的CCE进行了基于典型圆锥运动的仿真。结果表明,两种RVA的CCE由采样频率和圆锥运动频率的比值定量确定:当比值大于1 000时,相同子样数的两种算法的CCE相等;两种RVA具有圆锥误差补偿效应的范围为该比值介于3和1 000之间。在该有效范围内,CCE随比值的减小而单调增大,并且相同子样数的两种算法的CCE随着子样数的增大而趋于相等;当比值小于等于3时,两种算法的圆锥误差补偿效应同样减弱。从而得出两种算法的圆锥误差补偿效应的近似等效性。对于捷联惯组的设计、RVA的选择及其在惯组高动态环境下的应用具有一定指导作用。