助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   原始程序 的翻译结果: 查询用时:0.342秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

原始程序
相关语句
  original program
     In the couse of partial evaluation transformation,partial evaluator will require the information of parameters of original program to judge the state of every variables and expressions in original program,and determine the mode to deal with these variables and expressions.
     在部分求值处理过程中,需要向部分求值器传递原始程序的参数动静状态信息,以便部分求值器判断原始程序中每个变量和表达式的状态,并决定处理这些变量和表达式的方式。
短句来源
     After studying the formal definition of junkcode transformation, some lemmas are educed. With these lemmas, and from three aspects such as “JMP Expand”, “JMC Switch” and “Junk Code”,the paper proves that the program which transforms with stochastic junk code algorithm has the same logicality with the original program.
     通过研究花指令模糊变换各种形式化的定义,推导出若干引理,从“JMP扩展”、“JMC变换”、“JMP后添加花指令”等3个方面形式化地证明了经上述随机花指令加密算法变换的程序具有与原始程序相同的逻辑性。
短句来源
  相似匹配句对
     COMPUTER PROGRAM FOR RECOVERING PRIMARY ATTITUDE ELEMENTS OF SEDIMENTARY STRUCTURES
     恢复沉积构造原始产状要素的微机程序
短句来源
     PROGRAMMED REQUESTS
     程序请求
短句来源
     A Disk Copy Program
     磁盘拷贝程序
短句来源
     f mutated by nitrous acid, the bio-activity of the bacterium T.
     f菌和原始T .
短句来源
     Solution of Transportation Problems by Primal-Dual Algorithm and its Program
     用原始对偶算法解运输问题及其程序
短句来源
查询“原始程序”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  original program
An original program, Fitoindikatsiya, has been developed to compute the indices of disturbance and homogeneity of plant communities from species ecological scale values.
      
Analysis of the heart rhythm variability (HRV) was performed using an original program designed in the Labview media.
      
Therefore the latter program is treated numerically much more easier than the original program.
      
Using coral and ibm db2, P' is empirically shown to be more efficient than the original program.
      
We report on the results obtained with an original program which performs comparative dating (BARCODE) in comparison with coalescent analyses performed with BATWING under various prior conditions.
      
更多          


Junk code transformation is one of effective approach of the code obfuscation technology. Based on the analysis of current junk codestrategies, this paper presents a new method named stochastic junk code encryption algorithm, and depicts the algorithm with formal language. Thepaper studies how to prove the logic invariability of junk code transformation with formalization method. After studying the formal definition of junkcode transformation, some lemmas are educed. With these lemmas, and from three aspects...

Junk code transformation is one of effective approach of the code obfuscation technology. Based on the analysis of current junk codestrategies, this paper presents a new method named stochastic junk code encryption algorithm, and depicts the algorithm with formal language. Thepaper studies how to prove the logic invariability of junk code transformation with formalization method. After studying the formal definition of junkcode transformation, some lemmas are educed. With these lemmas, and from three aspects such as “JMP Expand”, “JMC Switch” and “Junk Code”,the paper proves that the program which transforms with stochastic junk code algorithm has the same logicality with the original program.

花指令模糊变换是代码模糊变换策略中的一种有效方法。在分析现有花指令加密方法的基础上,给出一种随机花指令模糊变换加密方案,并利用形式化方法对其进行了描述。通过研究花指令模糊变换各种形式化的定义,推导出若干引理,从“JMP扩展”、“JMC变换”、“JMP后添加花指令”等3个方面形式化地证明了经上述随机花指令加密算法变换的程序具有与原始程序相同的逻辑性。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关原始程序的内容
在知识搜索中查有关原始程序的内容
在数字搜索中查有关原始程序的内容
在概念知识元中查有关原始程序的内容
在学术趋势中查有关原始程序的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社