程序的形式推导方法

阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行. 以实例说明了程序形式推导方法的使用.     

气象要素区域概率分布的锯齿波模型及其应用

由于区域范围内各站之间存在着空间相关性,区域范围内某要素的概率分布不能直接由单站资料分析提出。以区域场相关性为出发点,通过正态化转换和MonteCarlo方法,建立和实现了区域概率分布模型——锯齿波模型。通过大量计算,产生的11张气象要素区域概率分布图,可用于不同范围内气象要素概率分布的计算。拟合实验表明,模拟结果和实际结果吻合较好,为区域范围内的概率天气预报提供了新的思路。     

稳定低液限粉土路面底基层的施工研究

粘粒含量很少的低液限粉土或含砂低液限粉土做稳定土路面底基层,目前施工实践较少,本文结合江苏省宁靖盐高速公路工程实践,根据适宜稳定该种土的水泥石灰粉煤灰稳定类型确定了稳定方案,通过室内外试验研究,在掌握延迟压实、压实度不足、施工方法不合理等对其影响的基础上进行了施工工艺的改进和工程质量的控制;得到了对该种稳定材料较为适宜的施工方法及其质量控制技术,这对我国高速公路实体工程路面底基层的施工具有现实的指导意义。     

基于EMI技术与PSO-BP神经网络铝梁损伤定位研究

为了定位铝梁等一维结构的损伤位置,采用压电阻抗(EMI)技术与粒子群(PSO)-BP神经网络进行研究。首先,搭建损伤检测试验平台,使用阻抗分析仪测出健康和损伤状态下的压电导纳曲线,分析不同位置压电陶瓷传感器(PZT)测量的结构谐振峰特征,并通过Pearson相关系数对导纳数据进行处理;然后,构建PSO-BP神经网络,以不同位置上的PZT传感器测得的导纳值作为网络的模式样本进行训练。结果表明,压电阻抗技术能有效识别铝梁健康、损伤工况;Pearson相关系数与PZT传感器和损伤之间的距离呈线性关系,与损伤位置间距越小,PZT测得的导纳曲线的Pearson值越大;选取PZT导纳值变化明显的频率点作为神经网络的输入向量,经过训练后的PSO-BP神经网络能够快速准确地识别铝梁损伤位置。     

Optimization for Microbial Degumming of Ramie with Bacillus subtilis DZ5 in Submerged Fermentation by Orthogonal Array Design and Response Surface Methodology

As a kind of natural fiber, ramie fiber has distinctive advantages in textile application, but the application is limited due to the traditional degumming mode. Compared with the traditional degumming process, the microbial degumming process has many advantages. To obtain the optimal conditions for degumming ramie with Bacillus subtilis DZ₅(BSDZ₅), a combined statistical approach of orthogonal array design(OAD) and response surface methodology(RSM) was used. The influences ...     

混凝土面板堆石坝整体稳定性的数值分析

混凝土面板堆石坝的抗滑稳定性直接影响到大坝的建设和安全使用。根据实验室实测的堆石料的力学参数,采用极限平衡方法分析了堆石坝在竣工后,设计水位和死水位条件下的整体抗滑稳定性。数值计算结果表明,随着大坝上游水位的增加,坝体的扬压力逐渐增加,导致坝体的整体抗滑稳定性逐渐降低。基于毕肖普（Bishop）极限平衡理论计算结果表明,在不同大坝上游水位工况下大坝具有良好的抗滑稳定安全性。采用非线性有限元数值模拟方法,数值仿真了堆石坝的填筑过程和竣工后的沉降分布。     

球磨液对机械化学半干法改性飞灰脱汞性能的影响

采用全方位行星式球磨机对燃煤飞灰进行机械化学半干法改性,分别探究球磨辅助液对改性飞灰脱汞性能的影响及反应前后飞灰中的汞形态,并结合飞灰改性前后的理化特性对其脱汞机理进行分析。研究结果表明：球磨液的加入可使飞灰粒度变小,比表面积增大,孔隙结构更发育,含氧官能团更丰富,有利于Hg0的脱除;添加不同球磨液时,脱汞效率从高到低为乙酸、乙醇、水,这是由于乙酸可使飞灰表面的COOH/C(O)—O—C官能团含量从11.25%增加至23.56%,从而促进Hg0的氧化脱除;添加改性剂S后,可使飞灰表面负载S单质,非氧化态的硫含有较多未配对电子,使Hg0更易以HgS的形式被氧化吸附,进而提升飞灰的脱汞性能;在飞灰对汞的脱除中,以氧化脱除为主,其占比大于80%,吸附脱除占比较小。     

人乳头瘤病毒假病毒制备方法的优化

人乳头瘤病毒假病毒可广泛应用于中和抗体鉴定和疫苗免疫性评估等研究.本研究对多质粒共转染293FT细胞生产HPV假病毒的方法进行了深入优化,结果显示不同的HPV结构蛋白表达质粒转染比例对于假病毒生产效率有显著的影响,HPV主要结构蛋白L1的表达水平是影响生产效率的主要因素,L2表达质粒的用量过高或过低均不利于假病毒的生产,而报告质粒的用量对假病毒生产效率的影响相对较小.综合比较显示,在该体系中L1和L2表达质粒和报告质粒以合适比例(如1:1/10:1/2)进行共转染可获得更为理想的生产效率.本研究同时也在293FT细胞中对磷酸钙转染方法进行了优化,通过磷酸钙与质粒用量的交叉配比试验获得了较优的转染条件.通过优化,建立了更为高效的HPV假病毒大量制备方法,在HPV16、HPV18、HPV6、HPV11假病毒生产中的应用结果显示较原方法可显著提高生产效率.本研究为HPV假病毒中和实验的规模化应用提供了有利条件.     

陕西生态经济系统发展水平的能值分析

运用能值分析方法,对陕西省生态经济系统1998年～2007年各能值指标进行分析,并与我国一些省份和其他国家的有关指标进行了比较研究.结果表明:陕西的经济发展主要建立在对本地不可更新资源的开发利用上,目前的发展模式主要是一种高资源消耗型经济.陕西省2007年人口数量已远远超过其承载能力,可持续发展指数为1.35,研究区可持续性发展的基础比较差.并以此为依据提出了相应的措施.     

基于Mean Shift的大车车型分类特征提取

针对车流量大的多车道路面,从可实现的角度出发根据统计分析提出了以车体结构区间和颜色为基础的3个能有效区分大客车和大货车的特征,并提出了一种以Mean Shift与抗干扰边缘检测相结合的特征提取方法.该方法首先在色度域和空域的5维联合空间中用Mean Shift进行图像分割,然后以分割所得区域的边缘提取结构区间的分界线,进而获得特征的表示.实验结果表明,该方法能有效克服由反光和运动而导致的车体颜色失真和边缘模糊的现象,特征提取率超过90%,因此该方法鲁棒性强、准确率高.