基于Qt的Python代码迷惑器的设计与实现

Python源代码编译出的字节码十分便于反编译,使用代码迷惑技术可以有效解决此问题。通过使用Qt编程框架对Python源代码进行词法分析和语法分析,用大写字母"O"和数字"0"组成随机编码将源程序中的模块名、类名、自定义函数名和标识符变量名进行迷惑变换,实现一款Python代码迷惑器。实验对比表明,该Python迷惑器具有图形用户界面、代码迷惑性强、代码执行时间开销小和迷惑不可逆等特点。     

代码迷惑技术研究进展

为促进对智力产品及移动代码保护方法的研究,综述了代码迷惑技术的进步和发展,使用代码迷惑技术可以对程序代码及核心算法进行保护。描述了代码迷惑技术的研究背景、定义及应用;详细阐述了代码迷惑变换的主要类型:版面布局迷惑、数据迷惑、控制迷惑、预防迷惑等,并对每种方法进行了分析和解释;剖析了代码迷惑技术在国内外的研究现状,展望了代码迷惑技术的主要研究方向,为代码迷惑技术的进一步研究提供借鉴作用。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

面向部件检字的汉字表达式双链表存储设计

为实现按部件快速检索汉字,把汉字递归表示为汉字结构、字首部件和字尾部件三元组。以部件为运算对象,字型结构为运算符,将汉字描述为前缀表达式。提出汉字表达式的双链表存储模型,设计双链表生成算法及基于双链表存储的检索方法。与直接采用数组存储相比,使用双链表存储时检索的平均比较次数仅为数组存储的50％,并易于动态提升检索性能。     

多变量数组下标表达式的分解与相关性测试

针对多变量数组下标表达式之间的相关性不能有效测试的问题，提出了一个分解算法．运用该算法，在一定条件下可以将一个多变量的数组下标相关方程分解成多个独立的、简单的相关方程，从而有效地提高相关分析的精度．该算法的时间开销小，有很好的适用性     

多变量数组下标表达式的分解与相关性测试

针对多变量数组下标表达式之间的相关性不能有效测试的问题，提出了一个分解算法。运用该算法，在一定条件下可以将一个多变量的数组下标相关方程分解成多个独立的，简单的盯关方程，从而有效地提高相关分析精度，该算法的时间开销小，有很好的适用性。     

表达式求值及符号推导

编译程序可以将源代码翻译成目标代码,在应用程序开发中起着不可估量的作用。在教学过程中,理解如何对表达式求值及符号推导对于解编译程序工作原理具有重要的作用。本文讨论了如何采用类C语言的方式对表达式进行求值及符号推导,对于教学和研究均有促进作用。     

复句关系词自动识别中规则解析的包含匹配算法研究

规则解析器作为现代汉语复句关系词自动识别系统中的一个重要的功能模块,其主要功能是先利用复句准关系词去匹配规则库中的规则,然后对匹配成功的规则进行解析,最后调用该规则并提取规则的结论对复句关系词进行识别.因此规则的成功匹配是能够进行规则解析的首要条件.但是,在对规则库中的句式规则表和连用句式规则表进行匹配解析时,由于复句准关系词的多样性和重复性,造成了匹配的复杂性,使得无法利用传统的匹配算法去匹配规则.因此,该文研究了一种"包含匹配算法",该算法是先用一个二维数组将复句准关系词序列在复句中的下标依次存储,然后在该二维数组中寻找可能匹配的子串序列.该算法的最大优点是既不需要实现完全匹配和回溯,还可以包含模式串的所有子串,能够得到所有的目标子串,实验结果表明,该算法在排除规则的不完备性和分词的错误之后,正确率可以达到100%.     

AutoLISP语言中使用“数组”

阐述了 Ａｕｔｏ Ｌ Ｉ Ｓ Ｐ 语言中使用两种表模拟数组的方法和局限性,提出了一种新的模拟数组的方法：定义两个新函数“宏代换”函数和下标变量赋值函数,并讨论了二者的使用方法。     

实现冒泡排序算法的一种新方法

冒泡排序中，每趟比较结束时都能确定一个数据的最终位置，在数组中用下标表示，标值的变化为循环控制变量的变化给出了一种实现冒泡排序算法的新方法．     

数据并行中通信表内元素关系定理的证明

利用并行应用提供的信息给出群通信模式内在规律的定理和推论,从而优化消息调度.在数组分布给定和循环中数组下标为线性的情况下,首先给出通信表的周期性定理,然后进一步给出在一个周期下通信表中元素对应关系的定理和推论,即可以从通信表的一部分得到整个通信表.通过这一规律优化消息调度以避免冲突.实验结果表明经过优化后的群通信比MPI-Alltoallv实现具有更好的性能.该定理和推论可以应用于不同情况下的群通信优化.     

电磁波天线阵辐射角分布的计算机展示

利用计算机代数系统(CAS)Maple,实时计算与展示了电磁波天线阵辐射角分布的图样,天线阵的阵元数、元间距和阵元之间的位相等因素处理为程序交互式输入的参数,使各个因素之间复杂的相互作用对天线阵辐射角分布的影响得以即时快速形象地展示,该文分别分析了纵向排列和横向排列的天线阵的情况并展示了一些典型的分布花样。     

一种TPS保护倒换时间优化的方法

提出了一种TPS保护倒换时间优化的方法。根据外界输入参数,预先计算出寄存器配置数据存放在缓存中,形成以输入参数为下标的多维数组。在进行TPS倒换时,根据输入参数,计算出下标,找出对应的寄存器数据,写入到芯片寄存器中。通过此方法,TPS保护倒换时间较优化之前降低了80%左右,达到了设备的要求。     

蒙特卡罗模拟方法对EAS阵列性能分析与优化设计的研究

建立了快速计算机阵列性能分析程序，由此阵列性能进行快速分析，对种种阵列设计方案进行比较搜寻，本文介绍其基本定理，方法、程序设计及部分计算结果。     

VB6开发ADO数据库的通用代码技术

介绍了运用控件数组和其它技术编写通用代码,用较短的程序代替了通常需要重复书写的大量程序段,这对于提高开发效率和促进代码重用有较大的意义。     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

以数组为核心的高级语言程序设计教学方法

指出了数组在高级语言程序设计中的位置以及与其他数据类型和数据结构的关系,从而提出了以数组为核心的高级语言程序设计教学方法,并论述了该方法的教学思路。     

基于可变数组管理方法的震塌破坏数值仿真

以弹塑性力学和动力有限元理论为基础,采用动态数组和动态地址管理方法,依据震塌破坏准则,适时判断震塌破坏单元,并相应改变有限元计算区域以及由此产生的自由度、A数组及相关地址的适时改变,对防护结构在爆炸载荷作用下的震塌破坏效应进行了数值仿真研究. 在RSEAP程序的框架基础上,编制了相应的计算程序,并利用该程序对典型的钢筋混凝土板爆炸震塌实验工况进行数值仿真,仿真结果与实验结果的对比表明两者吻合较好.