一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。     

电磁驱动器放电电流数据采集系统设计

针对电磁驱动器的重要参数——放电电流所处的特殊测量环境,利用罗果夫斯基线圈,基于高速AD转换器Max113,设计了冲击大电流的数据采集系统。分析了系统的工作原理,介绍了硬件电路和数据采集程序。     

基于误差预测的焦炉火道温度软测量模型

针对焦炉火道温度在线检测的问题,在分析焦炉火道温度特性的基础上,建立了一种基于误差预测的高精度焦炉火道温度软测量模型．首先分别建立了1元、2元和12元线性回归模型,对蓄顶温度和火道温度进行线性拟合;然后比较分析了三种回归子模型的特点．使用融合时间差分法的Elman神经网络,对线性回归模型中精度最高的12元模型的预测误差进行拟合和多步预测．采用专家经验将线性回归组合模型和融合时间差分法的Elman神经网络模型进行集成,最终获得了具有较高预测精度的焦炉火道温度软测量值．实际运行结果验证了该软测量模型的有效性．     

对一种公平非否认协议的新改进

Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论.Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步.通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导致不公平.针对此问题,提出一种新的改进方案.新的改进消除了协议对时钟同步的依赖性,保持了协议的公平非否认性,且不会降低协议的效率.     

直觉模糊S-粗决策模型及应用

基于直觉模糊S-粗集理论,提出双向直觉模糊S-粗决策模型.首先给出指标值的量化方法,将目标矩阵进行标准化处理.其次,建立直觉模糊S-粗决策的上一决策和下一决策优化模型,并给出直觉模糊S-粗决策算法及详细步骤.最后,以空袭目标为例,详细研究了目标威胁程度评估过程.结果表明,直觉模糊S-粗决策模型能够综合处理决策因素的定性与定量因素,得到的决策结果综合性能最优.所得的排序结果真实、准确地反映了实际情况.     

启迪智性,温故求新——李有行教授装饰色彩艺术教学体系的创新魅力

李有行先生是我国著名的色彩教育家,国家二级教授,四川美术学院创办人,第一任校长。他开创的独特的色彩艺术教学体系在二十世纪六七八十年代中国各艺术院校中享有盛誉,被当时赞喻为"北有雷圭元,南当李有行"。他把早年留学法国学习绘画艺术的丰富经验与中国传统绘画艺术相融合,针对培养设计师为目标,创造了著名的李氏色彩教学体系。即从学习"图案艺术"到"绘画写生"再到"归纳色彩写生"完备的训练程序。在应用、设计学科内有效地制定了一整套以培养设计师为目标的"设计色彩"法,即作为艺术家和设计师双重身份的培养目标。     

大红山铜矿原矿输送控制系统改造

通过分析大红山铜矿原矿输送系统实施改造的必要性,阐述了ABB数字式直流调速装置和西门子PLC在原矿输送生产线控制系统中的应用。生产实践证明,该系统投运后稳定可靠,使输送能力有很大提高,获得了显著的经济效益。     

采用CDMA通信的远程照相监控系统

介绍了采用CDMA通信的远程照相监控系统的设计思想、实现功能和工作过程。通过一个基本的点对点的远程照相监控系统,说明了系统的硬件构成、软件的编程方法以及该系统应用的场合和使用它的优缺点。     

塔里木沙漠公路防护林区土壤微生物的立地条件效应

通过分析来源于塔克拉玛干沙漠腹地防护林地的土壤样品,揭示了不同立地条件下防护林土壤微生物的差异及对土壤环境因子的响应规律,主要结论如下:(1)不同立地条件下土壤微生物活性差异极显著,呈现沙垄基部＞沙垄中部＞沙垄顶部＞板结平沙地＞流沙地的规律,而土壤深度间微生物数量表现为10～20cm＞20～35cm＞0～10cm,差异不明显.(2)三种微生物对环境因子的响应有所差异,细菌与土壤总孔隙度、含水量有显著正相关关系.与全K含量显著负相关;放线菌与全P、全K和全盐含量明显负相关,与全N正相关;真菌与全K、全盐含量负相关,与有机质含量和孔隙度大小正相关.(3)土壤不同深度范围内土壤因子对微生物活性的影响程度不同,0～10cm土层主要取决于有机质和N素含量;而土壤盐分状况和孔隙结构对10～20cm微生物较为重要;20～35cm土层中微生物需要满足一定养分供应和土壤结构.因此,土壤微生物对不同立地条件下土壤环境条件响应不同,微生物种群数量表现出一定差异,最终可能影响到微生物在土壤养分转化和促进土壤发育中的作用.     

SAR地面处理系统中基于XML的网络管理

提出了一种适用于SAR地面处理系统网络监控的框架模型,该模型包括监控中心、节点和监控终端。模型各实体间采用XML作为信息交互的平台,并且提出了基于服务的网络节点逻辑划分的方案。该模型的监控范围涵盖了对硬件平台的监控到网络系统专有的业务逻辑监控,是一套完整的基于服务的系统状态监控方案。