检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

模糊谓词代码混淆技术研究

深圳职业技术学院学报 2010年第5期9卷 47-51页

作者：李新良罗戈夕娄底职业技术学院涟钢信息中心湖南娄底417000

混淆是一种可以用于对移动代码和软件知识产权进行保护的程序变换技术,本文首先介绍了混淆的原理和研究现状,然后对基于模糊谓词的混淆方法进行了研究,给出一种基于Java的构建模糊谓词的方案,该方案针对每一个程序分支点,读取链表结构,... 详细信息

混淆是一种可以用于对移动代码和软件知识产权进行保护的程序变换技术,本文首先介绍了混淆的原理和研究现状,然后对基于模糊谓词的混淆方法进行了研究,给出一种基于Java的构建模糊谓词的方案,该方案针对每一个程序分支点,读取链表结构,重新编码成模糊谓词的原始输出,通过背包加密系统将该输出映射成相应的判断条件,增加了模糊谓词的复杂性、抵抗攻击者动态分析的能力以及反编译的难度.

关键词：反编译代码混淆模糊谓词不定方程

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

在线全文

学校读者我要写书评

暂无评论

系统科学与数学 2008年第5期28卷 588-593页

作者：张兴芳孟广武聊城大学数学科学学院山东252059

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.

关键词：模糊谓词公式的解释模型真度近似推理

在线全文

学校读者我要写书评

暂无评论

稳定模糊谓词与谓词转换器

稳定模糊谓词与谓词转换器

作者：马艳芳上海师范大学

学位级别：硕士

本文在格上拓扑学的基础上讨论程序设计语言的语义，而格上拓扑学最近的研究方向主要是论域（Domain）理论。Scott开创了论域理论，其目的是给程序语义建立数学模型。论域是一个定向完备偏序集，即dcpo。在dcpo上的所有Scott开集可构造... 详细信息

本文在格上拓扑学的基础上讨论程序设计语言的语义，而格上拓扑学最近的研究方向主要是论域（Domain）理论。Scott开创了论域理论，其目的是给程序语义建立数学模型。论域是一个定向完备偏序集，即dcpo。在dcpo上的所有Scott开集可构造一个拓扑就是Scott拓扑。在程序设计语言语义中，由于形式化侧重面和使用数学工具不同，形式语义学可分为四大类：操作语义学、指称语义学、代数语义学和公理语义学。指称语义学是公认的标准形式语义学，论域是其基础和核心。从而拓扑学的基本概念在研究程序设计语言的指称语义中有极好的应用。在程序的公理语义学中，一个重要内容就是谓词转换器语义。Hoare的程序逻辑是由三元组{P}S{Q}组成，其中P是前置条件，S是程序，Q是后置条件。Dijkstra在Hoare逻辑基础上首先提出最弱前置条件的概念，并且建立最弱谓词转换器，这个谓词转换器给程序语言提供了一个语义模型。后来，研究学者为了给带有概率选择的程序提供语义模型，提出概率谓词转换器。而为了解决现实世界中的不确定和不精确现象，陈仪香和Jung引入模糊谓词概念，提出并讨论了模糊谓词转换器理论。同时为了讨论模糊谓词转换器与概率谓词转换器之间的关系，陈仪香和Plotkin提出并讨论了健康模糊谓词转换器。在文章中主要提出一种新的模糊谓词-稳定模糊谓词，它是一个从相容交的dcpoD到[0，1]闭区间的稳定映射，其目的是讨论模糊谓词的稳定性。作者主要证明dcpoD上的所有稳定模糊谓词构成的集合在点式序下构成一个模糊的ξ—半拓扑。举例说明稳定模糊谓词在线性和运算下未必封闭，但一些特殊的稳定模糊谓词具有这个性质。给出稳定模糊谓词的数乘运算仍是稳定模糊谓词的证明。同时证明D上所有相容开集构成的ξ—半拓扑与D上所有稳定模糊谓词构成的模糊ξ—半拓扑是同态的。为了描述程序的语义，建立完全相容稳定模糊谓词转换器，给出她与状态转换器之间的一个保序关系，说明完全相容稳定模糊谓词转换器一定是状态转换器。同时，给出健康模糊谓词转换器的完备性，并且证明健康模糊谓词转换器在线性运算下封闭。

关键词：拓扑理论 domain理论模糊谓词谓词转换器

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Java的模糊谓词混淆技术

吉首大学学报（自然科学版） 2010年第5期31卷 38-42页

作者：李新良罗戈夕娄底职业技术学院湖南娄底417000 涟钢信息中心湖南娄底417000

首先介绍了混淆技术的研究现状和软件混淆技术,然后对基于模糊谓词的混淆方法作了深入研究,并给出一种基于Java的构建模糊谓词的方案,该方案增加了模糊谓词的复杂性,增加了抵抗攻击者动态分析的能力,增加了反编译的难度.

关键词：反编译代码混淆模糊谓词不定方程

在线全文

学校读者我要写书评

暂无评论

基于Java的模糊谓词混淆技术研究

娄底职业技术学院学报（职教与经济研究） 2010年第4期8卷 39-43页

作者：李新良罗戈夕娄底职业技术学院湖南娄底417000 涟钢信息中心湖南娄底417000

混淆是一种可以用于对移动代码和软件知识产权进行保护的程序变换技术。本文首先介绍了混淆的现状和原理,然后对基于模糊谓词的混淆方法做了深入研究,并给出一种基于Java的构建模糊谓词的方案,该方案增加了模糊谓词的复杂性;增加了抵抗... 详细信息

混淆是一种可以用于对移动代码和软件知识产权进行保护的程序变换技术。本文首先介绍了混淆的现状和原理,然后对基于模糊谓词的混淆方法做了深入研究,并给出一种基于Java的构建模糊谓词的方案,该方案增加了模糊谓词的复杂性;增加了抵抗攻击者动态分析的能力,增加了反编译的难度。

关键词：反编译代码混淆模糊谓词不定方程

在线全文

学校读者我要写书评

暂无评论

模糊离散事件系统的状态反馈控制

模糊系统与数学 2019年第5期33卷 67-72页

作者：王文荣李桂莲张月慧太原理工大学数学学院

在模糊离散事件系统中,首先定义了模糊谓词,给出了模糊谓词变换以及模糊谓词的控制不变和Σ_u-不变的定义,并证明了模糊谓词的控制不变和Σ_u-不变的等价性;其次,给出了模糊可控谓词的定义,并证明了对于预先给定的模糊谓词,存在一个状... 详细信息

在模糊离散事件系统中,首先定义了模糊谓词,给出了模糊谓词变换以及模糊谓词的控制不变和Σ_u-不变的定义,并证明了模糊谓词的控制不变和Σ_u-不变的等价性;其次,给出了模糊可控谓词的定义,并证明了对于预先给定的模糊谓词,存在一个状态反馈控制器使得闭环系统的可达模糊谓词等于该给定模糊谓词的充要条件是该模糊谓词是可控的。

关键词：模糊离散事件系统模糊谓词状态反馈控制

在线全文

学校读者我要写书评

暂无评论

部分可观察模糊离散事件系统的状态反馈控制

部分可观察模糊离散事件系统的状态反馈控制

作者：张月慧太原理工大学

学位级别：硕士

本文将部分可观察一般离散事件系统推广为部分可观察模糊离散事件系统,讨论了部分可观察模糊离散事件系统的状态反馈控制.首先,我们在部分可观察模糊离散事件系统中引入输出映射以及输出符号集得到部分可观察模糊离散事件系统的模型.给... 详细信息

本文将部分可观察一般离散事件系统推广为部分可观察模糊离散事件系统,讨论了部分可观察模糊离散事件系统的状态反馈控制.首先,我们在部分可观察模糊离散事件系统中引入输出映射以及输出符号集得到部分可观察模糊离散事件系统的模型.给出了部分可观察模糊离散事件系统中模糊控制器合理性的定义以及模糊状态允许反馈控制器的定义,并在此基础上得到部分可观察模糊离散事件系统的最优模糊状态允许反馈控制以及最优模糊h-状态允许反馈控制;定义了模糊谓词的可观察性,并给出模糊谓词可观察的充要条件.其次,在部分可观察模糊离散事件系统中,对于预先给定的模糊谓词,当该模糊谓词可控可观察时,我们可以找到一个合理的模糊控制器使得闭环系统的可达模糊谓词等于该预先给定模糊谓词;当该模糊谓词是不可控或不可观察时,我们可以找到该模糊谓词的最大可控可观察模糊子谓词,进而我们可以通过该最大可控可观察模糊子谓词研究部分可观察模糊离散事件系统的状态反馈控制.最后,对于一定条件下的部分可观察模糊离散事件系统中某一给定模糊谓词,我们探讨了如何构造一个与之相对应的完全可观察模糊离散事件系统,并在此基础上讨论了模糊谓词控制不变性和可控性在部分可观察模糊离散事件系统和完全可观察离散事件系统中的关系.

关键词：模糊离散事件系统状态反馈控制模糊谓词模糊谓词的可观察性

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模糊离散事件系统的状态反馈控制

模糊离散事件系统的状态反馈控制

作者：王文荣太原理工大学

学位级别：硕士

模糊离散事件系统控制理论在具有离散特征的控制系统中有十分广泛的应用,特别是在医学领域,现已成功应用到糖尿病、HIV等疾病的治疗过程中.本文首先定义了模糊离散事件系统中模糊谓词的偏序以及模糊最弱前置条件和模糊最强后置条件,并... 详细信息

模糊离散事件系统控制理论在具有离散特征的控制系统中有十分广泛的应用,特别是在医学领域,现已成功应用到糖尿病、HIV等疾病的治疗过程中.本文首先定义了模糊离散事件系统中模糊谓词的偏序以及模糊最弱前置条件和模糊最强后置条件,并证明了在模糊离散事件系统中,对给定的模糊谓词:先做模糊最弱前置条件变换再做模糊最强后置条件变换的结果等于原给定谓词;先做模糊最强后置条件变换再做模糊最弱前置条件变换的结果大于原给定谓词.给出了的模糊最弱自由前置条件的定义,并证明了任意多个模糊谓词合取(析取)的模糊最弱自由前置条件等于每个模糊谓词的模糊最弱自由前置条件的合取(析取).其次,定义了模糊离散事件系统中的模糊状态反馈控制器,并给出了模糊谓词的控制不变和∑-不变的定义,证明了模糊谓词的控制不变和∑-不变是等价的以及模糊谓词控制不变时一定存在最大的模糊状态反馈控制器.最后,给出了可控模糊谓词的定义,并证明了对于预先给定的模糊谓词,存在一个模糊状态反馈控制器使得闭环系统的可达模糊谓词等于该给定模糊谓词的充要条件是该模糊谓词是可控的.定义了可控模糊子谓词并给出了计算最大可控模糊子谓词的方法.

关键词：模糊离散事件系统模糊谓词状态反馈控制最大可控模糊子谓词

离散事件系统与模糊离散事件系统监控理论的关系

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

离散事件系统与模糊离散事件系统监控理论的关系

作者：刘春芳太原理工大学

学位级别：硕士

本文首先探讨了一般离散事件系统与模糊离散事件系统事件反馈控制的关系:研究了模糊语言的正规性与其对应强截集语言正规性之间的关系;给出两个模糊自动机合成的模糊监控器的定义,研究了合成系统中模糊语言的可控性与其对应强截集语言... 详细信息

本文首先探讨了一般离散事件系统与模糊离散事件系统事件反馈控制的关系:研究了模糊语言的正规性与其对应强截集语言正规性之间的关系;给出两个模糊自动机合成的模糊监控器的定义,研究了合成系统中模糊语言的可控性与其对应强截集语言的可控性的关系;进而得到合成系统中模糊监控器的存在定理.其次,在一般离散事件系统与模糊离散事件系统可靠分散监控理论的基础上,探讨了两者可靠分散监控的关系:即对于给定的一个可靠（{Pi}i∈I,Ee,k）-联合可观察的模糊语言,则其对应的强截集语言也是可靠（{Pi}i,Ec,Ec,k）-联合可观察的;研究了模糊语言的（{Pi}i∈I,k）-正规性与其对应强截集语言的（{Pi}i∈I,k）-正规性之间的关系;进而,由模糊语言的kk-可靠模糊分散监控器的存在性可以得到与其对应的强截集语言的kk-可靠分散监控器的存在性.最后,研究了一般离散事件系统与模糊离散事件系统状态反馈控制的关系:将模糊集理论与谓词的定义结合,给出了模糊离散事件系统中模糊谓词与模糊谓词变换的概念;在此基础上,重新定义了模糊谓词的Euc-不变性和控制不变性;进而得到,若给定的模糊谓词是Euc-不变的,则与其对应的强截集谓词是Euc-不变的.

关键词：离散事件系统事件反馈控制状态反馈控制可靠分散监控模糊谓词