二维粘弹介质五点八阶超紧致有限差分声波方程数值模拟

本文首次将五点八阶超紧致有限差分格式(CCD8)用于粘弹介质声波方程的数值模拟中。此文根据泰勒级数展开粘滞声波方程,建立了位移场时间二阶离散格式,将CCD8用于对位移场空间导数的求取。然后,对CCD8格式进行稳定性研究,频散的压制效果对比分析,及截断误差对比。将CCD8格式运用于均匀介质模型以及水平层状介质模型中进行数值模拟,最后运用于对Marmousi模型的数值模拟中。研究结果表明：(1)CCD8与普通八阶紧致差分相比,具有更小的截断误差、更高的模拟精度以及低数值频散的优势;(2)CCD8具有较高稳定性;(3)采用完全匹配层(PML)对人工边界进行处理后对均匀介质、含有层状介质以及Marmousi模型进行粘弹声波方程的数值模拟,发现模拟效果不错,从而验证了方法的实用性和有效。     

喷管通道内气体流动特性的数值模拟

分析了喷管通道内气体的流动特性,运用CFD软件Fluent模拟了Laval喷管在不同工况下的流场,数值模拟结果与相关文献实验结果基本一致,表明喷管通道内气体流场特性的数值模拟在实际工程应用中是可行的,为喷管的优化设计提供了有效的技术途径．     

软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.     

基于MVC模式的WebGIS架构设计

网络地理信息系统(WebGIS)是结合了地理信息系统与网络技术的一种新兴技术.WebGIS的架构设计是 其工业化应用的重要研究内容.从软件设计模式角度出发,介绍了WebGIS与相应的软件设计方法,提出了基于 MVC(模型视图控制器)模式的WebGIS架构设计.实际应用证明该架构是一种高效的设计方案.     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

基于GIS的土壤信息系统

分析了GIS的功能和技术特点，研制了基于GIS的土壤信息系统。系统采用了Client／Server、Browse/Server相结合的开发模式，采用MapInfo来管理空间数据，SQL Server管理属性数据。系统实现了土壤肥力数据、土壤分类信息等的查询、检索、属性数据统计分析、专题图制作、输出及更新功能。系统的研制为提高农业生产中的科技含量，合理利用各种土壤信息提供了支持。     

基于BIM技术的室内照明仿真模拟软件计算精度解析

建筑照明专业参与BIM(building information modeling)技术的同平台作业还处于起步阶段。DIALux evo 8.2和ElumTools 2019.07是目前仅有的参与BIM技术的室内照明仿真模拟软件。采用CIE(Commission Internationale de i’Eclairage)发布的CIE 171:2006—test cases to assess the accuracy of lighting computer programs的5.2至5.8测试用例,通过验证这2款软件的计算精度,分析得出软件性能的优缺点。结果表明:在计算点光源直接照度、面光源直接照度以及光通量守恒性能这3个方面,2款软件均具有较高精度;计算大面积漫反射、遇遮挡和不同反射率这3种情况的间接照度时,DIALux evo 8.2计算精度优于ElumTools 2019.07;计算小面积漫反射的间接照度精度时,ElumTools 2019.07计算精度优于DIALux evo 8.2;计算定向透射性能时,这2款软件精度均比较低。进一步分析得出:核心算法是产生误差的主要原因,...     

空间三维输入装置的系统开发研究

本文提出了一种新型空间三维输入装置,给出了三维输入设备控制系统整体架构,在分析其工作原理的基础上,基于VC＋＋OpenGL技术对实现三维输入设备的软件系统开发,进行三维输入的动态演示。实验结果表明所开发的三维输入装置具有极高的稳定性和模拟效果的真实性,这对于立体显示技术的发展及其在仿真中的应用具有较大的意义。     

基于双价值函数禁忌搜索的测试用例生成技术

基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程,如果强化失败则调用多样化函数来使搜索多样化.最后通过与随机测试的对比实验,验证了基于双价值函数的禁忌搜索算法在软件测试中的高效性.