基于扩展下推自动机的Java程序安全相关行为模型自动生成

随着Java应用程序的迅速发展，程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法，但都存在着非常大的局限性，需要完善。本文主要将扩展下自动机作为核心研究对象，进行了详细分析，希望可以给相关研究人员提供参考。     

新装修办公楼室内挥发性有机物的测试研究

为研究办公楼装修后室内挥发性有机物的释放特性,利用活性炭吸附采样与气相色谱分析相结合的方法,跟踪监测了天津市某办公楼四个典型房间的室内污染物浓度。得出了装修后室内污染物浓度的变化规律,即污染物浓度随时间推移而降低,其间可能会由于房间温度、相对湿度和气流组织的变化而出现短暂的起伏。     

真空冷冻干燥过程中鲜食枣营养品质的变化研究

本文研究了真空冷冻干燥过程中鲜食枣营养品质及抗氧化活性的变化规律,为实际生产加工产品选择合适的干燥时间提供理论依据。结果表明:冷冻干燥过程中,鲜食枣还原糖含量存在显著性差异,且干燥结束时显著升高(p0.05);冻干产品维生素C保留率高达99.58%;有机酸是产品中重要的风味营养物质,其中,草酸、柠檬酸含量在冻干过程中均存在显著性差异(p0.05),且在干燥结束时,草酸、酒石酸、柠檬酸含量分别是鲜样的1.64倍、1.32倍、3.83倍;冻干过程鲜食枣ABTS+·清除能力、抗氧化力均存在显著性差异(p0.05),且冻干后ABTS+·清除能力提高6.91%,抗氧化力保留率达92.01%。由此可见,冻干过程中冻干时间对营养物质含量及活性有重要影响。冻干6~9 h有利于保持贮藏的水分和较高的营养品质,同时有助于降低能耗,并保持其功能价值。     

生物滤池工艺对微污染水处理的效果

考察了竹炭和珊瑚砂作为填料的生物滤池对微污染水的处理效果。结果表明,该填料生物滤池对色度、浊度、SS、氨氮、CODMn的平均去除率分别为73.9%和60.4%、72.7%和83.8%、59.8%和67.1%、96.8%和83.6%、43.4%和51.6%。为获得优良的出水水质,并考虑到基建投资费用的经济性,建议用竹炭和珊瑚砂作填料处理微污染水时,生物滤池的水力负荷不宜大于5 m3(/m2.h),填料高度以85 cm为宜。     

BB型离心泵的油雾润滑改造设计

针对BB型泵的油雾润滑改造,提出设计要点及一种可行的设计范例     

近零能耗建筑外挑空调板保温方案优化设计

外挑空调板是一个典型的结构性热桥部位,通常,增加热桥部位的保温层厚度可以减少该节点的线性热桥传热系数,从而降低建筑整体能耗.然而,保温层厚度的增加会导致施工难度加大,安装安全性风险升高,同时也会导致增量成本随之加大.因此,确定合适的保温层厚度是热桥保温方案优化设计的关键.本文以某高层近零能耗居住建筑的外挑空调板为例,提出了空调板保温厚度的优化取值方法.分别在3个典型城市的气象条件下,对该节点的多种保温方案进行了热桥值、基本舒适度、热桥对建筑累计热负荷影响的分析和全寿命周期费用计算,可供工程项目设计参考.     

近零能耗公共建筑技术经济性分析

本文对严寒、寒冷、夏热冬冷3个气候区的12个近零能耗公共建筑示范项目的共性节能技术的全寿命周期增量效益、增量成本以及效益费用比进行了计算,根据计算结果分析得出了各气候区近零能耗公共建筑共性节能技术的经济性特征.又在考虑环境收益的情况下对这些技术的全寿命周期净现值进行了比较,分析了近零能耗公共建筑在不同气候区的经济性差异.研究结果可为投资者和设计人员制定经济性合理的近零能耗公共建筑节能技术方案提供参考.     

计算机信息技术在食品安全控制中的应用

随着现代生活水平的不断提高,人们对于食品安全问题的关注度也日益上升,仅靠人力资源来保证食品安全无疑既繁琐又容易出现疏漏,本文将浅谈一下计算机信息技术在食品安全控制中的应用,并对我国食品企业的计算机技术应用现状进行分析和介绍,为企业在食品安全控制领域更加合理、有效地运用计算机技术提供一些参考和指导。