软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

一种新的判断二维直角坐标网格角点在任意外形物面内外的算法

 根据计算机图形学中的视线遮挡原理,提出了二维平面上判断直角坐标网格角点在任意外形物面内外的一种新算法,并计算了一个 27× 15的直角坐标点阵元素与 3个等腰三角形物面的位置关系,作为该方法的一个算例。计算结果表明,该方法精度高,计算量小,通用性好,并且易于推广至三维复杂情况。     

一种高效的多重网格三维N-S方程计算方法及其应用

介绍一种基于 Jameson中心差分和 Runge-Kutta时间推进的三维 N-S方程计算的有限体积方法 ,计算点选取体积单元中心 ,为了提高收敛效率和程序稳定性 ,采用了当地时间步长和多重网格方法 ,特别是针对粘性计算中计算网格形状比高的特点 ,隐式残差光顺采用当地变系数的方法 ,并专门设计了考虑计算网格形状比的人工粘性模型。应用本文方法对收扩喷管的三维流场和NACA0 0 1 2翼型二维流场进行了计算 ,结果表明程序具有良好的收敛能力和较高的稳定性。     

横掠单圆管流动与换热的热力学优化设计

应用热力学第一、第二定律 ,采用对管外流体温度进行加权平均的方法 ,对选定参数的横掠单圆管流动与换热进行了热力学优化分析。得到了管内 ,管外流体的温度分布图 ,系统的熵产率分布图 ,和一系列优化参数的计算式。     

单程叉流翅片管束式换热器的传热分析

采用对管外流体温度进行加权平均的方法 ,应用 Laplace变换和归纳法 ,对任意 n排单程叉流翅片管束式换热器的换热和温度分布进行了分析。得到了管内 ,管外流体的温度分布和换热器效率的简洁表达式。     

多喷管液体火箭动力系统尾焰冲击特性研究

为深入研究多喷管液体火箭动力系统尾焰冲击特性,以由多喷管液体火箭动力系统构成的发射平台为研究对象,采用三维N-S方程描述尾焰冲击流动过程,采用Realizable k-ε湍流模型封闭流动方程组,并运用压力的隐式算子分割(PISO)算法进行求解,得到了火箭动力系统尾焰对不同导流面导流槽的冲击流场参数。结果表明:导流面上受冲击影响最大的是沿喷管轴线方向的正冲击区域,且助推器尾焰对导流面的冲击效应相比于芯级更加强烈。锥形导流面对多喷管动力系统尾焰具有很好的引射和导流作用,相比于楔形导流面更能降低尾焰的冲击影响,但会在流场中形成漩涡并卷吸高温燃气,可能对发射系统造成破坏,需要增加相应的热防护措施。     

面向星地量子保密通信的高功率连续变量明亮压缩光源研究

具有无条件安全和高速通信潜力的连续变量量子保密通信技术有望成为未来构建天地一体化信息网络的关键技术。首先介绍了基于光学参量放大器的高功率明亮压缩态光场制备技术和实验系统;然后通过理论分析实验结果,优化系统工作参数;最终获得光功率为200 μW,压缩度为10 dB的明亮压缩态光场,为研制工程实用高功率连续变量明亮压缩态光源奠定了基础。     

电阻型传感器原子氧密度及环境效应探测技术研究

文章阐述了开展电阻型原子氧密度与环境效应飞行探测实验的必要性和重要性.在调研国内外研究状况的基础上,文章对各种试验方案进行了比较和选择,并对所选择方案的关键技术做了计算分析和可行性试验验证,对实现途径进行了充分论证.     

真空羽流试验设备的负压液氮系统设计

真空羽流试验设备用于发动机真空羽流效应试验研究,同时兼顾卫星等热真空试验,对液氮系统有特殊要求。针对低至70 K液氮温度需求,设计一种全新的负压液氮系统,即利用液氮在负压下具有比常压液氮更低的饱和温度,来获得比常压液氮系统更低的液氮温度。该负压液氮系统主要由液氮输送子系统、常压过冷器子系统、负压抽气子系统、液氮泵子系统、热沉子系统及排放子系统组成,其中常压过冷器子系统和负压抽气子系统构成"负压过冷器",具有常压过冷器功能,供液温度可调,可为热沉提供70~77 K液氮制冷,满足发动机羽流及卫星热真空试验需求。     

轨控发动机真空流场计算

拦截弹轨控发动机在真空中的流场可为其设计提供重要的理论依据，同时其喷焰红外辐射特性也是防御上的重要研究对象。采用基于有限体积形式的LU格式离散N-S方程，通过时间推进法求解拦截弹轨控发动机喷管以及外场喷流区域在内的气相统一流场，同时考虑了各主要组分参与的化学反应，得到了轨控发动机喷管内外速度、温度、密度、组分浓度等参数的分布情况。研究表明：使用本文中的方法可以很好地计算出轨控发动机在真空中的内外流场。真空羽流膨胀迅速。