基于域敏感指向分析的区间运算在软件测试中的应用

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.     

丹酚酸B-卵磷脂复合物的制备及性能

用非质子性有机溶剂作为反应体系,采用单因素和正交试验研究了溶剂、时间、质量浓度、投料比和温度对复合物形成的影响。采用红外光谱鉴定复合物的形成,采用正辛醇-水体系分析复合物的表观油/水分配系数。结果表明,复合物制备条件反应溶剂为四氢呋喃,反应时间为50 min,丹酚酸B的质量浓度为2 mg/mL,反应投料比为1∶0.8,反应温度为55℃。红外光谱分析确认了复合物的形成,复合物表观油/水分配系数测定表明,丹酚酸B和卵磷脂的复合提高了丹酚酸B的脂质溶解性能。     

定重给煤机替代定量斗式主井箕斗装载设备的探讨

伴随着科学技术的不断进步,煤矿现场所使用的装备也是日异月新。定量斗是通过实物校验的原理对箕斗进行额定吨位的装载,其整体工艺较为复杂,已经被国家明文规定属于淘汰落后装备。主要阐述定量斗被淘汰的原因,同时探讨替代产品定重给煤机的技术特点。     

在TIS的WWW代理服务中实现基于网络安全的内容过滤

内容过滤是网络安全领域的新课题,文章建立了一个完整的内容过滤模型,并在TIS的WWW代理服务中实现了此内容过滤模型。实验结果表明,该模型在过滤精度与实时性之间较好地达成了平衡,实用性较强。     

基于NCUT优化的岩心体视图像岩粒分割方法

为了克服传统NCUT算法运算效率低、分割准确度和自适应性差等问题,基于岩心体视图像的特征,提出适用于体视图像岩粒分割的算法.首先将检测出的高光点的亮度值用该像素点邻域中亮度最小值代替,以消除图像高光噪声;然后采用2次分水岭算法分割图像,将得到的区域映射为NCUT输入节点,以块代点减少节点数量,提高分割效率;再引入边缘梯度特征和自适应的高斯核尺度因子重新设计NCUT权值矩阵,提高分割准确度和自适应性;最后加入限制条件约束K-means初始聚类中心选择,提高NCUT聚类稳定性.实验结果表明,该算法降低了对初始参数的依赖,对岩粒有更好的分割效果,且运算时间明显缩短.     

基于局域重加权的智能配电网多源分布式协调优化算法

为了实现大量间歇式新能源的充分消纳,提出了一种含高密度分布式电源的智能配电网有功和无功资源的区域分布式协调优化算法。该方法首先建立多时间段线性锥最优潮流模型,其次利用辅助变量增广Lagrangian乘子法分裂节点以实现各区域子系统潮流的空间解耦,最后提出了基于局域重加权Lagrangian的分布式优化算法,实施全网有功和无功资源的协调优化。算法上,各区域子系统无需全局协调可独立并行迭代优化,通过邻域子系统间少量的部分信息交互达到全网优化。该算法降低了通信复杂度,最大限度地保留了各子系统的独立性。算例验证结果表明,所提算法计算效率较高且收敛特性良好。     

MDYB-3有机玻璃裂纹扩展温度效应试验研究

随着对飞机性能要求的提高,对机用有机玻璃的要求愈来愈高.目前飞机舱盖玻璃表面温度在-55℃～100℃范围内变化,因此,研究飞机舱盖MDYB-3有机玻璃温度效应具有十分重要的意义.文中采用CT(compact tension)试样对MDYB-3有机玻璃在-50℃～90℃范围内进行裂纹扩展试验,研究温度对MDYB-3有机玻璃裂纹扩展速率的影响.应用线弹性断裂力学理论,分析不同环境温度下裂纹扩展速率与等效应力强度因子ΔK之间的关系.试验结果表明,MDYB-3有机玻璃随着温度升高,裂纹扩展速率减小,断裂韧度增大;低温时MDYB-3有机玻璃表现为脆性,裂纹扩展十分平滑,断面垂直于拉伸方向,温度较高时MDYB-3有机玻璃表现为粘性,裂纹扩展面凹凸不平.     

综合物探方法在武汉市水域地质调查中的应用效果分析

武汉市水域面积广阔,不同水域的水深、水体流速、水下沉积物分布等地质条件有显著差异,开展水域地质调查时对物探方法的需求也不一样。武汉市以往开展的水域物探工作以水上地震探测为主,但当前单一的物探方法已经不能满足探测深度、精度及适用性等多方面的要求。为解决武汉市水域地质调查对物探方法的选择问题,以代表湖泊水域的后官湖、代表河流水域的长江和汉江为试验区,开展水上地震、探地雷达、浅地层剖面法、高密度电法四种物探方法的应用效果对比研究。结果表明,在武汉市湖泊区域宜采用高密度电法和探地雷达的方法组合,在河流区域宜采用水上地震和浅地层剖面法为主、探地雷达为辅的方法组合。上述物探方法组合可基本满足武汉市水域地质调查的物探需求。     

β沸石的合成研究

采用固体硅胶为硅源,利用成本较低的TEABr为模板剂合成β沸石,通过XRD及SEM等系统考察了投料硅铝比、晶化温度、模板剂浓度、碱度、晶化时间等因素对β沸石晶化过程的影响。在较短的晶化时间和高固含的合成体系中制备了结晶完善的高纯度β沸石。     

基于振动测试的发动机高压油管断裂问题分析

本文通过振动测试,分析了某车用发动机高压油管断裂的原因。根据振动测试的结果,提出了两项改进措施：一是改变支架刚度来改变其固有频率,使共振转速出现在发动机不常用的转速范围内;二是将喷油泵与驱动齿轮间的连接方式改用法兰来连接,避免了由于轴的加工误差和安装同轴度的影响。经过试验测试,改变连接方式后有效缓解了高压油管的振动。