基于符号执行的注入类安全漏洞的分析技术

用符号值作为输入, 模拟程序执行, 提取执行路径上相应的约束条件, 即安全约束、攻击约束以及防御约束, 并构成可满足矩阵(SAT)以及不可满足矩阵(UNSAT)两个注入类漏洞安全分析与检测模型, 矩阵模型的求解结果可映射为注入类安全漏洞的安全状态。对Web应用注入类漏洞的检测实验表明, 与目前安全分析主流工具相比, 该分析技术具有降低误报率、漏报率、能自动生成攻击向量等优点。     

CFRP/Al四钉铆接接头性能研究

碳纤维复合材料（CFRP）作为一种新型轻质材料,与金属的连接问题备受关注.本文设计了CFRP/Al四钉铆接接头试样结构,通过试验与仿真对比,观察单搭接接头和T型连接接头的失效形式、位移-载荷曲线,验证接头三维累计损伤有限元模型的有效性.通过仿真比较不同接头尺寸对四钉接头力学性能的影响.结果表明,在一定范围内,铆钉直径越大,剥离强度越大,铆钉直径为5 mm时,剪切强度最大;铆钉排距为25 mm时,剪切强度最高,剥离强度会随着排距的增加而增大;铆钉列距越大,剥离强度越大,当列距为15 mm时,剪切强度达到最大值.因此,铆接方式能够有效解决CFRP和铝合金的连接问题,并且选择合适的接头尺寸可以提升接头的力学性能.     

服务场景中社会线索对顾客场所依恋的影响

基于刺激-机体-响应(SOR)模型和场所依恋理论,采用网络问卷调查方法收集数据,利用AMOS统计软件对服务场景中的社会线索同场所依恋之间的关系进行了研究.结果表明:服务场景中的社会线索显著正向影响顾客的认同感、归属感和社会支持感,上述变量将进一步引发顾客的场所依恋.此外,顾客的认同感、归属感和社会支持感对服务场景中的社会线索同顾客的场所依恋之间的关系存在显著中介效应.该结论更为深刻和细致地刻画了顾客在服务场景中的社会线索刺激下的心理机制,为服务场景中社会线索的有效管理提供了决策支持.     

基于局部加密等级网格的2.5D直流电法有限元模拟

合理截取半圆形计算区域,采取局部加密的?-等级网格,结合对称行索引存贮格式(CSR)及并行稀疏直接求解器PARDISO,提出一种高效、高精度的2.5D直流电阻率法有限元正演方案,并编制相应的Fortran程序,对具有解析解的3个典型地电模型进行计算与分析。研究结果表明:圆形截断边界不仅便于在径向方向上采取?-等级网格剖分,而且能大大简化有限元模拟中单元刚度矩阵的计算;结构化的等级网格避开了通常非结构化网格有限元计算时繁琐的网格剖分及总体刚度阵的集成过程,且能在不增大问题规模的前提下,显著提高2.5D直流电法正演源点附近的模拟精度;Intel MKL的PARDISO求解器能在普通PC机上5 s内求解电法正演有限元离散得到的100万阶稀疏线性方程组,可广泛用于各种地球物理正演问题。     

基于GT的模具CAD/CAPP一体化系统

讨论了以成组技术为基础的模具CAD/CAPP一体化系统的建立方法。本研究采用特征代码表示结构 ,建立了模具零件特征描述模型、自动生成零件图及工艺规程 ,具有一定的实用价值。     

杨氏模量实验粗调范围的定量分析

杨氏模量实验中常涉及到望远镜和光杠杆平面镜的粗调和细调,对培养学生的实践能力有着重要作用.但在仪器调节的教学中发现,学生对平面镜和望远镜粗调不够重视,导致光杠杆平面镜的上下倾角或者望远镜光左右偏转转角过大,无法观察到标尺的像.文章从系统成像的光路出发,对光杠杆平面镜的上下倾角或者望远镜左右偏转转角过大这两种极限情况进行...     

高性能计算的自适应数据访问优化

提出了一个新颖的应用开发体系结构一高性能计算的自适应数据访问优化系统：它包含一个元数据管理系统和存储系统,既具有分布／并行文件系统和数据库的优点,又克服了它们的缺点．该平台采用的多存储资源体系结构包括一个采用了新的I／O技术的运行库,它能够自适应地利用当前的I／O优化方法．     

青藏高原中部地区不稳定大气边界层高度的确定与分析

利用1998年第2次青藏高原大气科学实验（Tibet Plateau Experiment, TIPEX）当雄大气边界层加强观测站的湍流观测资料,计算了青藏高原中部地区不稳定大气边界层的高度;结合低空探空获取的温度随高度的探测资料,对比分析了高原边界层演变规律,以及实验站干季、雨季不同时期的高原边界层发展规律异同;讨论了高原边界层厚度受高原地形的影响。得到高原边界层演变规律及高原边界层发展迅速,持续时间长等特点。     

柴油机燃油喷射系统的数值模拟及计算结果分析

建立了柴油机燃油喷射系统数学模型，包括喷油泵端、喷油器端和高压油管三个子模型，在计算中对燃油压缩性系数的计算公式作了适当的修正；在分析高压油管内部流动特征的基础上，建立了流动的控制方程，并推导了变密度情况下的特征线计算公式；同时认为高压油管内压力波传播速度非定常，较为详细地考虑和分析了各影响因素及其简化方法，并着重对计算结果进行了深入的分析，为进一步精确地描述燃油喷射系统工作机理提供了依据。     

多属性效用理论的一组公理

本文将多属性效用理论推广到无穷周期情况,建立一组公理。并由此公理得到一些有趣结论。