基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

Monitoring slope deformation using a 3-D laser image scanning system:a case study

An ILRIS-36D 3-D laser image scanning system was used to monitor the Anjialing strip mine slope on Pingshuo in Shanxi province.The basic working principles,performance indexes,features and data collection and processing methods are illustrated.The point cloud results are analyzed in detail.The rescale range analysis method was used to analyze the deformation characteristics of the slope.The results show that the trend of slope displacement is stable and that the degree of landslide danger is low.This work indicates that 3-D laser image scanning can supply multi-parameter,high precision real time data over long distances.These data can be used to study the distortion of the slope quickly and accurately.     

工业纯铝在模拟海水中的电化学腐蚀行为

为研究铝在海水中的腐蚀过程,采用电化学阻抗谱、浸泡试验、扫描电子显微镜研究工业纯铝在模拟海水中的腐蚀行为.结果表明:铝在模拟海水中发生点蚀的区域为富含Fe的晶间化合物处,点蚀半径随时间的增加而扩大.铝在模拟海水中的溶解曲线分为4个区间:活性溶解区、过渡区、过钝化区、钝化区.铝在模拟海水中,极化电位为过钝化区时,转移电阻R t随着电位的升高而变小,铝发生严重的点蚀;而极化电位为钝化区时,铝的转移电阻R t随着电位的升高基本不变,铝的溶解行为受到抑制.工业纯铝在模拟海水中发生点蚀的电位区间是-0.45～-0.65 V,钝化电位区间为-0.75～-0.85 V.     

确定土壤背景值的Hazen概率法——以铜陵矿区Pb为例

本文选取已知土壤背景含量的铜陵矿区,基于Hazen概率曲线,探讨了土壤污染重金属元素Pb背景含量与污染叠加含量的区分方法.得到Pb元素的背景含量为28.5μg/g,与该区深层土壤样中Pb元素含量的平均值(34μg/g)比较接近.还得到了Pb元素污染叠加含量与背景含量的界线点51μg/g.基于Hazen概率曲线区分铜陵矿区土壤Pb元素背景含量与污染叠加含量的方法是有效的,有必要将该方法推广到土壤中其它重金属污染元素、其它地区作进一步研究.     

改进型Boussinesq方程高精度紧致差分显格式

采用一种高精度的紧致差分显格式对改进型Boussinesq方程进行数值求解;采用具有TVD性质的三阶Runge-Kutta方法进行预报,用三次样条函数进行校正,时间精度可达到四阶;在空间离散上采用六阶精度的三点紧致显格式进行计算;运用以上数值格式对Beji和Nadaoka改进型Boussinesq方程进行了求解,求解证明:高精度的数值结果和已知的试验结果吻合良好.作为验证算例,同时对波浪在台阶上的传播进行了模拟,从效果对比上可以看出,所得结果明显比Kittitanasuan的计算结果更靠近试验值.     

制造任务分解与制造单元级资源配置协同优化

针对网络化制造环境下制造任务分解与资源配置脱节的问题,提出了制造任务逐层分解与制造单元级资源配置协同优化的方法,建立了协同优化流程.在对制造任务特点进行分析的基础上,建立了制造任务模型和制造单元资源模型,建立了多目标优化模型和目标的综合评价体系,利用在遗传算法求解搜索过程中所获得的动态信息进行综合评价,并随着求解搜索过程的深入对变异幅度进行调整,以达到全局优化和加快收敛速度的目的.最后以实例验证了该方法的可行性与有效性.     

预应力片材加固负载RC梁受弯承载力分析

分析有初始弯矩作用时,预张纤维片材粘贴加固混凝土梁中加固材料相对该处混凝土滞后应变或超前应变的计算方法和纤维片材中有效预应力的取值;对预应力FRP粘贴加固梁构成的复合截面,分析各种可能应变组合下的受弯极限状态,给出两大弯曲破坏类型(分别由片材拉断和混凝土压碎引发)的界限判别条件和极限承载力计算表达式.试验分析表明,极限承载力试验值与计算值比值的均值为0.99,变异系数为0.047.     

应变空间中一般加载规律的弹塑性本构关系

为了建立多维应力、应变空间的弹塑性本构关系,将一般加载规律一维全量理论的简单弹塑性模型推广到一般加载规律的多维增量理论,并且给出应力空间的加载函数和应变空间的加载函数以及它们之间的正确的变换关系.在此基础上,在应变空间中建立了推导一般加载规律的多维增量理论的本构关系的一种途径.应用这种途径,从应变空间的加载函数出发,推导了等向强化材料的一般加载规律的弹塑性本构关系.理论和实例表明,这种途径对等向强化材料、随动强化材料、理想弹塑性材料和热弹塑性问题都适用.     

MA制备GdSiGeDy合金系室温磁制冷性能研究

机械合金化(MA)是一种材料固态非平衡加工新技术.本文主要探讨稀土元素Dy在机械合金化工艺条件下对磁制冷合金GdSiGe磁熵变的影响,发现用机械合金化制备的GdSiGeDy合金系室温磁制冷材料不仅有光滑的磁熵变曲线,而且研究表明,由于元素Dy的加入在磁熵变达到单质Gd的两倍情况下大量减少使用昂贵元素Ge的结果,具有明显经济效益.     

CFRP加固钢筋混凝土梁滞后应变计算方法

为了系统研究从零负载状态到满负载状态各个阶段CFRP片材加固梁滞后应变的计算方法,在充分考虑加固梁不同负载状态及受压区混凝土非线性本构关系的基础上,分别建立了不同负载贴片加固梁考虑混凝土抗拉作用时的滞后应变计算公式及不考虑混凝土抗拉作用时的简化计算公式.试验数据和对比分析结果表明:"考虑混凝土抗拉作用"公式的计算结果与试验数据吻合良好,计算误差<8%,明显优于现有文献的计算方法;"不考虑受拉区混凝土抗拉作用"公式的计算结果在混凝土开裂前和试验值相差较大,但对已裂加固梁的计算误差与"考虑混凝土抗拉作用"公式的计算误差接近.为简化计算,对未裂和已裂混凝土梁贴片加固时的滞后应变可分别采用"换算截面"公式和"不考虑混凝土抗拉作用"公式进行计算,两种简化方法的误差均不会超过10%.