基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.     

语言交际与不同受话者形态下的取效行为

本文旨从奥斯汀的言语行为理论中“取效行为”出发，着眼于日常语言现象，针对三种不同形态的受话者对言语行为产生的积极和消极的影响，重点分析了较常见的第一种受话者形态，而提出语言是人的第二形象。说话者应根据不同的受话者这个角度来提高自己的语言交际能力，通过语言来传达说话者的思想，情感，修养以及学识等，以完善自己的言语行为，顺利实现人与人之间的交际与沟通。     

构建和谐社会的重要任务:和谐社区建设

社区是进行一定的社会活动、具有互动关系和共同文化维系力的人类群体及其活动区域,大力发展社区建设是社会发展进步的客观要求,也是构建和谐社会的重要保证.要在充分认识和谐社区建设的重要性基础上,按照胡锦涛同志"6·25讲话"精神开拓和激发建设和谐社区的新途径和新活力,为和谐社会建设做出应有的贡献.     

高速网络分布式抽样中的统计随机性分析

针对当前分布式抽样方法不能较好地解决抽取样本的随机性和估计无偏性的问题,采取对被抽样的数据包头中没有实际意义的Flag预留位做标记的方法,以保证各测量点抽取样本的一致性;在入口点处采取泊松抽样保证样本的随机性和估计无偏性.理论推导和实验验证均表明:所提方法实现简单、准确性高,抽取样本能较为准确地估计出流量总体特征,并且部署灵活,适合于工程应用.     

随机凸幂凝聚算子的随机不动点定理

在Banach空间研究了随机凸幂凝聚算子不动点的存在性问题,获得了几个新的不动点定理.并推广了随机凝聚算子的不动点定理.     

子午线收敛角和垂线偏差对陀螺方位角的影响

陀螺经纬仪常用于测定井下或地面待定边的坐标方位角.主要分析了在陀螺方位角测量中,影响坐标方位角计算的2个因素--子午线收敛角和垂线偏差.根据赫里斯托夫子午线收敛角γ计算公式和常用近似公式,计算了不同纬度的γ值,对比分析得到:随着经差l的增大,近似公式计算误差相应增大,l=0.5°时计算精度可达0.01″～0.1″,此外给出了γ较差计算公式,并分析得到经差l小于1°时,公式计算精度可达0.001″.根据GPS法测量高程原理导出了垂线偏差计算公式,并结合某试验网数据分析得到垂线偏差最大值一般小于20″,这和理论上的结论较吻合.     

基于非平稳面板计量方法的房地产价格非理性繁荣检验

利用中国30个大中城市1998~2009年季度面板数据,采用非平稳面板计量方法对房价与房租之间的长期均衡关系和Granger因果关系进行分析.结果表明：各大中城市的房价与租金之间存在长期稳定的均衡关系,并且这种长期均衡关系在各城市间存在较大的差异;短期而言,各大中城市的房价与租金之间不存在Granger因果关系,长期来看,房价是租金的Granger原因,但租金不是房价的Granger原因,表明房价已脱离租金所确定的基本面,中国房地产市场存在非理性的繁荣.     

皖北矿区煤层底板岩溶水氢氧稳定同位素特征

对皖北矿区主要含水层的氢氧稳定同位素进行了测试与分析,岩溶含水层中太原组石灰岩岩溶裂隙水(简称"太灰水")δ(18O)均值为-8.69‰,δD均值为-68.64‰,奥陶系石灰岩裂隙溶隙水(简称"奥灰水")δ(18O)均值为-8.47‰,δD均值为-70.10‰。指出了该矿区地表水、新生界松散层类第4层含水层(简称"四含水")、煤系砂岩水、太灰水、奥灰水氢氧稳定同位素一般特征。同时根据太灰水和奥灰水氢氧稳定同位素组成,着重分析了底板岩溶水的补给环境与径流环境以及岩溶水与其它含水层之间的联系。     

基于空间认知和社区识别理论的路径选择模型

将启发式决策、空间认知以及社区识别理论结合,描述出行者的路径选择与路网结构的关系。采用基于模块增益的社区结构算法解构路网结构,描述人们的认知过程,建立相应的路径选择算法。以长沙市中心城区路网为例,利用建立的路径选择方法,分别用静态路阻（距离）、动态路阻（速度）对路网进行解构,计算路径选择集;采用问卷调查方法和出租车GPS数据对实际的路径选择轨迹进行提取,并将理论计算结果与实际调查结果进行对比分析,采用静态路阻的一致率为85%,采用动态路阻的一致率为73%。结果表明建立的集成空间认知和模块增益的路径选择模型可以较好地描述人们的路径选择过程,对于静态路阻的路径选择描述具有更高的准确性。研究成果对于城市规划和交通规划具有一定的借鉴价值。     

Naver-Stokes方程的非协调四边形元的稳定化方法

作者给出了解NavierStokes方程的非协调混合四边形有限元（P~1-Q0和P~1-Q1,其中P~1表示P1非协调四边形元)的稳定化方法.P~1-Q0和P~1-Q1不满足inf-sup条件,因而所给的稳定化方法绕开了inf-sup条件对P~1-Q0和P~1-Q1元的限制.作者证明了该方法的稳定性和解的存在唯一性,并得到了最优误差估计.