ax+b mod p比特安全的列表译码证明

2003年Akavia基于列表译码提出研究硬核谓词的一般框架,并将该方法成功地应用于许多硬核谓词的研究.但是,对于ax+b mod p的任意比特是任意单向函数的硬核谓词,这个关于单向函数的一般性结论能否适用,仍是一个公开问题.文章利用这种新方法研究积性码可接近的单向陷门函数的比特安全性,并且证明ax+b mod p的任意比特是p阶循环群上该类单向函数的硬核谓词.     

那安壮语亲属称谓词的一些特殊用法

那安壮语亲属称谓词除了具有壮语的一般特点外还有一些比较特别的用法,这些用法与当地历史遗留下来的姓氏观念、土司制度以及语用等因素紧密相关。     

逻辑转喻的生成研究

从语言生成的角度分析和解释英语中的逻辑转喻现象。认为逻辑转喻本质上是一种谓词隐含现象,是语言使用者追求表达经济性和利用格式塔认知原则的结果。动词补语形式的多样性要求和隐含事件的强规约性是逻辑转喻的生成限制条件。     

MTL?谓词逻辑系统公理化真度及其相似度的性质研究

命题逻辑及谓词逻辑的计量化是近期的一个研究热点，本研究基于左连续三角模的谓词演算系统MTL?,给出特定形式公式的真度取值范围，并研究含量词公式的相似度性质.     

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

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

逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.     

基于领域本体的需求获取与表示方法

提出了一种需求获取与表示方法——基于领域本体知识的需求获取与表示方法。方法的主要特点是用框架作为形式化需求的主要工具,即通过抽象需求资源的语义信息来建立表征其语义的本体模型,以增强面向对象方法的表达能力和弥补面向对象方法的知识推理能力。     

基于谓词推理的冲突检测算法

针对基于策略的网络管理系统中, 由于不同用户的需求不同及系统的资源限度等原因, 导致策略之间的冲突及系统功能无法正常发挥的问题, 提出一种基于谓词推理的冲突检测算法.  该算法通过谓词表达策略的触发条件和作用效果, 并通过推理自动化地获得策略之间的冲突关系, 与传统方法相比具有较好的灵活性和可扩展性.     

面向产品族配置的约束网络模型及配置方法

针对面向产品族的产品配置问题,建立了客户需求族模型,引入了需求元与配置元的概念;构建了需求元与配置元之间以及配置元与配置元之间基于特征属性匹配的约束网络模型。按需求元权重依次进行约束传播,通过预处理技术缩小与需求元有约束关系的配置元值域空间,减小了配置求解的搜索空间,采用非二元弧一致回溯算法对于未确定的配置元进行约束求解,得到满足客户需求的配置结果集。以某底盘产品的配置设计实例验证了该方法的有效性。     

部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况下的求解方法。