期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
微生物在酸性矿井水形成过程中的作用 被引量: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
上一页 1 下一页 到第
使用帮助 返回顶部