静止轨道星载差分吸收光谱仪CCD成像系统设计

静止轨道卫星差分吸收光谱仪采用摆扫成像方式对大气进行探测,针对其工作时CCD成像系统信噪比大于1 000、高速探测模式下探测周期小于10min、高分辨率模式下探测周期小于1h的要求,进行CCD成像系统设计.选取CCD47-20作为探测器,设计成像电路实现光谱图像信号的采集和上传.分析了帧叠加和像元合并对时间、空间分辨率的影响.结合帧转移CCD的特点设计了每个位置最后一帧读出时摆镜转动的成像方式,并合理设置了帧叠加数和像元合并数,达到优化成像周期的目的.1s曝光时间条件下,该CCD成像系统的高速、高分辨率模式探测周期分别为515s和3 315s,图像信噪比均大于1 000,污染物观测实验中未出现失帧或重复的现象.该CCD成像系统方案满足静止轨道星载差分吸收光谱仪的探测需求,为静止轨道环境监测仪器设计提供参考.     

多种时序模型的建模比较

本文通过不同的时间序列模型对同一批数据的建模及预报，在不同的模型间进行了比较，并且根据原始数据的性质指出了一些时间序列模型的适用范围，     

高压直流断路器测控装置的设计与试验分析

直流输(配)电是目前电网发展的趋势,而高压直流断路器的研发是影响其发展的关键技术之一。测量与控制装置的研究是高压直流断路器的研发要点。采用高压电力电子器件,DSP+FPGA相结合的控制方式,对其测控装置进行研究分析,提出了区间阈值的控制方法及相应的控制时序,从高压直流输电、能源多样化的发展需求入手,将机械开关和固态开光相结合,设计了一套混合式高压直流断路器样机。通过对样机进行合分闸试验及故障分闸试验,证明了所研制的高压直流断路器样机具有分闸动作快,限弧能力强,动作一致性好等优点。     

基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

柱状装药预制破片缩比战斗部爆炸冲击波和破片的作用时序

针对柱状装药的周向预制破片战斗部,结合无量纲分析方法和爆炸驱动理论,确定了影响破片和冲击波相遇位置的关键参数,给出了由缩比战斗部推广预测原型战斗部爆炸产生的破片冲击波作用时序的方法。采用ANSYS/LS-DYNA有限元软件进行数值模拟,对比验证了理论分析和数值试验结果,分析了战斗部缩比比例对冲击波和破片作用时序的影响。结果表明:缩比模型与原型战斗部爆炸产生的破片和冲击波的相遇位置之比和相遇时间之比主要取决于两模型的质量比,在不考虑破片速度衰减时,两模型中载荷相遇位置之比和相遇时间之比等于其质量比的0.33次方。受破片速度衰减影响,该方法仅适用于质量缩比不小于0.2的模型。     

一种时序逻辑网络的快速设计方法

引用1984年尹克震提出的“开关函数的反演公式”,采用伪随机序列技术的思想,提出移位寄存器型时序逻辑网络的一种快速设计方法。     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

广义活动网络ETI支付进度计划问题的研究

优化ETI支付进度安排是消除承包商和业主由于进度安排原因而产生经济纠纷,实现双赢的最有效方法.本文分析了活动间广义时序关系的类型,建立了广义时序关系下活动间的约束关系;在考虑承包商和业主双方联合收益要求的基础上,提出了双方的净现值按同比例减小的折衷原则,构建了广义活动网络在ETI支付方式下的支付进度计划模型;最后通过一个算例进行了分析,验证表明该优化模型具有较好的有效性和实用性.     

用时空线分析多普勒效应

采用描述波源运动，观察者运动及声波在静止空气中以声速传播的三组时空线，用几何方法导出多普勒公式，并通过时空线相交分析多普勒效应中观察者接收声波信号的时序及周期，着重讨论了一般文献中未曾涉及的不同条件下多普勒效应的结果及其物理意义。