期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
微生物在酸性矿井水形成过程中的作用
被引量:
7
1
作者
王立艳
王璐
+1 位作者
张云剑
张欣
《洁净煤技术》
CAS
2010年第3期104-107,共4页
研究了山西某煤矿煤炭开采过程中不同阶段矿井水中微生物的种类、数量及其对矿井水酸化的作用。结果表明:煤层里的硫分和巷道中的氧气在煤层中的扩散是酸性矿井水产生的必备条件,同时,在矿井水不断酸化的过程中,微生物起到了至关重要的...
研究了山西某煤矿煤炭开采过程中不同阶段矿井水中微生物的种类、数量及其对矿井水酸化的作用。结果表明:煤层里的硫分和巷道中的氧气在煤层中的扩散是酸性矿井水产生的必备条件,同时,在矿井水不断酸化的过程中,微生物起到了至关重要的作用。前期起主要作用的是细菌如氧化亚铁硫杆菌、氧化硫硫杆菌及其它一些好氧硫杆菌等,后期某些具有氧化作用的霉菌如产黄青霉也起到了一定的作用,并由此推导出更为合理完善的酸性矿井水形成过程系列反应式。
展开更多
关键词
酸性矿井水
微生物
酸化
在线阅读
下载PDF
职称材料
共形空间中的少自由度空间并联机构正解
被引量:
5
2
作者
杜鹃
吴洪涛
张云剑
《机械设计与制造》
北大核心
2015年第6期1-4,8,共5页
针对3-RPS型空间少并联机构正解问题,利用3-RPS型并联机构在共形空间中的运动特性,对其运动学问题进行求解。首先,利用共形空间中的几何元素表达方式以及共形变换规律,求得并联机构动平台三个球铰在空间中的位置表达式,表达式中含有一...
针对3-RPS型空间少并联机构正解问题,利用3-RPS型并联机构在共形空间中的运动特性,对其运动学问题进行求解。首先,利用共形空间中的几何元素表达方式以及共形变换规律,求得并联机构动平台三个球铰在空间中的位置表达式,表达式中含有一未知数。接着,根据共形几何空间中的内积性质,以及并联机构运动规律,得到一方程组,该方程组为并联机构正解的符号辅助解。最后,结合已编写程序,将并联机构设计参数带入方程组,对符号辅助解进行求解,进而求得并联机构正解的数值解。计算结果表明,这种基于共形几何,将符号与解析结合的正解求解算法,由于不需要计算雅克比及其逆矩阵,也不需要进行数值解的反复迭代,计算速度优于传统算法,这使得该算法的实时性和准确性满足实时控制的需求。
展开更多
关键词
共形几何
3-PRS型并联机构
正解
在线阅读
下载PDF
职称材料
mxAutomation接口的机器人通信协议开发
被引量:
2
3
作者
李世成
徐世保
+2 位作者
张云剑
程旭
王石刚
《传感器与微系统》
CSCD
2017年第7期75-78,共4页
在智能变电站中,带电检修机器人对隔离断路器进行带电检修的核心技术是实现对2台(工业)机器人的控制。变电站中强电磁场的干扰对机器人控制的可靠性提出了难题。因此,需要制定相应的上位机工控机(IPC)与控制机器人的可编程逻辑控制器(P...
在智能变电站中,带电检修机器人对隔离断路器进行带电检修的核心技术是实现对2台(工业)机器人的控制。变电站中强电磁场的干扰对机器人控制的可靠性提出了难题。因此,需要制定相应的上位机工控机(IPC)与控制机器人的可编程逻辑控制器(PLC)之间的通信协议,以实现两者之间可靠的通信,从而实现IPC对机器人的可靠控制。
展开更多
关键词
隔离断路器
带电检修机器人
工控机
可编程逻辑控制器
机器人
通信协议
在线阅读
下载PDF
职称材料
攻击网页浏览器:面向脚本代码块的ROP Gadget注入
被引量:
1
4
作者
袁平海
曾庆凯
+1 位作者
张云剑
刘尧
《软件学报》
EI
CSCD
北大核心
2020年第2期247-265,共19页
即时编译机制(just-in-time compilation)改善了网页浏览器执行JavaScript脚本的性能,同时也为攻击者向浏览器进程注入恶意代码提供了便利.借助即时编译器,攻击者可以将脚本中的整型常数放置到动态代码缓存区,以便注入二进制恶意代码片...
即时编译机制(just-in-time compilation)改善了网页浏览器执行JavaScript脚本的性能,同时也为攻击者向浏览器进程注入恶意代码提供了便利.借助即时编译器,攻击者可以将脚本中的整型常数放置到动态代码缓存区,以便注入二进制恶意代码片段(称为gadget).通过常数致盲等去毒化处理,基于常数的注入已经得到有效遏制.证实了不使用常数转而通过填充脚本代码块也能实施gadget注入,并实现图灵完备的计算功能.在编译一段给定的脚本代码时,即时编译器生成的动态代码中通常存在着一些固定的机器指令序列.这些指令序列的存在性不受常数致盲和地址空间布局随机化等安全机制的影响,同时,这些指令序列中可能蕴涵着攻击者期望的gadget.在实施攻击时,攻击者可以汇集特定的脚本代码块来构造一个攻击脚本,再借助即时编译器来注入gadget.在x86-64架构上评估了这种注入攻击在Spider Monkey和GoogleV8这两个开源即时编译引擎上的可行性.通过给这两个引擎输入大量的JavaScript脚本,可以得到较为丰富的动态代码块.在这些动态代码块上的统计分析结果表明,这两个引擎生成的动态代码中都存在图灵完备的gadget集合.在实际攻击场景中,攻击者可以利用的脚本集合完全包含且远远多于实验用的脚本.因此,攻击者可以采用该方法注入需要的gadget,以便构造出实现任意功能的ROP(return-oriented programming)代码.
展开更多
关键词
网页浏览器
即时编译机制
即时返回导向编程
ROP(return-oriented
programming)
gadget注入
图灵完备计算
在线阅读
下载PDF
职称材料
题名
微生物在酸性矿井水形成过程中的作用
被引量:
7
1
作者
王立艳
王璐
张云剑
张欣
机构
中国矿业大学(北京)化学与环境工程学院
出处
《洁净煤技术》
CAS
2010年第3期104-107,共4页
基金
2008年中国矿业大学(北京)大学生创新性实验计划项目(08212)
中央高校基本科研业务费资助
文摘
研究了山西某煤矿煤炭开采过程中不同阶段矿井水中微生物的种类、数量及其对矿井水酸化的作用。结果表明:煤层里的硫分和巷道中的氧气在煤层中的扩散是酸性矿井水产生的必备条件,同时,在矿井水不断酸化的过程中,微生物起到了至关重要的作用。前期起主要作用的是细菌如氧化亚铁硫杆菌、氧化硫硫杆菌及其它一些好氧硫杆菌等,后期某些具有氧化作用的霉菌如产黄青霉也起到了一定的作用,并由此推导出更为合理完善的酸性矿井水形成过程系列反应式。
关键词
酸性矿井水
微生物
酸化
Keywords
acidic mine drainage (AMD)
microbe
acidification
分类号
X752 [环境科学与工程—环境工程]
在线阅读
下载PDF
职称材料
题名
共形空间中的少自由度空间并联机构正解
被引量:
5
2
作者
杜鹃
吴洪涛
张云剑
机构
南京航空航天大学机电学院
上海交通大学机动学院
出处
《机械设计与制造》
北大核心
2015年第6期1-4,8,共5页
基金
国家自然科学基金资助项目(51375230)
国家863计划资助项目(2013AA041004)
+1 种基金
江苏省科技支撑计划重点项目(BE2013003-1
BE2013010-2)
文摘
针对3-RPS型空间少并联机构正解问题,利用3-RPS型并联机构在共形空间中的运动特性,对其运动学问题进行求解。首先,利用共形空间中的几何元素表达方式以及共形变换规律,求得并联机构动平台三个球铰在空间中的位置表达式,表达式中含有一未知数。接着,根据共形几何空间中的内积性质,以及并联机构运动规律,得到一方程组,该方程组为并联机构正解的符号辅助解。最后,结合已编写程序,将并联机构设计参数带入方程组,对符号辅助解进行求解,进而求得并联机构正解的数值解。计算结果表明,这种基于共形几何,将符号与解析结合的正解求解算法,由于不需要计算雅克比及其逆矩阵,也不需要进行数值解的反复迭代,计算速度优于传统算法,这使得该算法的实时性和准确性满足实时控制的需求。
关键词
共形几何
3-PRS型并联机构
正解
Keywords
Conformal Geometric Algebra
3-RPS Mechanisms
Forward Displacement Analysis
分类号
TH16 [机械工程—机械制造及自动化]
TH122 [机械工程—机械设计及理论]
在线阅读
下载PDF
职称材料
题名
mxAutomation接口的机器人通信协议开发
被引量:
2
3
作者
李世成
徐世保
张云剑
程旭
王石刚
机构
上海交通大学机械与动力工程学院
中车戚墅堰机车有限公司
出处
《传感器与微系统》
CSCD
2017年第7期75-78,共4页
文摘
在智能变电站中,带电检修机器人对隔离断路器进行带电检修的核心技术是实现对2台(工业)机器人的控制。变电站中强电磁场的干扰对机器人控制的可靠性提出了难题。因此,需要制定相应的上位机工控机(IPC)与控制机器人的可编程逻辑控制器(PLC)之间的通信协议,以实现两者之间可靠的通信,从而实现IPC对机器人的可靠控制。
关键词
隔离断路器
带电检修机器人
工控机
可编程逻辑控制器
机器人
通信协议
Keywords
isolated circuit breaker
live-line maintenance robot
industrial personal computer (IPC)
programmable logic controller( PLC )
industrial robot
communication protocol
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
攻击网页浏览器:面向脚本代码块的ROP Gadget注入
被引量:
1
4
作者
袁平海
曾庆凯
张云剑
刘尧
机构
南京大学计算机科学与技术系
计算机软件新技术国家重点实验室(南京大学)
出处
《软件学报》
EI
CSCD
北大核心
2020年第2期247-265,共19页
基金
国家自然科学基金(61572248,61431008,61321491)
国家科技支撑计划(2012BAK26B01).
文摘
即时编译机制(just-in-time compilation)改善了网页浏览器执行JavaScript脚本的性能,同时也为攻击者向浏览器进程注入恶意代码提供了便利.借助即时编译器,攻击者可以将脚本中的整型常数放置到动态代码缓存区,以便注入二进制恶意代码片段(称为gadget).通过常数致盲等去毒化处理,基于常数的注入已经得到有效遏制.证实了不使用常数转而通过填充脚本代码块也能实施gadget注入,并实现图灵完备的计算功能.在编译一段给定的脚本代码时,即时编译器生成的动态代码中通常存在着一些固定的机器指令序列.这些指令序列的存在性不受常数致盲和地址空间布局随机化等安全机制的影响,同时,这些指令序列中可能蕴涵着攻击者期望的gadget.在实施攻击时,攻击者可以汇集特定的脚本代码块来构造一个攻击脚本,再借助即时编译器来注入gadget.在x86-64架构上评估了这种注入攻击在Spider Monkey和GoogleV8这两个开源即时编译引擎上的可行性.通过给这两个引擎输入大量的JavaScript脚本,可以得到较为丰富的动态代码块.在这些动态代码块上的统计分析结果表明,这两个引擎生成的动态代码中都存在图灵完备的gadget集合.在实际攻击场景中,攻击者可以利用的脚本集合完全包含且远远多于实验用的脚本.因此,攻击者可以采用该方法注入需要的gadget,以便构造出实现任意功能的ROP(return-oriented programming)代码.
关键词
网页浏览器
即时编译机制
即时返回导向编程
ROP(return-oriented
programming)
gadget注入
图灵完备计算
Keywords
Web browser
just-in-time compilation
just-in-time return-oriented programming
ROP (return-oriented programming) gadget injection
Turing-complete computation
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
微生物在酸性矿井水形成过程中的作用
王立艳
王璐
张云剑
张欣
《洁净煤技术》
CAS
2010
7
在线阅读
下载PDF
职称材料
2
共形空间中的少自由度空间并联机构正解
杜鹃
吴洪涛
张云剑
《机械设计与制造》
北大核心
2015
5
在线阅读
下载PDF
职称材料
3
mxAutomation接口的机器人通信协议开发
李世成
徐世保
张云剑
程旭
王石刚
《传感器与微系统》
CSCD
2017
2
在线阅读
下载PDF
职称材料
4
攻击网页浏览器:面向脚本代码块的ROP Gadget注入
袁平海
曾庆凯
张云剑
刘尧
《软件学报》
EI
CSCD
北大核心
2020
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部