期刊文献+
共找到39篇文章
< 1 2 >
每页显示 20 50 100
Search Space Pruning Based on Image Tools for Preliminary Interplanetary Trajectory Design
1
作者 杨大林 徐波 高有涛 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI CSCD 2015年第5期530-540,共11页
A novel gravity assist space pruning(GASP)algorithm based on image tools is proposed for solving interplanetary trajectory optimization problem.Compared with traditional GASP algorithm,the concept of image is introduc... A novel gravity assist space pruning(GASP)algorithm based on image tools is proposed for solving interplanetary trajectory optimization problem.Compared with traditional GASP algorithm,the concept of image is introduced to avoid missing interesting solutions with appropriate number of function evaluations.Image tools allow us to evaluate the objective function in regions in place of points and provide an effective way to evaluate the forward and backward constraints for the multi-gravity assist trajectory optimization problem.Since the interesting solutions of the interplanetary trajectory optimization problem are often clustered in a small portion of the search space rather than being overall evenly distributed,the regionwise evaluations with image tools make the little large interval with the proper Lipschitzian tolerances sampling effective.The detailed steps of the proposed method are presented and two examples including Earth Venus Mars(EVM)transfer and Earth Venus Venus Earth Jupiter Saturn(EVVEJS)transfer are given.Finally,a comparison with solutions given by the literature demonstrates the effectiveness of the proposed method. 展开更多
关键词 trajectory optimization global optimization local minima gravity assist space pruning (GASP) algorithm image tool
下载PDF
注意力引导的多尺度红外行人车辆实时检测
2
作者 张印辉 计凯 +1 位作者 何自芬 陈光晨 《红外与激光工程》 EI CSCD 北大核心 2024年第5期229-239,共11页
红外成像技术通过捕捉目标热辐射特征进行成像,能实现复杂道路场景下的目标监测和道路冗杂信息滤除。针对红外行人和车辆目标检测模型参数量大、依赖高性能GPU资源和检测速度慢等问题,提出了一种注意力引导的多尺度红外行人车辆实时检... 红外成像技术通过捕捉目标热辐射特征进行成像,能实现复杂道路场景下的目标监测和道路冗杂信息滤除。针对红外行人和车辆目标检测模型参数量大、依赖高性能GPU资源和检测速度慢等问题,提出了一种注意力引导的多尺度红外行人车辆实时检测模型。首先,为精确匹配校准红外行人和车辆目标尺度与锚框尺寸,利用K-Means++算法对红外行人和车辆目标尺度进行先验框预置参数重聚类生成,并设计128×128精细尺度检测层;其次,设计注意力引导广域特征提取模块增强模型特征提取能力和空间及通道信息聚焦能力;随后,构建跨空间感知模块引入空间信息感知,强化不同尺度空间下的目标的特征表达能力;最后,针对资源受限设备,通过4倍通道剪枝方法降低模型参数量,增强移动端算法部署适应性。实验结果表明:所提IRDet算法与基准方法相比,模型平均检测精度提升4.3%,达到87.4%,模型权重值压缩60.4%,降至5.7 MB。 展开更多
关键词 红外交通检测 先验框匹配 注意力引导 跨空间感知 模型剪枝
下载PDF
基于邻接表存储与哈希表的频繁项集挖掘算法
3
作者 吴昊 刘钊 顾进广 《计算机应用与软件》 北大核心 2023年第7期266-273,共8页
针对Apriori算法从数据中挖掘频繁项集的计算时间效率较低和空间内存占用较高的问题提出一种ATSAHT-Apriori(Adjacency Table Storage and Hash Table-Apriori)算法。该算法利用哈希表来存储数据,极大地提高了项集支持度频数的计算效率... 针对Apriori算法从数据中挖掘频繁项集的计算时间效率较低和空间内存占用较高的问题提出一种ATSAHT-Apriori(Adjacency Table Storage and Hash Table-Apriori)算法。该算法利用哈希表来存储数据,极大地提高了项集支持度频数的计算效率,结合图存储的思想利用邻接表来存储候选项集,极大地优化了内存空间占用,同时将候选项集构建大根堆,通过堆排序的思想与动态剪枝算法思想优化了频繁项集的计算速度和候选项集存储的内存空间,有效地优化了传统Apriori算法的计算时间效率和内存空间占用方面的不足。一系列对比实验表明,ATSAHT-Apriori算法在时间效率和空间效率都有一定的提高。 展开更多
关键词 时间复杂度 空间复杂度 动态剪枝 哈希表存储 邻接表存储
下载PDF
基于神经架构搜索的非结构化剪枝方法
4
作者 王宪保 刘鹏飞 +1 位作者 项圣 王辛刚 《模式识别与人工智能》 EI CSCD 北大核心 2023年第5期448-458,共11页
由于难以使用客观标准删除深度神经网络中的冗余单元,剪枝后的网络表现出性能的急剧退步.针对此问题,文中提出基于神经架构搜索的非结构化剪枝方法.首先,将掩码学习模块定义在搜索空间中,以便删除冗余的权重参数.然后,引入层级相关系数... 由于难以使用客观标准删除深度神经网络中的冗余单元,剪枝后的网络表现出性能的急剧退步.针对此问题,文中提出基于神经架构搜索的非结构化剪枝方法.首先,将掩码学习模块定义在搜索空间中,以便删除冗余的权重参数.然后,引入层级相关系数传播,在反向传播过程中为每个网络权重分配一个层级相关系数,以此衡量每个权重对网络输出的贡献度,并帮助二值掩码参数的更新.最后,对网络权重、架构参数和层级相关系数进行统一更新.在CIFAR-10、ImageNet分类数据集上的实验表明,文中方法能够在高剪枝率场景下保持网络的泛化能力,满足模型部署的要求. 展开更多
关键词 网络剪枝 神经架构搜索(NAS) 搜索空间 层级相关系数传播 掩码参数
下载PDF
定植株距和整枝方式对早春茬番茄生长及产量的影响
5
作者 杨圆圆 张武斌 +3 位作者 蒋丽媛 刘小媛 陈金丽 赵伟 《黑龙江农业科学》 2023年第10期36-41,共6页
为节约用苗量,达到节本增效的目的,以番茄‘普罗旺斯’、樱桃番茄‘甜美3号’为材料,分别设置4个不同株距番茄(45,60,75和90 cm)和樱桃番茄(30,40,50和60 cm)处理,采用双秆整枝方式,番茄以单位面积相同秆数[2117秆·(667 m^(2))^(-... 为节约用苗量,达到节本增效的目的,以番茄‘普罗旺斯’、樱桃番茄‘甜美3号’为材料,分别设置4个不同株距番茄(45,60,75和90 cm)和樱桃番茄(30,40,50和60 cm)处理,采用双秆整枝方式,番茄以单位面积相同秆数[2117秆·(667 m^(2))^(-1)]的45_单处理和90_(双)处理为对照,在此基础上增加定植密度60_(双)[3176秆·(667 m^(2))^(-1)]和75_(双)[2540秆·(667 m^(2))^(-1)]处理;樱桃番茄以单位面积相同秆数[3176秆·(667 m^(2))^(-1)]的30_(单)和60_(双)处理为对照,在此基础上增加定植密度40_(双)[4764秆·(667 m^(2))^(-1)]和50_(双)处理[3811秆·(667 m^(2))^(-1)]。研究定植株距和整枝方式对番茄生长、产量及经济成本的影响。结果表明,在用苗量减少的情况下采用双秆整枝效果明显,番茄75_(双)处理纯收益最高,较对照45_(单)处理提高了1816.2元·(667 m^(2))^(-1);叶绿素含量最高,SPAD值为63.01;产量最高为5.91 kg·m^(-2),较对照45_(单)处理提高了14.3%。樱桃番茄40_(双)处理纯收益最高,较对照30_(单)处理提高了2038.6元·(667 m^(2))^(-1);叶绿素含量最高,SPAD值为63.67;产量最高为4.98 kg·m^(-2),较对照30_(单)处理提高了12.2%。综合考虑番茄植株生长、产量及经济效益等因素,本研究区早春茬番茄适宜采用株距75 cm双秆整枝方式,樱桃番茄适宜采用株距40 cm双秆整枝方式。 展开更多
关键词 番茄 樱桃番茄 早春茬 双秆整枝 定植株距
下载PDF
一种五自由度修剪机器人结构设计与分析 被引量:1
6
作者 桂林 古劲 +3 位作者 张宾 李传军 陈度 张亚伟 《中国农机化学报》 北大核心 2023年第3期191-198,共8页
为满足多样化景观绿篱修剪造型对修剪机器人工作空间、结构刚度和强度的需求,设计一种用于园林绿植的五自由度修剪机器人结构。首先采用D-H法对机器人进行建模与运动学分析,利用蒙特卡洛法得到机器人的工作空间;然后以球形绿篱为修剪目... 为满足多样化景观绿篱修剪造型对修剪机器人工作空间、结构刚度和强度的需求,设计一种用于园林绿植的五自由度修剪机器人结构。首先采用D-H法对机器人进行建模与运动学分析,利用蒙特卡洛法得到机器人的工作空间;然后以球形绿篱为修剪目标,基于机器人有效空间体积比和速度全域性能指标,确定机器人臂架结构主要杆件的尺寸;最后对臂架结构进行有限元静力学和振动模态仿真分析。仿真结果表明:当大臂尺寸为800 mm,小臂尺寸为900 mm,腕臂尺寸为350 mm时,该机器人垂直修剪作业范围为0~2000 mm,水平修剪作业范围为-1300~1300 mm,工作空间可满足园林绿篱的修剪需求;臂架结构的最大等效应力为34.245 MPa,最大变形为1.8971 mm,刚度和强度均满足技术指标的要求,且其固有频率可有效避开外界频率,避免共振现象。本研究为景观绿篱修剪机器人研制提供机械结构设计方法与方案,具有一定的应用价值。 展开更多
关键词 修剪机器人 运动学分析 有效空间 全域性能指标 有限元分析
下载PDF
结合SE-Tree结构特征的极小碰集求解算法 被引量:3
7
作者 刘思光 欧阳丹彤 +2 位作者 王艺源 贾凤雨 张立明 《计算机研究与发展》 EI CSCD 北大核心 2016年第11期2556-2566,共11页
在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征... 在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征,提出非解冗余节点概念.在对SE-Tree的结构特征进行深入分析基础上,根据非碰集的子集也不是碰集的特点,提出辅助剪枝的概念,通过在剪枝树上设置剪枝判定节点,减少对极小碰集求解过程中无解空间的访问;针对较大规模问题,还提出结合多级辅助剪枝树的极小碰集求解算法,进而较大程度地减少对非解冗余节点的访问;根据多级辅助剪枝树及SE-Tree的结构特征,给出提前终止算法的判定条件,并证明了此算法的正确性.实验结果表明:与效率较高的Boolean算法相比,该算法高效且易于实现,尤其是对规模较大的问题,效率能提升1个数量级. 展开更多
关键词 基于模型诊断 极小碰集 集合枚举树 辅助剪枝树 无解空间剪枝
下载PDF
分布式不确定数据上的概率Skyline计算 被引量:8
8
作者 王晓伟 黄九鸣 贾焰 《计算机科学与探索》 CSCD 2010年第10期951-960,共10页
提出了分布式不确定数据上概率skyline的低通信开销算法。首先给出了一种间接的对象分布信息——剪枝空间,分布节点通过共享全局剪枝空间,能够减少通信开销。为了降低传输剪枝空间带来的额外通信开销,对表示剪枝空间的虚拟对象集合进行... 提出了分布式不确定数据上概率skyline的低通信开销算法。首先给出了一种间接的对象分布信息——剪枝空间,分布节点通过共享全局剪枝空间,能够减少通信开销。为了降低传输剪枝空间带来的额外通信开销,对表示剪枝空间的虚拟对象集合进行基于距离的压缩。与基本算法相比,100个分布节点时,在真实数据集上节省了69%的通信开销;在均匀、正相关、反相关三种标准模拟数据上分别节省60.5%、41.8%、24.5%的通信开销。 展开更多
关键词 分布式不确定数据 概率skyline 剪枝空间 虚拟对象集合
下载PDF
基于模型诊断中结合问题特征的新方法 被引量:6
9
作者 欧阳丹彤 周建华 +1 位作者 刘伯文 张立明 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期502-513,共12页
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包... 基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包含组件个数较多的候选诊断进行求解的方法,进而减小SAT求解问题的规模;在对极小诊断解和非极小诊断解剪枝方法的基础上,首次提出非诊断解定理及非诊断解空间的剪枝方法,有效地实现了对诊断的无解空间进行剪枝.根据组件个数较多的候选诊断先求解及有解无解剪枝方法特征,构建基于反向搜索的LLBRS-tree方法.实验结果表明:与CSSE-tree算法相比,LLBRS-tree算法减少了SAT求解次数、减小了求解问题规模,效率较好,尤其是求解多诊断时效率提高更为显著. 展开更多
关键词 基于模型的诊断 无解空间剪枝 合取范式 SAT求解器 枚举树
下载PDF
基于MapReduce模式的多表联查算法 被引量:3
10
作者 高泽 李常宝 +2 位作者 杨淙钧 刘忠麟 艾中良 《现代电子技术》 北大核心 2015年第14期81-84,88,共5页
多表关联查询是进行数据挖掘与分析的有效技术手段。随着大数据时代的到来,当前的数据分析技术在进行海量数据多表联查操作时存在明显的性能瓶颈,为此提出一种基于Map Reduce计算模型的多表联查算法UGS用以提升多表关联查询效率。实验表... 多表关联查询是进行数据挖掘与分析的有效技术手段。随着大数据时代的到来,当前的数据分析技术在进行海量数据多表联查操作时存在明显的性能瓶颈,为此提出一种基于Map Reduce计算模型的多表联查算法UGS用以提升多表关联查询效率。实验表明,在海量数据背景下,该算法的查询效率明显优于大数据领域的Spark SQL,Hive及关系型数据库的My SQL。 展开更多
关键词 MAPREDUCE 多表联查 关联空间剪枝 SPARK
下载PDF
移动对象反向最近邻查询处理技术研究进展 被引量:3
11
作者 曹泽文 谭川豫 王晓辉 《计算机工程与应用》 CSCD 北大核心 2011年第10期138-141,共4页
随着移动通信技术的快速发展和个人移动通信终端功能的不断完善,移动计算技术有了更加广阔的应用背景,尤其是移动对象的反向最近邻查询处理技术得到了研究人员的广泛关注。对近几年提出的移动对象反向最近邻查询方法进行了研究,根据其... 随着移动通信技术的快速发展和个人移动通信终端功能的不断完善,移动计算技术有了更加广阔的应用背景,尤其是移动对象的反向最近邻查询处理技术得到了研究人员的广泛关注。对近几年提出的移动对象反向最近邻查询方法进行了研究,根据其查询处理过程,将反向最近邻查询方法分为基于预处理的方法和基于空间修剪的方法;总结了近年来提出的有效解决方法和研究进展,最后介绍了移动对象反向最近邻查询处理技术的最新发展趋势。 展开更多
关键词 移动对象 反向最近邻查询 预处理 空间修剪
下载PDF
空间网络数据库中反k最近邻查询算法 被引量:2
12
作者 朱彩云 刘国华 +1 位作者 宋金玲 李伟静 《小型微型计算机系统》 CSCD 北大核心 2009年第9期1781-1786,共6页
在空间网络数据库中,对象的位置和运动被约束在网络中,对象之间的距离不是传统的欧氏距离,而是由网络连通性决定的网络距离,因此,基于欧氏空间的反最近邻查询算法不适用于空间网络数据库.本文对空间网络数据库中的反最近邻查询问题进行... 在空间网络数据库中,对象的位置和运动被约束在网络中,对象之间的距离不是传统的欧氏距离,而是由网络连通性决定的网络距离,因此,基于欧氏空间的反最近邻查询算法不适用于空间网络数据库.本文对空间网络数据库中的反最近邻查询问题进行了研究.给出网络数据和兴趣点的索引结构及空间网络数据存储模型.给出查询空间修剪定理,并在此基础上,提出空间网络数据库中适用于单、双色反k最近邻查询的RkNN算法.证明了该算法的正确性.最后通过实验对算法进行了验证. 展开更多
关键词 空间网络数据库 最近邻 反最近邻 空间修剪
下载PDF
合肥地区果用桑栽培技术的研究 被引量:3
13
作者 张和禹 鲍先巡 汪泰初 《湖北农业科学》 北大核心 2010年第4期893-894,共2页
对合肥地区栽植的果用桑树的品种、栽植密度、剪伐方法进行了试验,结果表明,果用桑品种大十、红果1号、白玉王均可以在合肥地区栽植,栽植的株行距以1m×2m左右、每公顷栽植4500株左右为宜,剪伐方法主要在夏季修剪,在上一年的剪伐处... 对合肥地区栽植的果用桑树的品种、栽植密度、剪伐方法进行了试验,结果表明,果用桑品种大十、红果1号、白玉王均可以在合肥地区栽植,栽植的株行距以1m×2m左右、每公顷栽植4500株左右为宜,剪伐方法主要在夏季修剪,在上一年的剪伐处将所有的枝条短截,保留基部的3~4个芽,可使每公顷桑葚的产量在15000kg以上。 展开更多
关键词 果用桑 品种 栽植密度 剪伐方法
下载PDF
最短加法链算法 被引量:7
14
作者 王晓东 《小型微型计算机系统》 CSCD 北大核心 2001年第10期1250-1253,共4页
本文讨论了关于正整数 n的最短加法链问题 .利用已取得的关于正整数 n的最短加法链长度 l(n)的上、下界的理论成果 ,构造了在回溯法中对状态空间树进行剪枝的精细的剪枝函数 ,从而设计出产生任意正整数
关键词 最短加法链 状态空间树 回溯法 剪枝技术 算法 数据结构
下载PDF
基于裁减自动球形算法的多符号差分空时译码 被引量:1
15
作者 李庆坤 马洪光 +1 位作者 李正生 王鹏毅 《计算机仿真》 CSCD 北大核心 2010年第3期310-313,共4页
将裁减自动球形译码算法(PASD)应用于多符号差分酉空时译码。多符号差分酉空时译码可以克服快衰落信道中常规差分空时译码的误码平层问题,但其计算复杂度和多符号窗口的长度成指数增长关系。自动球形算法是最大似然性能球形译码算法中... 将裁减自动球形译码算法(PASD)应用于多符号差分酉空时译码。多符号差分酉空时译码可以克服快衰落信道中常规差分空时译码的误码平层问题,但其计算复杂度和多符号窗口的长度成指数增长关系。自动球形算法是最大似然性能球形译码算法中乘加次数最少的方案,裁减自动球形算法在性能恶化很小的前提下进一步减少了该方案的计算复杂度。将裁减自动球形算法应用于多符号差分酉空时译码,可以显著的减少计算量。通过仿真表明,方案在显著减少计算量的情况下,性能的恶化很小,达到了性能和复杂度的较好折衷。 展开更多
关键词 裁减自动球形译码 多符号 差分酉空时译码
下载PDF
基于状态空间剪枝的软件测试数据扩增算法 被引量:1
16
作者 张昇 刘春宝 《计算机仿真》 北大核心 2021年第9期348-352,共5页
由于软件测试数据待测行为段序列连接存在冗余,导致目标路径覆盖率降低,提出基于状态空间剪枝的软件测试数据扩增算法。通过并发无关行为段在软件测试内的位置实施分类,依据分类结果采用状态空间剪枝算法,缩减状态空间的规模后,采用测... 由于软件测试数据待测行为段序列连接存在冗余,导致目标路径覆盖率降低,提出基于状态空间剪枝的软件测试数据扩增算法。通过并发无关行为段在软件测试内的位置实施分类,依据分类结果采用状态空间剪枝算法,缩减状态空间的规模后,采用测序序列生成算法采用状态节点投影,对所有待测行为段实施操作和判断,按照状态空间实施全序列连接操作,生成全覆盖、无冗余的测试序列;采用自适应粒子群优化算法,设置初始参数、初始种群,判断终止条件,在扩增的测试数据覆盖目标路径时,输入覆盖的测试序列数据完成软件测试数据扩增。实验结果表明,上述算法在软件测试数据扩增效率高,耗时低,平均运行时间低至0.51s,目标路径覆盖率高达到1.0,并且后期的目标路径覆盖率平稳。 展开更多
关键词 状态空间剪枝 软件测试 数据扩增 测试序列 状态空间 自适应粒子群优化
下载PDF
一种基于后缀树的简洁关联规则挖掘有效剪枝方法 被引量:1
17
作者 王秉政 苏晓珂 张素智 《郑州轻工业学院学报(自然科学版)》 CAS 2011年第3期12-17,共6页
针对基于闭模式简洁关联规则挖掘中搜索空间和计算量过大、挖掘有效性降低的问题,提出一种新的剪枝和挖掘方法.该方法通过充分利用挖掘数据结构,保留尽可能少的挖掘后缀信息,直接挖掘简洁项集并枚举简洁关联规则;不需要保留大量中间结... 针对基于闭模式简洁关联规则挖掘中搜索空间和计算量过大、挖掘有效性降低的问题,提出一种新的剪枝和挖掘方法.该方法通过充分利用挖掘数据结构,保留尽可能少的挖掘后缀信息,直接挖掘简洁项集并枚举简洁关联规则;不需要保留大量中间结构和重复扫描数据库,可在较小代价下完成对项集搜索空间进行剪枝.实验表明,相比传统方法本方法更加有效,并对各种数据集具有较好的可规模性. 展开更多
关键词 关联规则 闭模式 数据挖掘 有效剪枝方法 后缀树
下载PDF
红富士苹果郁闭园改造及其效果 被引量:2
18
作者 雷世俊 《北方园艺》 CAS 北大核心 2013年第23期65-67,共3页
以盛果期郁闭红富士苹果园为研究对象,以"长富2"苹果为试材,采用高干开心形与低干开心形2种树形改造方法,研究了红富士苹果郁闭园树形改造、株行距改造、整形修剪等措施对"长富2"苹果生长结果的影响。结果表明:红... 以盛果期郁闭红富士苹果园为研究对象,以"长富2"苹果为试材,采用高干开心形与低干开心形2种树形改造方法,研究了红富士苹果郁闭园树形改造、株行距改造、整形修剪等措施对"长富2"苹果生长结果的影响。结果表明:红富士郁闭园通过改造后,采用高干开心形,"长富2"苹果主干变高,树高降低,冠径扩大,骨干枝数量减少;枝条总量减少,单株枝量增加,长枝比例减少,优质短枝比例增加;单果重提高,果形指数略有加大,直径80mm以上果实比例增加,果实普遍增大;着色面积1/2以上果实比例显著提高,部分果实全面着色;果实可溶性固形物含量有所增加,可滴定酸含量、维生素C含量变化不大,果实硬度有所提高。 展开更多
关键词 苹果 红富士 郁闭园 树形改造 株行距改造 整形修剪
下载PDF
北京地区别墅区园林绿地养护方法 被引量:1
19
作者 陈博 李迎春 尚鑫栋 《安徽农业科学》 CAS 2020年第19期131-135,共5页
随着经济的发展和人们生活水平的提高,各大中型城市的高档景观别墅区逐渐增多,别墅区与普通居住区相比,对养护管理水平要求更高。为了研究如何实现科学、合理、令多方满意的别墅区绿地养护效果,以朝阳区世茂奥临花园小区养护实例为例,... 随着经济的发展和人们生活水平的提高,各大中型城市的高档景观别墅区逐渐增多,别墅区与普通居住区相比,对养护管理水平要求更高。为了研究如何实现科学、合理、令多方满意的别墅区绿地养护效果,以朝阳区世茂奥临花园小区养护实例为例,探讨北京地区别墅区园林绿地养护存在的问题及解决办法。结论如下:高质量、高水平的别墅区绿地养护管理要充分体现以人为本的理念;开工前做好充分的准备工作;开工后注重多方协调,处理各方关系;乔灌木的修剪注重科学化与精细化。 展开更多
关键词 别墅区 绿地养护 修剪
下载PDF
用于安全协议分析的一种新的状态剪枝方法
20
作者 周清雷 马中良 赵东明 《微计算机信息》 北大核心 2007年第27期75-77,共3页
Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少... Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率。 展开更多
关键词 安全协议分析 串空间模型 状态空间剪枝 认证测试 剪枝定理
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部