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

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

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

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法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多个会员单位，根据会员学报办刊现状和实际需求开展学报编辑规范化建设、学报编辑学研究和学术讲座等一系列学术活动，注重学会服务功能，推动以特色栏目为主要特征的高职高专学报创新实践，有效地提高了陕西省高职高专院校学报的整体办刊水平。     

航空产品用户满意度回归模型研究

为克服航空产品用户满意度测评过程中自变量之间的多重相关性问题,利用偏最小二乘回归方法(PLS),建立航空产品用户满意度回归模型.通过主成分提取和还原计算的迭代,准确确定影响航空产品用户满意度的各要素对其用户满意度的贡献,完成用户满意度的回归预测,并以某型飞机用户满意度计算为例,验证了该模型的有效性和实用性.     

多个裁剪参数曲面的有限元混合网格剖分法

根据冲压模具形状特点,对由CAD/CAM系统建立的冲压模具的多裁剪参数曲面数学模型,提出了一种符合冲压成形有限元分析需要的三角形和四边形混合网格剖分算法.按几何离散控制参数即最长边、最短边、距离误差和角度误差,将多裁剪参数曲面离散为多边形集.利用曲面曲线查找裁剪参数曲面相邻关系,建立B-Rep表示的曲面几何模型,并更新多边形集.然后由多边形集得到三角形和四边形混合网格,结果网格单元是相容的,在相邻裁剪参数曲面边界处无裂缝和覆盖.