线性语言和顺序语言关于置换的判定问题

S.Ginsburg和G.F.Rose在[1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在[1]和[3]中找到。     

材料色散对全固态带隙光纤带内色散的影响

全固态光子带隙光纤已开始用于产生超连续谱,其带隙效应可以控制超连续谱的范围,但是带内的色散特性对于超连续谱的产生有着重要的影响.采用平面波法计算了同一带隙光纤不同阶带隙内的色散曲线和不同带隙光纤同阶带隙内的色散曲线,零色散波长在带内相对位置与带隙位置密切相关,在长波长区域,零色散点位于带隙的短波边;在短波区域,零色散点...     

带减振器机抖激光陀螺惯性测量单元标定方法研究

由于减振器会产生形变,使得带减振器的机抖激光陀螺惯性测量单元(IMU)不能使用由精密转台提供姿态基准的标定方法进行标定.提出了一种带减振器的机抖激光陀螺IMU标定的新方法,该方法先将IMU固联在精密转台上,不启动陀螺,依靠转台提供姿态参考标定出加表各误差参数;在此基础上装上减振器,设计了IMU陀螺误差参数标定路径,根据...     

一种基于移动基站的无线传感器网络数据收集方法

针对传统的无线传感器网络数据收集协议大多受制于发生在基站周围的热点问题,提出了一种使用移动基站的数据收集方法.将数据收集问题转化为支配集构造和旅行商问题,并提出了一种分布式的支配集构建算法,结合旅行商问题的近似算法生成基站的移动路线.仿真结果表明,所提出的方法减少了通信消耗,且能使负载均衡地分布.     

基于敏感性分析的DF化学动力学模型的简化

基于两种燃料体系下的DF详细化学反应动力学模型,利用敏感性分析的方法,分别提出了相应的简化反应机理.简化过程中发现,仅考虑DF“冷反应”泵浦过程,忽略掉高振动激发态,忽略掉D2和DF分子的离解复合反应对整个系统影响不大.DF分子之间以及DF与D、D2、HF之间的能量转移反应具有较高的敏感性.简化机理在有效概括DF化学反...     

N2O/C7H8单喷嘴燃气发生器试验研究

以基于N2O/C7H8的燃烧驱动混合型气动CO2激光器点火试验为研究背景,设计了液态N2O供应系统及N2O/C7H8单喷嘴燃气发生器.对液态N2O供应系统、N2O/C7H8的点火及燃烧性能进行了研究.试验结果表明:设计的N2O供应系统能够实现液态N2O的稳定供应;在设定的时序下,两个设计工况(余氧系数分别为0.3和0....     

一种RS码快速盲识别方法

为了获取数字通信中未知线路的纠错编码信息,提出了一种RS码快速盲识别方法.通过对RS码的二进制表示进行码根求解的方法来检测未知线路的RS码长、本原多项式阶数以及可能的本原多项式;进而遍历得到的本原多项式对RS序列进行伽罗华域的傅里叶变换(GFFT),通过连零位置和个数最终确定未知线路的真实本原多项式和生成多项式.实验验...     

粗糙模糊C均值融合聚类

提出一种新的粗糙模糊C均值融合聚类算法,该算法通过粗糙集上、下近似的引入改变了模糊C均值算法中隶属度函数的分布情况,修正了类心的更新公式和模糊隶属度计算公式,降低了计算复杂度,在改变模糊隶属度分布的同时,通过使得每一类总的隶属度变化保持最小,进一步提出了边界调节参数的自适应选择算法,实验结果表明,粗糙模糊C均值融合算法...     

面向装备健康管理的可测性指标研究

可测性指标是开展可测性设计、验证和评估的依据.针对传统可测性指标主要用于故障可检测性和故障可隔离性水平评价,不能全面反映面向装备健康管理可测性水平的问题,在定性分析装备健康管理对可测性的本质需求基础上,从全域和瞬态角度提出了五个可测性指标以定量描述面向装备健康管理的可测性水平;并基于故障模式状态矢量给出了可测性指标的分析计算流程.最后以某装备柴油机的机体子系统为案例详细说明了可测性指标的计算过程,应用结果表明所提指标具有一定的可行性和合理性,可以有效指导面向装备健康管理的可测性优化设计.     

红外发射率可变材料在航天器热控技术中的应用

基于热致变色和电致变色的可变发射率涂层或器件由于其重量轻、体积小、能耗少、调控灵活等优点在航天器热控技术中具有极大的应用前景.红外发射率可变材料是可变发射率涂层或器件的核心,主要有电致变发射率材料和热致变发射率材料两类.分析了红外发射率可变材料在航天器热控中应用的原理,重点介绍了钙钛矿型复合氧化物(A1-xBxMO3)、二氧化钒(VO2)、三氧化钨(WO3)、导电高分子(CPs)等四类典型红外发射率可变材料应用于航天器热控的研究进展.根据航天器总体和热控技术的发展需求,指出了未来航天器热控用红外发射率可变材料的发展趋势.