基于矩阵变换的软件可信性演化波及效应

软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.     

星务管理软件框架设计与实现

星务管理软件是星务管理系统的灵魂,而星务管理软件框架为星务管理软件提供一个通用、标准的软件平台。结合微纳探测器软件功能集中化的需求,卫星各分系统的管理软件基本都集中在星载计算机内运行,对星务管理软件进行一体化设计;星务管理软件功能复杂,为便于用户软件的可复用和可移植,对星务管理软件采用模块化设计。最终实现星务软件功能一体化管理,各功能模块任务按预定模式在星载计算机中运行。     

多频带信号的带通采样方法与实现

研究多频带信号的直接射频采样技术,根据镜像频率和采样频率的对应关系,推导出一种多频带信号的采样频率搜索算法,并结合软件实现中的计算截尾误差问题给出一种编程可实现的算法流程.仿真结果表明,该算法能够有效地找到最小合理采样频率,适合工程实现.     

Partial melting of the dry mafic continental crust: Implications for petrogenesis of C-type adakites

C-type adakites have been commonly considered as a result of partial melting of the mafic lower continental crust (LCC) at high pressure, as supported by high P-T experiments on hydrous basalts. However, because the mafic eclogitic LCC is generally dry, experiments on water-bearing materials cannot be used to constrain the melting processes of the dry mafic LCC. Due to the lack of systematic melting experimental studies on dry mafic rocks at crustal pressures, MELTs software was applied to simulating melting of the dry mafic LCC at 1–2 GPa. Comparison of model results with experimental data indicates that, when melting degree is greater than 20%, melts from the dry mafic LCC at 1–3 GPa cannot produce the C-type adakitic melt with high SiO₂ content (~70%). Although the limited experimental results about dry mafic rock melting at 1–2 GPa in the literature suggest that low degree melting (<10%) cannot produce silicic melt either, MELTs software simulation shows that, at pressure >1.8 GPa, low-degree melting can produce dacitic melt with high K₂O/Na₂O (~1) if SiO₂ content of the melt is controlled by residual garnet. Furthermore, the simulation also suggests that, if pressure is <1.8 GPa, abundant plagioclase (plg) in the residual phase may decrease SiO₂ content in the melt to below 62%, much lower than that of the C-type adakites observed in eastern China. Given the high P-T conditions required to produce melts with high SiO₂ and extremely low HREE contents, such melts could easily be contaminated by other crustal-derived melts, implying that the C-type adakites from eclogite melting could be less commonly observed in the outcrops than previously believed. Besides the interpretation that garnet fractionates Sr, Y, and REE, high Sr/Y and La/Yb could be also produced by multiple ways such as inheriting the source features and fractional crystallizing clinopyroxene (cpx). Therefore, it may be problematic using high Sr/Y and La/Yb as criteria to identify adakites. Instead, REE patterns with strong depletion of HREE relative to MREE (e.g. high Gd/Yb) could be a better parameter to identify the role of garnet and thus adakites. Finally, geochemical models based on MELTs simulation indicate that Eu anomaly cannot be simply used to constrain the role of plg in magmatism because Eu anomaly in the melt is a function of source characteristics, oxygen fugacity (fO₂) of magmatic systems, and plg/mafic minerals mode ratio.     

《山西省暴雨洪水计算软件》的开发与研究

工程水文专业中的设计雨量、设计洪峰流量、设计洪水总量等洪水要素是电力工程水文条件分析计算最重要的几个计算参数,其计算方法通常是采用山西省各地区水文计算手册中的有关公式进行计算,不仅计算过程较为复杂,而且计算过程中容易产生错误、工作效率不高。针对此情况,编制和开发了《山西暴雨洪水计算软件》,通过多次验证,《山西暴雨洪水计算软件》所有的计算误差均在本专业技术规程、规范允许的范围之内,计算成果的精度和准确度完全可以满足水文专业的技术要求。     

测量计算器的设计与实现

从基本测量计算的角度出发,探讨了测量计算器的设计与实现过程,给出了一种测量计算软件设计的思路。     

卫生监督领域正交软件体系结构的设计

软件体系结构是大型软件系统开发的一项关键技术。正交软件体系结构结合了传统横向设计的抽象层与面向方面纵向设计的线索,依据特征模型把系统架构设计成包含正交的组织层和线索的构件。讨论了设计正交化功能特征模型及正交软件体系结构的关键技术,并应用于一个研究案例。     

蒙特卡罗方法在黑盒测试用例生成中的应用

测试用例的生成方法是软件测试技术研究的核心内容,利用蒙特卡罗方法自动产生随机数并将其映射到测试用例的输入域上。可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

基于k循环随机序列的动态缓冲区溢出防御

面向Intel 80×86体系结构和C/C++语言,介绍了栈缓冲区溢出攻击的基本原理及攻击模式,分析了现有的动态防御典型方案的优点与不足.结合基于随机地址空间与签名完整性的防御思想,提出了一种基于k循环随机序列的动态缓冲区溢出防御方案,该方案能够在极大概率下防御多种模式的缓冲区溢出攻击,解决了"连续猜测攻击"的问题,并使软件具有一定的容侵能力.     

早期衰变时间与信噪比对语言清晰度影响实验

随着计算机科学的发展,声学的可听化技术被越来越广泛地应用到主观实验研究中.声学软件ODEON可以建立很好的仿真声场,利用ODEON的可听化技术,对矩形高大空间和狭长空间的语言清晰度进行实验研究.结果表明,对于同一空间中的不同接收点的语言清晰度,早期衰变时间的影响比信噪比的影响显著;在语言清晰度为主要设计指标的厅堂中,应该主要控制早期衰变时间,使其不能超过1.5 s.