面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

软件无线电技术应用研究

针对软件无线电技术的基本概念、体系结构、实现的关键技术以及近期在软件无线电技术应用研究中的分析体会作了简要论述 ,对软件无线电技术的开发及应用前景进行了分析 ,并着力提倡今后对软件无线电技术的开发与利用。     

不含相交三角形和4圈的平面图的无圈边染色

如果图G的正常边染色不包含2-色圈,则称它是图G的一个无圈边染色。图G的无圈边色数表示图G的无圈边染色所需的最小颜色数。利用差值转移方法并结合平面图的结构性质,证明了不含相交三角形和4圈的平面图的无圈边色数不超过△(G)+6。     

上引流态化气力输送仓泵发料过程的数值模拟

选用1∶1上引式流态化发送仓泵为研究对象,建立仓泵的几何物理模型。在基于计算流体力学(ComputationalFluid Dynamics,CFD)软件Fluent 6.3平台上对仓泵内的发送过程进行数值模拟。模拟过程中,选用欧拉—欧拉双流体、标准k-ε、气固间双向耦合模型。模拟结果显示,对于上引式流态化仓泵,随着物料的不断输送,发送过程为非稳态,湍流现象强烈。两相速度矢量方向相似,都易在泵内形成多处漩涡,出料管内矢量方向平直;同时发现,仓泵内部结构对两相流动特性作用明显,出料口附近及流化板两侧,由于两相流动不均匀及两相与内壁之间的相互作用会产生大量漩涡。     

基于DM643的交通信息采集系统

为实时、准确获取道路交通信息,满足当前智能交通系统的应用需求,设计并实现了一种基于高性价比DSP硬件平台的嵌入式交通信息采集系统。给出了视频输入输出接口／电路和网络通讯接口电路的设计,并基于DSP／BIOS开发了系统驱动程序。实验结果表明,该系统具有很好的稳定性和实时性。     

GPS-RTK技术在建筑轴线放样中的应用

全球卫星定位技术(GPS)作为一项高新技术,具有全天候、高精度、速度快等显著特点,在建筑业中已得到广泛应用,但是目前GPS-RTK技术(GPS实时动态定位技术)用于建筑轴线放样的还不多。通过实例将利用GPS-RTK技术放样结果与GPS静态观测结果进行对比分析,证实了GPS-RTK技术放样建筑轴线的精度能够满足要求。     

UML在商业工作流程建模中的应用

随着商业软件的发展,传统的系统分析设计的方法已不能很好地适应现在的要求。为解决在商业工作流程建模中存在的问题,提出了使用UML进行建模,并结合实例论述了如何在商业工作流程中具体应用UML建模。实践表明在应用软件开发中应用UML对提高应用软件的开发效率和质量有很大的帮助,它很好地解决了现存的问题。     

活性炭纤维作电极的高级电化学氧化技术对直接深蓝L-3RB的矿化

以活性炭纤维作为新型电极,采用高级电化学氧化工艺(AEOPs)对直接深蓝L-3RB(DDBL-3RB)进行了矿化研究.AEOPs过程包含了两种不同的电化学过程--电Fenton和光电Fenton过程.60 mg/L的含50 mmol/L Na2SO4的DDBL-3RB溶液被用于矿化研究,结果表明光电Fenton过程具有最高的初始总有机碳去除率以及脱色率,这两种高级电化学氧化过程的机理都可以归结为Fe2 和电生H2O2反应所产生的羟基自由基对DDBL-3RB的矿化降解.     

粗糙集在智能空瓶检测感兴趣区域提取中的应用

为实现空瓶检测中感兴趣区域ROI的自动精确标定,介绍了一种基于粗糙集不可分辨关系划分及粗近似进行ROI区域提取的新方法。首先,基于先验知识描述,确定粗略ROI区域,然后,提取和ROI区域标定有关的底层图像特征如灰度、边缘、位置等,在对特征属性离散化后,构造出反映分类关系的信息表,并依据不可分辨关系划分获得基本像元区域,最后,以初始ROI区域的上近似作为最终提取的ROI区域。在瓶身及瓶口的ROI区域提取实验中,该方法可以获得比人工标定更为精细的ROI区域,有利于提高后续检测过程中的检测精度。     

黄土高原小流域综合治理效益多维灰色动态评价

构建了黄土高原小流域综合治理效益评价指标体系,以砖窑沟流域为例,选择1989、1998、2010年3个时期,采用多维灰色评估模型进行小流域综合治理效益评价。结果表明,高灰类和低灰类的土地面积均为上升趋势,但高灰类上升缓慢,中灰类呈迅速下降趋势。同时,划分了综合治理效益发展趋势类型,即高稳定型、低稳定型、上升型、下降型和不稳定型,其中低稳定型和下降型的发展趋势成为流域的主要类型。今后的黄土高原小流域综合治理应采取新思路、新策略。图3,参13。