归约相关论文
通过硬件对归约进行支持是高性能互连网络发展的一种趋势。本文研究了单播和归约并存时的报文调度技术,建立了无冲突和冲突条件下......
本文回顾了自动控制理论与智能控制的过去和现在.讨论了它们存在的问题,提出基于物理模型的拟人智能控制.通过介绍一成功的实例"平......
一般说来，机器翻译系统应该是计算机技术和语言学知识综合运用的结果。在机器翻译系统的研制过程中，语言学家的主要任务是建立语际对......
据《纽约时代新闻》报道,美国的总社会福利指数目前已跌到1970年以来的最低点。这是佛德哈姆大学的研究人员的调查结论。这一“社......
不同设计对DSP核的运算性能、面积和功耗都有不同的要求,设计灵活高效的DSP IP核具有重要的工程实践价值。X-DSP是我国自主研发的3......
-一、基本概念象似性是指语言形式(能指)和意义(所指)之间的关系。索绪尔将任意性列为语言的首要性质,认为语言符号和其所指代的意......
为了提高分布式入侵检测模型中报警的可信性,本文提出了一种基于多源告警事件关联的入侵检测模型。该模型通过对警报数据的过滤、......
本文描述了用第五代计算机程序设计语言－ＰＲＯＬＯＧ表示和处理分子结构的方法，提出了按照环系和功能团对分子结构进行归约的方法，并且设计了由母......
本文采用几何归约理论分析了平面连杆机构的和它的归约树表达，解决平面运动链的驱动副选择问题，采用归约算法实现了机构系统和二维构......
基于约束的设计在现代ＣＡＤ 系统中占据着越来越重要的地位，几何约束满足技术则是其关键与核心。分析并指出了现有的几何约束满足策略中......
归约通讯作为聚合通讯中的一类，是实现数值计算、进程控制的重要手段，在并行处理中应用很广泛。由于归约通讯中有多个源结点主动地发......
《国家课程标准》指出:“在教学过程中,要始终体现学生的主体地位,教师应充分发挥学生在学习过程中的主动性和积极性,激发学生的学......
本文提出了一种面向移进-归约句法分析器的单模型系统融合算法.在训练阶段,该方法通过调整训练数据的分布,来构建用于融合的多个移......
责任或义务是伦理学中最基本的概念。它是客观的、绝对自明的，因而是不可定义的、无需推理的。人们既不能从别的非伦理的事实或非伦......
本文在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个......
本文分析了现有搜索引擎以及上海世博会对搜索引擎的要求，提出构建智能化搜索引擎的设想，其智能化主要体现在:允许用户使用简单的问......
基于格(Lattice)的公钥密码体制是继RSA、ECC之后提出的新型公钥密码体制之一,它包括NTRU体制、Ajtai-Dwork体制、GGH体制等。这些......
本文对具有流容量约束网络系统可靠度的BDD算法进行了研究。文章利用BDD和归约技术给出了计算带有流约束网络系统在2－终端情况下2－状......
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术......
障碍同步和归约是OpenMP程序中经常使用的全局操作.为了提高分布共享存储(DSM)系统上OpenMP程序性能,我们提出并实现了两个新的并......
本文指出在PROLOG中嵌入函数功能有三种可能的途径,一是像原PROLOG的办法将函数唯一地变换成关系。二是采用一步归约的办法。三是......
SLR(1)分析法是规范LR分析法的简化。规范LR分析法是程序语言的语法分析法之一,其功能是在单词符号串里识别句子,方法是对单词符......
研究直觉主义系统的模态扩充,特别是在文献[1]中意义下属于S5型的有许多。这其中包括文献[2]中的系统IS5,以及文献[3]中的四个系......
提出了实现正式函数语言FFP的并行体系结构——Redaflow，它是归约（Reduction）、数据流（Dataflow）和诺依曼三者的混合模型。作者的策略是......
在统计文法的参数估计中有规则推导概率和规则归约概率两种，该文首先指出，即使对于统计上下文无关文法PCFG，规则归约概率也不适合于参......
“信译”英汉机器翻译系统以Ｈｂａｓｅ ｆｏｒ Ｗｉｎｄｏｗｓ管理词库、短波库、英汉语法归约和语义分析知识库，采用了语义自动学习机制和Ｗｅｂ－ＤＢ接口技术。实现了保技......
参数设计是当代智能CAD系统的核心技术.该论文在分析研究国内外参数化设计技术的基础上,开发了一个二维几何求解体系.该体系基于对......
该文主要在以下方面作了一些工作:1)简单分析了汽车冲模模具设计中存在的问题和不足,并指出汽车覆盖件的设计与制造是影响新车型快......
本文设计了一种应用于64-bit X-DSP的归约运算单元,实现了16个向量运算单元(VPE)之间数据的交互,同时支持多宽度的归约.数据交......
数据预处理在数据挖掘中占有重要地位,传统的数据归约方法都有其局限性.本文介绍了粗糙集的相关概念及数据预处理的一些知识,并利......
文中对分析两个REESSE1+难题的两篇文章进行了回复,指出第一篇文章在攻击任务的时间复杂度分析方面存在明显错误,确认了第二篇文章......
期刊
文中研究3-状态设备网络系统2-终端可靠度的计算问题。BDD是布尔函数的图形表示形式。武小悦和沙基昌提出了一个采用BDD方法求2-状......
介绍了一种新型的形式说明语言PD_Cal,该语言具有良好的表达能力以及丰富的类型.通过对由该语言描述的定理证明过程进行类型检查,......
逻辑常项的刻画蕴涵着逻辑作为整体的刻画,语义进路和句法进路对逻辑常项的刻画分别遇到了难以解决的问题,而逻辑常项沿着皮尔士传......
安德森认为依靠归约公式Op□(～p→S)能把道义逻辑归约为真值模态逻辑。但是，安德森的这种做法是不妥的。所有标准系统都不能把“帮......
期刊
摘 要：本文首先回顾了可证明安全性的发展过程，并在RO模型和标准模型下介绍了几个有代表性的可证明安全的数字签名方案，最后指出了有......
本文定义了在多项式时间界下不确定图灵纯正多项式归约(记为≤_T~(n p h))的概念,讨论了≤_T~(n p h)极小集的性质、≤_T~(n p h)......
在网络技术问题的研究中,3-状态设备网络系统二-终端可靠度评估的BDD算法存在着可靠度符号表达式项数多,算法效率低问题。为提高可......
指出一致收敛比较原则的充要性，并指出重极限，柯西准则，一致连续均可归约到一致收敛，从而用比较原则判定之。......
本文首先讨论了基本语言值互补、互斥关系的可变性及互化规则，然后在此基础上给出了基本语言值的扩充与归约方法。从而为模糊控制器......
EGG是一种基于边的上下文相关图文法形式化框架,其语法分析（归约操作）算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EG......
