运行时验证中的减少监控开销方法研究

运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。     

浙江漩门湾软粘土物理力学特性的统计分析

通过现场原位取样与室内试验,对浙江漩门三期海堤地基软粘土的物理力学性质及其相关性进行了研究,并给出了各重要指标间相关性的经验公式。通过统计分析表明,各土层物理力学指标空间变异性较小,各指标沿深度的变化与土体的结构性相关。通过线性相关性分析表明,灵敏度与孔隙比的相关性较差,需要进一步的分析;而压缩系数与含水率和孔隙比之间的相关性较好,故可根据软粘土的物性指标进行土体压缩系数的预测,对工程设计初期具有一定的指导意义。     

数字换流站信息架构优化设计方案研究

结合数字换流站的功能实现,分析信息接入需求,研究后台整合的可行性及整合方案,使得换流站的后台数量减少58％,梳理了后台整合后的信息传输路径与规约,并在上述基础上提出数字换流站的信息架构总体方案,为数字换流站的建设提供参考.     

DNAPL在饱和多孔介质中的迁移规律及数值模拟

基于多孔介质两相流模型,编制了相关的有限元计算软件,对已有文献中关于重非水相流体(Dense Non-aque-ous Phase Liquids,DNAPL)在饱和多孔介质中迁移的离心模型试验进行了模拟,探讨了DNAPL的重度与粘滞度等参数对其在地下水位线下迁移规律的影响,并对DNAPL在均质以及非均质地层的迁移进行了模拟,计算结果对DNAPL在饱和多孔介质中的迁移过程、影响范围的描述以及评价有一定的参考意义。     

鲜为人知的Windows“插件”MSI

一、初识Windows功能增强“插件”MSI 我们经常可以看到许多软件只有一个扩展名为MSI的文件,双击这个文件运行,就会出现和Windows应用软件安装非常相似的安装过程,MSI文件到底是什么?为什么许多软件开始用MSI格式来发行呢?请听我慢慢说来。     

数字图像相关方法在测量材料力学性能中的应用

数字图像相关方法(Digital Image Correlation,DIC)具有非接触、高精度及实验环境要求低等优点,近年来发展迅速。本文在综述目前测量材料力学性能方法的基础上,分析了数字图像相关方法的原理及其在测量材料力学性能中的应用,最后介绍了该方向的发展展望。     

湖南黑茶

黑茶是中国六大茶类之一,为我国特有,生产历史悠久,属于后发酵茶。由于黑茶的原料比较粗老,制造过程中往往要堆积发酵较长时间,叶片大多呈暗褐色,因此被人们称为"黑茶"。黑茶按照产区的不同和工艺上的差别,可以分为湖南黑茶、湖北老青茶、四川边茶和滇桂黑茶。     

月饼中菌落总数及大肠菌群的检测

该研究的目的是调查月饼的卫生质量,为月饼的质量安全控制奠定理论基础。本实验以广东、重庆及北京的十种不同的月饼为实验材料,根据国标方法GB4789.2-2003和GB4789.3-2003进行微生物计数,并分离纯化菌落进行形态观察,10种月饼样品的检测结果表明月饼中菌落总数及大肠菌群MPN值符合国家标准。     

对爆炸法处理软土地基技术中炸药作用的几点认识

采用爆炸挤淤置换法处理浅层软土基础,其应用已比较广泛,技术也较为成熟,但用爆炸挤淤置换法处理深层软土地基,特别是在深厚淤泥层上悬浮式海堤结构中的应用却不多见,大规模应用的实例则更少.依托在超过40 m的深厚淤泥层中建造悬浮式海堤(长度超过5000 m)结构的实例,根据现场实测数据,对海堤抛石量和炸药量的关系、爆炸对海堤...     

红外技术在果蔬干燥中的应用及研究进展

近年来,我国果蔬加工业发展迅速,脱水果蔬加工已经成为增加农民收入、提高农业效益、促进我国区域经济发展,在国内外市场占据较大优势的重要行业。介绍了脱水果蔬干燥的原理、特点以及干燥技术的研究进展,着重介绍了近几年研究较热的果蔬干燥技术:红外加热法,展望了红外技术在我国果蔬加工产业中的应用前景。