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

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

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.     

重配置与周期再生相结合的软件再生模型

针对持续运行软件系统中的老化问题,提出一种重配置与周期再生相结合的软件再生方法.采用连续时间马尔可夫链对两阶段衰退软件系统的工作模式进行建模,给出系统可用性和单位时间平均成本的形式化定义与分析,并以可用性和成本作为评价标准计算相应的最佳再生周期,推导出了采用重配置的临界条件.仿真结果表明,随着重配置成功率的提高,系统的可用性增加,成本降低,当重配置成功率为1时,与纯周期再生方法相比,采用结合重配置的软件再生方法可使系统单位时间宕机成本降低48.9%.     

建筑能耗软件协同开发及可靠性技术方法

建筑全性能模拟软件具有功能模块繁多、模块结构各异、独立性强等特征,面对其软件开发的多团队协同、多模块集成、可靠准确验证等需求,本文提出了建筑能耗模拟软件协同开发管理体系,采用GitLab平台进行代码管理、及其协同开发与集成,同时给出了软件可靠性在线检测工具,以及ASHRAE-140标准的软件准确性检验方法,建立了一套多家协同、科学可靠、准确高效的协同开发管理体系,实现了建筑全性能仿真平台内核的开发研制。