用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

基于聚类非参数检验的动态停车需求分布特征

为了探索动态停车需求的分布特征,提出聚类非参数检验分析方法.该方法按照个体-组-类的顺序对多时段随机变量进行聚合,在各聚合阶段运用相应的非参数检验方法校核结果,在确保拟合精度的同时,采用相应的模型描述动态随机变量的分布特征.结合该方法的运用,从问题确定、数据调查、数据处理与分析以及分布特征的归纳总结等环节详细阐述了动态...     

食管支架径向支撑性能

针对目前编织型食道支架支撑性研究存在的问题,完成了支架几何模型及有限元模型的创建、材料模型的选取以及边界条件的设置,提出了基于有限元分析的食管支架径向支撑力计算方法,并对不同头数、不同丝径、不同导程支架的径向支撑力进行分析.分析结果显示:头数越多,径向支撑力越大;丝径越大,径向支撑力越大;导程越大,径向支撑力越小.支撑...     

中度嗜热菌浸出黄铁矿过程中矿物表面硫的化学形态

利用扫描电镜(SEM)、X射线衍射(XRD)和硫的K边X射线吸收近边结构光谱(XANES)等分析手段研究了中度嗜热菌(Sulfobacillus thermosulfidooxidans)浸出黄铁矿过程及矿物表面硫的化学形态.结果表明:中度嗜热菌明显促进了黄铁矿的溶出,24 d浸出液中总铁的质量浓度达到5.3 g.L-1.经24 d细菌处理后,矿物表面形貌变化明显,出现良好结晶状态的晶体.浸出过程中累积在黄铁矿表面的主要成分是黄钾铁矾.矿物表面硫的形态组分主要为黄铁矿和黄钾铁矾,其质量分数分别为34.8%和65.2%.     

振动诱发煤与瓦斯突出的机理

振动是诱发煤与瓦斯突出的重要因素,为此实验研究了振动对瓦斯吸附的作用并从理论上分析了振动对煤体结构的影响,探讨了振动诱发煤与瓦斯突出的机理.结果表明:在振动作用下,煤对瓦斯的吸附量有一定程度的减少,吸附能力降低;振动延长了煤样达到吸附平衡的时间,使吸附平衡压力与未加振动时有所升高,煤样中游离瓦斯增多;振动使煤体内的裂隙增加并扩展,当振动强度达到一定值时煤体内形成较大范围的连通裂隙网;在振动对煤体和瓦斯产生的综合作用下,煤与瓦斯突出的危险性大大增加.     

一种X波段宽带快速跳频频率源

针对快速跳频和低杂散的要求,提出一体化频率源设计方法,综合考虑了高速鉴频鉴相、大环路带宽设计和系统级直接数字合成(DDS)频率规划.利用这种设计方法,采用DDS激励快速锁相环(FL-PLL)结构,成功设计并实现了一种宽带快速跳频X波段频率源.实测结果表明,其输出频带为10.5～11.5 GHz;在极端1 GHz频率跳变条件下,正向跳频时间为0.42μs,负向跳频时间为0.30μs;无失真动态范围为—61.3 dBc;相位噪声为—100dBc/Hz@1kHz;最小跳频间隔为12 Hz.     

一种有利于提高DHCR比例的热轧批量计划编制方法

针对一体化生产过程中连铸出坯顺序与热轧轧制顺序的协调问题,提出了计划顺序协调因子,并在此基础上建立了有利于提高直接热装(DHCR)比例的热轧批量计划优化模型.模型在满足热轧轧制工艺的基础上充分考虑了铸坯连铸出坯计划与热轧轧制计划的协调.采用改进遗传算法——两交换启发交叉算法对模型进行了求解.最后,针对大批量少品种和小批量多品种两组板坯对某钢厂2250 mm和1580 mm轧线进行了仿真,仿真结果表明模型可以大大减少铸坯因顺序不协调而引起的在进入加热炉前的等待时间,进而提高板坯DHCR比例.     

热处理条件对IrO2-pH电极性能的影响

在700℃炉冷、870℃空冷和炉冷三种热处理条件下,制备了氧化铱pH微电极,并对比了微电极的线性范围及响应时间.结果表明:热处理条件对Ir氧化物膜的均匀性有很大影响,进而影响其开路电位的稳定性及响应速度.700℃炉冷和870℃空冷制得的电极氧化膜表面粗糙,孔隙率不均匀并伴随有裂纹;而870℃炉冷条件下制得的电极具有表面氧化膜均匀、响应时间短以及线性好等优点.铱氧化物的形成机理是Ir丝被空气中的O2氧化,而高温Li2CO3起到一种溶剂的作用.铱氧化物电极的H+响应是由于电极表面水合氧化铱与溶液中H+发生化学反应,反应为Ir4+与Ir3+之间的转变.     

基于CAN网络的混合动力汽车硬件在环仿真平台

建立基于多xPC-Target系统的混合动力汽车硬件分布式实时在环仿真平台.通过CAN网络将2个xPC-Target双机系统组合而成.2个xPC-Target双机系统各自运行混合动力汽车各个功能模块的仿真模型,实现数据采集、处理及计算.使用多个xPC-Target系统能够有效分担仿真硬件设备的计算量,有利于提高仿真模型复杂度,提高仿真精度.由CAN网络实现2个xPC-Target系统间的通信.对xPC-Target的性能进行了测试,对CAN通信的时延进行了测试.在所构建的仿真平台上进行的计算验证了仿真平台的可靠性.     

四环素类制药废水厌氧生化预处理研究

采用间歇或连续试验法,对四环素类制药废水进行了厌氧生化预处理研究,考察该废水的厌氧生化降解性.试验结果表明:在间歇试验条件下,不同浓度的制药废水对厌氧产生的抑制不同,随着浓度的增加,产甲烷菌受毒性抑制增加,使得各个最大产气区间后移;在连续试验条件下,水力停留时间(Hydraulic Retention Time,HRT)≈4.4d,容积负荷(Volume Load Ratio,VLR)在1.85-2.11 kgCOD/(m3.d)范围,系统较为稳定,CODCr平均去除率为38.53%.厌氧处理此类废水需严格控制进水的pH值,维持碱度与挥发性脂肪酸(Volatile Fatty Acid,VFA)的比值在一定范围内.