归约相关论文
不同设计对DSP核的运算性能、面积和功耗都有不同的要求,设计灵活高效的DSP IP核具有重要的工程实践价值。X-DSP是我国自主研发的3......
数据预处理在数据挖掘中占有重要地位,传统的数据归约方法都有其局限性.本文介绍了粗糙集的相关概念及数据预处理的一些知识,并利......
文中对分析两个REESSE1+难题的两篇文章进行了回复,指出第一篇文章在攻击任务的时间复杂度分析方面存在明显错误,确认了第二篇文章......
期刊
介绍了一种新型的形式说明语言PD_Cal,该语言具有良好的表达能力以及丰富的类型.通过对由该语言描述的定理证明过程进行类型检查,......
逻辑常项的刻画蕴涵着逻辑作为整体的刻画,语义进路和句法进路对逻辑常项的刻画分别遇到了难以解决的问题,而逻辑常项沿着皮尔士传......
安德森认为依靠归约公式Op□(～p→S)能把道义逻辑归约为真值模态逻辑。但是，安德森的这种做法是不妥的。所有标准系统都不能把“帮......
期刊
摘 要：本文首先回顾了可证明安全性的发展过程，并在RO模型和标准模型下介绍了几个有代表性的可证明安全的数字签名方案，最后指出了有......
在网络技术问题的研究中,3-状态设备网络系统二-终端可靠度评估的BDD算法存在着可靠度符号表达式项数多,算法效率低问题。为提高可......
EGG是一种基于边的上下文相关图文法形式化框架,其语法分析（归约操作）算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EG......
进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operati......
运用粗集理论的不可分辨关系和不可分辨类的概念和归约计算方法,对原始数据进行精简、概略,然后建立神经网络模型和确定各隐层节点......
计算机的发展正在从顺序控制流逻辑方法飞跃进入第五代的认知逻辑方法.需要第五代计算机解决的一个关键问题是NP问题.NP机器的双语......
根据极小不可满足公式的特征,对于固定的3 ≤t＜k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CN......
以二级倒立摆为被控对象，利用拟人智能控制方法设计了系统的非线性控制律。与传统的控制方法相比。拟人智能控制方法不受线性约束，从......
通过构造适当的极小不可满足公式，利用子句拼接技术，引入了一个一般化的从k-CNF公式（k≥3）到3-CNF公式之间的归约转换。基于该转换，给出......
分析了全息算法的基本理论、原理和使用方法，旨在简化对全息算法的理解并加以应用；给出了几个实例（如平面3-CNF公式的计数问题），以帮助......
摘要：语法分析是编译程序的核心部分，其任务是检查词法分析器输出的单词序列是否是源语言中的句子。该文以编译程序自底向上语法分析......
为了对基于唯一可达向量Petri网（URV-PN）的密码体制进行密码分析工作，有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研......
回顾了自动控制理论与智能控制的过去和现在,讨论了它们存在的问题,提出基于物理模型的拟人智能控制.通过介绍一个成功的实例'......
合取范式（conjunctive normal form，简称CNF）公式F是线性公式，如果F中任意两个不同子句至多有一个公共变元．如果F中的任意两个不同子句......
自动机的重置序列也称为同步序列,具有以下特性:有限自动机通过运行重置序列w,可从任意一个未知的或无法观测到的状态q0到达某个特......
从两个真歧义句的组合谈起,借以抽象出“vp ap的np”格式,该格式可以有若干种定界模式,可以举出包括以上两个真歧义句的许多实例;......
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势。提出了一个基于HIPN网模型的逻辑推理算法，该算法结合经典的归结证明......
传统上认为上下文无关的LR分析只能用在规范的无二义性的文法分析上。然而在上下文相关的主干结构分析和逻辑产生式的基础上,升级......
介绍了自适应递归支持向量机(ARSVM)算法。ARSVM以任意的方式将数据递归地划分为小的子集,每个子集上调用标准SVM产生小的归约原型......
以空车总走行里程最小为目标,在空车流量不超过路段通过能力和车站通过能力双约束条件下,建立相应的空车调配模型。在空车走行总里......
通过一个恰当的归约变换，可以将一个CNF公式变换为另一个具有某种特殊结构或性质的公式，使其两者具有相同的可满足性。一个典型的归......
Z-型 Rabin 树是 Rabin 树的一种变体,它们与 Rabin 树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构.本......
文章讨论了基于神威巨型机的并行化集合数值天气预报系统中实现的各种并行算法,性能分析结果表明并行方案最大限度的利用了神威机......
提出了一种基于问题归约'与/或' 树的柔性工艺表达方法,并建立相应的数据库模型.在此模型基础上以设备负荷平衡为主要目标......
算符优先分析法是编译原理课程中的重点和难点之一。本文针对相等、小于和大于优先关系，分析了优先归约关系的本质，提出了优先关系和......
对使用YACC工具进行ATLAS语言语法分析过程中出现的大量冲突进行了详细的分类讨论与研究，给出了实现过程中出现的主要冲突类型及相......
工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环。对近年来国内外研究人员在过程验证方面的研究和成果进行了......
运用人工智能的理论和方法，对模具零件CAD造型过程的问题的归约、知识表达与求解做了初步的研究，为涡轮叶片精铸模具CAD系统的智能化......
提出从物理角度出发,分析被控系统并设计控制器的观点,并在介绍基于物理模型的拟人智能控制框架的基础上,以平行单级双倒立摆的稳......
MPI聚合通信操作广泛应用于并行科学计算中,对程序的可扩展性和性能有重要影响。天河互连网络支持基于触发的消息通信操作,通过在......
寻找棋类游戏的理想解是计算机博弈研究的目标,而计算复杂性是不可逾越的障碍。首先介绍了计算复杂性类中的EXPTIME-complete问题......
计算机的发展正在从顺序控制流逻辑方法飞跃进入第五代的认知逻辑方法。需要第五代计算机解决的一个关键问题是NP问题。NP机器的双......
采用分划递推法通过功能归约变换，形式化推导和证明Hanoi塔问题中圆盘的移动规律，从而推导出结构清晰、可读性好、效率高、占用存储......
基于句模分析的自然语言处理能识别面向搜索引擎应用的自然语言检索句中的核心检索项。在此基础上，本文通过定义产生式规则和使用归......
可验证随机函数(即VRF函数)在信息安全协议设计中应用广泛,目前的VRF函数主要有基于RSA困难性问题与基于双线性困难性问题,但其安......
聚合通信是由一组进程参与的通信模式,在科学和工程计算中有着非常广泛的应用。数据分析表明,在许多大规模并行程序中,聚合通信的......
针对高阶(k≥2)微分代数方程系统的归约问题,给出并证明了它的一类新的归约方法.该方法通过构造相容映射簇,将高阶微分代数方程系......
