三十年来新疆双语教育研究回溯

三十年来，新疆维吾尔自治区实施国家对少数民族的双语教育政策，双语教育取得显著成效。新疆少数民族双语教育研究，可以1995年为界，分为启动期和理论深入期两个时期。三十年来，新疆双语教育研究队伍不断壮大，研究领域大大拓宽；研究视角更加多元；研究对象主要聚焦在双语教学与双语师资两个方面。新疆双语教育研究为双语教育的推进提供了有效的理论指导。     

轴向应力对铁磁材料磁极性影响研究

为研究外加应力作用下铁磁材料磁极性变化规律，制作Q235钢轴状静载拉伸试件，在MTS810型液压伺服试验机上进行正向或反向多级加载，采用EMS2003金属磁记忆仪检测拉伸过程试件表面磁记忆信号变化，分析加载顺序、加载次数及应力大小对磁极性影响。研究结果表明：同一加载方向上试件磁极性不变，加载应力大小决定磁极性强弱，正反方向加载试件产生相反的磁极性。同一加载方向、同一加载应力条件下，加载次数不影响磁极性；改变加载方向，加载应力需逆转磁畴结构取向，加载次数增多使磁极性略有增强。     

四轨电磁发射器电枢-轨道初始接触特性研究

电磁发射器中电枢轨道的不合理物理接触可能导致轨道的刨削、烧蚀和电枢转捩,进而影响电枢和轨道寿命。针对四极轨道电磁发射器电枢的结构特点,设计了基于过盈配合的电枢-轨道初始接触有限元模型,利用ANSYS进行了不同结构参数下的电枢-轨道仿真计算,获得了不同结构参数对初始接触特性的影响规律。为解决电枢尾部接触分离现象,设计了基于反向加载方式下挠度拟合的曲线电枢臂,仿真结果表明,轨道接触效率得到了提高,改善了电枢-轨道初始接触面的压力分布情况。     

目标定位和跟踪的卡尔曼滤波加 BP 神经网络的方法

首先分析了卡尔曼滤波应用于单目标定位与跟踪时需要校正的因素,接着用具有反向传播（ＢＰ）学习算法的前向网络,建立校正原理和校正网络体系结构,最后分别给出了它对第１类和第２类火控系统应用的数学模型。     

两型PFN脉冲功率电源放电特性研究

为对两种类型的多模块电容型脉冲功率电源放电特性进行研究,分析了放电过程中各主要功率器件的电气特性及电源对负载的放电效率,并针对I型PFN模块放电过程中反向电压不能释放的缺点,为脉冲功率电源设计了反向电压释放通道。仿真结果表明:二极管和晶闸管等器件的性能受电路拓扑及时序的共同影响,I型PFN对负载的放电效率比II型PFN更高,通过反向电压释放通道可将放电过程中产生的反向电压有效回收,以进一步提高放电效率。     

回溯推理的正确形式及其意义

现行的回溯推理理论与人们的推理实践是矛盾的,是违背人的认知实际的。本文给出的推理形式消解了这一矛盾,揭示了回溯推理结论或然性的真正根源,指出了获取正确结论的理论要求,对人们的回溯推理实践具有重要的指导意义。     

大型卫星地面站故障诊断的增强分层有向图方法

为了解决传统分层有向图模型在卫星地面站故障诊断面临的问题,提出了基于增强分层有向图模型的故障诊断方法。在建模过程中,考虑到卫星地面站故障征兆多、建模复杂,依据各设备工作状态的故障传播方式合并同类节点,以减小模型规模;同时,在模型中加入节点有效性使能函数,克服传统分层有向图模型中设备主备切换导致系统结构发生改变时需要重新建模的问题。在故障诊断推理过程中,采用反向回溯和正向推理相结合的方法减小故障源搜索空间,并基于各节点被搜索次数给出故障概率,提高诊断效率。以北斗卫星无线电测定业务地面站为例对单故障和多故障报警场景下的故障诊断方法进行了验证。结果表明,基于增强分层有向图模型的故障诊断方法可以提高故障诊断的准确率和全面性。     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

基于测试码并行的同步时序电路故障模拟方法

将组合电路故障模拟的一些加速技术推广到时序电路故障模拟中,提出并实现了一个功能块级的基于测试码并行的同步时序电路故障模拟方法,对部分ISCAS89 Benchmark电路的模拟结果表明,该故障模拟方法有较好的性能.     

提高MIMO系统容量的检测算法研究

为了满足通信容量的需求,在发射端和接收端设置多元素天线阵列构成多输入多输出系统,可以显著提高频谱的利用率.基于贝尔实验室提出的非线性迫零检测算法,提出了反向迫零检测算法.理论和仿真证明,在相同信噪比条件下,反向迫零检测算法获得的系统容量高于非线性迫零检测以及线性迫零检测算法.与奇异值分解算法相比,该算法虽然得到的系统容量有所减小,但是由于所需的运算量相对较小,因而易于实现.