基于梯度的步进自动跟踪方法

首先介绍了步进自动跟踪的两种常用方式及其所面临的问题，在此基础上提出了基于梯度步进的最佳路径搜索方法。仿真表明：本文提出的算法，在不影响精度的条件下，运算简单，减少了步进次数。     

基于DFL的拦截导弹非线性导引律研究

在研究拦截导弹质心运动特点以及考虑一些实际因素的情况下，建立了一种拦截导弹系统的二维简化运动模型，并给出了该模型的状态方程一般表达式。根据这一状态方程的表达形式，应用非线性系统的直接反馈线性化（DFL）理论，得出了一个导弹加速度的线性补偿律，并根据该线性补偿律和PN导引律，设计出了一种基于I／O描述和PN导引律综合的变结构控制律。本文的末尾给出了应用该综合控制律的一些仿真结果，这些仿真结果表明：该控制是拦截导弹导引的一种有效处理方法，所设计的系统具有良好的跟踪性能，具有一定的研究应用前景。     

返回式卫星回收片盒壳体成形与缺陷消除

文章介绍了返回式卫星回收片盒壳体拉伸成形过程中平板毛坯设计、工艺参数、中间工序热处理工艺规范及产生缺陷的消除方法。     

基于虚拟寄存器的控制流错误检测算法

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR（Control Flow Checking Basedon Virtual Register，基于虚拟寄存器的控制流检测）对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器，然后基于这些虚拟寄存器添加特定的控制流28．7％的性能代价和平均检测指令。这些指令可以检测模块间的控制流错误，所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均31．3％的存储代价，而对于控制流错误检测率平均为97．1％，优于目前已存在的各种方法，能够提高航天软件容错能力和可靠性。     

保护气体成分对大电流脉冲MAG焊焊接参数的影响

研究了直流反极性脉冲ＭＡＧ焊在不同配比的Ａｒ＋ＣＯ２，Ａｒ＋Ｏ２时，电弧的静特性、脉冲参数以及形成脉冲旋转喷射过渡临界规范值的变化。结果表明，气体万分及配比不同时，电弧特性曲线位置不同，在其它条件相同的情况下，Ａｒ＋２％Ｏ２的脉冲电流最高，最易形成脉冲旋转喷射过渡；Ａｒ＋２０％ＣＯ２的脉冲电流最低，不能形成脉冲放置喷射过渡。     

交变载荷下金属材料的损伤描述

为恰当描述介质的损伤状态,本文针对金属材料在交变载荷作用下其刚度不断下降的事实,建立了对于该现象的数学表达式,并据此,以及连续介质力学的客观性原理,讨论了使得金属材料的单变量疲劳损伤模型成立的充分必要条件,从而为该模型的有效性提供了理论基础与可行性判据。     

高职高专专业CAD教学改革小议

论文针对高职高专专业CAD教学中存在的问题,提出以就业为导向,运用多种教学手段,扩展教学内容,实施任务教学法等改进措施,使学生提高职业技能,适应相关行业信息化发展的要求.     

战损飞机纵向气动特性分析

作战飞机的易损性分析是其生存力设计与评估的基础问题之一,目前国内外对于战损飞机气动特性的分析评估问题研究较少。以某型战斗机为研究对象,分别建立了其在破片和离散杆两种战斗部打击下的损伤模型,基于N-S方程数值模拟的方法,计算并对比分析了巡航状态下,该飞机两种损伤模型及其无损伤模型纵向气动特性的差异,结果表明,相对于破片战斗部,离散杆战斗部所造成的损伤对飞机纵向气动特性的影响更为显著。结论对于战损飞机杀伤准则的确定具有一定的参考价值。     

SIP协议的形式化分析与验证

文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.     

依托学会 注重服务 提高高职学报整体办刊水平——陕西省高职高专教育学会学报工作委员会学术活动综述

陕西省高职高专教育学会学报工作委员会，依托陕西省高校学报研究会、全国高职高专学报研究会等行业学会组织，团结本省高职高专院校学报20多个会员单位，根据会员学报办刊现状和实际需求开展学报编辑规范化建设、学报编辑学研究和学术讲座等一系列学术活动，注重学会服务功能，推动以特色栏目为主要特征的高职高专学报创新实践，有效地提高了陕西省高职高专院校学报的整体办刊水平。