基于smali代码混淆的Android应用保护方法

提出了一种基于smali代码混淆的Android应用保护方法,其基本思想是利用Dalvik VM基于寄存器这一特点,对寄存器中值的存取进行数据流混淆,并结合不透明谓词技术对其控制流进行混淆,最终目的是让攻击者在反编译时出现异常。对该混淆方法从强度、弹性和开销3个指标进行了技术评价。实验结果表明,该混淆方法能够抵抗现在广泛使用的逆向工具jeb、dex2jar、dexdump和IDA pro的逆向分析。     

一种模糊综合决策汉语谓词识别算法

汉语谓词识别是Internet内容安全、机器翻译的重要研究内容之一.本文设计出一种基于汉语语法规则,通过系统学习,自动建立模糊关系矩阵以识别汉语中心谓词的方法,并给出了相应的算法流程.实验表明,模糊综合决策汉语谓词识别算法,较传统的JXXT谓词识别器,具有更高的谓词识别率和算法稳定性.     

混淆算法研究综述

首先对混淆算法的力量、弹性、执行代价和隐蔽性等性能及其度量作了介绍.随后对各种混淆变换作了简要的叙述和评论.混淆变换主要分为以下几种:第一,词法变换;第二,控制流变换,包括分支插入变换、循环条件插入变换、将可化简的控制流转换为不可化简的控制流,取消循环和控制流恶化;第三,数据变换,包括数组重构变换、变量重组变换、将静态数据转换为与程序相关的数据和数值变量混合变换;第四,类结构变换,包括类熔合、类分裂和类型隐藏.此外,对使用对象和别名的不透明谓词和利用并行技术构建不透明谓词进行了简介,并综述了对混淆算法的攻击方法以及混淆算法的应用.最后对反混淆和对混淆算法的攻击进行了总结,并提出了若干可能的研究方向.     

稳定模糊谓词

引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．     

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.     

基于谓词的Paillier型密文解密外包方案

近年来,随着云技术的快速发展,越来越多的用户开始将复杂的计算资源外包给"云端",然而,云环境下如何对数据进行访问控制却成为制约其发展的瓶颈.基于谓词的加密(predicate encryption,PE)方法计算更加复杂和灵活,从而能实现对密文解密权限的访问控制,因而备受关注.在Paillier方案基础上,借鉴Green等人提出的密文解密外包思想,构造了基于谓词的Paillier型密文解密外包方案.同时,解密过程被部分外包到"云端"进行,减小了用户开销.该方案支持同态操作,并且在子群判定问题困难假设下达到IND-AH-CPA(INDistinguishability-attribute hiding-chosen plain attack)安全.     

基于SOBER故障定位模型的关联谓词赋值偏好改进方法

针对基于统计理论的故障定位模型SOBER,研究软件故障的自动定位技术.通过程序研究及大量实例分析,探明SOBER模型的局限性——因为谓词关联性问题而导致故障定位准确度不高,并提出一种新的关联谓词赋值偏好方法,并进行了实证研究.实验结果表明,该方法较好地解决了谓词干扰问题,从而提高了基于SOBER模型的故障定位准确率.     

卢卡西维茨多值逻辑在模糊模态逻辑中的应用

模态推理是人工智能研究的重要内容.已有的推理方法,由于计算复杂等原因,使用范围受到限制.将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑的推理机计算简单,而且还能用于模糊模态和模糊谓词推理中.基于此,验证了模态逻辑和卢卡西维茨的三值逻辑的相符性,并将推理机应用于模糊模态逻辑中.     

形式赋值系统的研究

将一阶谓词演算系统进行语构和语义两方面的扩充，即引进比率量词和模糊量词，将真值区域｛０，１｝扩展到［０，１］，进而建立一个带有比率量词的一阶一型模糊谓词逻辑系统（ＦＯＦＬＲ）。基于模糊逻辑，文中还讨论了一个专家咨询系统框架。     

模糊谓词逻辑公式的有限和可数解释真度理论

提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念，并讨论了它们的一系列性质．从而为引进公式间的相似度概念、导出全体公式集上的一种伪距离提供了依据，进而为模糊谓词逻辑的近似推理理论提供了一种可能的框架．     

面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件。一个可行的测试准则是当且仅当对任意一个程序，都存在一个测试用例集能够满足该准则，但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行，在一类具有可行性的测试准则FDF的基础上，给出院 三类新的基于数据流的测试准则。并且证明其中两类准则比FDF测试准则具有更强的故障检测能力。     

中间存储的联机分析关联规则挖掘方法

针对“挖掘不同支持度下的关联规则需要反复扫描多维数据库所带来大量的系统I／O开销”这一缺限,提出一种基于中间存储的联机分析关联规则挖掘OLAM方法．在自行开发的联机分析处理OLAP的基础上,对待分析的多维数据集利用BCTree存储谓词集频度索引数,利用改进的Apriori关联规则挖掘算法分析用户感兴趣的维度,减少挖掘维度的个数,提高了反复挖掘的系统效率和系统针对性．生产数据证明了该方案的正确性和有效性．     

无用代码的检测

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

热辐射对双陶瓷层热障涂层的隔热影响

基于热传导、热对流和热辐射理论建立了双陶瓷层热障涂层不透明和半透明物理模型,采用有限元ANSYS软件模拟了稳态温度场.双陶瓷层在不透明时,顶层厚度增加,顶层上表面温度线性增加,第二层和黏结层上表面温度线性降低.在半透明性弱时,与不透明情况类似.在半透明性强时,顶层上表面温度略低于不透明时,第二层上表面温度高于不透明时,黏结层上表面温度先快速后缓慢降低再保持不变,且远高于不透明时.     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

基于Matlab 与 C++Builder偏最小二乘分析的编程实现

针对工程测量和科研活动,根据回归性分析中较为先进的偏最小二乘法原理,以Matlab为平台,设计了实用的C Builder回归性分析程序.利用该程序,得到大米近红外光谱和其对应蛋白质含量的模型,模型预测结果和观测值的相关系数为0.993 2,模型的显著性检验F值为1.009 3.     

海洋工程对海域水动力影响评估--数值模型解决方案

为评估海洋工程尤其是围海工程对海洋水动力环境及港口淤积效应的影响,本研究在厦门港建立了成熟的三维水动力数学模型,采用具有二次精度的六节点三角形单元,并利用粗细网格共存及多套网格一次剖分的非结构化网格技术模拟和预测了海洋工程前后水动力环境的变化情况.通过对嵩屿集装箱港区规划岸线进行环境影响评价的实践,证明了本模型可以为海洋工程的可行性研究及环境影响评价提供科学支撑.     

基于RS和GIS的南岸区土地利用现状及预测

以南岸区1978、1985、1988、1993、1996、2000、2003、2009年共8期遥感数据作为数据源,在RS和GIS技术支持下对重庆市南岸区1978-2009年土地利用类型的动态度变化进行分析,并用马尔科夫过程模型预测了南岸区2012-2032年土地利用的演变趋势;结果表明：从1978-2009年,林地、耕地面积迅速减少,城市建设用地面积增加;在未来的20年,南岸区的耕地和林地逐年减少,林地增加,水域面积呈增加趋势;到2032年各种地类占南岸区总面积的百分比分别为：耕地47．16％,建设用地31．08％,林地16．11％,水域5．57％。     

基于谓词分类的语义缓存查询裁剪

语义缓存在移动环境下有着广阔的前景.查询裁剪是语义缓存的一个重要的问题,传统的查询裁剪在时间复杂度和空间复杂度上存在巨大的局限性,这在一定的程度上限制了语义缓存的实用性.为了克服传统查询的缺点,本文从查询谓词分类着手,把谓词按照语义进行匹配满足,提出了新的剩余查询裁剪算法;新的查询裁剪算法一步生成,不需要优化.算法分析很明显从理论和实验上证明了它的优越性.