PVM系统统一并行调试对象模型的Petri网描述

采用具体定义的PVM活动所描述的统一并行调试对象模型可使用户在调试的各阶段都面对相同的调试对象 ,但并行程序的文本表示或通常由事件为基础的视图并不适合描述这种概念 ,为把活动明确地表达给用户 ,我们给出了该模型的着色Petri网描述 ,这将有助于对程序作进一步的静态分析和性能调试研究。     

逆向工程中散乱数据点三角剖分的波前算法

提出一种改进的波前算法,从点云任意一点开始构造初始波前,通过匹配点的加入和三角形的形成,不断修正波前并向外扩展,从而对散乱数据点进行三角剖分.对不同测量手段得到的数据点的剖分结果表明,该算法速度快、网格质量高.剖分结果以翼边数据结构存储,供模型重构时使用.      

小卫星编队重构控制研究

主要研究对编队飞行卫星进行 6自由度控制以达到所要求的编队构型。首先 ,分别建立了平移运动模型和旋转运动模型 ;其次 ,重点利用鲁棒控制理论进行平移控制律设计 ,得到了使闭环系统稳定的控制器 ;最后进行了仿真计算 ,验证了控制律设计的有效性和可行性     

激波管中获得低强度激波的方法

文中探讨了在相对高的驱动压比条件下获得低强度入射激波的变截面驱动方法(A4/A1<1)和等截面激波管中插入多孔板的方法.经实验比较等截面激波管获得的压力波形好,但过低驱动压比时膜片选择困难、实验重复性差.介绍的两种方法可以获得更低强度入射激波,但压力波形稍差,有进一步改善的空间.     

基于QoS的卫星网络端-端通信可靠性分析

针对卫星网络动态环境下的高速信息传输、业务类型差异大等特点，提出一种综合考虑各业务QoS（Quality of Service）指标的可靠性分析方法。在卫星通信网络实际运行周期内，通信系统往往处于逐渐劣化过程中，导致卫星的节点和链路除正常工作和完全失效外，还存在部分失效的工作状态。本文在链路多状态基础上基于最小路集算法（Minimum Path Set Algorithms，MPSA）在不同业务的QoS指标（时延、带宽和丢包率）约束下，得出满足该业务QoS约束的所有可靠路径集，对路径集中路径进行不交化处理得到网络端-端可靠性。研究结果表明，不同业务由于QoS需求的差异导致网络端-端可靠性不同，所提算法与传统算法相比更加符合实际。由于实际卫星网络环境中会采用端-端并行多路径传输（Multi-Path Transmission，MTP），本文在上述研究的基础上，进一步对多路径的端-端可靠性进行了研究，结果表明多路径数据传输可靠性高。     

一种面向星载计算机的功能级功耗估计方法

在星载计算机的软硬件协同设计过程中需要解决处理器功耗估计问题.现有的工具和方法主要面向ARM或DSP处理器,缺乏可用于LEON3处理器的软件功耗估计方法.针对这一不足,基于功能级功耗分析方法进行功耗估计,重点解决LEON3处理器的功耗建模问题.提出了从C代码中提取模型参数的方法,并且对序贯最小优化支持向量回归算法进行了改进,提高模型的精度.在数值试验部分,通过常用的C语言算法试验对估计方法进行了验证.结果表明功耗估计误差小于3%,能够满足星载计算机软硬件协同设计的需要.     

新型锆硅复相陶瓷先驱体的制备及性能

将四-二乙氨基锆(TDEAZ)和乙炔基苯胺封端的聚碳硅氮烷(PCSN)进行液相共混,制备含有Zr、Si元素的新型复相陶瓷先驱体(ZPCSN),并通过FT-IR对其结构进行表征,利用DSC与TGA分别探讨其固化行为及耐热性能;并通过XRD与EDS研究ZPCSN的陶瓷先驱体、耐高温陶瓷。陶瓷化性能结果表明,ZPCSN结构中含有C≡C键,在固化过程中交联形成致密的三维网状结构,赋予ZPCSN优异的耐热性能;在1 600℃氩气氛围中,ZPCSN裂解形成Zr C/Zr N/Si C/Si3N4多元复相陶瓷,保留率为67.92%,这表明ZPCSN具有优异的陶瓷化性能。     

以职业发展为导向构建应用型本科院校人文素质教育体系

转型发展背景下,应用型本科院校人文素质教育体系的构建势在必行。文章分析了人文素质教育的基本内涵;概括了人文素质教育在应用型本科院校中面临的挑战;探讨了基于职业发展构建应用型本科院校人文素质教育体系的途径。     

互联网+背景下英语课程空间教学模式探讨

随着互联网技术的不断发展,网络教学手段在高校英语教学中发挥着越来越重要的作用。将传统的课堂教学与网络空间教学有机结合起来,已经成为高校英语教学中不断探索的一种教学模式。文章以北华航天工业学院这一地方应用型本科高校为例,探讨了网络空间教学在高校英语教学中应用的具体策略。