排序方式: 共有17条查询结果,搜索用时 296 毫秒
11.
12.
以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和验证;一般在使用传统1-可达性分析方法分析复杂身份认证协议时,会存在状态空间爆炸的问题,为了有效地解决该问题,提出了一种用1-可迭性分析方法和向回分析方法相结合的策略,对该身份认证协议进行了分析,从而验证了该身份认证协议是安全的. 相似文献
13.
电厂机组检修是保证电厂安全生产的一项重要工作,而机组大修网络计划图的应用可以大大提高电厂机组检修工程的效率,当前在电厂中绘制网络计划图主要靠技术人员手绘或使用类似AutoCAD之类的软件,费时费力且不利于随时修改,针对这一问题,使用了一种人工智能的搜索算法,可以根据工程中各个工序的先后关系自动生成的网络计划图,并且以该算法为核心编制了应用软件,在某电厂的实际应用表明该软件具有绘图准确,出图速度快,规划图谱清晰易懂,修改便利等特点。 相似文献
14.
传统移动机械臂路径规划算法没有根据抓取点分布情况对工位点坐标进行优化,效率低,对此,提出了一种基于改进遗传算法的移动机械臂拣选路径优化方法.通过对拣选物品位置的分析,建立单个工位点上移动机械臂分拣路径模型和多工位点的旅行商(TSP)问题模型,运用改进的遗传算法,在工作空间内对各个工位点的位置坐标寻优,规划出移动机械臂抓取的最短路径和多工位点间移动的最短路径.实验结果表明,与传统遗传算法可能,运用改进的等级进化选择算子和最优近邻交叉算子,遗传算法的收敛速度提高了46.15%,路径缩短了45.99%,系统运行时间减少了25.80%,提高了系统效率. 相似文献
15.
当前,中国的电解铝产能已大于产量,而产量又大于铝的消费。为限制产能过剩,国家正在进行供给侧改革,只能等量或限量置换,因此大型铝电解槽技术升级改造显得较为重要。从分析目标槽的问题出发,采取升电流、改进磁场、内衬及槽结构优化等措施,找出了大型铝电解槽升级改造的方向。 相似文献
16.
水文监测工作作为水文事业的一个重要环节,是一项基础性的公益事业,在社会公众服务和政府决策中起到积极的作用。真实可靠的水文监测数据,可以给水资源和工程建设管理以及水文规划设计等工作提供一定的保证。主要分析了对水文监测工作产生影响的因素和水文监测工作中存在的问题,并提出了提升水文监测质量的措施。 相似文献
17.