CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

数字式射击瞄准计算机设计与实现

某型射击军械系统的射瞄计算机原采用模拟机电式技术实现,存在体积大、功耗大、可靠性及可维护性差等缺点,因此,使用数字式计算机技术对其进行升级改造势在必行.本文首先对原系统的火控原理及火控构型的进行了分析;其次,介绍了射击瞄准计算机的对外接口关系.重点介绍了数字式射击瞄准计算机的采样解算时间的确定、计算方法的选取及接口设计等内容.本文所设计的数字式射击瞄准计算机已通过了系统验证并得到了使用,克服了原有系统所存在的固有缺点.文中的设计思想与所用的工程方法对类似武器系统的升级改造有所借鉴.     

求解装箱问题的遗传算法

本文提出了两种求解装箱问题（ＢｉｎＰａｃｋｉｎｇ）的遗传算法。一种是简单遗传算法,它采用等长度字符代码编码方法,使用常规的遗传操作算子。另一种是混合遗传算法,它综合运用解装箱问题的ＦＦＤ（ＦｉｒｓｔＦｉｔＤｅ－ｃｒｅａｓｉｎｇ）近似算法和简单遗传算法。试算结果表明,由这两种遗传算法所得到的装箱方案较一些近似算法所得到的装箱方案都要好。     

热惯性对热冲击半无限体热应力影响非傅立叶效应研究

考虑超快速加热引起传热过程的非傅立叶效应,基于线性热弹性理论和表面热惯性特性,建立了带惯性第一类边界条件的半无限体的动态温度场、热应力场方程组。用拉普拉斯变换法对方程组进行求解。结果表明,快速加热在半无限体内产生温度场和应力场,且热和应力呈波动输运机制。讨论了温升率或热惯性对半空间温度场和应力场的影响,比较弹性波波速与热波波速之比动态热应力的影响。     

空气压强对激光推进器冲量耦合系数影响

设计并加工了激光推进器实验模型,以空气为推进工质,利用脉冲式CO2激光器,研究了空气压强对激光推进器冲量耦合系数影响。实验结果表明,空气压强对激光推进器性能有显著影响。在文中实验条件下,当空气压强大于6 kPa时,激光推进器冲量耦合系数随压强减小而减少较慢;当空气压强小于6 kPa时,激光推进器冲量耦合系数随压强减小而减少很快。     

串口通信实现实时数据高速采集

本文介绍了在Windows平台下串行通信的实现方法,讨论了用Visual C 提供的串行通信控件Mi-crosoft Communications Control处理利用多媒体定时器定时发送指令的数据通信处理方法,实现对三维物体扫描仪的扫描数据进行实时采集。     

小波变换在遥测信号检测中的应用

为了更好地分析和处理弹载固态记录仪所记载的助推火箭在发射时对弹体的冲击和振动信号，本文利用小波变换所具有的空间局部化性质，在对原始采样数据的奇异性及奇异性位置和奇异度的大小的分析中，以及在导弹型号试射实验的后视数据分析中，取得出了良好的分析效果。     

受激光控制分解式固体微推力器内流动特性研究

建立了描述激光控制分解式固体微推力器内流动特性的计算模型,对激光微推力器内流动进行了数值计算,计算值与实验结果吻合较好。分析了气体粘性和压强对激光微推力器内流动特性的影响。结果表明,微推力器内流动受低压、小尺寸的综合影响,喷管喉径小于0.8 mm时,气体粘性对推力器性能影响显著增强;提高推力器内压强是减小粘性影响的一种有效手段。     

掺磷纳米硅薄膜的微结构

采用喇曼(Raman)散射谱、高分辨率电子显微镜(HRTEM)和原子力显微镜(AFM)对掺磷纳米硅薄膜的微结构进行了分析,并对纳米硅薄膜的传导机制进行了探讨.结果表明:掺磷纳米硅薄膜由尺寸为2～4*#nm的晶粒和2～3个原子层厚的非晶界面构成,计算得到薄膜的晶态比为40%～55%.与本征纳米硅薄膜相比,掺磷纳米硅薄膜晶粒尺寸和晶态比没有明显变化,电导率却提高了2个数量级.随着掺磷浓度增加,纳米硅薄膜的晶粒尺寸、晶态比及电导率逐渐增大.AFM观察表明掺磷纳米硅薄膜由尺寸介于15～20*#nm的团簇构成,团簇排列具有带状特征.     

基于冗余伪观测的自适应滤波算法

现有的二阶互差分(SOMD)算法能够给出与状态估计误差解耦的观测噪声协方差估计，但是需要满足冗余测量的条件，但这一条件往往难以满足。 针对这一问题，提出了一种利用状态预测值构造相邻2个时刻伪观测的方法，将原SOMD算法扩展到具有单测量的系统中。使用目标跟踪问题对该算法的有效性进行验证。仿真结果表明，当采样周期较小时，该算法能够忽略状态估计误差的影响并给出较准确的观测噪声方差，在精度和鲁棒性方面优于其他参考算法。