一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

集值优化问题强有效元的二阶最优性条件

在实赋范线性空间中考虑集值优化问题的强有效性, 借助集值映射的二阶切导数, 利用基泛函及强有效元的性质, 给出了目标函数为近似锥次类凸时无约束集值优化问题的二阶导数型最优性的必要条件, 并在锥 凸假设下给出了充分条件.     

集值优化问题ε-强有效元的Lagrange型最优性条件

利用近似锥-次类凸集值映射的性质证明了当序偶集值映射是近似锥-次类凸时,对应的Lagrange函数也是近似锥-次类凸的.利用此结果得到集值优化问题取得ε-强有效元的Lagrange型必要条件,利用ε-强有效元的性质得到Lagrange型充分条件.     

相关器及其性能测试分析

相关器是微弱信号检测仪器锁定放大器的核心部件,锁定放大器之所以有很强的抑噪能力,主要是靠相关器的消除噪声和排除干扰的优越性能。通过实验对一种相关器的性能进行了测试和分析,结果表明：该相关器具有较强的抑制噪声的能力。它能有效地将淹没在噪声中的微弱信号检测出来。     

基于超额剩余价值理论视角看我国产业转移

企业对超额剩余价值的追逐必然导致利润率的下降,引起资本转移,最终引发产业转移。产业转移可以区分为产业空间转移、产业层级转移、产业链条转移三大类,每一类别的产业转移均存在一定的困难与挑战,本文将对产业转移的三大类型逐一进行比较研究和分析。     

陡峻山区输电铁塔结构风荷载分布特性分析

风害是导致陡峻山区输电杆塔损伤的重要因素,分析陡峻山区输电铁塔结构风荷载分布特性,为研究陡峻山区输电杆塔故障机理提供精准数据支持.以山区酒杯型输电杆塔为研究目标,依据其几何参数与物理参数,使用参数化设计语言APDL编写输电杆塔特征参数模板后,利用有限元软件Ansys构建输电杆塔参数化模型.在输电杆塔有限元模型内,模拟不同风荷载情况并使用数学计算方式计算山区输电杆塔受风压情况,得到铁塔结构风荷载分布特性.实验结果表明：山区输电杆塔最大正应力和负应力为轴对称关系;不考虑输电杆塔自身重量情况下,测试点与地面距离越近,其受风力荷载时的位移数值越小,对称测试点间的轴应力数值越小;输电杆塔测试点位置越靠近地面,其纵向荷载数值越高,受风速和风向角影响越小.     

新型冠状病毒肺炎(COVID-19)疫情持续中的治愈率/病死率估计

由新型冠状病毒SARS-CoV-2引起的疫情,已成为全球关注的紧急公共卫生事件.然而,由于疫情持续中的数据不断变化,对于疫情的治愈率和病死率尚无较为科学的计算方法.本研究提出了一种估计COVID-19治愈率和病死率的方法,以给定日累计出院人数与给定日累计出院人数和j日前累计死亡人数之和的比值来估计治愈率,此外,病死亡率也可以据此估计.当j=9时,新型冠状病毒肺炎全国的治愈率估计值为95.8%左右,而新型冠状病毒肺炎全国的病死率估计值为4.2%左右,这比2003年SARS疫情中国大陆的病死率6.6%低;武汉市的治愈率估计值为94.5%左右,而新型冠状病毒肺炎武汉市的病死率估计值则在5.5%左右.这种估计治愈率的方法可用于评价不同医疗方案和不同地区的治疗效果,对疫情的决策具有重要的参考价值和意义.     

川中丘陵区农业源头沟渠反硝化速率特征及其影响因素

农业源头沟渠是连接农田排水与河流的重要通道,对农业非点源污染物具有 很高的削减作用。反硝化作用是沟渠水体氮污染去除最彻底的机制,但目前相关研究缺乏。利用改进的乙炔抑制法研究川中丘陵区农业源头沟渠沉积物反硝化作用的速率、季节变化及影响因素,以期为长江上游农业水环境保护提供新的思路。结果表明：1）农业源头沟渠沉积物反硝化速率变化范围在0.31～43.11 mg·m-2·h-1之间,平均值为10.45 mg·m-2·h-1;2）沟渠反硝化速率具有明显的季节差异,冬季沟渠沉积物反硝化速率普遍偏低,而夏季则具有较强的反硝化作用,不同季节的反硝化速率大小顺序为：夏季＞春季＞秋季＞冬季;3）沟渠反硝化作用受水文条件、水体沉积物碳氮浓度等因素影响。其中,水文条件不同的区域反硝化速率的大小顺序为：间歇滞水区＞干湿交替区＞常年淹水区;沉积物和上覆水NO-3 N,DOC浓度与反硝化速率之间具有显著的正相关关系。总体来说,川中丘陵区农业源头沟渠具有较高的反硝化速率,通过增加碳源或改善水文条件能有效地促进沟渠沉积物的反硝化作用,从而极大地提高农业源头沟渠对非点源氮污染的截控能力。
     

高新技术开发区创新发展文献综述

通过对高新区创新发展的相关文献进行整理和分析,梳理了高新区创新发展中存在的问题,探讨了推进高新技术产业化的途径,为高新区创新发展实践提供参考。     

五叉环形交叉口信号协调控制模型

对五叉环形交叉口的信号控制方法进行了研究。给出了基于环道容量约束的信号控制参数优化的模型。模型着重考虑了两个因素：环道容量约束，进口道灯、环道灯相互之间的绿信号协调、红信号协调。利用本文提出的控制模型设计了一个实例的信号控制方案，并通过VISSIM仿真评价了该信号控制方案。验证了本文提出的控制方法的有效性。