基于抽象解释的代码迷惑有效性比较框架

代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性.     

一类新的二阶滑模控制方法及其在倒立摆控制中的应用

二阶滑模作为高阶滑模的特殊情形, 不仅具有传统滑模鲁棒性强、对外界干扰不敏感的特点, 而且能够有效地消弱传统一阶滑模中存在的"抖振"现象. 本文设计了一种新的二阶滑模控制算法. 该算法的优点是假设不确定性是由非负函数限制而不是由常数限定. 因此, 该算法在实际应用中具有更广的应用范围. 此外, 算法中的加幂积分技术保证了系统在有限时间内稳定, 而不是传统二阶滑模中普遍存在的有限时间收敛, 并给出了严格的数学证明. 最后, 在倒立摆控制中的应用验证了该算法的有效性.     

融合目标端句法的AMR-to-Text生成

抽象语义表示到文本(AMR-to-Text)生成的任务是给定AMR图,生成相同语义表示的文本.可以把此任务当作一个从源端AMR图到目标端句子的机器翻译任务.目前存在的一些方法都在探索如何更好地对图结构进行建模.然而,它们都存在一个未限定的问题,因为在生成阶段许多句法的决策并不受语义图的约束,从而忽略了句子内部潜藏的句法...     

信息安全中语义安全性定义及其对等性证明

介绍了语义安全性的定义,并且从框架的对比来分析语义的安全性,以整合语义安全性、不可区分性和不可扩展安全性的框架,这种方式有助于研究不同攻击模型之间的关系。在对照的基础上对不可区分性的定义做了部分调整。研究了在新的框架下如何证明语义安全性和不可区分性两者间的对等性。简化了语义安全性与不可区分性之间的等价性证明。     

着色归结、PI着色碰撞及其完备性

符号逻辑与定理机器证明的研究中,语义归结PI碰撞与电子排列次序有关.本文给出一种新的语义归结方法,称为着色归结方法,定义的PI着色碰撞与电子排列次序无关。本文同时给出该方法的完备性证明. 正定或负定的PI碰撞是着色碰撞的特例.     

线性逻辑导论

1.从古典逻辑到线性逻辑1986年,法国巴黎第七大学 J。Y.Gi-rard 教授在研究二阶λ-演算的指称语义时发现古典逻辑中的隐含连接词 A(?)B 可以分解成更基本的线性运算!A(?)B,在此基础上,一个与证明论及计算机科学密切相关的新型逻辑系统——线性逻辑(LL)诞生了。由于古典逻辑缺乏切实的方式把证明看成算法,因此是不可构造的,除了不存在任何非平凡的指称语义外,矢列演算中 Cut 的消去也不满足 CR 性质。为了避免这些缺点,     

一种基于异构系统发现日志本体关联规则的方法

构建日志本体之上的访问模式关联规则是语义Web使用挖掘的主要任务之一.在DL-safe规则的限定下,将日志本体和一阶应用规则相结合,构成异构日志知识库,以提高Web日志系统的知识表示和推理能力.在此基础上借助ILP理论从异构日志知识库中挖掘出频繁用户访问模式,并生成访问模式关联规则,以发现用户访问行为之间更丰富的潜在关联知识.该方法提高了语义Web使用挖掘的质量,为改进站点结构提供了更有效的决策知识.实验结果证明了该方法的可行性和有效性.     

基于语句结构信息的方面级情感分类

方面级情感分析是情感分析任务中更细粒度的子任务, 目的是预测给定方面的情感倾向. 目前方面级情感分析任务大多采用一定的神经网络提取句子的语义信息, 之后进行情感极性预测. 本文在此基础上, 提出了基于语句结构信息的语义表示方法, 即融合语句词性序列中的句型结构信息. 本文分别使用两个Bi-LSTM进行语义特征和语句结构特征的提取, 构建成基于句型结构的语义表示. 然后将给定的方面级向量化, 嵌入到基于语句结构的语义表示中, 再经过Softmax层进行情感极性分类. 实验证明, 采用基于语句结构信息的语义表示方法进行方面级情感分析的效果更佳.     

不同逻辑间翻译的逻辑性质

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.     

基于语义的网格服务优化匹配

为了能够在分布、动态、复杂的网格资源查找过程中做到高效率、高精度的匹配，该文对语义Web技术和匹配算法进行了改进。在本体描述方面，针对网格特性对OWL-S进行了扩充，引入了网格服务的语义表示形式，使得Agent可以参与进来。在基于语义的服务匹配方面，定义了服务发布和请求条件的领域限定并在领域内进行服务匹配，设计了一种基于语义的网格服务匹配框架，给出了该框架的结构图，并分析说明了其中关键部件的功能和特点。该框架的正确合理性经原型实现得到了证明。     

基于限定的规划识别问题求解

该文把McCarthy的限定理论同规划识别结合起来，在限定中研究规划识别问题，证明了在一定的限制下，由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的，以此为基础，文中提出了一种用限定求解规划识别问题的方式，这种方法把Kautz提出的规划识别表示形式做了某些改变，求解的过程中把二阶限定的表示形式转化为一阶形式，这种一阶形式的限定结果可以用逐点限定的方法直接求得，因为利用了逐点限定的这一特点，该文的方法对限定的计算过程中可以用机器自动完成。     

一个在弗协调逻辑中的限制

本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑．     

THE LOGIC OF AUTOMATA

Automata are the prime example of general systems over discrete spaces, and yet the theory of automata is fragmentary and it is not clear what makes a general structure an automaton. This paper investigates the logical foundations of automata relating it to the semantics of our notions of uncertainty, state and state-determined. A single framework is established for the conventional spectrum of automata: deterministic, probabilistic, fuzzy, and non-deterministic, which shows this set to be, in some sense, complete. Counter-examples are then developed to show that this spectrum alone is inadequate to describe the behaviour of certain forms of uncertain system. Finally a general formulation is developed based on the fundamental semantics of our notion of a state that shows that the logical structure of an automaton must be at least a positive ordered semiring. The role of probability logic, its relationship to fuzzy logic, the roles of topological models of automata, and the symmetry between inputs and outputs in hyperstate/hyperinput-determined systems are also discussed.