Explore the vast range of titles available.

This research work receives symbols as input variables, simulates the execution of program, extracts the constraints binding with execution paths, such as security constraints, attack constraints and defense constraints, and constructs the SAT judgment matrix and UNSAT judgment matrix as injection vulnerabilities analysis models. According to the logical reduction results of the matrices, the states of injection vulnerabilities are decided. In the controlled experiments, the false positive and false negative ratios are greatly reduced, and the prototype system can generate correct exploits automatically.

应用GRACE卫星数据反演高精度静态地球重力场是大地测量学界的热点之一。考虑到经典动力学法线性化误差随弧长拉长而迅速增长,本文以GRACE卫星轨道观测值为初值的线性化方法,建立了应用GRACE卫星轨道和星间距离变率反演地球重力场的改进动力学法理论模型。利用2003年1月至2010年12月的GRACE卫星姿态、轨道、星间距离变率和非保守力加速度等观测数据,解算了一个180阶次的无约束全球静态重力场模型Tongji-Dyn01s和一个采用Kaula规则约束的全球重力场模型Tongji-Dyn01k。与国际不同机构最新发布的纯GRACE数据解算的重力场模型（包括AIUB-GRACE03S、GGM05S、ITSG-Grace2014k和Tongji-GRACE01）进行比较,并利用DTU13海洋重力异常和GPS/水准高程异常进行外部检核,结果表明,Tongji-Dyn01s与国际最新模型精度处于同一水平,然而Tongji-Dyn01k模型总体上更加靠近EIGEN6C2重力场模型。

[目的]以元谋县为研究区，基于生态学、RS和GIS理论和方法，研究干热河谷林地利用及生态系统服务价值的变化特征，以期丰富干热河谷林地生态研究，为区域生态环境调控提供理论依据。[方法]以2008年Landsat7ETM及2016年Landsat8OLI2期遥感影像、国家基础地理信息系统及ASTERGDEM数字高程模型为数据源，利用ENVI和ArcGIS软件对2期遥感影像进行解译，获取林地土地利用数据，分析林地的时空特征；调整林地生态系统服务当量因子系数，计算单位面积农田食物生产功能价值及单位面积林地生态系统服务价值系数，分析林地生态系统静态价值特征及其变化；以支付能力指数、支付意愿指数和环境能力指数为参数构建林地生态系统服务动态价值调整系数，分析林地生态系统服务动态价值特征及其变化。[结果]林地主要分布在研究区南部和东部的中高山，在西部、西南部和北部及东部边缘的中高山有少许分布，在河谷坝区有零星分布；2008--2016年林地面积增长了64．24hm2，变化幅度达到11．42％；有90．53km2的林地转为非林地，有154．77km2非林地转为林地。林地向草地转移了73．61km2，草地向林地转移123．11km2；2016年研究区林地生态系统服务静态价值为14．97亿元，较2008年的13．44亿元提高了1．53亿元。2016年林地在研究区生态系统总静态价值的比例为56．41％，较2008年的51．73％提高了4．68％；2008年和2016年林地生态系统服务动态价值分别为4．758亿元和9．027亿元，仅为同期林地生态系统服务静态价值的35．40％和60．30％。[结论]研究区林地面积迅速增长，林地与非林地相互转换频繁，林地净增长明显；林地面积的增长提升了生态系统服务的静态价值。林地的单项生态系统服务价值中，土壤形成与保护、气体调节和生物多样性保护的价值最大，食物生产的价值最小；林地生态系统服务动态价值虽然远低于静态价值，但其变化幅度明显高于静态价值。高生态系统服务价值的林地对社会和环境调节能力的增长更为敏感。

大孔径静态干涉成像光谱仪获取的图像是叠加了干涉信息的二维图像,点干涉图的获取需要经过全视场的推扫,平台姿态误差会导致提取的干涉图存在误差,进而影响复原光谱准确性,因此,图像配准是干涉图提取的关键。由于图像受到干涉调制作用,导致传统的图像配准方法在应用于LASIS图像配准时配准精度有限。为了减弱干涉条纹对图像配准的影响,本文提出一种利用条纹模板消除LASIS图像条纹,再结合图像频域配准的方法实现LASIS图像的高精度配准。配准结果表明,本方法很好地消除了干涉条纹对配准精度的影响,配准精度可以达到0.029 4个像素,相对于已开展的LASIS图像配准方法,沿轨方向配准精度提高了45.48%,跨轨方向配准精度提高了52.22%,图像旋转精度提高了39.13%。

自然界中的微生物大多以多物种生物膜的形式存在,这种生命形式可以增加微生物对外界环境胁迫的耐受性。在多物种生物膜中,微生物之间的相互作用包括合作、竞争、信号分子的传递、以及水平基因转移等。研究自然环境中多物种生物膜内部微生物之间的相互作用,不仅对于理解自然生物膜的形成和演替过程具有重要意义,而且也可以为多物种生物膜在环境质量提升、微生物多样性维持等方面提供理论指导。本文主要分为两个部分：第一部分总结了环境中多物种生物膜的研究方法,包括实验室模拟体系下生物膜的构建及其分析检测技术;第二部分论述了天然多物种生物膜内细菌间的相互作用。

堆肥化处理是有效利用青藏高原高寒牧区牲畜粪便、减轻环境影响的可行途径。本文针对高寒牧区低温和劳动力资源缺乏的问题，研究了一种静态通气方式和保温措施对堆腐效果的影响。静态通气通过埋植于堆体中的通气管实现，而保温通过堆体外的双层塑料膜的温室效应实现。实验结果表明，埋入通气管与翻堆相比可以显著提高堆体内部和堆体外层的温度，有效加快腐熟速度，减少堆腐过程中养分的损失，降低劳动力投入，可以作为高寒牧区替代翻堆的更好通气手段。双层保温膜与单层膜相比能够有效辅助通气管维持堆体高温。堆肥原料中添加磷肥虽然可提高堆腐温度，但同时也增加了堆腐过程中有机质和氮素的损失，需要根据当地实际情况选用。

X51%O626.2; 探索两步法合成1-丁基-3-甲基咪唑甘氨酸离子液体（[ bmim] Gly）的反应条件。第一步，采用阴离子树脂静态交换法由1-丁基-3-甲基咪唑溴盐（[ bmim ] Br ）与强碱性阴离子树脂生成中间产物1-丁基-3-甲基咪唑氢氧化物（[bmim]OH），通过单因素实验获得其最佳交换条件；第二步，[ bmim ] OH 与甘氨酸（ Gly ）反应，经脱水、洗涤后得目标产物。对产物进行核磁（1H NMR）和红外（IR）表征，结果表明产品纯度较高。与动态合成法相比，静态法合成[ bmim] Gly操作简便，节水省时，有助于实现氨基酸离子液体合成过程的绿色化和工业化。

根据对马尼拉海沟及其邻区地震分布和震源机制解所反映的最大主压应力轴分布特征的分析,并结合古洋脊俯冲区段地震产生的静态库伦应力分析,发现在马尼拉海沟区域地震分布具有明显的分带特性,北部以NW向挤压应力为主,俯冲洋脊区段以近EW向的挤压应力为主;1999年7.2级地震使得2000年6.2级地震和2011年6.0级地震震中位置的静态库伦应力分别增加了约0.5和0.3 bar;2011年6.0级正断型地震和5.0级余震的静态库伦应力变化能较好地反映与余震分布的对应关系,大部分余震位于库伦应力变化值大于0.1 bar的触发阈值区域;计算古洋脊俯冲区段强震产生的静态库伦应力变化,结果显示海沟西侧小于10 km的深度范围内库伦应力增加值达到0.3~0.5 bar,呈NE向展布,吕宋岛弧一侧20 km深度范围内均表现为应力增加,应力增加区域与地震的分布较为吻合。

为免去降斑预处理及克服选择分布模型的限制,结合差异图的特点和一种不涉及分布模型的交互式分割方法,产生不同＂种子点＂下的变化检测结果后,再利用投票策略进行决策级融合给出最终的变化检测结果。分割中,将每个像素的特征设置为由差异图及静态小波变换分解差异图再丢弃高频系数后重构得到的各层表示内,对应位置上的灰度值构成的矢量。此特征及决策级融合的策略使本文变化检测技术对SAR图像中的斑点噪声具有一定的抗差性。在无需对SAR图像做预处理的情况下,对真实SAR图像数据集的变化检测结果证实了方法的有效性。

采用种群大小级结构、生命表、生命曲线和秩相关分析对西藏色季拉山川滇高山栎种群的结构与数量动态以及种群高度—环境关系的研究得出：川滇高山栎种群总体呈增长型,不同地段种群的年龄分布差异较大（P〈0.001）,种群表现出林隙更新和阶段性更新的特征,迹地型种群以大量同龄或近同龄林出现,幼苗缺失,呈现出偏途顶极的特征,存在被其他树种替代的可能。川滇高山栎存活曲线介于DeevyⅡ与DeevyⅢ型之间,整个生命过程出现4次死亡高峰,以幼苗进入幼树时期最为强烈（死亡率77.3%）,高死亡率会带来高的生命期望值,种内资源竞争是影响个体寿命和造成种群波动的主要原因。环境因子对川滇高山栎种群高度的影响程度排序为：土壤湿度〉年降水量〉坡位〉坡向〉坡度〉海拔,土壤湿度和年降水量是影响川滇高山栎种群高度分化的显著因子,另外种群对海拔的适应幅度较宽,对坡度响应不强,水分格局是影响个体增长和种群发展的重要因素。