期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
四川藏区道路交通管理面临的主要问题及应对措施——以阿坝州为视点
1
作者
曹建军
何平
+1 位作者
伍炜
简述芬
《四川警察学院学报》
2014年第5期6-12,共7页
四川阿坝州道路交通管理面临的五个主要问题:一线民警数量与质量均存问题,警务运行机制改革有待深化,交管部门整体突发事件应急能力亟待提升,道路基础设施落后,执法环境有待改善。应对措施是:优先考虑民警向一线下沉、实施质量提升工程...
四川阿坝州道路交通管理面临的五个主要问题:一线民警数量与质量均存问题,警务运行机制改革有待深化,交管部门整体突发事件应急能力亟待提升,道路基础设施落后,执法环境有待改善。应对措施是:优先考虑民警向一线下沉、实施质量提升工程,整合基层单位、建立科学的值班备勤制度、推进电子警务,加强预案建设、提升突发事件预测和资源保障能力,提升道路规划层次,切实改善执法环境。
展开更多
关键词
道路交通管理
问题
应对措施
阿坝
在线阅读
下载PDF
职称材料
基于蜂群算法的移动agent迁移策略研究
2
作者
肖庆
焦健
《计算机应用研究》
CSCD
北大核心
2010年第11期4078-4080,共3页
旅行agent问题是一个复杂的组合优化问题,在于解决保证agent在不同主机间移动时如何根据任务情况规划路线,实现在完成任务时间最短的路线上迁移。采用进化算法的搜索求解具有启发性强、鲁棒性强的特点,但也面临着陷于局部最优解,导致ag...
旅行agent问题是一个复杂的组合优化问题,在于解决保证agent在不同主机间移动时如何根据任务情况规划路线,实现在完成任务时间最短的路线上迁移。采用进化算法的搜索求解具有启发性强、鲁棒性强的特点,但也面临着陷于局部最优解,导致agent在迁移过程中整体任务完成效率降低等问题。提出了一种基于蜂群算法的agent迁移模型,将agent划分为侦察、引领和跟随三种角色,agent通过彼此间的信息互换,在群体迁移的过程中同时实施新路径的发现和调整。实验结果表明,该算法可以很好地实现目标寻径效率,与经典蚁群算法相比,该模型具有消耗时间短、占用主机负载少的优点。
展开更多
关键词
移动AGENT
蜂群算法
蚁群算法
agent旅行问题
在线阅读
下载PDF
职称材料
非阻塞算法的形式化建模与分析
被引量：
1
3
作者
杨兰兰
郭建
《计算机应用》
CSCD
北大核心
2020年第S02期106-111,共6页
目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Mich...
目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Michael提出的风险指针,同时,这种内存管理方法也提供了ABA问题的一个解决方案。将应用该内存回收方法于非阻塞同步算法中,使用CIVL验证框架对其进行形式化建模,并提取内存管理方面的性质进行验证。实验结果表明,应用了该内存回收算法的非阻塞模型不仅功能正确,同时也能够避免内存管理方面的问题。
展开更多
关键词
非阻塞算法
形式化建模
风险指针
aba
问题
CIVL验证框架
在线阅读
下载PDF
职称材料
阿坝州森林抚育存在的问题及建议
被引量：
1
4
作者
沈顺平
邹胜
《绿色科技》
2014年第4期147-148,共2页
指出了阿坝州是四川主要天然林区和绿色生态天然屏障,生态地位十分重要。分析了阿坝州森林抚育存在的问题,为森林经营提供了合理建议,以更好地提升该区域森林质量,发挥其生态功能。
关键词
阿坝州
森林抚育
资源现状
存在问题
建议
在线阅读
下载PDF
职称材料
题名
四川藏区道路交通管理面临的主要问题及应对措施——以阿坝州为视点
1
作者
曹建军
何平
伍炜
简述芬
机构
四川警察学院
出处
《四川警察学院学报》
2014年第5期6-12,共7页
基金
四川省教育厅科研项目<四川省藏族地区公安交通应急管理体系研究>
项目编号:12zb279
文摘
四川阿坝州道路交通管理面临的五个主要问题:一线民警数量与质量均存问题,警务运行机制改革有待深化,交管部门整体突发事件应急能力亟待提升,道路基础设施落后,执法环境有待改善。应对措施是:优先考虑民警向一线下沉、实施质量提升工程,整合基层单位、建立科学的值班备勤制度、推进电子警务,加强预案建设、提升突发事件预测和资源保障能力,提升道路规划层次,切实改善执法环境。
关键词
道路交通管理
问题
应对措施
阿坝
Keywords
Road Traffic Management
problem
Measure
aba
分类号
D035.37 [政治法律—政治学]
在线阅读
下载PDF
职称材料
题名
基于蜂群算法的移动agent迁移策略研究
2
作者
肖庆
焦健
机构
广西师范大学历史文化与旅游学院
北京航空航天大学计算机学院
出处
《计算机应用研究》
CSCD
北大核心
2010年第11期4078-4080,共3页
基金
国家"863"信息安全重点专项资助项目(2007AA01Z407)
文摘
旅行agent问题是一个复杂的组合优化问题,在于解决保证agent在不同主机间移动时如何根据任务情况规划路线,实现在完成任务时间最短的路线上迁移。采用进化算法的搜索求解具有启发性强、鲁棒性强的特点,但也面临着陷于局部最优解,导致agent在迁移过程中整体任务完成效率降低等问题。提出了一种基于蜂群算法的agent迁移模型,将agent划分为侦察、引领和跟随三种角色,agent通过彼此间的信息互换,在群体迁移的过程中同时实施新路径的发现和调整。实验结果表明,该算法可以很好地实现目标寻径效率,与经典蚁群算法相比,该模型具有消耗时间短、占用主机负载少的优点。
关键词
移动AGENT
蜂群算法
蚁群算法
agent旅行问题
Keywords
mobile agent
artificial bee algorithm（
aba
）
ant colony optimization
traveling agent
problem
（TAP）
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
非阻塞算法的形式化建模与分析
被引量：
1
3
作者
杨兰兰
郭建
机构
华东师范大学软件工程学院
出处
《计算机应用》
CSCD
北大核心
2020年第S02期106-111,共6页
基金
国家自然科学基金重点项目(61532019)。
文摘
目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Michael提出的风险指针,同时,这种内存管理方法也提供了ABA问题的一个解决方案。将应用该内存回收方法于非阻塞同步算法中,使用CIVL验证框架对其进行形式化建模,并提取内存管理方面的性质进行验证。实验结果表明,应用了该内存回收算法的非阻塞模型不仅功能正确,同时也能够避免内存管理方面的问题。
关键词
非阻塞算法
形式化建模
风险指针
aba
问题
CIVL验证框架
Keywords
non-blocking algorithm
formal modeling
hazard pointer
aba problem
CIVL(Concurrency Intermediate Verification Language)verification framework
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
阿坝州森林抚育存在的问题及建议
被引量：
1
4
作者
沈顺平
邹胜
机构
阿坝州松潘林业局
阿坝州林业局
出处
《绿色科技》
2014年第4期147-148,共2页
文摘
指出了阿坝州是四川主要天然林区和绿色生态天然屏障,生态地位十分重要。分析了阿坝州森林抚育存在的问题,为森林经营提供了合理建议,以更好地提升该区域森林质量,发挥其生态功能。
关键词
阿坝州
森林抚育
资源现状
存在问题
建议
Keywords
aba
prefecture
forest tending
resource status
problem
suggestion
分类号
S753 [农业科学—森林经理学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
四川藏区道路交通管理面临的主要问题及应对措施——以阿坝州为视点
曹建军
何平
伍炜
简述芬
《四川警察学院学报》
2014
0
在线阅读
下载PDF
职称材料
2
基于蜂群算法的移动agent迁移策略研究
肖庆
焦健
《计算机应用研究》
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
3
非阻塞算法的形式化建模与分析
杨兰兰
郭建
《计算机应用》
CSCD
北大核心
2020
1
在线阅读
下载PDF
职称材料
4
阿坝州森林抚育存在的问题及建议
沈顺平
邹胜
《绿色科技》
2014
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
