摘要：讨论了模型管理系统设计中模型表示方法、模型操作的实现方法、模型执行的具体过程。提出了一个模型表示的形式化方法,通过可量化、可陈述化、可公式化描述使得模型表示与基于规则逻.辑的数据表示、基于归约的推理过程相兼容。使用推理机制,作为模型处理的基础,提高了模型实例化的有效性。

摘要：参数化设计在现代ＣＡＤ技术中占据着越来越重要的地位，几何约束系统的建模、管理与求解是该技术的关键。本文提出了一种基于几何约束网络动态归约的几何推理方法，在参数化建模的同时，实现了对几何约束系统的最大分解，以归约树的形式表达归约结果，清晰地表明了约束系统内部的耦合程度和求解次序。实践表明，该方法在约束一致性检查。

摘要：MPI聚合通信操作广泛应用于并行科学计算中,对程序的可扩展性和性能有重要影响。天河互连网络支持基于触发的消息通信操作,通过在网络接口中卸载执行数据传输和计算操作,提高结点通信性能。利用触发操作,实现结点之间的归约操作通信卸载,设计了不同树形结构的Allreduce和Reduce通信卸载算法。基于实际系统平台的测试表明,与MPICH中基于点对点通信实现的归约算法相比,基于触发的通信卸载算法在不同规模下运行时间最多可降低59.6%。

摘要：通过硬件对归约进行支持是高性能互连网络发展的一种趋势。建立了无冲突和冲突条件下的归约延迟模型,分析了串行轮询、剩余报文集中和先到先服务3种调度策略对归约延迟的影响,表明了剩余报文集中策略能够取得多个归约操作在路由器上平均延迟的最小值。为了准确评测各种调度策略的性能,基于OMNeT++开发了微片级互连网络模拟器。模拟结果表明,先到先服务策略能够取得最优的性能,而在低维度互连网络中,串行轮询策略能取得良好的性价比。

摘要：本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。

摘要：ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。

摘要：为优化Barrier操作的性能,提高大规模并行计算应用在曙光5000系统中的执行效率,文中提出了一种基于硬件的Barrier加速设计.该设计是采用树形Barrier算法,通过增强曙光5000互联网络交换芯片的功能,实现低延迟、可扩展、高可靠和可管理的Barrier网络.该网络支持并发16个Barrier操作,可在Fat-Tree拓扑环境下实现较低的Barrier操作延迟.相比已有实现,是更适合Fat-Tree拓扑的设计方案.理想情况下,1024个节点的同步操作在1.7μs内完成.根据Barrier操作归约和分发过程的特点,分别采用请求应答和超时催促两种机制,为Barrier操作的可靠性提供保障.以该设计实现的Barrier网络原型系统已通过FPGA验证.

摘要：本文以图为模型,给出了归约的概念,并将其应用到图的最小生成树问题中,得到了计算复杂度平均情况下为θ(m+n),最坏情况下为θ((m-n)1ogn)的最小生成树算法.该算法易于在多机处理中并行化,文中指出了归约概念在其他方面的应用.

摘要：该文对现有的基于LPN问题的RFID安全协议进行了系统分析，总结了这类协议存在的一些设计缺陷。为了克服这类协议中存在的安全漏洞，对其中一个最新版本的协议HB＋进行改进，设计了一个新的RFID安全协议HB^#，并在随机预言模型下给出了新协议的归约性证明。

摘要：本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序设计语言，对研究支持多种（一般而言并行特别是分布协同式）ＡＩ问题求解的模型及其语言做了有益的尝试．