基于程序切片的符号执行,Symbolic execution based on program slicing,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 基于程序切片的符号执行

1) Symbolic execution based on program slicing 点击朗读

基于程序切片的符号执行

2) Symbolic WCET analysis 点击朗读

基于符号的最坏执行时间分析

3) proxy based on server side executive program 点击朗读

基于服务器端可执行程序的代理

4) executive program 点击朗读

执行的程序

例句>>

5) symbolic execution 点击朗读

符号执行

The article analyzes the hiding and detection principle of kernel-level rootkit, and focuses on the module binary analysis method which based on symbolic execution to detect rootkit.

文章主要分析和讨论了目前Linux下的常见的内核级木马的隐藏方法及其检测原理,重点分析了基于符号执行的模块二进制木马分析方法。

The symbolic execution static state analyse is adopted, make use of tainting mechanis. 点击朗读

构建了一个完整的通过静态分析检测内核级Rootkit的模型,构造了描述Rootkit行为的普遍适用的定义并证明了其充分必要性,采用符号执行法进行静态分析,利用污点传播机制,针对模型特点对分析过程进行优化。

The technology of symbolic execution is adopted to execute each operation defined in class, to distinguish all state attributes of object and state interval.

文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。

更多例句>>

6) executive deck 点击朗读

执行程序卡片组

补充资料：基于FANUC 0i MA系统的MasterCAM 9.0后置处理程序的编辑

FANUC 0i MA系统配MasterCAM软件仍然是当今数控机床加工的主流搭配，因此本文对广大数控机床的编程与操作人员来讲，很有参考价值。文中所表述的思路、方法与程序都是作者在长期的工作实践中总结出来的，我们也欢迎广大读者在欣赏本文的同时，将你们有实用价值的技巧与心得写出来与大家共分享。

我们在利用MasterCAM为FANUC 0iMA系统做计算机编程的过程中发现，应用软件默认的FANUC后处理程序(Mpfan.pst)输出的刀路文件，需要大量的手工修改才能满足实际加工的需要。为了使CAM软件得到进一步推广应用，我们对MasterCAM9.0后置处理程序进行了编辑，使之应用得到了成功，大大提高了编程效率和程序质量，缩短了产品的制造周期，提高了产品的市场竞争力。
下面以一个例子来说明，零件如图1所示。

图1 零件结构示意图

1. MasterCAM生成的后处理程序

在图1所示中，主要完成：（1）φ12立铣刀铣外形；（2）φ2中心钻打中心孔；（3）φ10钻头钻2-φ10孔的加工。

采用MasterCAM软件完成该零件的数控加工仿真后，应用后处理程序Mpfan.pst，生成的NC加工代码如下。
%
O0000
(PROGRAM NAME-EXAMPLE1)
(DATE=DD-MM-YY-11-07-04 TIME=HH:MM-08:41)
N100G21
N102G0G17G40G49G80G90
(TOOL-1DIA.OFF.-1LEN.-1DIA.-12.)
N104T1M6（φ12立铣刀铣外形）
N106G0G90X-62.Y10.A0.S1000M3
N108G43H1Z50.M8
N110Z10.
N112G1Z-10.F1000.
N114G41D1X-50.F100.
N116Y60.
N118X-20.
N120Y51.
N122G3X-14.Y45.R6.
N124G1X14.
N126G3X20.Y51.R6.
N128G1Y60.
N130X50.
N132Y10.
N134X40.Y0.
N136X-40.
N138X-49.661Y9.661
N140G40X-58.146Y1.175
N142G0Z50.
N144M5
N146G91G28Z0.M9
N148G28X0.Y0.A0.
N150M01
(TOOL-2DIA.OFF.-2LEN.-2DIA.-2.)
N152T2M6（φ2中心钻）
N154G0G90G55X15.Y20.A0.S1500M3
N156G43H2Z3.M8
N158G1Z-3.F50.
N160G0Z3.
N162X65.
N164G1Z-3.
N166G0Z3.
N168M5
N170G91G28Z0.M9
N172G28X0.Y0.A0.
N174M01
(TOOL-3DIA.OFF.-3LEN.-3DIA.-10.)
N176T3M6（φ10钻头钻2-φ10孔）
N178G0G90G54X-25.Y20.A0.S1000M3
N180G43H3Z3.M8
N182G1Z0.F50.
N184G0Z3.
N186Z2.
N188G1Z-2.
N190G0Z3.
N192Z0.
N194G1Z-4.
N196G0Z3.
N198Z-2.
N200G1Z-6.
N202G0Z3.
N204Z-4.
N206G1Z-8.
N208G0Z3.
N210Z-6.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

符号程序的汇编子程序执行程序程序执行 "执行难"执行程序程序切片

切片执行符号化执行基于图层的切片符号程序程序符号

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 基于程序切片的符号执行 1) Symbolic execution based on program slicing 基于程序切片的符号执行 2) Symbolic WCET analysis 基于符号的最坏执行时间分析 3) proxy based on server side executive program 基于服务器端可执行程序的代理 4) executive program 执行的程序例句>> 5) symbolic execution 符号执行 1. The article analyzes the hiding and detection principle of kernel-level rootkit, and focuses on the module binary analysis method which based on symbolic execution to detect rootkit. 文章主要分析和讨论了目前Linux下的常见的内核级木马的隐藏方法及其检测原理,重点分析了基于符号执行的模块二进制木马分析方法。 2. The symbolic execution static state analyse is adopted, make use of tainting mechanis. 构建了一个完整的通过静态分析检测内核级Rootkit的模型,构造了描述Rootkit行为的普遍适用的定义并证明了其充分必要性,采用符号执行法进行静态分析,利用污点传播机制,针对模型特点对分析过程进行优化。 3. The technology of symbolic execution is adopted to execute each operation defined in class, to distinguish all state attributes of object and state interval. 文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。更多例句>> 6) executive deck 执行程序卡片组补充资料：基于FANUC 0i MA系统的MasterCAM 9.0后置处理程序的编辑 FANUC 0i MA系统配MasterCAM软件仍然是当今数控机床加工的主流搭配，因此本文对广大数控机床的编程与操作人员来讲，很有参考价值。文中所表述的思路、方法与程序都是作者在长期的工作实践中总结出来的，我们也欢迎广大读者在欣赏本文的同时，将你们有实用价值的技巧与心得写出来与大家共分享。我们在利用MasterCAM为FANUC 0iMA系统做计算机编程的过程中发现，应用软件默认的FANUC后处理程序(Mpfan.pst)输出的刀路文件，需要大量的手工修改才能满足实际加工的需要。为了使CAM软件得到进一步推广应用，我们对MasterCAM9.0后置处理程序进行了编辑，使之应用得到了成功，大大提高了编程效率和程序质量，缩短了产品的制造周期，提高了产品的市场竞争力。下面以一个例子来说明，零件如图1所示。图1 零件结构示意图 1. MasterCAM生成的后处理程序在图1所示中，主要完成：（1）φ12立铣刀铣外形；（2）φ2中心钻打中心孔；（3）φ10钻头钻2-φ10孔的加工。采用MasterCAM软件完成该零件的数控加工仿真后，应用后处理程序Mpfan.pst，生成的NC加工代码如下。 % O0000 (PROGRAM NAME-EXAMPLE1) (DATE=DD-MM-YY-11-07-04 TIME=HH:MM-08:41) N100G21 N102G0G17G40G49G80G90 (TOOL-1DIA.OFF.-1LEN.-1DIA.-12.) N104T1M6（φ12立铣刀铣外形） N106G0G90X-62.Y10.A0.S1000M3 N108G43H1Z50.M8 N110Z10. N112G1Z-10.F1000. N114G41D1X-50.F100. N116Y60. N118X-20. N120Y51. N122G3X-14.Y45.R6. N124G1X14. N126G3X20.Y51.R6. N128G1Y60. N130X50. N132Y10. N134X40.Y0. N136X-40. N138X-49.661Y9.661 N140G40X-58.146Y1.175 N142G0Z50. N144M5 N146G91G28Z0.M9 N148G28X0.Y0.A0. N150M01 (TOOL-2DIA.OFF.-2LEN.-2DIA.-2.) N152T2M6（φ2中心钻） N154G0G90G55X15.Y20.A0.S1500M3 N156G43H2Z3.M8 N158G1Z-3.F50. N160G0Z3. N162X65. N164G1Z-3. N166G0Z3. N168M5 N170G91G28Z0.M9 N172G28X0.Y0.A0. N174M01 (TOOL-3DIA.OFF.-3LEN.-3DIA.-10.) N176T3M6（φ10钻头钻2-φ10孔） N178G0G90G54X-25.Y20.A0.S1000M3 N180G43H3Z3.M8 N182G1Z0.F50. N184G0Z3. N186Z2. N188G1Z-2. N190G0Z3. N192Z0. N194G1Z-4. N196G0Z3. N198Z-2. N200G1Z-6. N202G0Z3. N204Z-4. N206G1Z-8. N208G0Z3. N210Z-6. 说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条符号程序的汇编子程序执行程序程序执行 "执行难"执行程序程序切片

©2011 dictall.com