分层可信计算平台模型的研究与实现*

提出了一种基于现有计算机网络的可信计算平台模型。该模型充分利用了现有的计算机及其网络平台的通用性,将现有的计算平台分层逻辑化为不同的信任层,不仅降低了可信计算平台模型实施的难度,而且提高了其灵活性、扩展性和效率;同时该模型从客户端系统的引导阶段出发构建完整的可信链,保证了可信计算平台的安全性;此外该模型解决了现有的可信计算平台的方向性和系统输入未知性的问题。原型系统实现的结果表明,由于系统中所有计算机及其网络构成统一的可信计算平台,使信任的传递从用户到用户,进而实现真正的对于用户体验的可信计算。     

基于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的结果,具有明显经济效益.